Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Logica Simbolica
Logica Simbolica
Lgica simblica
Prefacio.
Resulta interesente observar el gran cmulo de esfuerzo que ha requerido esta
disciplina para lograr el avance con el que hoy lo conocemos, me sorprende que
aun despus de tanto tiempo y habiendo pasado por tantas modificaciones las
teoras expuestas por hombre como Aristteles, conserven una muy buena parte
de validez, y mas que reemplazarlas por otras mas actuales, se han ido
adicionando a ellas conceptos, otros grandes hombre como Leibniz, Boole,
Russell, por citar solo algunos de ellos.
Lgica simblica
Indice.
1 Introduccin.
1.1 Definicin de lgica simblica ................................................................. 1
1.2 El objeto de estudio de la lgica ............................................................. 1
1.3 Lenguaje natural y lenguaje simblico .................................................... 2
1.4 La simbolizacin del leguaje lgico ......................................................... 3
ii
Lgica simblica
Biografas
I Biografa de Gottfried Wilhelm von Leibniz.................................................... 41
II Biografa de George Boole ............................................................................ 43
Resumen y conclusiones ................................................................................. 45
Bibliografa ....................................................................................................... 56
iii
Lgica simblica
1. Introduccin
1.1 Definicin de Lgica simblica
La lgica simblica es un sistema formal que analiza los signos y lo que designan.
El positivismo lgico entiende que el significado es la relacin que existe entre las
palabras y las cosas, y su estudio tiene un fundamento emprico: puesto que el
lenguaje, idealmente, es un reflejo de la realidad, sus signos se vinculan con
cosas y hechos. Ahora bien, la lgica simblica usa una notacin matemtica para
establecer lo que designan los signos, y lo hace de forma ms precisa y clara que
la lengua tambin constituye por s misma un lenguaje, concretamente un
metalenguaje (lenguaje tcnico formal) que se emplea para hablar de la lengua
como si de otro objeto se tratara: la lengua es objeto de un determinado estudio
semntico. Una de las figuras ms destacadas del Crculo de Viena, el filsofo
alemn Rudolf Carnap, realiz su ms importante contribucin a la semntica
filosfica cuando desarroll la lgica simblica
Pese a tener diferente contenido, estos ejemplos pueden ser agrupados en tres
clases, de acuerdo con las expresiones "Y", "O", "si...entonces", que relacionan
entre s a pensamientos como "4 es impar", a los que se llama proposiciones.
La lgica proposicional es la parte de la lgica que estudia las
formas en que se relacionan unas proposiciones con otras y, sobre
todo, la relacin que se da entre las proposiciones que componen un
razonamiento.
Lgica simblica
Existen varios lenguajes cientficos: tantos como ciencias particulares; entre los
ms conocidos estn el de las matemticas, el de la qumica y el de la lgica, que
es el que vamos a examinar en seguida.
Lgica simblica
Lgica simblica
2. La lgica griega
2.1
Aristteles
Lgica simblica
ordinario. Por eso la lgica no es una parte de la filosofa; es, a lo sumo, el prtico
que permite pasar a cualquiera de sus partes (la terica, la prctica y la potica o
productiva). Por otro lado, la lgica aparece como el anlisis de los principios
segn los cuales se halla articulada la realidad. As como el primado de la
definicin y de la dialctica en Platn poda ser considerado como la consecuencia
del inters de este autor por el qu de las cosas, el primado del razonamiento
(sobre todo silogstico) en Aristteles podra ser considerado como la
consecuencia del inters de este pensador por el porqu de las cosas. La lgica
de Aristteles parece seguir el tratado de una ontologa general. Esto se
manifiesta en una serie de proposiciones que pueden resumirse del siguiente
modo: a) la lgica es un instrumento para el pensar y supone un pensamiento; b)
el pensamiento supone una realidad pensada, pues el pensar carece de
espontaneidad y es slo relativo, c) es necesario, en vista de ello, desarrollar una
teora del concepto como expresivo del ser constitutivo de lo real, d) la lgica
puede de este modo convertirse en ciencia de los principios de lo que es.
En MetafsicaXI, 7 afirma que la lgica es una tcnica indispensable para la
investigacin, pero aade que la consideracin de los principios silogsticos
corresponde al filsofo y a quien especula sobre la naturaleza de cualquier
sustancia. As, l mismo reconduce la lgica a su supuesto indispensable: la teora
de la sustancia. Esta teora es el fundamento de todo conocimiento intelectual. La
forma es a la vez la ratio essendi y ratio cognoscendi del ser: en tanto que ratio
essendi es sustancia, en tanto que ratio cognoscendi es concepto. La forma, pues,
garantiza la correspondencia entre el concepto y la sustancia y, por tanto, la
verdad del conocimiento y la racionalidad del ser. Por esto Aristteles puede decir
que el ser y la verdad se hallan en relacin recproca: que, por ejemplo, si el
hombre existe, la afirmacin de que el hombre exista es verdadera; y
recprocamente, si es verdadera la afirmacin de que el hombre existe, el hombre
existe. Pero Aristteles aade que en esta relacin el fundamento es la realidad, y
que la realidad no es tal porque la afirmacin que le concierne sea verdadera, sino
que la afirmacin es verdadera porque la realidad es tal como ella la expresa. En
otros trminos, la verdad del concepto se funda en la sustancialidad de laforma y
no viceversa: la metafsica precede y fundamenta la lgica.
Por ello, se puede decir que Aristteles no pretendi fundar la lgica como ciencia
formal, en el sentido moderno del trmino, o sea, de ciencia sin objeto o sin
contenido, constituida nicamente por proposiciones tautolgicas. Segn
Aristteles, la lgica tiene un objeto y este objeto es la estructura de la ciencia en
general que luego es la misma estructura del ser que es objeto de la ciencia.
Aristteles afirma que la lgica debe analizar el lenguaje apofntico o declarativo,
que es el propio de las ciencias teorticas, en el cual tienen lugar las
determinaciones de verdadero y falso segn que la unin o separacin de los
signos (de que consta una proposicin) reproduzca o no la unin o la separacin
de las cosas.
El lenguaje apofntico no tiene nada de convencional. Segn Aristteles, las
palabras del lenguaje son convencionales, tanto es as que de una lengua a otra
Lgica simblica
son distintas. Pero las palabras se refieren a afectos del alma que son los mismos
para todos y constituyen imgenes de objetos que son los mismos para todos.
Por tanto, se puede decir que, para Aristteles, el lenguaje es convencional en su
diccionario, no en su sintaxis; en consecuencia, la lgica ha de mirar a esta
sintaxis para analizar la estructura fundamental del conocimiento cientfico y del
ser.
Lgica simblica
Enunciado
Universal
Particular
Indefinido
Afirmativo
S es P
Todo S es P
Algn S es P
S es P
Negativo
S no es P
Ningn S es P
Algn S no es P
S no es P
Todo S es P
P pertenece a todo S
Universal
E negativo
Ningn S es P
P no pertenece a ningn S
I afirmativo
Algn S es P
P pertenece a algn S
Particular
O negativo
Algn S no es P
P no pertenece a algn S
Lgica simblica
Lgica simblica
Lgica simblica
Ejemplo:
todo A es B
todo B es C
---------------todo A es C
La formulacin aristotlica original de la ley de este ejemplo es la siguiente:
Si A se predica de todo B y B se predica de todo C, entonces
necesariamente A se predica de todo C (Analticos anteriores, I, 26 a
37)
Cuatro son las combinaciones de la primera figura que Aristteles reconoce
explcitamente como implicaciones, como silogismos, y stas son sus
correspondientes leyes lgicas:
(1.1) Si todo A es B y todo B es C, entonces todo A es C
(1.2) Si todo A es B y ningn B es C, entonces ningn A es C
(1.3) Si algn A es B y todo B es C, entonces algn A es C
(1.4) Si algn A es B y ningn B es C, entonces algn A no es C
La segunda figura se da cuando el sujeto de la conclusin es sujeto de una
premisa, el predicado de la conclusin es sujeto de la otra premisa y el concepto
medio es predicado de ambas premisas. Tambin en esta figura reconoce
Aristteles cuatro combinaciones como dando lugar a la implicacin de la
conclusin por las premisas, como silogismos.
(2.1) Si todo A es B y ningn C es B, entonces ningn A es C
(2.2) Si ningn A es B y todo C es B, entonces ningn A es C
(2.3) Si algn A es B y ningn C es B, entonces algn A no es C
(2.4) Si algn A no es B y todo C es B, entonces algn A no es C
La tercera figura se da cuando el sujeto de la conclusin es predicado de una
premisa, el predicado de la conclusin es predicado de la otra premisa y el
concepto medio es el sujeto de ambas. En esta tercera figura reconoce Aristteles
seis combinaciones en las cuales las premisas implican la conclusin, seis
silogismos:
(3.1) Si todo B es A y algn B es C, entonces algn a es C
(3.2) Si todo B es A y algn B no es C, entonces algn A no es C
(3.3) Si algn B es A y todo B es C, entonces algn A es C
(3.4) Si algn B es A y ningn B es C, entonces algn A no es C
(3.5) Si todo B es A y todo B es C, entonces algn A es C
(3.6) Si todo B es A y ningn B es C, entonces algn A no es C
10
Lgica simblica
11
Lgica simblica
2.2
Los estoicos
Mediante el trmino lgica los estoicos expresaban la doctrina que tiene por objeto
los lgoi, o discursos. Como ciencia de los dicusos continuos, la lgica es retrica;
como ciencia de los discursos divididos en preguntas y respuetas, la lgica es
dialctica. La dialctica se define como la ciencia de lo que es verdadero y de lo
que es falso y de lo que no es ni verdadero ni falso. Con la expresin lo que no
es ni verdadero ni falso los estoicos probablemente entendan los sofismas o las
paradojas, sobre cuya verdad o falsedad no se puede decidir. A su vez, la
dialctica estoica se divide en cuatro partes, segn trate de las palabras o de las
cosas que significan las palabras: la que trata de las palabras es la gramtica; la
que trata de las cosas significadas es la lgica en sentido propio: por lo tanto, sta
tiene por objeto las representaciones, las proposiciones, los razonamientos y los
sofismas.
Los megricos y los estoicos fueron los primeros en estudiar la lgica de
enunciados, esto es, las relaciones entre enunciados unidos por partculas como
y, o, si entonces, etc. Los megrico-estoicos se interesaron por los
razonamientos que tienen la forma de argumento y no de una implicacin, esto es,
de series de premisas distintas afirmadas y una conclusin derivada de ellas, en
vez de enunciados-premisas condicionales que implican un enunciado-conclusin.
Pero lo ms fundamental es que esta lgica investigaba la lgica de las partculas
conectivas entre los enunciados. Los estoicos establecieron algunas leyes lgicas,
como el Modus Ponens (si p entonces q, y p, por tanto q), el Modus Tollens (si p
entonces q, y no q, por tanto no p) el silogismo disyuntivo (p o q, y no p, por tanto
q), etc., aunque ellos los entendieron como reglas de inferencia.
12
Lgica simblica
13
Lgica simblica
de ser; no puede tener un modo de ser, si no tiene una cualidad fundamental que
lo diferencia de los dems; y no puede tener esta cualidad si no subsiste por s, y
es sustancia.
El concepto ms alto y ms amplio es el concepto de ser; por cuanto todo en
cierto modo es, y no hay, por tanto, un concepto ms extenso que ste. El
concepto ms determinado, en cambio, es el de especie, que no tiene otra especie
debajo de s, esto es, el individuo, por ejemplo, de Scrates.
14
Lgica simblica
15
Lgica simblica
16
Lgica simblica
17
Lgica simblica
donde A y E son una verdadera y la otra falsa, no pueden ser ambas verdaderas,
pero pueden ser ambas falsas; A, O y E, I siempre son una verdadera y otra falsa,
y no pueden ser ambas verdaderas ni ambas falsas; I y O resultan implicadas,
respectivamente, por A y E.
Este cuadrado no fue concebido como un juego elegante, sino que se consider
que las relaciones lgicas ilustradas mediante el presente diagrama
proporcionaban una base lgica que garantizaba la validez de ciertas formas
elementales de razonamiento. stas eran las que concernan a las inferencias
inmediatas, esto es, aquellas inferencias en las que la conclusin surge
inmediatamente de la premisa, sin mediacin de una segunda premisa. As, un
silogismo es una inferencia mediata, mientras que la inferencia: todos los
hombres son justos y, por eso, algn hombre es justo es inmediata. El cuadrado
tradicional nos ofrece la base lgica para un nmero considerable de inferencias
inmediatas de este tipo, que pueden enumerarse as:
Si A es verdadera: E es falsa, I es verdadera, O es falsa
Si E es verdadera: A es falsa, I es falsa, O es verdadera
Si I es verdadera: E es falsa, A y O son indeterminadas
18
19
Lgica simblica
Conversa
A: Todo S es P
E: Ningn S es P
E: Ningn P es S
I: Algn S es P
I: Algn P es S
O: Algn S no es P
No existe conversa
OBVERSIN
Obvertencia
Obversa
A: Todo S es P
E: Ningn S es no-P
E: Ningn S es P
A: Todo S es no-P
I: Algn S es P
O: Algn S no es no-P
O: Algn S no es P
I: Algn S es no-p
CONTRAPOSICIN
20
Lgica simblica
Premisa
Contrapuesta
A: Todo S es P
E: Ningn S es P
I: Algn S es P
O: Algn no-P no es no-S
O: Algn S no es P
Para Boecio las proposiciones hipotticas son ms generales que las categricas:
es posible expresar una proposicin categrica a travs de una proposicin
hipottica, pero no es posible llevar a cabo la operacin inversa. Distingue entre
dos tipos de proposiciones hipotticas: el primer tipo se da cuando el consecuente
est vinculado al antecedente de una manera accidental; en el segundo tipo, el
consecuente es una consecuencia natural del antecedente. Por ejemplo, al decir
si el fuego es clido, el cielo es redondo, no pretendemos afirmar que el cielo es
redondo porque el fuego sea clido, sino sencillamente que al mismo tiempo que
el fuego es clido, el cielo es redondo.
Lgica simblica
21
Lgica simblica
22
Lgica simblica
deduccin lgica. En tanto que los principios generales o elementos simples son el
fundamento de todo lo real, para Llull hay una coincidencia entre lgica y
ontologa, y el autntico conocimiento es una visin mstica en Dios.
La lgica en la que se basaba era, fundamentalmente, la silogstica de Aristteles,
que supone unos principios ciertos (que incluso los infieles han de aceptar), y
consideraba que haba la posibilidad de encontrar todos los trminos medios
posibles que unan cualquier sujeto con el predicado que le conviene. De esta
manera, se podran enumerar todos los predicados posibles de un sujeto y
determinar de acuerdo con las reglas lgicas, cules le pertenecan. Pensaba que
as incluso se podra demostrar lgicamente el misterio de la Trinidad. De esta
manera, aunque basndose en la lgica demostrativa de Aristteles, Ramn Llull
la conceba como una lgica capaz de ser inventiva, que no se limita a resolver las
verdades conocidas, sino que es capaz de descubrir las nuevas. Adems de este
clculo general, que influy decisivamente en Leibniz (y que, por intermedio de
ste, se puede considerar un precedente de la lgica moderna), Llull defendi
tambin una metafsica ejemplarista y un realismo neoplatnico, muy influido por
el agustinismo que imperaba entre los franciscanos a los que Llull estaba prximo.
No obstante, en Llull se trata de poco ms que de una idea visionaria. Fue
Descartes quien concibi la idea de un lenguaje general como una suerte de
aritmtica, como parte del mtodo de una filosofa verdadera, si bien se cuid de
tratar l mismo de constituir tal lenguaje y lo plante como un proyecto para la
posteridad.
3.3.2 Leibniz
Para Leibniz el saber conceptual se reducir en ltimo trmino a descubrir todas
las combinaciones posibles de los primeros elementos primitivos y sus conexiones
en este reino de las verdades esenciales. Ya a sus veinte aos haba escrito sobre
un gnero de arte combinatoria, que tendra por cometido hallar una especie de
alfabeto de los conocimientos humanos, que permitiera, mediante la combinacin
de sus letras y el anlisis de las palabras compuestas de aqullas, descubrir y
juzgar todo lo dems.
Leibniz era un gran admirador de la silogstica aristotlica, aunque no crea que
todos los argumentos pudiesen ponerse en forma de silogismo; por ejemplo, los
argumentos por inversin de la relacin, como Tito es ms alto que Cayo. Por
tanto, Cayo es ms bajo que Tito. Sin embargo, no lleg a crear una lgica de
relaciones debido a que pensaba que stas podan reducirse a conjunciones o
concatenaciones de predicados mondicos. Sostuvo tambin que las figuras de
los silogismos no son tres, sino cuatro, obtenindose entonces veinticuatro, y no
catorce, formas de silogismo vlidos.
En De arte combinatoria pens en la creacin de una caracterstica universalis o
lenguaje simblico universal que fuese un instrumento de clculo del pensamiento.
23
24
Lgica simblica
AB = A
AB A
AB AB ente
AB = AB ente
A no B es no-ente
A no B es ente
AB es no ente
AB es ente
Lgica simblica
25
Lgica simblica
26
Lgica simblica
no todo es percepcin inmediata; stas son ciertas y contra ellas no hay apelacin.
Sin embargo, la mayor parte de nuestro saber lo obtenemos por deducciones.
Despus de las observaciones particulares siempre queremos establecer leyes
generales y conceptos. Y estas leyes implican siempre una conexin y
dependencia entre un A y un B, C, etc. En A System of Logic, Rationative and
Inductive establece las siguientes reglas:
1. Mtodo de concordancia: si dos o ms casos, en los que tiene lugar un
fenmeno, tienen una nica circunstancia comn, sta es causa o efecto de
aquel fenmeno.
2. Mtodo de diferencia: si dos casos contienen un fenmeno W siempre
que se da la circunstancia A, y no la contienen si A falta, W depende de A.
3. Mtodo combinado de concordancia y diferencia: si varios casos, en
que est presente A, contienen un fenmeno W, y otros casos, en que no
est presente A, no contiene W, A es condicin de W.
4. Mtodo de los residuos: si W depende de A = A1, A2, A3, mediante la
comprobacin de las dependencias de A1 y A2, queda tambin
comprobado en qu grado depende W de A3.
5. Mtodo de las variaciones concomitantes: si un fenmeno W cambia
siempre que cambia otro (fenmeno U), de modo que todo aumento o
disminucin de U va acompaadio de un aumento o disminucin de W, W
depende de U.
4. Boole
Probablemente puede considerarse El anlisis matemtico de la lgica de Boole
como el nacimiento de la lgica matemtica. Boole esta influido, adems de por
las ideas de la lgica clsica, por las de Hamilton y De Morgan, relativas a la teora
que se basaba en el cambio de las cuatro formas de enunciado categrico (A, I, E
y O) en un nmero mayor en las cuales se toma en consideracin la cuantificacin
del predicado. Por ejemplo, Hamilton advirti dos tipos de enunciados universales:
Todo S es todo P y Todo S es algn P. Si se tiene en cuenta tambin la
cuantificacin de predicados, entonces todo enunciado de la forma sujetopredicado puede transformarse en una ecuacin o en la enunciacin de que esa
ecuacin es falsa, aproximando de este modo la lgica al lgebra.
En la teora de Hamilton y De Morgan, S y P se convierten en signos de las cosas
mismas que poseen las cualidades (y no como signos de cualidades, tal como
ocurra en Aristteles). Este es el cambio de todo S es P a todos los S son P
(p.e., de toda hoja es verde a todas las hojas son verdes). Este cambio de un
enfoque intensional (en trminos de cualidades de las cosas) por uno extensional
(en trminos de clases de objetos) permiti una estricta matematizacin de la
lgica, y as un avance ms rpido, pues los conceptos extensionales siempre
poseen unos criterios de aplicacin ms claros.
27
Lgica simblica
5. La lgica simblica
5.1 Gottlob Frege
El objetivo de Frege es fundamentar la aritmtica y aclarar de una vez para
siempre la naturaleza de los nmeros naturales. Tal objetivo se condensa en lo
que se conoce como programa logicista en la fundamentacin de la matemtica:
reducir la aritmtica a lgica, es decir, derivar los conceptos de la aritmtica de
conceptos lgicos y deducir los principios aritmticos de los principios lgicos.
28
Lgica simblica
Admitido por todos los matemticos, a partir de 1872, que todos los conceptos de
la matemtica pueden reducirse a los de la aritmtica y los de sta a los nmeros
naturales, Frege adopta sobre s la tarea de derivar estos ltimos por medios
estrictamente lgicos. Con ello lograra establecer que toda la matemtica es
reducible a la lgica. Para esta labor tiene que cumplir dos objetivos: (1) precisar
qu entiende por lgica y enumerar los conceptos lgicos con los que poder definir
los aritmticos; (2) demostrar que los teoremas aritmticos son derivables de los
principios lgicos mediante el nico proceso vlido, la deduccin. Esto ltimo
obliga a especificar cules son los primeros principios lgicos y cules son las
reglas de inferencia. Y en vista de estos objetivos, Frege dar un primer paso:
construir una lgica que le sea vlida para su objetivo, una lgica del pensamiento
puro, alejada de la influencia de la gramtica y del lenguaje usual, para lo que
debe crear un simbolismo adecuado. Esta tarea ser acometida en la
Conceptografa y en las leyes fsicas de la aritmtica.
En la Conceptografa seala que existen dos tipos de juicios, los analticos y los
sintticos. Frege estima que los aritmticos son juicios analticos, contra el sentir
kantiano, pero entiende por juicio analtico aquel que puede derivarse, en forma
estrictamente lgica, de las definiciones. No se tiene en cuenta, aqu, el contenido
de dicho juicio, sino su derivabilidad. Explica, a continuacin que la etapa inicial de
su trabajo se centra en reducir el concepto de orden en una sucesin al de
consecuencia lgica, para proceder desde all al concepto de nmero. Para
realizar esta tarea encuentra el lenguaje ordinario inadecuado. Agregar que una
de las tareas de la filosofa debe consistir en liberar el espritu humano de los
errores que, en cuanto al concepto, presenta el lenguaje ordinario. En particular,
debe eliminarse la confusa terminologa entre sujeto y predicado en beneficio
de argumento y funcin. Para conseguir estos fines, dedica su atencin a
construir un lenguaje de frmulas, a semejanza del aritmtico, pero que permita un
anlisis lgico del razonamiento matemtico, del pensamiento puro.
Estos dos objetivos le llevan a dividir la Conceptografa en dos partes: en la
primera dar una descripcin semntica de los smbolos que emplea; en la
segunda, realizar una representacin sistemtica, deductiva, de algunos juicios
del pensamiento puro. En otras palabras, expone, en la primera parte, por vez
primera, lo que hoy se conoce como lgica de primer orden que incluye la lgica
proposicional. En el segundo apartado, aplicar su Conceptografa para definir,
por los medios estrictamente lgicos, la nocin de sucesin, y la de orden lineal o
cadena, as como mostrar que el principio de induccin completa puede
describirse por medio de su Conceptografa.
La Conceptografa no es una mera bsqueda de un simbolismo ms o menos
arbitrario y que refleje el lenguaje ordinario; su objetivo es conseguir un clculo
lgico al estilo de lo preconizado por Leibniz pero que, adems, refleje el
pensamiento puro; pues, para Frege, el signo es inseparable del contenido que
representa. Segn Frege, lo primero es el concepto; lo segundo, el signo con el
cual se representa el concepto. El hombre no crea los conceptos, los aprehende;
el hombre no crea sistemas matemticos, sino que stos preexisten
29
Lgica simblica
30
Lgica simblica
31
Lgica simblica
32
Lgica simblica
III.
33
34
Lgica simblica
IV.
V.
0 es un nmero;
si x es un nmero, Sx ser un nmero
no hay dos nmeros que tengan el mismo sucesor
0 no es el sucesor de ningn nmero
todos los nmeros tienen la propiedad P si
a. P(0), y
b. si para cualquier x, P(x), P(Sx).
Lgica simblica
35
Lgica simblica
36
Lgica simblica
nuevos valores, definidos en trminos de ese total, dicho total aparece por ello
aumentado y, en consecuencia, los nuevos valores que a l se refieren se
referirn a ese total aumentado.
Tendremos, por tanto, que distinguir entre proposiciones que se refieren a un
determinado total de proposiciones, y proposiciones que no lo hacen. Las que se
refieren a una totalidad de proposiciones nunca pueden ser miembros de tal
totalidad. Podemos definir como proposiciones de primer orden las que no se
refieren a una totalidad de proposiciones; proposiciones de segundo orden, a las
que se refieren a totalidades de proposiciones de primer orden, y as ad infinitum.
Mediante esta teora, conocida como teora de los tipos, logramos salvar la
paradoja del mentiroso. Bsicamente la teora consiste en negar la posibilidad de
la autorreferencia; es decir, no debemos nunca hablar de las proposiciones de un
lenguaje L en ese mismo lenguaje L, sino que debemos utilizar un lenguaje L + 1.
37
38
Lgica simblica
debe subsistir en algn oscuro mundo platnico del ser, porque, de otro modo,
vuestra afirmacin de que la montaa de oro no existe no tendra significado.
El punto esencial de la teora de las descripciones es que, aunque la montaa de
oro pueda ser gramaticalmente el sujeto de una proposicin con significado, tal
proposicin, cuando se analiza correctamente, deja de tener tal sujeto. La
proposicin la montaa de oro no existe se convierte en la funcin proposicional
x es de oro y una montaa es falsa para todos los valores de x. El enunciado
Scott es el autor de Waverley se convierte en para todos los valores de x, x
escribi Waverley es equivalente a x es Scott. Aqu, la frase el autor de
Waverley ya no aparece.
La teora de las descripciones, adems, arroja luz sobre el significado de
existencia. El autor de Waverley existe quiere decir hay un valor de c para el
cual es cierta la funcin proposicional: x escribi Waverley es siempre
equivalente a x es c. La existencia, en este sentido, puede afirmarse solamente
de una descripcin, y, cuando se analiza, se descubre que es un caso de funcin
proposicional que es verdadera por lo menos para un valor de la variable.
Podemos decir el autor de Waverley existe y podemos decir Scott es el autor de
Waverley, pero Scott existe no es gramaticalmente correcto. En el mejor de los
casos, puede interpretarse su significado como la persona llamada Scott existe,
pero (la persona llamada Scott( es una descripcin, no un nombre. Cuando
quiera que un nombre se emplea correctamente como tal nombre, no es correcto
gramaticalmente decir que existe.
39
Lgica simblica
2. las conectivas: ,
3. los diversos signos de puntuacin ((),{}, [], etc.)
Como smbolos definidos aparecen:
[(X
Y =def (X
Y)]
[X
Y =def X
[X
Y =def {(X
Y)
(Y
X)}]
una variable proposicional sola es una frmula bien formada del clculo
si X es una fbf, entonces X tambin lo es
Si X e Y son fbfs, X ( Y tambin lo es
Estas son todas las reglas de formacin el clculo (esta ltima regla tiene
un carcter metalingstico respecto de las anteriores y metalingstico
respecto al clculo) y se establece para dejar sentado que todas las reglas
estn explicitadas)
Lgica simblica
40
Lgica simblica
Biografas
Lgica simblica
41
Lgica simblica
42
Lgica simblica
43
Lgica simblica
44
Lgica simblica
Resumen y conclusiones
Lgica simblica
Resumen y conclusiones.
1. Introduccin
Definicin La lgica simblica es un sistema formal que analiza los signos y lo
que designan, dichos signos se vinculan con cosas y hechos usando una notacin
matemtica, constituye por s misma un lenguaje o metalenguaje (lenguaje tcnico
formal). El filsofo alemn Rudolf Carnap desarroll la lgica simblica
El objeto de estudio de la lgica - Es una ciencia y su objeto de estudio lo
constituyen las formas, estructuras o esquemas del pensamiento, diferenciando
entre estructura y contenido en el pensamiento a cerca de las cosas. El contenido
pueden ser agrupados en tres clases: "Y", "O", "si...entonces",
La lgica proposicional es la parte de la lgica que estudia las formas en que se
relacionan unas proposiciones con otras y, sobre todo, la relacin que se da entre
las proposiciones que componen un razonamiento.
Lenguaje natural y lenguaje simblico - Los lenguajes humanos son sistemas
de signos, que representan algo. En el lenguaje natural, utilizamos palabras,
habladas o escritas, que pueden tener significados distintos, dependiendo de las
circunstancias, originando confusiones y errores. En las ciencias nos encontramos
un lenguaje preciso, tcnico y lleno de smbolos, signos elegidos cuidadosa y
conscientemente para representar a otros signos. Existen tantos lenguajes
cientficos como ciencias particulares; entre los ms conocidos estn el de las
matemticas, el de la qumica y el de la lgica, que es el que vamos a examinar en
seguida.
La simbolizacin del lenguaje lgico - Al simbolizar un lenguaje lo que se
persigue es, bsicamente, sencillez, claridad y exactitud. En la lgica proposicional
se examinan las posibles relaciones entre proposiciones, sin atender a su
contenido, simboliza con simples literales y las expresiones mediante las cuales
son relacionadas (como "Y", "O", "si. . . entonces"),
45
Lgica simblica
2. La lgica griega
Aristteles Se le atribuye el comienzo de la lgica por ser el primero en
emplear variables para los trminos, inferencia formalmente vlida y construir el
primer sistema de lgica de trminos, adems de la lgica sensu estricto, estudios
acerca del uso de los trminos en el lenguaje ordinario, estudios sobre el arte de la
argumentacin y de la retrica, estudios de metodologa de la ciencia, incluida su
concepcin del mtodo inductivo, el estudio de la organizacin de los sistemas
deductivos, y finalmente la teora del razonamiento deductivo o silogstico.
Cuantificacin de los enunciados Para Aristteles los enunciados simples
tienen la forma S es P donde S es el sujeto, y P el predicado que se atribuye a S.
P es un concepto o entidad abstracta, S puede ser tanto un individuo o entidad
concreta, como un concepto o entidad abstracta. El primero es un enunciado
singular, el segundo es un enunciado conceptual o general. El enunciado es una
oracin que afirma o niega algo de algo, y es universal, particular o indefinido.
Llamo universal al pertenecer a todo o a ninguno; particular, al pertenecer a
alguno o no a todo; indefinido, al pertenecer o no pertenecer, sin indicar
universalidad o particularidad.
Enunciado universal (afirmativo) - Contiene un cuantificador universal, como:
cada, todos, o para todo, y atribuye el predicado universalmente al sujeto.
Enunciado particular (afirmativo) - Contiene un cuantificador particular como:
algn o hay o para algn, y atribuye el predicado particularmente al sujeto.
Enunciado indefinido - es un enunciado general que sin cuantificadores, no
est claro si el predicado se atribuye universal o particularmente al sujeto.
La lgica aristotlica cuenta con cuatro tipos de enunciados simples:
Universal A afirmativo
Todo S es P
P Pertenece a todo S
E negativo
Ningn S es P
P no pertenece a ningn S
Particular I afirmativo
Algn S es P
P Pertenece a algn S
O negativo
Algn S no es P
P no pertenece a algn S
Oposicin entre enunciados - La oposicin entre enunciados puede ser:
Oposicin contradictoria o contradiccin - Se da entre dos enunciados de
los cuales uno es la negacin del otro, por el principio del tercio excluso, al
menos uno de ellos ha de ser verdadero y, por el principio de contradiccin, el
otro ha de ser falso. Se da entre dos enunciados singulares del tipo s es P y
s no es P, y entre un enunciado universal afirmativo y el correspondiente
enunciado particular negativo, de los tipos todo S es P y algn S no es P.
Igualmente se oponen contradictoriamente un enunciado universal negativo y
el correspondiente particular afirmativo, de los tipos ningn S es P y algn S
es P.
46
Lgica simblica
47
Lgica simblica
48
Lgica simblica
Los silogismos de las figuras segunda y tercera son vlidos, pero su validez no es
evidente, sino que slo se patentiza reducindolos a los de la primera figura.
Silogismos: premisas y validez - Aristteles parte del principio que toda
doctrina o disciplina deriva de un conocimiento preexistente. Para que el
silogismo concluya necesariamente, las premisas de donde deriva deben tambin
ser necesarias. Deben ser inmediatos, esto es que son indemostrables, como
evidentes por s mismos, ya que si no fueran tales, seran principios de los
principios y as sucesivamente hasta el infinito.
La induccin y la deduccin La induccin, segn Aristteles, es una deduccin
que, en lugar de deducir un extremo de otro mediante el trmino medio, como
hace el silogismo, deduce el trmino medio de un extremo, valindose del otro
externo.
2.2 Los estoicos - Los estoicos definan a la lgica como la doctrina que tiene
por objeto los lgoi, o discursos. La lgica es dialctica. La dialctica se define
como la ciencia de lo que es verdadero y de lo que es falso y de lo que no es ni
verdadero ni falso.
El criterio de verdad - El problema fundamental de la lgica estoica es el del
criterio de la verdad, que es la representacin catalptica o conceptual. Tiene dos
interpretaciones: 1-La fantasa (la accin del intelecto que se apodera y
comprende el objeto), 2-La representacin impresa en el entendimiento por el
objeto, esto es, la accin del objeto sobre el entendimiento.
El asentimiento y la epoch - El asentimiento constituye el juicio; el cual se
define precisamente o bien como asentimiento o como disconformidad o como
suspensin, esto es, renuncia provisional al asentimiento de la representacin
recibida o a disentir de la misma. Los estoicos posteriores definan la ciencia como
una representacin catalptica o un hbito inmutable para aceptar tales
representaciones, acompaadas de razonamiento y afirmaban que no hay ciencia
sin dialctica, siendo propio de la dialctica presidir los razonamientos.
El nominalismo estoico Para los estoicos los conceptos no tienen ninguna
realidad objetiva, lo real es siempre individual y el universal subsiste solamente en
los conceptos. El estoicismo es, pues, un nominalismo. Las categoras son
reducidas a cuatro: 1) el sustrato o sustancia; 2) la cualidad; 3) el modo de ser; 4)
el modo relativo.
La proposicin y el razonamiento - Tres son los elementos que se coligan: el
significado, lo que significa y lo que es. Lo que significa es la voz, el significado es
la cosa sealada por la voz y a la que nosotros unimos pensando en la cosa
correspondiente, lo que es, es el sujeto externo. Segn los estoicos, un significado
es completo si puede expresarse en una frase. Por lo tanto, slo la proposicin
es un significado completo. El razonamiento consiste en una conexin entre
49
Lgica simblica
Otros tipos de inferencias son aquellos que se obtienen por conversin, por
obversin y por contraposicin. La conversin (simples) se realiza mediante el
intercambio de las respectivas proposiciones de los trminos del sujeto y del
predicado de una proposicin. La obversin se aplica a los cuatro tipos de
proposiciones categricas. Una contraposicin es cuando en una proposicin
categrica se sustituye su trmino-sujeto por el complemento de su trmino
predicado y, al mismo tiempo, su trmino-predicado se sustituye por el
complemento de su trmino-sujeto.
50
Lgica simblica
Pedro Hispano - En las Summulae logicales aparecen por primera vez las
vocales, palabras y versos mnemotcnicos que luego se emplearon
corrientemente en la enseanza de la lgica. Para indicar las figuras y los modos
del silogismo emplea las palabras mnemnicas Barbara, Celarent, Darii, Ferio,
etc., cuyas vocales indican la cantidad y la cualidad de las proposiciones que
constituyen las premisas y conclusiones del silogismo.
De Llull a Leibniz - En la Edad Media, el uso de la disputatio como ejercicio
escolar produjo un desarrollo del arte de discutir, es decir, de la dialctica
propiamente dicha, y un estudio ms intenso de la sofstica. Tambin los tratados
sobre las controversias, que estudian las inferencias entre proposiciones simples
y compuestas y los sophismata, que no es un sofisma, es una proposicin que
contiene alguna dificultad, debido a una falta o a una ambigedad de construccin,
casos particulares de sophismatason: los insolubles, o proposiciones que,
tomadas al pie de la letra, se contradicen (como yo digo mentira); los
imposibles, en los que la contradiccin no se solventa por una simple distincin
lgica, como ocurre en el caso de los insolubles.
Otro concepto importante es el de suposicin; se llama as a la acepcin en que
es tomado un nombre. Por ejemplo, en la frase el hombre es animal, la palabra
hombre supone por una especie; en el hombre corre, por un individuo; en el
hombre es sustantivo, por una palabra. Con la suposicin hay que relacionar la
copulacin, que afecta del mismo modo al predicado. Queda an la
amplificacin, caso en que un nombre es empleado para designar no slo los
objetos presentes, sino tambin los pasados, futuros y posibles: esto afecta
necesariamente al sentido de la proposicin en que se encuentra.
Raimundo Lulio - Menciona dieciocho principios generales. De ellos, nueve son
los atributos divinos: bondad, eternidad, grandeza, poder, voluntad, virtud,
sabidura, verdad y gloria. Los otros nueve sealan las relaciones entre los seres
creados y contingentes: principio, medio, fin, contrariedad, diferencia,
concordancia, minora, igualdad y mayora. Proyect una especie de mquina con
ruedas de conceptos, una especie de precursora de las computadoras, capaz de
combinar y clasificar todos los conceptos, de manera que se pudiera discutir y
razonar sin errores.
Leibniz - Sostuvo tambin que las figuras de los silogismos no son tres, sino
cuatro, obtenindose entonces veinticuatro, y no catorce, formas de silogismo
vlidos. Escribi sobre un gnero de arte combinatoria, que tendra por cometido
hallar una especie de alfabeto de los conocimientos humanos, que permitiera,
mediante la combinacin de sus letras y el anlisis de las palabras compuestas de
aqullas, descubrir y juzgar todo lo dems. Leibniz ensay varios clculos lgicos:
1) trat de simbolizar los conceptos mediante nmeros enteros, aritmetizando la
lgica, 2) utiliz letras en lugar de nmeros, 3) elabor un clculo de la inclusin, o
sea, una lgica intencional, y 4) esboz un clculo con el concepto de sustraccin
(diferente del de negacin) de las comprensiones de los trminos.
51
Lgica simblica
52
Lgica simblica
5. La lgica simblica
Gottlob Frege - El objetivo de Frege es fundamentar la aritmtica y aclarar de una
vez para siempre la naturaleza de los nmeros naturales, tal objetivo se condensa
en lo que se conoce como programa logicista en la fundamentacin de la
matemtica: reducir la aritmtica a lgica, es decir, derivar los conceptos de la
aritmtica de conceptos lgicos y deducir los principios aritmticos de los
principios lgicos. Con ello lograra establecer que toda la matemtica es reducible
a la lgica. Para esta labor tiene que cumplir dos objetivos: (1) precisar qu
entiende por lgica y enumerar los conceptos lgicos con los que poder definir los
aritmticos; (2) demostrar que los teoremas aritmticos son derivables de los
principios lgicos mediante el nico proceso vlido, la deduccin.
En la Conceptografa seala que existen dos tipos de juicios, los analticos y los
sintticos, los aritmticos son juicios analticos, contra el sentir kantiano, pero
entiende por juicio analtico aquel que puede derivarse, en forma estrictamente
lgica, de las definiciones. La Conceptografa no es una mera bsqueda de un
simbolismo ms o menos arbitrario y que refleje el lenguaje ordinario; su objetivo
es conseguir un clculo lgico al estilo de lo preconizado por Leibniz pero que,
adems, refleje el pensamiento puro.
En lgica, en matemticas, lo que importa es el pensamiento puro, no la gnesis
del mismo. Frege distingue tres planos: expresin, contenido judicativo de esa
expresin y asercin o juicio del contenido o pensamiento. Lo nico que importa
en la Conceptografa es el contenido judicativo.
La introduccin de los cuantificadores universal y existencial le lleva a introducir
las nociones de variable libre y variable ligada. El cuantificador universal debe
estar sometido a que cualquier sustitucin que pueda hacerse en una funcin tiene
que dar un contenido que pueda convertirse en juicio.
Giuseppe Peano Puso de relieve que la implicacin es la relacin fundamental
en matemticas, por ser implicaciones casi todos los enunciados verdaderos en
cualquier sistema matemtico. Constat la posibilidad, gracias a la lgica, de
poner todos los enunciados de la matemtica y no slo la aritmtica, como crea
Frege en forma de un lenguaje artificial de signos, y construir las demostraciones
de todos los teoremas matemticos mediante cambios y sustituciones de tales
signos partiendo de axiomas y definiciones.
Entre sus descubrimientos e invenciones destacan: a) la definicin de una clase
por medio de un enunciado de la forma: la clase de los x tales que P(x) (que
simboliz como x
px); b) la idea de que los enunciados con variables libres
difieren de un modo importante de los bivalentes; c) el uso de puntos en lugar de
los signos (, ), [, ], para agrupar complejos de signos; d) el uso de signos
diferentes a los matemticos para las operaciones y relaciones lgicas cuando
53
Lgica simblica
54
55
Lgica simblica
Lgica simblica
Bibliografa.
Arnaz, Jos Antonio, Iniciacin a la lgica simblica, 3 ed, Trillas
Claudio Gutirrez, La lgica y el conocimiento, Universidad de Costa
Rica, University of Delaware
Enciclopedia Encarta 2003. 1993-2002 Microsoft Corporation.
www.biografias.com
56