Lgica simblica

Lgica simblica i
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 ii
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

De la lgica clsica a la lgica simblica

2 La lgica griega ............................................................................................... 4
2.1 Aristteles ............................................................................................... 4
2.1.1 Cuantificacin de los enunciados ................................................... 6
2.1.2 Oposicin entre enunciados ........................................................... 7
2.1.3 Conversin de enunciados ............................................................. 8
2.1.4 Silogismos y figuras ........................................................................ 9
2.1.5 Silogismos: premisas y validez ..................................................... 11
2.1.6 La induccin y la deduccin .......................................................... 12
2.2 Los estoicos .......................................................................................... 12
2.2.1 El criterio de verdad ...................................................................... 13
2.2.2 El asentimiento y la epoch .......................................................... 13
2.2.3 El nominalismo estoico ................................................................. 13
2.2.4 La proposicin y el razonamiento ................................................. 14

3 Del medioevo al lgebra lgica ..................................................................... 16
3.1 Boecio y el cuadrado lgico de la oposicin de las
proposiciones categricas .................................................................. 17
3.2 Pedro Hispano ...................................................................................... 20
3.3 De Llull a Leibniz ................................................................................... 21
3.3.1 Raimundo Lulio ............................................................................. 22
3.3.2 Leibniz .......................................................................................... 23
3.4 La lgica de Port-Royal ......................................................................... 25
3.5 Kant: lgica formal y lgica trascendental ............................................. 25
3.6 El siglo XIX ............................................................................................ 26

4 Boole ............................................................................................................. 27

5 La lgica simblica ........................................................................................ 28
5.1 Gottlob Frege ........................................................................................ 28
5.2 Giuseppe Peano ................................................................................... 32
5.2.1 La formalizacin de la aritmtica .................................................. 33
5.3 Russell y los Principia Matemtica ........................................................ 35
5.3.1 La teora de los tipos .................................................................... 36
5.3.2 La teora de las descripciones ...................................................... 37
5.3.3 Los Principia Matemtica .............................................................. 38
Lgica simblica iii
Biografas
I Biografa de Gottfried Wilhelm von Leibniz.................................................... 41
II Biografa de George Boole ............................................................................ 43

Resumen y conclusiones ................................................................................. 45

Bibliografa ....................................................................................................... 56
Lgica simblica 1
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

1.2 El objeto de estudio de la lgica
La lgica es una ciencia y su objeto de estudio lo constituyen las formas,
estructuras o esquemas del pensamiento. Si comparamos los siguientes ejemplos
de pensamientos, encontraremos que pueden referirse a cosas muy diferentes (es
decir, su contenido es variable), y sin embargo tienen estructuras comunes:

1. 7 es un nmero primo y 4 es par.
2. La gasolina es inflamable y la potasa es custica.
3. Venus es un planeta y Sirio es una estrella.
4. Marzo tiene 30 das o marzo tiene 31 das.
5. El hombre hace su historia o la historia hace al hombre.
6. 4 es impar o 4 es par.
7. Si el hombre hace su historia, entonces el destino es un mito.
8. Si 4 es par, entonces 4" tambin es par.
9. Si el tabaco produce cncer, entonces los cigarros son un medio de
suicidio.

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 2
1.3 Lenguaje natural y lenguaje simblico
El lenguaje es un medio, un instrumento por el cual se trasmite informacin. Los
libros, folletos, peridicos, etc., son buenos ejemplos de lenguaje escrito, utilizado
para trasmitir informacin.

No todos los lenguajes son hechos por el hombre; las abejas, por ejemplo,
informan a sus compaeras de panal sobre la localizacin de polen, haciendo
cierto tipo de movimientos que parecen una danza. El desarrollo de un embrin de
cualquier especie est guiado por la informacin trasmitida por los genes de las
clulas germinales.

En los lenguajes hechos por el hombre, la informacin se trasmite por medio de
signos, que pueden ser seas, gritos, palabras, volutas de humo, combinacin de
colores, etc. En realidad, los lenguajes humanos son sistemas de signos, que
representan algo, ya sea utilizando cada signo individualmente, o combinndolos
de alguna manera.

En el lenguaje natural, que aprendemos en forma espontnea Sempleamos en
nuestra vida cotidiana, los signos utilizados son palabras, habladas o escritas, las
cuales tienen un determinado significado. Sin embargo, es un hecho que una
misma palabra puede tener o usarse con dos o ms significados distintos,
dependiendo de las circunstancias (como "diablito", que se utiliza para nombrar lo
mismo a un nio travieso que a cierto tipo de conexin elctrica) ; tambin es
comn que dos o ms palabras tengan el mismo significado o se les utilice en el
mismo sentido (como "alumno?' y "estudiante?').

Gracias a estas imprecisiones del lenguaje natural se producen muchos chistes
(sobre todo los de doble sentido) y muchas expresiones cmicas. Pero tambin se
originan confusiones y errores, que si bien en la vida diaria no es del todo
necesario evitar, en algunas actividades, como la cientfica, s es preciso eliminar
en lo posible. Es por ello que en las ciencias nos encontramos un lenguaje
preciso, tcnico y lleno de smbolos, que son signos de signos, es decir, signos
elegidos cuidadosa y conscientemente para representar a otros signos.

Por ser producto de una eleccin, los smbolos tienen carcter convencional, pero
dentro de un lenguaje determinado poseen siempre el mismo significado, sin que
vare de acuerdo con las circunstancias; por ejemplo, dentro del lenguaje de la
geometra plana, el smbolo "pi significa siempre la relacin cuantitativa que existe
entre el dimetro y la circunferencia de un crculo cualquiera (3.14159). El smbolo
puede variar de significado, pero no dentro del mismo lenguaje.


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 3
1.4 La simbolizacin del lenguaje lgico
Al simbolizar un lenguaje lo que se persigue es, bsicamente, sencillez, claridad y
exactitud. Es ms sencillo y tambin resulta ms claro y exacto representar las
cosas por medio de smbolos. Por ello, la simbolizacin del lenguaje lgico nos
permite examinar ms fcilmente las formas del pensamiento y sus leyes, las
cuales es preciso seguir si queremos que nuestro pensamiento sea correcto.

En la lgica proposicional se examinan las posibles relaciones entre
proposiciones, sin atender a su contenido. En esto es particularmente til
simbolizar las proposiciones con simples literales y las expresiones mediante las
cuales son relacionadas (como "Y", "O", "si. . . entonces"), por medio de signos
cuyo significado sea constante. De esta manera es ms fcil, como se ver ms
adelante, decidir si, por ejemplo, un razonamiento es correcto o no, lo cual no
siempre resulta sencillo como en el siguiente caso:

"Si en la Luna hay vida, entonces en la Luna hay agua."

"No ocurre que en la Luna hay vida."

"Luego, no es cierto que en la Luna hay agua."



Lgica simblica 4
2. De la lgica clsica a la lgica simblica
La lgica no siempre ha recibido el mismo nombre. Platn hablaba de la
dialctica como la tcnica de conocer las relaciones entre las ideas. Platn
pensaba que cualquier contenido de la mente exista tal cual en la realidad, en el
mundo de las Ideas separadas, el cosmos noets. Contra estas ideas separadas
reaccion Aristteles, quien en su Oganon o coleccin de obras lgicas, emplea la
palabra analtica para referirse a la lgica. Para Aristteles las ideas existen slo
en la mente humana, pero se corresponden a la realidad; esto trajo consigo el
nacimiento de la lgica. Aristteles distingue, as, entre la metafsica(ciencia de la
realidad o del ser y sus principios ms profundos) y la lgica (ciencia de las ideas
y procesos de la mente), que Platn identificaba.

Por lgica clsica puede entenderse a veces la lgica simblica moderna
estndar, esto es, clculos como los de Principia Mathematica y sistemas afines,
que incluiran la lgica de enunciados, la lgica de predicados de primer orden
(incluida la lgica de relaciones) y la lgica de predicados de orden superior. Esto
se opondra a las lgicas no clsicas, esto es, aquellas que, o bien no comparten
algn presupuesto fundamental de la lgica clsica, o bien constituyen desarrollos
complementarios de la lgica clsica (como la lgica modal), o bien constituyen de
algn modo concepciones alternativas a la lgica clsica (como la lgica
intuicionista). Pero puede entenderse tambin y ms frecuentemente por lgica
clsica) la lgica aristotlica con sus complementos medievales que permaneci
con apenas alguna variacin hasta Frege.


2. La lgica griega

2.1 Aristteles

La opinin de que la lgica comienza con Aristteles se debe a varias razones.
Una es que fue el primero en formalizar las expresiones, esto es, en emplear
variables para los trminos, para poder analizar mejor las inferencias entre
enunciados. Fue tambin el primero en concebir la lgica como el estudio de la
inferencia formalmente vlida, y quien construy el primer sistema de lgica de
trminos. Pero, adems de la lgica sensu estricto, en las obras de Aristteles
aparecen los siguientes temas: 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.

En la concepcin aristotlica de la lgica hay una vacilacin entre dos ideas. Por
un lado, la lgica es concebida, en tanto que rgano, como prolegmeno de toda
investigacin cientfica, filosfica o simplemente perteneciente al lenguaje
Lgica simblica 5
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 6
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.

2.1.1 Cuantificacin de los enunciados

Aristteles considera que todos los enunciados (simples) tienen la forma S es P
donde S es el sujeto, y P el predicado que se atribuye a S. El predicado P siempre
es un concepto o entidad abstracta, pero el sujeto S puede ser tanto un individuo o
entidad concreta como un concepto o entidad abstracta. Si ocurre lo primero,
tenemos un enunciado singular, mientras que en el segundo caso nos las
habemos con un enunciado conceptual o general.

En los Analticos Anteriores slo se consideran los enunciados conceptuales o
generales, que a su vez se dividen en universales, particulares e indefinidos.

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 (Analticos Anteriores, I, 24 a 16)

El enunciado universal (afirmativo) contiene un cuantificador universal, es decir,
una expresin lingstica como cada, todos, o para todo, y atribuye el
predicado universalmente al sujeto, es decir, afirma que el concepto-predicado es
aplicable a todas las cosas a las que se aplica el concepto sujeto.

El enunciado particular (afirmativo) contiene un cuantificador particular, es decir,
una expresin lingstica como algn o hay o para algn, y atribuye el
predicado particularmente al sujeto, es decir, slo afirma que el concepto-
predicado es aplicable a algunas cosas a las que tambin se aplica el concepto-
sujeto.

El enunciado indefinido es un enunciado conceptual o general que carece de
cuantificadores, por lo que no est claro si el predicado se atribuye universal o
particularmente al sujeto.

Una de las invenciones ms notables de Aristteles consisti en la introduccin de
variables o letras esquemticas en la lgica. No lleg a introducir variables para
individuos, pero s para conceptos o entidades abstractas. Utilizaba letras
maysculas para referirse indistintamente a conceptos cualesquiera.

Lgica simblica 7
Divisin aristotlica de los enunciados simples en ocho tipos, segn su
cuantificacin y su carcter afirmativo o negativo:

Afirmativo Negativo
S es P S no es P
Enunciado Universal Todo S es P Ningn S es P
Particular Algn S es P Algn S no es P
Indefinido S es P S no es P

En su exposicin definitiva, la lgica aristotlica no conoce mas que cuatro tipos
de enunciados (simples), los tipos que los lgicos medievales designaron
mediante las letras a, e, i, o, correspondientes a los enunciados universales
afirmativos (a), universales negativos (e), particulares afirmativos (i) y particulares
negativos (o).

A afirmativo 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

2.1.2 Oposicin entre enunciados

Aristteles inici su estudio sistemtico de las relaciones lgicas entre enunciados
con la consideracin de la oposicin. La oposicin entre enunciados puede ser de
dos tipos: oposicin contradictoria y oposicin contraria.

La 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. La contradiccin se da entre dos enunciados singulares del tipo s es P
y s no es P. Pero estos enunciados no juegan ningn papel en la lgica de
Aristteles. La contradiccin se da tambin y esto s juega un papel importante
en su lgica entre un enunciado universal afirmativo y el correspondiente
enunciado particular negativo, es decir, entre dos enunciados de los tipos todo S
es P y algn S no es P. Igualmente se oponen contradictoriamente un
Lgica simblica 8
enunciado universal negativo y el correspondiente particular afirmativo, es decir,
dos enunciados de los tipos ningn S es P y algn S es P.

Todo A es B es el contradictorio de algn A no es B
Ningn A es B es el contradictorio de algn A es B
Algn A es B es el contradictorio de ningn A es B
Algn A no es B es el contradictorio de todo A es B

Cada enunciado es equivalente a la negacin de su contradictorio. Por tanto, si
negamos un enunciado, hemos de afirmar su contradictorio. Si afirmamos un
enunciado hemos de negar su contradictorio.

La oposicin contraria o contrariedad se da entre dos enunciados que no pueden
ser ambos verdaderos, sino que al menos uno de ellos ha de ser falso. Tambin
los dos pueden ser falsos. Si el uno es verdadero, el otro es falso. Pero si el uno
es falso, el otro puede ser tanto verdadero como falso. La contrariedad se da entre
un enunciado universal afirmativo y el correspondiente enunciado universal
negativo, es decir, entre dos enunciados de los tipos todo S es P y ningn S es
P.

Todo A es B es el contrario de ningn A es B
Ningn A es B es el contrario de "todo A es B

Leyes de la oposicin contradictoria:

Si no (todo A es B), entonces (algn A no es B)
Si no (ningn A es B), entonces (algn A es B)
Si no (algn A es B), entonces (ningn A es B)
Si no (algn A no es B), entonces (todo A es B)

Leyes de la oposicin contraria:

Si (todo A es B), entonces no (ningn A es B)
Si (ningn A es B), entonces no (todo A es B).

Estas dos leyes son invlidas desde el punto de vista de la lgica actual.

2.1.3. Conversin de enunciados

Una de las razones por las que Aristteles prescinde de los enunciados singulares
en su lgica madura estriba en su deseo de poder permutar sujeto y predicado en
cualquier enunciado. Ahora bien, si el sujeto es un individuo o entidad concreta, es
imposible que haga de predicado y, por tanto, la permutacin es imposible. Pero si
tanto el sujeto como el predicado son conceptos o entidades abstractas, entonces
la permutacin es siempre posible. Por eso Aristteles limita su consideracin a
los enunciados conceptuales o generales.
Lgica simblica 9

La conversinde un enunciado consiste en la permutacin de su sujeto y su
predicado. El enunciado conserva los mismos conceptos, pero el concepto que
haca de predicado pasa a hacer de sujeto, y a la inversa. Naturalmente, no
siempre la verdad de un enunciado garantiza la verdad del enunciado que resulta
de la permutacin de sus conceptos.

Los enunciados universales negativos y los particulares afirmativos pueden
convertirse siempre; los enunciados particulares negativos no pueden convertirse
nunca; los enunciados universales afirmativos pueden convertirse slo a condicin
de transformar su cuantificacin de universal en particular. Aristteles obtiene las
siguientes leyes lgicas de la conversin:

Si (ningn A es B), entonces (ningn B es A)
Si (algn A es B), entonces (algn B es A)
Si (todo A es B), entonces (algn B es A)

2.1.4. Silogismos y figuras

Aristteles define el silogismo del siguiente modo:

El silogismo es un discurso en el cual, puestas ciertas cosas, algo
distinto de las cosas puestas se sigue necesariamente de ellas,
como consecuencia suya, y sin que sea preciso introducir ningn
otro trmino para justificar la necesidad de la conclusin (Analticos
Anteriores, I, 24 b 18)

Esta definicin vale para cualquier deduccin. Sin embargo, Aristteles usa la
palabra silogismo para referirse no a cualquier deduccin, sino a un tipo muy
especial de ella, la formada por tres enunciados (dos premisas y una conclusin),
cada uno de los cuales es de uno de los cuatro tipos todo S es P, ningn S es
P, algn S es P, o algn S no es P, donde S y P son trminos generales (o
conceptos) cualesquiera, y tales que en los tres enunciados juntos aparecen
exactamente tres trminos o conceptos, no ms ni menos.

Segn el anlisis que hace Aristteles, para que las premisas impliquen la
conclusin, es preciso que en ellas aparezcan los dos conceptos de la conclusin
(a los que llamaremos extremos), uno en cada premisa y, adems, un concepto
nuevo, que no aparece en la conclusin, pero que aparece en ambas premisas (al
que llamaremos medio). Cmo clasificar estas combinaciones? En primer lugar,
en figuras.

La primera figura se da cuando el sujeto de la conclusin es sujeto de una
premisa, el predicado de la conclusin es predicado de otra premisa y el concepto
medio es predicado de una premisa y sujeto de otra.

Lgica simblica 10
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

Lgica simblica 11
Llamo silogismo perfecto al que no necesita nada fuera de lo puesto
en las premisas para hacer evidente la necesidad de la conclusin.
Llamo silogismo imperfecto al que [para hacer evidente la necesidad
de la conclusin] necesita de una o varias cosas que no aparecen
explcitamente en las premisas, aunque se siguen necesariamente
de ellas (Analticos anteriores, I, 24 b 22)

Un silogismo perfecto es evidentemente vlido. Un silogismo imperfecto es
igualmente vlido, pero su validez no es evidente, sino que ha de ser mostrada
con ayuda de un silogismo perfecto. Aristteles elige como axiomas de la
silogstica a los silogismos de la primera figura, por ser stos los nicos perfectos
y evidentes.

Por qu son evidentes los silogismos de la primera figura? Porque en esta figura
y slo en ella: 1) la primera premisa acaba con el mismo concepto con que
empieza la segunda, lo que facilita la inteleccin; 2) el concepto medio ocupa
efectivamente el puesto medio, lo que evidencia su papel mediador; 3) el primer y
ltimo conceptos del antecedente (o unin de las dos premisas) son el primer y
ltimo conceptos del consiguiente (o conclusin). Adems, en el primer silogismo
de la primera figura, que es el ms evidente de todos, el concepto sujeto de la
conclusin o concepto menor tiene una extensin menor que el concepto medio,
que tiene una extensin intermedia entre los otros dos y, por tanto, menor que la
del concepto predicado de la conclusin o concepto mayor.

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.

2.1.5 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. Y para ser tales, han de
ser, en s mismas, principios verdaderos, absolutamente primeros e inmediatos; y
respecto a la conclusin, ms cognoscibles, anteriores a la conclusin y causas de
ella. Inmediatos quiere decir 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. Algunos de estos principios son comunes a todas
las ciencias, otros son principios de cada ciencia. Los principios, sobre todos los
principios propios, segn Aristteles, no son sino definiciones y las definiciones
son posibles slo de la sustancia o de la esencia necesaria. La validez de los
principios en que se funda la ciencia, consiste, pues, en ser ellos expresin de la
sustancia, o mejor an, del gnero de sustancias sobre las que versa una ciencia
particular; y como la sustancia es causa de todas sus propiedades y
determinaciones como los principios son causa de las conclusiones que el
silogismo deriva de ellos, todo el conocimiento es conocimiento de causas.

Lgica simblica 12
2.1.6 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. Por ejemplo, despus
de haber constatado que el hombre, el caballo y el mulo (primer trmino) son
animales sin bilis (trmino medio) y que el hombre, el caballo y el mulo son
longevos (segundo trmino), deduce que todos los animales sin bilis son longevos;
en cuya conclusin aparece el trmino medio y un extremo. El ser sin bilis es, en
este caso, el trmino medio porque es la razn o la causa por la que el hombre, el
caballo y el mulo son longevos. La induccin es vlida si y slo si se agotan todos
los casos posibles. De ah que la induccin sea de uso limitado y no pueda
suplantar al silogismo deductivo, aunque para el hombre es un procedimiento ms
fcil y claro. Por eso afirma Aristteles que la induccin puede usarse, no en la
ciencia, sino en la dialctica y en la oratoria, es decir, como instrumento de
ejercicio o persuasin.

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.



Lgica simblica 13
2.2.1. El criterio de verdad

El problema fundamental de la lgica estoica es el del criterio de la verdad. Segn
todos los estoicos, el criterio de la verdad es la representacin catalptica o
conceptual. Dos interpretaciones son posibles del significado de esta expresin.
En primer lugar, la fantasa puede consistir en la accin del intelecto que se
apodera y comprende el objeto. En segundo lugar, puede ser la representacin
impresa en el entendimiento por el objeto, esto es, la accin del objeto sobre el
entendimiento. Para Sexto Emprico la representacin catalptica es la que viene
del objeto real y es impresa y marcada por l en conformidad consigo mismo, de
modo que no podra nacer de un objeto diverso. Zenn pona el significado de la
representacin catalptica en su capacidad de alcanzar y comprender el objeto. l
comparaba la mano abierta y los dedos extendidos a la representacinpura y
simple; la mano contrada que hace acto de coger, al asentimiento; la mano
cerrada en puo, a la comprensin catalptica. En fin, las dos manos apretadas
una sobre otra, con gran fuerza, eran el smbolo de la ciencia, la cual proporciona
la verdadera y completa posesin del objeto.

2.2.2 El asentimiento y la epoch

Si el recibir una representacin determinada, por ejemplo, ver el color blanco, no
est en el poder del que lo recibe, porque depende del objeto del cual se origina la
sensacin, el asentir a tal representacin es, en cambio, un acto libre. El
asentimiento constituye el juicio; el cual se define precisamente o bien como
asentimientoo como disconformidad o como suspensin, esto es, renuncia
provisional al asentimiento de la representacin recibida o a disentir de la misma.
Segn Sexto Emprico, los estoicos posteriores pusieron el criterio de la verdad,
no en la simple representacin catalptica, sino en la representacin catalptica
que no tenga nada contra s; porque puede darse el caso de representaciones
catalpticas que no sean dignas de asentimiento por las circunstancias en que son
recibidas. De esto se deriva que la representacin catalptica es la que est
dotada de evidencia no contradicha, tal que solicite con gran fuerza al hombre a
prestar su asentimiento, el cual, con todo, es libre. Consecuentemente, 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.

2.2.3 El nominalismo estoico

Los conceptos no tienen para los estoicos ninguna realidad objetiva: lo real es
siempre individual y el universal subsiste solamente en las anticipaciones o en los
conceptos. El estoicismo es, pues, un nominalismo. Los conceptos ms generales,
las categoras, son reducidos por los estoicos a cuatro: 1) el sustrato o sustancia;
2) la cualidad; 3) el modo de ser; 4) el modo relativo. Estas cuatro categoras
estn entre s en una relacin tal que la siguiente encierra la precedente y la
determina. De hecho, nada puede tener un carcter relativo, si no tiene un modo
Lgica simblica 14
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.

2.2.4 La proposicin y el razonamiento

La parte de la lgica estoica que ha ejercido mayor influencia en el desarrollo de la
lgica medieval y moderna es la que concierne a la proposicin y al razonamiento.
Como fundamento de esta parte de su doctrina, los estoicos pusieron la teora del
significado.

Tres son los elementos que se coligan: el significado, lo que significa
y lo que es. Lo que significa es la voz, por ejemplo, Dios. 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, por ejemplo, el mismo Dios (Sexto Emprico, Adv. Math.,
VIII, 12)

De estos tres elementos conexos, dos son corpreos, la voz y lo que es; uno es
incorpreo, el significado mismo. El significado es aquella funcin o representacin
o concepto que nos viene a la mente cuando omos una palabra y que nos permite
referir la palabra a una cosa determinada. El concepto animal racional es el
significado que permite la referencia de las palabras al objeto existente. Este
concepto sirve de camino entre la palabra (y en general, la expresin verbal) y la
cosa real o corprea, orientada de esta manera la referencia al objeto de las
expresiones lingsticas que de otra manera seran puros sonidos, incapaces de
toda conexin con las cosas. Por lo tanto, la referencia a la cosa es parte
integrante del significado o, por lo menos, es un aspecto ntimamente unido a ella,
pues la informacin en que consiste el significado no tiene ms funcin que la de
hacer posible y orientar tal referencia. En la lgica medieval y moderna, lo que los
estoicos llamaban significado ha sido expresado con otros nombres como
connotacin, intensin, comprensin, mientras que la referencia ha sido llamada
suposicin, denotacin, extensin, significado.

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 proposiciones simples del tipo
siguiente: si es de noche, hay tinieblas; pero es de noche, luego hay tinieblas.
Este tipo de razonamiento no tiene nada de comn con el silogismo aristotlico,
pues le faltan sus caracteres fundamentales: es inmediato (no tiene trmino
Lgica simblica 15
medio) y no es necesario. La falta de estos caracteres permite que los estoicos
distingan la concluyencia de un razonamiento de su verdad. El razonamientos
antes expuesto es verdadero slo si es de noche, pero es falso si es de da. Sin
embargo, es concluyente en todo caso, porque la conexin de las premisas con la
conclusin es correcta. Los tipos fundamentales de los razonamientos
concluyentes los llaman los estoicos apodcticos o razonamientos no
demostrativos. Son evidentes por s mismos y son los siguientes: 1) Si es de da
hay luz. Pero es de da. Luego hay luz (A B; A; B [MP]); 2) Si es de da hay luz.
Pero no hay luz. Luego no es de da (A B; B; A [MT]); 3) Si no es de da, es
de noche. Pero es de da. Luego no es de noche (A B; A; B); 4) O es de da
o es de noche. Pero es de da. Luego no es de noche (A B; A; B [SD1]); 5) O
es de da o es de noche. Pero no es de noche. Luego es de da (A B; B; A
[SD2]). Estos esquemas de razonamientos son siempre vlidos, pero no siempre
son verdaderos, ya que son verdaderos solamente cuando la premisa es
verdadera, es decir, corresponde a la situacin de hecho. Sobre ellos se modelan
los razonamientos demostrativos, que no slo son concluyentes, sino que adems
manifiestan algo que antes era oscuro: o sea, algo que no es inmediatamente
manifiesto a la representacin catalptica que se ve siempre limitada al aquy
ahora. El razonamiento demostrativo lo llaman los estoicos un signo indicativo por
cuanto permite poner en claro que antes era oscuro. En cambio, son signos
rememorativos aquellos que, en cuanto se presentan, hacen evidente el recuerdo
de la cosa que primero ha sido observada en conexin con ellos y ahora no es
manifiesta.

Uno de los temas ms debatidos fue la lgica de los condicionales. Dos fueron las
interpretaciones principales que se dieron acerca de las condiciones de verdad de
los condicionales. Segn Filn de Megara, los enunciados del tipo si entonces
slo son falsos cuando el antecedente es verdadero y el consecuente falso; en
todos los dems casos es verdadero. Este condicional fue denominado por
Russell implicacin material, y es el usado normalmente en lgica desde Frege.

Por contra, segn Diodoro de Cronos, para que un enunciado condicional sea
verdadero es menester, no meramente que no sea en ese instante el
antecedente verdadero y el consecuente falso, sino que nunca sea el antecedente
verdadero y el consecuente falso. De este modo, si es de da entonces es de
noche es siempre falso, independientemente de cuando se emita. Como para
Diodoro la verdad del condicional slo se da si constituye una implicacin material
siempre verdadera, podemos llamarlo implicacin material permanente. Hubo
incluso quienes pensaban que slo tiene sentido considerar a un condicional
verdadero cuando se da algn tipo de relacin entre el contenido del antecedente
y el del consecuente, de modo que no sea posible que siendo el antecedente
verdadero el consecuente sea falso. Esto es lo que en este siglo C.I. Lewis ha
denominado implicacin estricta. Este es el tipo de implicacin que se da para
Aristteles entre las premisas y la conclusin de un razonamiento, de modo que el
que las premisas de un razonamiento sean falsas no basta para justificar la validez
del razonamiento, sino que es menester que si las premisas fueran verdaderas, la
Lgica simblica 16
conclusin necesariamente lo sera. En suma, slo en la implicacin estricta el
consecuente es deducible del antecedente.

3. Del medievo al lgebra lgica

La lgica medieval, entendiendo por tal la que se desarrolla en el occidente
cristiano durante la Edad Media, del s. XI al XV-, es heredera de la lgica griega y,
en especial, de la silogstica aristotlica. A.N. Prior destaca cuatro aportaciones
nuevas y fundamentales de la Escolstica: (1) una teora general de la referencia
(suppositio terminorum), (2) una teora general de la implicacin (consequentia),
(3) un desarrollo de la lgica de las modalidades, y (4) el tratamiento de paradojas
y problemas lgicos del lenguaje. El primer tratado medieval de lgica es la
Dialctica, de Alcuino, obra escrita en forma de dilogo para ser utilizada en el
trivium, base de la enseanza elemental medieval, que Alcuino restaura a
iniciativa del emperador Carlomagno. Durante un largo perodo de tiempo, la
lgica queda relegada a estas nociones elementales de las artes liberales. La
aparicin de los dialcticos del s. XI y las primeras discusiones sobre la
naturaleza de los universales renuevan el inters por la lgica y su relacin con la
gramtica. El primer lgico medieval importante es Pedro Abelardo. Sus obras de
mayor inters son la Dialctica, en la que reelabora la herencia lgica dejada por
Boecio, y Sic et Non, en la que introduce uno de los procedimientos ms
caractersticos del estudio de las cuestiones en la Escolstica. A partir de la
segunda mitad del s. XII, se conocen ya en occidente el resto de obras lgicas de
Aristteles; la lgica basada en estas nuevas obras se conoci con el nombre de
ars nova, o nueva lgica, la usada ya en las universidades del s. XIII. La doble
direccin en el estudio de la lgica que existi en stas por un lado, el estudio
ms formal de la lgica desarrollado con cierta libertad e independencia por las
facultades de artes, basado en las primeras obras conocidas del Organon
aristotlico, ms Analticos primeros, Tpicos y Elencos sofsticos, y por otra, un
estudio de la lgica en consonancia con la metafsica aristotlica y Analticos
segundos, llevado a cabo por las facultades de teologa, ms fieles al pensamiento
aristotlico- dio origen a la lgica antiqua, de las facultades teolgicas, y a la lgica
moderna, de las facultades de artes. El autor ms representativo de esta lgica
moderna es Pedro Hispano; sus obras de lgica, Summulae Logicales, fueron los
manuales usuales durante los siglos XIV y XV, con ms de 150 ediciones. A
finales del s. XIII, la lgica moderna se instala en Oxford, donde consigue sus
momentos ms lgidos con Roberto Kilwarby, Juan Duns Escoto (aunque los
tratados lgicos se atribuyen a un Pseudo-Escoto) y, sobre todo, Guillermo de
Occam. La doctrina sobre las consecuencias, desarrollada de un modo especial
durante esta poca, representa una de las influencias de la lgica estoica sobre la
medieval. Consecuencia es, para los medievales, un condicional o un
argumento con la partcula ergo uniendo enunciados. Se discute intensamente
cules son las condiciones de verdad tanto de los condicionales como de estos
argumentos y se escriben al respecto tratados titulados De Consequentiis. Tales
tratados, aunque no eran independientes de la lgica aristotlica, recogen algunas
de las leyes fundamentales de la lgica de enunciados. Se aade la teora de la
Lgica simblica 17
suppositio, o de la significacin de un mismo trmino segn el lugar que ocupa en
un enunciado. Estas teoras guardan relacin con la teora moderna de la
cuantificacin.

3.1 Boecio y el cuadrado lgico de la oposicin de las
proposiciones categricas

En De philosophia rationali Apuleyo se interesa por las relaciones entre las cuatro
proposiciones clsicas, que se dividen en universales, particulares, singulares e
indefinidas. Una proposicin es universal cuando el predicado es atribuido o
negado con respecto a todos los entes abarcados por el sujeto: todos los
hombres (o: ningn hombre) son filsofos. Tenemos una proposicin singular
cuando el predicado se afirma o se niega de un solo individuo: Juan es filsofo.
Una proposicin particular es aquella en la que el predicado se atribuye o se niega
slo de algunos de los entes abarcados por el sujeto: algunos hombres son
filsofos. En la proposicin indefinida el predicado se atribuye o se niega de un
sujeto, pero sin precisas a cuntos individuos se hace referencia: el tren corre.
Apuleyo, al tratar y analizar todas estas proposiciones, afirma que es conveniente
presentarlas en quadrata formula, y las dispone de esta manera de conformidad
con el siguiente cuadro:



En este cuadro aparecen las contradictorias (alterutrae), las contrarias
(incongruae) y las subcontrarias (suppares). Faltan las subalternas.

Boecio vuelve a tomar el cuadrado lgico de Apuleyo, pero lo completa con la
subalternacin. Habla de proposiciones contradictoriae, contrariae, subcontrariae y
subalternae. Introduce asimismo trminos como sujeto, predicado y
contingente. El cuadrado lgico completado y estructurado por Boecio se
presenta del siguiente modo:
Lgica simblica 18


Ms tarde los medievales indicarn mediante letras las cuatro proposiciones
clsicas (vase Pedro Hispano). Colocando de manera oportuna las formas
normales de las proposiciones categricas, se obtiene el clsico cuadrado de la
oposicin:



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
Lgica simblica 19
Si O es verdadera: A es falsa, E e I son indeterminadas
Si A es falsa: O es verdadera, E e I son indeterminadas
Si E es falsa: I es verdadera, A y O son indeterminadas
Si I es falsa: A es falsa, E es verdadera, O es verdadera
Si O es falsa: A es verdadera, E es falsa, I es verdadera

Otros tipos de inferencias son aquellos que se obtienen por conversin, por
obversin y por contraposicin. La conversin se realiza mediante el intercambio
de las respectivas proposiciones de los trminos del sujeto y del predicado de una
proposicin. En este caso, se trata de la conversio simplex y se aplica a E y a I; O
no tiene proposicin conversa, y A la tiene per accidens: adems de cambiar la
posicin de los trminos, es preciso cambiar tambin la cantidad de la proposicin,
de universal a particular. Por ejemplo: la conversa de todos los perros son
animales es algunos animales no son perros. Se produce obversin cuando el
trmino-sujeto permanece incambiado, y tambin permanece incambiada la
cantidad de la proposicin que se desea obvertir, pero se cambia la cualidad,
sustituyendo el trmino-predicado por su complemento.

La obversin se aplica a los cuatro tipos de proposiciones categricas. Estamos
ante una contraposicin 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. La
contraposicin se aplica a A y a O; I no tiene proposicin contrapuesta, y E slo la
tiene per accidens. Pueden resumirse as estos tipos de inferencias inmediatas:

CONVERSIN
Convertenda
A: Todo S es P
E: Ningn S es P
I: Algn S es P
O: Algn S no es P
Conversa
Algn P es S (per accidens)
E: Ningn P es S
I: Algn P es S
No existe conversa
OBVERSIN
Obvertencia
A: Todo S es P
E: Ningn S es P
I: Algn S es P
O: Algn S no es P
Obversa
E: Ningn S es no-P
A: Todo S es no-P
O: Algn S no es no-P
I: Algn S es no-p
CONTRAPOSICIN
Lgica simblica 20
Premisa
A: Todo S es P
E: Ningn S es P

I: Algn S es P
O: Algn S no es P
Contrapuesta
A: Todo no-P es no-S
O: Algn no-P no es no-S
(por limitacin)
No existe contrapuesta
O: Algn no-P no es no-S

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.

3.2 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. As, por ejemplo, se indica con la A la proposicin universal
afirmativa, con la E la universal negativa, con la I la particular afirmativa y con la O
la particular negativa, con arreglo a los siguientes versos:

A adfirmat, negat E, sed universaliter ambae,
I firmat, negat O, sed particulariter ambae.

>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.

En el libro 7 de esta obra incluye la lgica terminalista. Las propiedades de los
trminos son la suposicin, la ampliacin, la restriccin, la apelacin, la
distribucin. Pero la ms importante de todas ellas es la suposicin. La suposicin
se distingue de la significacin en que, a diferencia de sta, es propia no del
trmino aislado sino del trmino en cuanto se repite en las proposiciones y
constituye su dimensin semntica.

Lgica simblica 21
La suposicin y la significacin difieren en que la significacin es la
imposicin de una voz a la cosa significada mientras que la
suposicin es la acepcin del mismo trmino ya significante para
cualquier otra cosa; por ejemplo, cuando se dice el hombre corre
este trmino hombre alude a Scrates, a Platn, o cualquier otro.
La significacin es antes que la suposicin, pero no son idnticas ya
que el significar es propio de la voz y el suponer lo es del trmino ya
compuesto de voz y significacin (Summulae, 6, 03).

Distingue entre suposicin simple y suposicin personal. Existe suposicin simple
cuando el trmino comn se emplea para la cosa universal que el mismo
representa, como cuando se dice el hombre es una especie: en cuya proposicin
el trmino hombre est en lugar del hombre en general y no por un individuo
humano determinado. En cambio, hay suposicin personal cuando el trmino
comn est en lugar de los individuos comprendidos por el mismo, como en la
proposicin el hombre corre, donde el trmino hombre est en lugar de los
individuos humanos, o sea, en lugar de Scrates, de Platn y de otros.

3.3 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; de ah se derivaron anlisis ms detallados
sobre las relaciones entre proposiciones y sobre el sentido de los trminos. Por
eso los lgicos componen tratados que dan las reglas a seguir en las
disputationes, pero cuyo sentido en la historia de la lgica es sin duda ms
importante.

Junto a los tratados sobre las disputationes, se encuentran los tratados sobre las
controversias, que estudian las inferencias entre proposiciones simples y
compuestas y los sophismata. Un sophisma no es un sofisma, o por lo menos no
lo es necesariamente (como la fallacia); es una proposicin que contiene alguna
dificultad, debido a una falta o a una ambigedad de construccin, o a cualquier
otra razn; esa proposicin es estudiada por s misma, y en la prctica escolar
sirve de ocasin, en muchos casos, para que el maestro desarrolle un punto
particular de la disciplina que ensea. 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.

Adems de la teora de las consecuencias, los lgicos se ocuparon tambin de los
trminos y de sus relaciones en la proposicin. Enumeraron y analizaron palabras
tales como cada, todo, y, o, no...; su caracterstica comn es que no significan por
s mismas, sino que tienen que unirse a trminos dotados de una significacin
propia o categorema; de ah proviene su nombre, que es sincategoremas.

Lgica simblica 22
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.

Lo que los lgicos medievales pretendan, en realidad, era estudiar el nico
instrumento de razonamiento de que se dispona: la lengua latina. Los lgicos
construyeron un lgebra del lenguaje y se esforzaron mucho por disipar sus
ambigedades y extraer las reglas de su uso exacto.

3.3.1 Raimundo Lulio

Entre estos lgicos medievales destaca Ramn Llull. Llull piensa que el ser de las
criaturas es como una imitacin de Dios, y la naturaleza es como un libro en el que
pueden leerse los designios de la divinidad. Pero para captar el orden divino
deben establecerse unos principios generales. Dichos principios generales que
son los que estaban en la base de su Ars, eran elementos simples a los que se
reducen todas las proposiciones y, debidamente combinados, deban hacer
posible una presentacin unitaria, rigurosa y encadenada de todo el saber.

Llull menciona dieciocho principios generales. De ellos, nueve son los atributos
divinos, que se obtienen a partir de maximizar en grado supremo las perfecciones
de los seres creados: 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. Cada uno de estos elementos es
representado por letras o por otros smbolos, y los combina entre s, de manera
mvil, en crculos concntricos. Los diversos razonamientos para solventar todos
los problemas (tanto de la religin como de las ciencias) surgan de todas las
combinaciones posibles. Llull 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. Recurri a diagramas, tablas, crculos grficos y crculos concntricos
mviles (el ms complejo de estos instrumentos es denominado figura univeralis,
que posee catorce crculos concntricos), dispuestos de modo que, a partir de los
conceptos fundamentales, fuera posible hallar conceptos nuevos as como razonar
acerca de ellos sin error. Crea, por tanto, en un fundamento lgico y racional
universal, a manera de un clculo, vlido para todas las verdades, incluidas las de
la religin.

Esto es posible, pensaba, porque hay un nico fundamento racional, que afecta
tambin a las verdades de la fe que, de esta manera, pueden demostrarse por
Lgica simblica 23
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.
Lgica simblica 24
Su ideal era que las disputas y diferencias de opinin se pudiesen resolver
mediante el clculo. De acuerdo con eso, los disputantes se sentaran, tomaran
sus plumas y diran: Calculemus. Quera adems crear una lgica del
descubrimiento o lgica inventiva.

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.

De acuerdo con su tesis de que el concepto de predicado est incluido en el
concepto de sujeto, intent elaborar una lgica en que lo importante fuese la
relacin conceptual entre el predicado y el sujeto, independientemente de la
existencia o no existencia del objeto designado por el sujeto. En las escuelas
[i.e., en la escolstica] hablan de otra manera, no considerando las nociones, sino
ejemplos sujetos a nociones universales... En verdad, prefer considerar las
nociones universales o las ideas y sus compuestos, porque no dependen de la
existencia de los individuos. A la lgica basada en esta idea se le ha llamado
lgica intensional.

En Algunas dificultades de la lgica, Leibniz propone dos lecturas de las
proposiciones categricas. Son las siguientes:

Todo A es B AB = A A no B es no-ente
Algn A no es B AB A A no B es ente
Ningn A es B AB AB ente AB es no ente
Algn A es B AB = AB ente AB es ente

En la versin de la segunda columna puede observarse que, dada la tesis de la
contencin o inclusin del predicado en el sujeto, tanto A como el predicado B
estn incluidos en el sujeto A, es decir, AB A; pero tambin podemos ver que A
AB, y esto se debe a que para Leibniz todo enunciado o proposicin, tanto de
razn como de hecho, afirma en el fondo una identidad (o su negacin). Si la
identidad es una verdad de razn, sta se demuestra en un nmero finito de
pasos; si es una verdad de hecho, se necesita, para su demostracin por parte de
nosotros (no de Dios), un anlisis infinito, es decir, una aproximacin continua e
interminable a una identidad que slo es vista por la mente divina. La versin de la
tercera columna muestra que todas las oraciones de sujeto-predicado, unidas por
la cpula (llamadas oraciones de tercer adyacente) son equivalentes a oraciones
en que el sujeto es la unin del sujeto y predicado, del cual se predica la entidad o
la no entidad (oraciones de segundo adyacente).



Lgica simblica 25
3.4 La lgica de Port-Royal

Los lgicos de Port-Royal no conciben la lgica como una ciencia, sino como un
arte: el arte que ensea no a combinar palabras y frmulas, sino a pensar
correctamente. As, la lgica tiene que convertirse en un instrumento adecuado
para servir a las dems ciencias. Por consiguiente, es intil perder el tiempo con
silogismos elaborados mediante ejemplos del todo artificiosos. Si la enseanza
quiere ser no slo entretenida, sino tambin conseguir resultados valiosos y tiles,
debe basarse en ejemplos de razonamientos que se utilicen de modo efectivo en
los diversos mbitos del saber, la literatura y la vida. Adems, la lgica escolstica
se propone ofrecernos las reglas de los razonamientos correctos, y su utilidad
consiste sin duda en tales reglas. Sin embargo, no debemos creer siquiera que
tal utilidad vaya muy lejos, ya que la mayor parte de los errores humanos no
consiste en verse engaados por consecuencias errneas, sino en caer en juicios
falsos, de los que se extraen consecuencias errneas. Los hombres, en suma,
razonan en general de un modo correcto, es decir, no se engaan al extraer
determinadas consecuencias de las premisas; lo que ocurre es que a menudo
juzgan equivocadamente, es decir, no saber establecer las premisas. En resumen:
no es cuestin de correccin, sino que es problema de la verdad, por lo cual el
arte de razonar (esto es, deducir consecuencias basndose en premisas) debe
estar precedido por el arte de pensar (el arte que ensee a establecer premisas
vlidas).

El pensamiento asume la forma de lenguaje, pero el lenguaje no debe enclaustrar
o distorsionar el pensamiento. La forma lingstica no debe torcer o viciar las
operaciones lgicas. Y la funcin de la lgica, arte de pensar, consiste
justamente en poner en claro el autntico pensamiento que se halla debajo de las
apariencias de la forma verbal, ayudndonos a remontarnos desde la forma hasta
el significado. ste es el que debe permitir una interpretacin de la forma y no es
la forma la que impone el significado. La nocin de un pensamiento que est por
debajo de las ms diversas formas lingsticas condujo a la concepcin de una
gramtica general. La intencin especfica de dicha Gramtica general es el llegar
a aquellas estructuras fundamentales que rigen la mente humana en general, y
que puede constatarse en el interior de las diferencias existentes entre las lenguas
histricas.

3.5 Kant: lgica formal y lgica trascendental

Para Kant la intuicin y los conceptos constituyen los elementos de todos nuestros
conocimientos, de manera que ni los conceptos, sin que les corresponda de algn
modo una intuicin, ni la intuicin, sin los conceptos, pueden darnos un
conocimiento. Ms an, ninguna de estas dos facultades debe anteponerse a la
otra. Sin sensibilidad no se nos dara ningn objeto y sin intelecto no podra
pensarse ninguno. Los pensamientos sin contenido estn vacos; las intuiciones
sin conceptos son ciegas. El intelecto no puede intuir nada y los sentimientos nada
pueden pensar. El conocimiento slo puede surgir de su unin.
Lgica simblica 26

Kant distingue entre la ciencia de las leyes de la sensibilida den general la
esttica y la ciencia del intelecto en general la lgica. La lgica se divide en a)
lgica general y b) lgica trascendental.

La lgica general prescinde de los contenidos y se limita a estudiar las leyes y los
principios en general del pensamiento, sin los cuales no existira una utilizacin del
intelecto. Esta es la clebre lgica formal descubierta por Aristteles y que, segn
Kant, naci casi perfecta, hasta el punto de que no tuvo que dar ningn paso
atrs y se ha limitado a sufrir correcciones slo de detalle.

A Kant, en la Crtica de la razn pura no le interesa la lgica formal, sino la
trascendental, que no prescinde del contenido. Cul ser el contenido que la
lgica trascendental tiene por objeto, adems de las formas mismas del
pensamiento? Kant distingue entre conceptos empricos y conceptos puros; los
empricos son aquellos conceptos que contienen elementos sensibles; puros, en
cambio, son aquellos que no estn mezclados con ninguna sensacin.

3.6 El siglo XIX

Entre 1825 y 1900 el lgebra y la geometra experimentaron grandes cambios, que
hacia 1900 dieron lugar a una nueva concepcin de la filosofa de la matemtica.
Una ecuacin es un enunciado que establece que dos grupos de nmeros o de
signos representativos de ellos son iguales. Hasta 1825 el lgebra no era sino la
teora de las ecuaciones. El fin de la teora era obtener un conocimiento del modo
en que tales ecuaciones podan ser manipuladas para asignarles valores
numricos que las hiciesen verdaderas, como tambin obtener un conocimiento de
las condiciones que controlan la existencia entre esos valores numricos. Las
cuatro operaciones bsicas se efectuaban siguiendo un criterio ms o menos
intuitivo, segn los pasos que parecan ms naturales. Las reglas que las
apoyaban continuaban en la oscuridad. No se pensaba que fuese necesario el
establecimiento de tales reglas.

Peacock adelant la idea de que el lgebra es una ciencia deductiva como la
geometra. Defenda, primero, que todos los procesos del lgebra habrn de estar
basados en un establecimiento completo del cuerpo de leyes que conciernen a las
operaciones utilizadas en esos procesos, no pudindose usar ninguna propiedad
de una operacin si no ha sido puesto de manifiesto que tal propiedad pertenece a
esa operacin, y no se ha establecido como una ley verdadera desde el comienzo
o no ha sido obtenida por deduccin a partir de las leyes iniciales. En segundo
lugar, que los signos de las operaciones no tienen, a efectos deductivos, otros
sentidos que aquellos que les han sido asignados por leyes.

En el siglo XIX tambin merece un lugar destacado la lgica de Stuart Mill. Para
Mill la lgica es una elaboracin posterior de nuestras intuiciones sensibles. Pero
Lgica simblica 27
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 sujeto-
predicado 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.

Lgica simblica 28
El nombre que se emplea en lgica y matemticas para designar un grupo
formado por todas las cosas que poseen una cierta propiedad es el de clase o
conjunto, y de las cosas que poseen esa propiedad se dice que son elementos de
la clase o del conjunto. Las ideas de clase y elemento son bsicas en la
matemtica actual. El resultado de la teora de Hamilton y De Morgan fue
posibilitar una concepcin de la lgica como un lgebra de clases. Y Boole fue el
primero en tener claramente esta concepcin.

Boole da cuenta de la antigua lgica como un lgebra, mostrando cmo los
enunciados A, I, E y O pueden traducirse en forma de ecuaciones simples; cmo
las consecuencias necesarias de cualquiera de estos enunciados pueden
obtenerse algebraicamente partiendo de su ecuacin correspondiente; cmo la
validez de un silogismo puede comprobarse convirtiendo el grupo de enunciados
que lo integran en un sistema de ecuaciones simples y viendo si la ecuacin
correspondiente a la conclusin puede ser obtenida algebraicamente a partir de
las ecuaciones correspondientes a las premisas; y cmo si se dan ciertos
enunciados como premisas de un silogismo, pero sin especificar conclusin
alguna, es posible obtener algebraicamente de ellos una conclusin necesaria
partiendo de sus correspondientes ecuaciones.

Pero Boole expuso, adems, una teora de la lgica de enunciados considerada
como un lgebra. Como su teora de la lgica de enunciados fue, en cuanto a la
forma, la misma que la del lgebra de clases, fue el primero en ofrecer una teora
unificada de la lgica. De este modo, el lgebra de Boole es como una teora con
dos interpretaciones. As, en lgebra de clases 1 significa todo, esto es, la clase
de todos los elementos posibles, 0 es nada, o sea, la clase que no tiene por
elemento nada que sea elemento de todo, x + y es la clase cuyos elementos
son las cosas de todo que son elementos de x o y de y, pero no de ambos; x ( y
es la clase de elementos comunes a x e y. Pero esas cuatro frmulas significan
respectivamente en lgica de enunciados: lo verdadero, lo falso, que x es
verdadero o y es verdadero, pero no ambos, y finalmente que x es verdadero e y
es verdadero. Traducido a notacin actual tendramos, por ejemplo, expresiones
de la lgica de enunciados como p q, p q o p q que tienen sus
equivalentes en lgebra de clases: A B, A B o A B respectivamente, y
las leyes del lgebra tienen su equivalente en leyes de la lgica de enunciados.

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.

Lgica simblica 29
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
Lgica simblica 30
conceptualmente al mismo; los contenidos conceptuales puros son independientes
de que el hombre los perciba, imagine o piense. En lgica, en matemticas, lo que
importa es el pensamiento puro, no la gnesis del mismo. Esta conviccin lleva a
Frege a oponerse a los mtodos de Boole, porque Boole parte en su labor de la
construccin de un clculo formal que permite ulteriores interpretaciones distintas;
para Frege ello equivale a partir del signo material para alcanzar el concepto. Y
Frege insiste en que tales clculos, por su punto de partida, se mostrarn
impotentes para la expresin de los conceptos y relaciones estrictamente lgicos.
Para Frege, lo primero es el contenido conceptual o de juicio; lo segundo, el signo
con que pueden representarse tales contenidos o pensamientos. Y un contenido
que no hace referencia, en momento alguno, a los aspectos psicolgicos. Una
proposicin lgica no es ms que un signo compuesto con arreglo a una regla
determinada; signo que posee un sentido que se mantendr en cualquier lengua
a la que se traduzca la proposicin anterior. Y es este sentido el que Frege
denomina pensamiento, independiente, por tanto, de la representacin sensorial
del mismo, de la actividad psicolgica o espiritual ms o menos subjetiva.

La Conceptografa pretende ser una conceptografa que permita la traduccin a
signos que reflejen las relaciones entre los conceptos simbolizados mediante un
manejo por reglas estrictamente especificadas. En realidad, yo no he querido
hacer un simple calculos ratiocinator sino una lingua charaterica [sic] en el sentido
de Leibniz. Y ello hasta el extremo de que si se partiera de un clculo al estilo del
lgebra lgica se est condenando a mantenerse en una especie de lgebra
abstracta, vaca, mientras que puede concebirse una lingua characterica que no
aboque en un clculo por el mero clculo. El clculo no debe considerarse como
otra cosa que como un complemento de dicha lingua.

Frente a los formalistas, que llegan a identificar numeral y nmero, 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. Los griegos vencieron a los persas en Platea y los persas
fueron vencidos por los griegos en Platea son dos expresiones diferentes, pero
presentan el mismo pensamiento, el mismo contenido. Contenido que puede ser
convertido en asercin, aunque sea independiente de tal asercin e incluso
puedan existir contenidos que carezcan de la expresin asociada correspondiente.
Ello conduce a rechazar la distincin entre sujeto y predicado, vlida
fundamentalmente para la expresin gramatical y no para el contenido judicativo ni
para el conceptual. La nica diferencia que importa entre contenidos judicativos es
la que existe entre universales y particulares, porque dicha distincin lo es en
cuanto a contenido conceptual y no slo en cuanto a expresiones. De este modo
quedan fuera de la lgica las viejas distinciones entre juicios categricos,
hipotticos, disyuntivos... Igualmente, conduce a admitir que la negacin se aplica
a contenidos de juicios y no a la sola expresin de los mismos, contenidos a los
que harn referencia, por modo exclusivo, las restantes constantes lgicas que
explicitar Frege.

Lgica simblica 31
Desde este enfoque que diferencia radicalmente lgica de gramtica y de teora
del conocimiento, Frege se ve obligado a rechazar la posibilidad de distinciones
modales como tema propio de la lgica. As, es posible que la Tierra choque
algn da con otro cuerpo celeste es una expresin en la cual quien la afirma no
conoce las leyes de las cuales pueda seguirse la negacin; en otras palabras, una
distincin modal de posiiblidades o de necesidad se refiere ms al fundamento
cognoscitivo que se tiene en el momento de enunciarla, que al contenido del juicio.
Desde esta posicin se invalida cualquier construccin lgico-modal.

Ms arriba se ha dicho que Frege sustituye los conceptos de sujeto y predicado
por los de argumento y funcin. Cmo se hace esto? Sea una expresin como
La vaca come hierba. Si en lugar de La vaca ponemos la oveja, la expresin
seguir siendo vlida. Se puede reemplazar el trmino vaca por otros trminos o,
generalizando, por un lugar vaco: ( ) come hierba, y ello de manera tal que, al
cubrir ese espacio vaco por un trmino conveniente se tenga la expresin
completa que podr o no ser judicable. Y lo ser cuando el trmino sea
conveniente, en cuyo caso dicho trmino poseer la propiedad indicada por la otra
parte de la expresin; en nuestro ejemplo, vaca poseer la propiedad de comer
hierba. Todos aquellos trminos que permitan cubrir el espacio vaco constituirn
los argumentos, mientras que la propiedad que los mismos poseen, la de comer
hierba, constituye la funcin para tales argumentos. Si ahora se toma la expresin
Jorge ama a Luisa, en lugar de Jorge y Luisa pueden colocarse otros trminos
por argumentos, por lo que la expresin general tendra dos espacios vacos ( )
ama a ( ) y la funcin ama a ser una funcin de dos argumentos. El proceso
puede continuar generalizndose para obtener funciones pluriargumentales.

Los espacios vacos se representarn por letras entre parntesis, como
indeterminadas, mientras que la propia funcin se representar, igualmente, por
una letra. Representacin que Frege hace por (A) para la funcin de un
argumento y (A,B) para la funcin de dos argumentos. Si al reemplazar
convenientemente la letra entre parntesis resulta que el contenido obtenido es
capaz de ser convertido en juicio, en asercin, entonces es que el argumento
satisface la funcin, es decir, posee la propiedad determinada por la misma.

Es el anlisis de una proposicin en letra funcional y argumento el que permite
superar a Frege la distincin entre sujeto y predicado. Anlisis por el cual puede
establecerse uno de los logros ms definitivos de la lgica matemtica: la teora de
la cuantificacin. Siguiendo con la funcin, puede ocurrir que todo trmino que se
reemplace en el argumento de una funcin posea esta propiedad, con lo que
estamos ante un cuantificador universal. La negacin del cuantificador universal
nos permite hacer aserciones existenciales.

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: Si una combinacin de
Lgica simblica 32
signos que siguen a un trazo de contenido puede convertirse en juicio, entonces
esa posibilidad permanece inalterada por una sustitucin (pargrafo 11). La
variable que acompaa al cuantificador aparece como una variable ligada y, por
ello, es diferente a una variable libre.

5.2 Giuseppe Peano

Al principio, la lgica matemtica se redujo a la teora de clases. McColl fue el
primero en sostener que la teora de enunciados era ms importante. Segn su
punto de vista, el fin de la lgica es slo la teora de enunciados y su principal
partcula conectiva es alguna especie de implicacin. La idea de que la raz de la
lgica matemtica es la teora de enunciados y no la teora de clases y de que la
implicacin es su relacin principal, cobr fuerza en seguida entre los precursores
de la lgica, como Frege o Pierce. Ambos se interesaron por la lgica de
enunciados como una rama del lgebra de clases, y la implicacin jug un papel
esencial en sus sistemas. No obstante, antes de Peano nadie us la lgica de
enunciados para clarificar los argumentos de la matemtica ordinaria, viendo as
en la lgica un instrumento para aclarar y dar rigor al razonamiento matemtico.
Nadie antes de 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. As, con Peano, se 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.

Para poner las demostraciones de las matemticas de forma rigurosamente
razonada, Peano emprendi la tarea de descubrir todas las ideas y leyes de la
lgica que se usan en matemticas y de inventar un conjunto de signos para la
notacin de esas ideas y la clara enunciacin de esas leyes. Entre sus
descubrimientos e invenciones destacan: a) la definicin de una clase por medio e
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 puede haber
peligro de lectura errnea; e) la distincin clara de la relacin de ser elemento de
una clase respecto de la de ser parte de una clase; siendo denotada la primera por
y la segunda por ; f) la idea de el tal y tal (tan usada luego por Russell) que
resulta necesaria para el tratamiento de propiedades de las que tenemos que decir
que las posee slo un individuo; g) la notacin del cuantificador universal
escribiendo las variables en la parte inferior derecha del conector de enunciados;
h) la notacin del cuantificador existencial mediante .
Pero, el logro ms importante de Peano fue la formalizacin de la aritmtica.

Lgica simblica 33
5.2.1 La formalizacin de la aritmtica

Cuando contamos pasamos de una cosa a la siguiente, y cuando numeramos lo
que estemos contando, pasamos de un nmero al siguiente (al que podemos
llamar su sucesor); asimismo empezamos siempre a contar en algn punto, de
modo que al numerar hay siempre un primer nmero que posee la singularizadora
propiedad de no ser sucesor de ningn otro; por lo regular suponemos tambin
que al contar no nos quedaremos sin nmeros, de suerte que, por grande que sea
el grupo de cosas que contemos, podremos continuar contando indefinidamente;
es decir, suponemos que no hay un ltimo nmero; finalmente, cuando ordenamos
cosas contndolas queremos lograr la unicidad de tal orden, y para ello no
contamos dos veces la misma cosa ni asignamos el mismo nmero a dos cosas
distintas, requisito que podemos formular diciendo que no hay dos nmeros
(distintos) que tengan el mismo sucesor. Podemos reunir en una cmoda lista
estas tan conocidas propiedades de la operacin de contar del siguiente modo:

1. n es un nmero
2. el sucesor de un nmero es un nmero
3. no hay dos nmeros que tengan el mismo sucesor
4. n no es el sucesor de ningn nmero
6. todos los nmeros (naturales) tienen cierta propiedad, y sucede
que
a. el primer nmero la tiene, y
b. si un nmero cualquiera la tiene, su sucesor asimismo la
tiene

Este ltimo axioma se refiere a la llamada induccin matemtica, y enuncia la
fuerte intuicin aritmtica que nos lleva a concluir, a partir de uno o dos casos, que
algo lo cumplen todos los nmeros.

Podemos caracterizar la relacin sucesor de por sus propiedades formales;
supongamos, en efecto, que tomamos dos nmeros ordinales tales que y sea el
sucesor de x; es evidente, entonces, que si (xSy, no ySx), por lo cual
consideraremos que la relacin sucesor de es asimtrica; pero adems es
intransitiva, ya que si zSy e ySz, no zSx.

Los elementos del sistema formal de Peano son:
I. trminos primitivos no definidos (0, nmero y sucesor);
II. los axiomas I a IV, en los que aparecen dichos trminos primitivos; estos
axiomas son las frmulas o enunciados primitivos de la teora, de los que se
derivan, por demostracin, todos los dems;
III. reglas de formacin y transformacin: son las reglas de construccin de
frmulas bien formadas (o enunciados admisibles) de la teora, y las reglas
de inferencia, que permiten pasar de un enunciado a otro;
Lgica simblica 34
IV. definiciones que introducen trminos definidos valindose de los no
definidos, y que, por consiguiente, cabe eliminar efectuando la reduccin a
estos ltimos (pero las deducciones facilitan los mtodos de inferencia);
V. teoremas demostrables apoyndose en I) a IV).

Para nuestros fines adoptaremos la siguiente forma de los axiomas, empleando 0,
nmero y sucesor (para abreviar, utilizaremos la notacin Sx en lugar de sucesor
de x, siendo x una variable que pueda representar cualquier nmero):
I. 0 es un nmero;
II. si x es un nmero, Sx ser un nmero
III. no hay dos nmeros que tengan el mismo sucesor
IV. 0 no es el sucesor de ningn nmero
V. todos los nmeros tienen la propiedad P si
a. P(0), y
b. si para cualquier x, P(x), P(Sx).
Definiciones para suma y multiplicacin:
D1. Adicin (+):
1. x + 0 = x
2. x + Sy = S(x + y)
D2. Multiplicacin :
1. x 0 = 0
2. x Sy = (x y) + x
Como ejemplo de la utilidad de esta formalizacin, veamos la demostracin de que
3 + 1 = 4
1. 0 es un nmero (por los axiomas I y II)
2. 0 = 1 (por definicin)
3. (0) es un nmero (en virtud de 1 y el axioma II)
4. (0) = 1 = 2 (por sustitucin y definicin)
5. 2 es un nmero (en virtud de 3, de una sustitucin y el axioma II)
6. 2 = 3 (por definicin)
7. 3 es un nmero (en virtud de 5, de una sustitucin y el axioma II)
8. 3 = 4 (por definicin)
9. (3 + 1) = (3 + 0) (por sustitucin y adicin)
10. (3 + 1) = (3 + 0) (por definicin de adicin (parte 2))
11. (3 + 0) = 3 (por definicin de adicin (parte 1))
12. (3 + 0) = 3 = 4 (por sustitucin y en virtud de 11 y 8)
Lgica simblica 35
13. (3 + 1) = 4 (por sustitucin y en virtud de 9 y 12)
En este sistema formal, las expresiones 3, 4, 1 y + no significan ms que lo
que expresan sus definiciones a base de los trminos primitivos, y, si atendemos
slo a los fines sintcticos, exactamente lo mismo podramos haber escrito en su
lugar, A, B, C y %, de igual manera que hubiera sido posible escribir *,
refunfa y expeditor en lugar de los trminos primitivos que hemos utilizado, 0,
nmero y sucesor. Los nmeros ordinales proyectados por los axiomas de
Peano representan relaciones de orden o sucesin, tales como primero,
segundo, etc.
Si decimos de las cosas susceptibles de ser contadas que son miembros de
conjuntos o clases de cosas, nos acercamos ms a las intuiciones que tenemos
acerca de ellas. Si adoptamos esta manera de expresarnos, lo que querremos
decir al pronunciar uno ser esa propiedad comn compartida por todos los
miembros de cierta clase, y cabr sostener que cuanto sea uno constituir una
clase de un solo miembro, en virtud de su singular identidad como esa cosa.
Ahora bien, puede decirse que todas las cosas del universo son idnticas a s
mismas, pero en la medida en que son discriminablemente nicas cada una de
ellas tiene su propia identidad, o conjunto nico de propiedades que la hagan ser
esa cosa, y no otra; y semejantes clases de un solo miembro, o clases unitarias,
comparten, a su vez, una propiedad: la de tener un solo miembro. De ah que
podamos definir el nmero cardinal uno como la clase de todas las clases con un
solo miembro, o sea, la clase de las clases unitarias; anlogamente, se define el
cardinal dos como la clase de todas las clases dotadas de dos miembros, y el
nmero cardinal cero como la clase de todas las clases carentes de miembros, o
clase vaca.
Por consiguiente, podemos entender o constituir los nmeros de tal modo que
lleguemos a interpretar los nmeros naturales a base de la cardinalidad, esto es,
en el sentido de la numerosidad de los miembros de cada clase de clases
igualmente dotadas de ellos, una vez generados los cardinales correspondientes a
cada trmino sucesivo de la serie de los nmeros naturales, 0, 1, 2, 3,
Si partimos de 0, adoptndolo como primer nmero, y lo entendemos como la
clase vaca, podemos generar el segundo, o sea, 1, como la clase cuyo nico
miembro sea la clase vaca; luego, la clase que contenga como nico miembro la
clase unitaria cuyo solo miembro es la clase vaca ser 2, y as sucesivamente.
5.3 Russell y los Principia Mathematica
La obra Principia Mathematica de Russell y Whitehead es a la lgica moderna lo
que el Organon de Aristteles para la lgica clsica. Es la sntesis y culminacin
de todos los desarrollos de la segunda mitad del siglo XIX. La primera parte,
titulada Lgica matemtica, desarrolla la teora de los juntores o conectivas (lgica
de enunciados), la teora de cuantores o enunciados con variables de individuo
Lgica simblica 36
(lgica de predicados mondicos), y la teora de clases y relaciones (lgica de
predicados polidicos) como un lgebra. La segunda parte, titulada Prolegmenos
a la aritmtica cardinal, se ocupa de las ideas necesarias para definir nmero
cardinal y para poder construir una aritmtica de los nmeros cardinales con los
pilares de la lgica. Los volmenes 2 y 3 estudian en detalle las aritmticas de los
nmeros cardinales y ordinales, basndolas enteramente en la lgica.
5.3.1 La teora de los tipos
En los Principios de la matemtica Russell haba sostenido que toda la
matemtica es reducible a la lgica. Pero no se ofreca un desarrollo detallado ni
de las definiciones ni de las demostraciones lgicas en trminos de las cuales
fundamentar las matemticas. Esta es la tarea principal de los Principia.
El objeto primario de los Principia fue mostrar que toda la matemtica pura se
sigue de premisas puramente lgicas, y que emplea solamente conceptos
definibles por medio de trminos lgicos; ahora bien, aqu apareci una dificultad,
conocida con el nombre de paradoja de Russell (la paradoja de la clase de todas
las clases que no son miembros de s mismas). La solucin de este problema lleg
cuando Russell se dio cuenta de que la dificultad resida ms en la lgica que en
las matemticas y que, por tanto, era la lgica lo que haba que modificar. Cmo
salvar tal dificultad?
El razonamiento de Russell es el siguiente: supongamos que tenemos n objetos
ante nosotros, y que queremos saber de cuntos modos existen de elegir ninguno,
algunos todos los n objetos. El nmero de modo es 2
n
; es decir, una clase de n
trminos tiene 2
n
subclases. Ahora bien, Cantor haba demostrado que 2
n
es
mayor que n. Aplicando esto a todas las cosas del universo, se llega a la
conclusin de que existen ms clases de cosas que cosas; de donde, las clases
no son cosas, las clases son meramente conveniencias del discurso.
Dicho en otras palabras: dada cualquier funcin proposicional, fx, existe cierto
rango de valores de x para los cuales esta funcin es significativa. Si a est en el
rango, fa es una proposicin verdadera o falsa. Adems de sustituir la variable x
por una constante, pueden hacerse otras dos cosas con una funcin proposicional:
una es afirmar que siempre es verdadera; la otra, decir que algunas veces es
verdadera. Hay, pues, tres cosas que pueden hacerse con una funcin
proposicional: la primera es sustituir la variable por una constante; la segunda es
afirmar todos los valores de la funcin, y la tercera es afirmar algunos valores o al
menos uno de los valores. La funcin proposicional en s misma no es ms que
una expresin. No afirma ni niega nada. Una clase, del mismo modo, es tan slo
una expresin.
Por otro lado, cuando afirmo todos los valores de una funcin fx, los valores que x
puede tomar deben ser definidos, si lo que estoy afirmando ha de ser definido. Es
decir, ha de haber un determinado total de posibles valores de x. Si ahora creo
Lgica simblica 37
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.
5.3.2 La teora de las descripciones
La teora de las descripciones est considerada como la aportacin ms
importante de Russell a la lgica. El punto central de esta teora es que una frase
puede contribuir al significado de una oracin sin tener significado en absoluto
aisladamente.
Para explicarla utilizaremos el ejemplo de Russell. Expresa el enunciado Scott
es el autor de Waverley una identidad o una tautologa?. La respuesta de Russell
es que este enunciado es claramente una identidad, porque cuando Jorge IV
pregunt quin era el autor de Waverley, quera saber si Scott era el autor de
Waverley, pero no quera saber si Scott era Scott.
Esto parece evidente; dnde est, pues, el problema? Antes de Russell los
lgicos solan pensar que si dos frases denotan el mismo objeto, una proposicin
que contenga a una de ellas puede ser reemplazada siempre por una proposicin
que contenga a la otra, sin dejar de ser verdadera, si era cierta, o falsa, si era
falsa. Ahora bien, argumenta Russell, si esto fuese cierto la proposicin verdadera
Jorge IV quiso saber si Scott era el autor de Waverley se convierte (sustituyendo
el autor de Waverley por Scott) en la proposicin falsa Jorge IV quiso saber si
Scott era Scott. Esto demuestra, segn Russell, que es necesario distinguir entre
un nombre y una descripcin. Scott es un nombre, el autor de Waverley es una
descripcin.
Otra diferencia entre nombre y descripcin consiste en que, un nombre no puede
aparecer significativamente en una proposicin a menos que haya algo que
denomine, mientras que una descripcin no est sujeta a esta limitacin. El no
hacer esta distincin nos lleva a defender la existencia de objetos inexistentes,
como en la famosa argumentacin de Meinong sobre la montaa de oro. Meinong
deca: si decs que la montaa de oro no existe, es obvio que hay algo que estis
diciendo que no existe, es decir, la montaa de oro; por tanto, la montaa de oro
Lgica simblica 38
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.
5.3.3 Los Principia Mathematica
En esta obra aparece la primera axiomatizacin de la lgica. Como es sabido, la
lgica puede concebirse o bien como un sistema de reglas de deduccin natural
(reglas de inferencia) destinadas a su aplicacin a los razonamientos del lenguaje
ordinario, o bien como un clculo. En este ltimo caso se trata de un algoritmo
bien definido, que no se refiere a nada y en cuanto tal carece de significado
(excepto el puramente sintctico) con vistas al estudio de sus propiedades
metalgicas (como la consistencia, la completud o la decidibilidad). En un clculo
han de presentarse slo los elementos imprescindibles todos ellos perfectamente
determinados y en trminos de stos se irn construyendo los dems. Esto es,
un conjunto de smbolos primitivos con los cuales se construirn los smbolos
derivados, unas reglas de formacin de expresiones bien formadas o frmulas, y
alguna regla de transformacin de expresiones. Si a ello le aadimos un nmero
de axiomas, esto es, de frmulas tomadas como verdaderas por definicin dentro
del sistema, el clculo se convierte en un sistema formal, y entonces se dice que
el clculo est axiomatizado.
En Principia Mathematica aparecen como smbolos primitivos
1. las variables proposicionales (p, q, r, s, etc.)
Lgica simblica 39
2. las conectivas: ,
3. los diversos signos de puntuacin ((),{}, [], etc.)
Como smbolos definidos aparecen:
[(X Y =def (X Y)]
[X Y =def X Y
[X Y =def {(X Y) (Y X)}]
Se emplean, adems, cuatro reglas de formacin:
1. una variable proposicional sola es una frmula bien formada del clculo
2. si X es una fbf, entonces X tambin lo es
3. Si X e Y son fbfs, X ( Y tambin lo es
4. 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)
Aparecen, tambin, dos reglas de transformacin:
a. Dada una tesis del clculo en la que aparezcan variables de enunciado, el
resultado de sustituir una, algunas o todas esas variables por fbfs del
clculo ser tambin una tesis del clculo; con tal de que cada variable sea
sustituida siempre que aparece, y siempre por el mismo sustituto (regla de
sustitucin)
b. Si X es una tesis del sistema, y los es tambin X ( Y, entonces Y es una
tesis del sistema (regla de separacin o modus ponens)
Adems, Russell y Whitehead formularon los siguientes seis axiomas:
1. lo que est implicado por una premisa verdadero es verdadero
2. p p p
3. q (p q)
4. (p q) (q p)
5. [p (q r)] [q (p r)]
6. (q r) [(p q) (p r)]
Adems de estas proposiciones primitivas, formulan el axioma de identificacin
de variables reales. Cuando tenemos aseveradas por separado dos funciones de
x diferentes, en donde x es indeterminado, frecuentemente es importante saber si
podemos identificar la x de una asercin con la x de la otra. Este ser el caso si
ambas aserciones presentan x como el argumento de alguna funcin, es decir, si f
Lgica simblica 40
x es un componente de ambas aserciones o, con ms generalidad, si (x, y, z, )
es un constituyente en una asercin, y (x, u, v, ) es un constituyente de la otra.
Con estos elementos pueden comenzar a deducirse todos los teoremas de la
lgica elemental de enunciados. En realidad, como se demostr ms tarde, incluso
puede construirse un sistema entero de lgica de enunciados con menos
elementos. Por ejemplo, puede usarse una sola conectiva para definir todas las
dems: la barra de Sheffer (p | q que se lee no conjuntamente p y q o p y q son
incompatibles).
Con los Principia Mathematica queda definitivamente establecida la lgica
moderna como un sistema formal axiomtico, plenamente simbolizado, en el que
se unifican y se establecen claramente las relaciones entre la lgica de
enunciados y la de predicados, los diversos tipos de predicados de primer orden, y
los predicados de orden superior (la cuantificacin de las variables de predicado).
El nico borrn que se le puede achacar a este sistema son los resultados de
Gdel de 1931, sobre la incompletud de los sistemas formales. Ahora bien, este
no es un borrn de los Principia solamente, sino de cualquier sistema formal que
podamos inventar y que, en definitiva, lo que viene a demostrar es que no
podemos demostrar que las matemticas no son contradictorias.


Lgica simblica



















Biografas
Lgica simblica 41
I - Biografa de Gottfried Wilhelm von Leibniz

En los aos de 1670, un barn alemn llamado
Gottfried Wilhelm von Leibniz (a veces von
Leibnitz) dio un importante paso, ms all de sus
precursores, en clculo mecanizado. Era hijo de
un profesor de filosofa moral en Leipzig.
Aprendi el mismo Latn y algo de Griego a la
edad de 12 aos, para as poder leer los libros de
su padre. Desde 1661 al 1666 estudi leyes en la
Universidad de Leipzig. En 1666 le fue rechazado
el ingreso para continuar con un curso de
doctorado, y fue a la Universidad de Altdorf,
recibiendo su doctorado en leyes en el 1667.


Continu su carrera de leyes trabajando en la corte de Mainz hasta 1672. En ese
ao visit Pars para tratar de disuadir a Luis XIV del ataque al territorio Alemn.
Permaneci en Pars hasta 1676, donde continu practicando leyes. Sin embargo
en Pars estudi matemticas y fsica. Fue durante este periodo que las
caractersticas fundamentales del clculo fueron desarrolladas.
Fue un verdadero precursor de la lgica matemtica. Persiguiendo una idea que le
acosa desde la juventud es pos de un alfabeto de los pensamientos humanos y
de un idioma universal se propone el proyecto de construir una caracterstica
universal, especie de lenguaje simblico capaz de expresar, sin ambigedad,
todos los pensamientos humanos, de manera que al surgir una controversia entre
dos filsofos, stos la zanjasen a la manera de los calculistas; bastara en efecto,
sentarse ante los bacos, pluma en mano, y como buenos amigos decirse, en
mutuo acuerdo: calculemos.
Esas ideas de Leibniz, que contiene muchos conceptos de la lgica simblica de
hoy, no tuvieron entonces mayor influencia, pues quedaron inditas hasta el siglo
XX. Igual destino tuvieron ideas semejantes esbozadas durante el siglo XVIII y
comienzos del XIX. Agreguemos que las ideas de Kant, de gran influencia en su
tiempo y para quien no era necesaria ninguna nueva invencin en la lgica, han
contribuido sin duda al estancamiento de esta disciplina. Las cosas cambiaron
cuando lleg Boole, el cual se convirti en el verdadero fundador de la lgica
simblica.
Pero los esfuerzos de Leibniz fuero ms all. l consideraba que el trabajo de
clculo, es indigno de hombres excelentes que pierden horas como esclavos
y que seguramente podra ser relegado a alguien ms comn si las
mquinas fueran usadas."
Consecuente con lo anterior, Leibniz desarroll las ideas de Pascal y, en 1671,
introdujo el Paso Reckoner, un artefacto que, as como sumaba y restaba, poda
multiplicar, dividir, y sacar races cuadradas a travs de una serie de pasos
adicionales. Se trat de un dispositivo que puede ser considerado como el
Lgica simblica 42
antepasado de los actuales computadores de escritorio. Sus derivaciones
siguieron siendo producidas hasta que sus equivalentes electrnicos se hicieron
de fcil acceso en los inicios de los aos 1970.
El 21 de noviembre de 1675 escribi un manuscrito usando por primera vez la
notacin de la integral f(x)*d(x). En el mismo manuscrito estaba dada la regla
para la diferenciacin. Esa regla fue dada a conocer dos aos despus, en julio de
1677.





Lgica simblica 43
II. Biografa de George Boole

Nacido el 2 de Noviembre de 1815 en
Lincoln, Lincolnshire (Inglaterra), primero
concurri a una escuela en Lincoln, luego
a un colegio comercial. Sus primeras
instrucciones en matemtica, sin embargo
fueron de su padre quin le dio tambin a
George la aficin para la construccin de
instrumentos pticos. El inters de
George se volvi a los idiomas y recibi
instruccin en Latn de una librera local.
A la edad de 12 aos haba llegado a ser
tan hbil en Latn que provocaba
controversia. l tradujo del latn una Oda
del poeta Horacio de lo cual su padre
estaba tan orgulloso que tena su
publicacin. No obstante el talento era tal
que un maestro de escuela local
cuestionaba que nadie con 12 aos
podra haber escrito con tanta
profundidad.
Boole no estudi para un grado acadmico, pero a la edad de 16 aos fue un
profesor auxiliar de colegio. Mantuvo su inters en idiomas e intent ingresar a la
Iglesia. Desde 1835, sin embargo, pareci haber cambiado de idea ya que abri
su propio colegio y empez a estudiar matemticas por si mismo. Tard en darse
cuenta que haba perdido casi cinco aos tratando de aprender las materias en
vez de tener un profesor experto. En ese periodo Boole estudi los trabajos de
Laplace y Lagrange, tomando apuntes, los cuales llegaron a ser ms tarde las
bases para sus primeros papeles matemticos. Comenz a estudiar lgebra y
Aplicacin de mtodos algebraicos para la solucin de ecuaciones diferenciales
fue publicada por Boole en el Transaction of the Royal Society y por este trabajo
recibi la medalla de la Real Sociedad. Su trabajo matemtico fue el comienzo que
le trajo fama.
Boole fue nominado para una ctedra de matemticas en el Queens College, en
1849, donde ense por el resto de su vida, ganndose una reputacin como un
prominente y dedicado profesor.
En el 1854 public Las leyes del pensamiento sobre las cuales son basadas las
teoras matemticas de Lgica y Probabilidad. Boole aproxim la lgica en una
nueva direccin reducindola a una lgebra simple, incorporando lgica en las
matemticas. Agudiz la analoga entre los smbolos algebraicos y aquellos que
representan formas lgicas. Su lgebra consiste en un mtodo para resolver
problemas de lgica que recurre solamente a los valores binarios 1 y 0 y a tres
operadores: AND (y), OR (o) y NOT (no). Comenzaba el lgebra de la lgica
Lgica simblica 44
llamada Algebra Booleana la cual ahora encuentra aplicacin en la construccin
de computadores, circuitos elctricos, etc.
Boole tambin trabaj en ecuaciones diferenciales, el influyente Tratado en
Ecuaciones Diferenciales apareci en 1859, el clculo de las diferencias finitas,
Tratado sobre el Clculo de las Diferencias Finitas (1860), y mtodos generales en
probabilidad. Public alrededor de 50 escritos y fue uno de los primeros en
investigar las propiedades bsicas de los nmeros, tales como la propiedad
distributiva.

Muchos honores le fueron concedidos a Boole, fue reconocido como el genio en
su trabajo recibi grandes honores de las universidades de Dublin y Oxford y fue
elegido miembro acadmico de la Real Sociedad (1857). Sin embargo, su carrera
que comenz un tanto tarde termin infortunadamente temprano cuando muri a
la edad de 49 aos, el 8 de Diciembre de 1864 en Ballintemple, County Cork
(Irlanda). Las circunstancias son descritas por Macfarlane de la siguiente forma:

"Un da en el 1864 camino desde su casa al colegio, una distancia de dos millas,
con una lluvia torrencial y luego dio una conferencia con la ropa empapada. El
resultado fue un resfro febril el cul pronto da sus pulmones y termin su
carrera....."

Lo que a Macfarlane le falt decir es que la esposa de Boole (Mary nieta de Sir
George Everest, de quin despus fue nombrada la montaa) crea que el
remedio podra ser la causa. Ella puso a Boole en cama y arroj cubos de agua
sobre la cama, ya que su enfermedad haba sido causada por mojarse.

El trabajo de Boole lleg a ser un paso fundamental en la revolucin de los
computadores, cuando Claude Shannon en 1938, demostr como las operaciones
booleanas elementales, se podan representar mediante circuitos conmutadores
elctricos, y como la combinacin de estos poda representar operaciones
aritmticas y lgicas complejas. Shannon demostr asmismo que el lgebra de
Boole se poda utilizar para simplificar circuitos commutadores.
Lgica simblica

















Resumen y conclusiones
Lgica simblica 45
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"),

De la lgica clsica a la lgica simblica
Platn hablaba de la dialctica como la tcnica de conocer las relaciones entre
las ideas, pensaba que cualquier contenido de la mente exista tal cual en la
realidad, en el mundo de las Ideas separadas, el cosmos noets. Contra estas
ideas separadas reaccion Aristteles, pensaba que las ideas existen slo en la
mente humana, pero se corresponden a la realidad, esto trajo consigo el
nacimiento de la lgica. Aristteles distingue as, entre la metafsica y la lgica.

Aunque existen varias interpretaciones de Lgica clsica, puede entenderse por
la lgica aristotlica con sus complementos medievales que permaneci con
apenas alguna variacin hasta Frege.
Lgica simblica 46
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.
Lgica simblica 47

Todo A es B es el contradictorio de algn A no es B
Ningn A es B es el contradictorio de algn A es B
Algn A es B es el contradictorio de ningn A es B
Algn A no es B es el contradictorio de todo A es B

Oposicin contraria o contrariedad - Se da entre dos enunciados que no
pueden ser ambos verdaderos, sino que al menos uno de ellos ha de ser falso.
Tambin los dos pueden ser falsos. Si el uno es verdadero, el otro es falso.
Pero si el uno es falso, el otro puede ser tanto verdadero como falso. La
contrariedad se da entre un enunciado universal afirmativo y el correspondiente
enunciado universal negativo, de los tipos todo S es P y ningn S es P.

Todo A es B es el contrario de ningn A es B
Ningn A es B es el contrario de "todo A es B

Leyes de la oposicin contradictoria:
Si no (todo A es B), entonces (algn A no es B)
Si no (ningn A es B), entonces (algn A es B)
Si no (algn A es B), entonces (ningn A es B)
Si no (algn A no es B), entonces (todo A es B)

Leyes de la oposicin contraria:
Si (todo A es B), entonces no (ningn A es B)
Si (ningn A es B), entonces no (todo A es B).

Conversin de enunciados Consiste en la permutacin de su sujeto y su
predicado. El enunciado conserva los mismos conceptos, pero el concepto que
haca de predicado pasa a hacer de sujeto, y a la inversa. Naturalmente, no
siempre la verdad de un enunciado garantiza la verdad del enunciado que resulta
de la permutacin de sus conceptos. Los enunciados universales negativos y los
particulares afirmativos pueden convertirse siempre, los enunciados particulares
negativos no pueden convertirse nunca, los enunciados universales afirmativos
pueden convertirse slo a condicin de transformar su cuantificacin de universal
en particular. Los casos posibles son:

Si (ningn A es B), entonces (ningn B es A)
Si (algn A es B), entonces (algn B es A)
Si (todo A es B), entonces (algn B es A)

Silogismos y figuras - El silogismo es un discurso en el cual, puestas ciertas
cosas, algo distinto de las cosas puestas se sigue necesariamente de ellas, como
consecuencia suya, y sin que sea preciso introducir ningn otro trmino para
justificar la necesidad de la conclusin. Aristteles usa la palabra silogismo para
referirse solo a la formada por tres enunciados (dos premisas y una conclusin), y
que aparezcan exactamente junto los tres trminos o conceptos. se utilizan las
siguientes figuras.
Lgica simblica 48

La primera figura - Cuando el sujeto de la conclusin es sujeto de una premisa, el
predicado de la conclusin es predicado de otra premisa y el concepto medio es
predicado de una premisa y sujeto de otra. Ejemplo:
todo A es B
todo B es C
----------------
todo A es C

stas son sus correspondientes leyes lgicas:
Si todo A es B y todo B es C, entonces todo A es C
Si todo A es B y ningn B es C, entonces ningn A es C
Si algn A es B y todo B es C, entonces algn A es C
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


Un silogismo perfecto es evidentemente vlido. Un silogismo imperfecto es
igualmente vlido, pero su validez no es evidente, sino que ha de ser mostrada
con ayuda de un silogismo perfecto. Aristteles elige como axiomas de la
silogstica a los silogismos de la primera figura, por ser stos los nicos perfectos
y evidentes.


Lgica simblica 49
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
Lgica simblica 50
proposiciones simples del tipo siguiente: si es de noche, hay tinieblas; pero es de
noche, luego hay tinieblas. Este tipo de razonamiento no tiene nada de comn
con el silogismo aristotlico.

3. Del medioevo al lgebra lgica
La lgica medieval Se desarrolla en el occidente cristiano durante la Edad
Media, del s. XI al XV-, heredera de la lgica griega y de la silogstica aristotlica.
Se pueden destacar cuatro aportaciones de la Escolstica: 1-Una teora general
de la referencia (suppositio terminorum), 2-Una teora general de la implicacin
(consequentia), 3-Un desarrollo de la lgica de las modalidades, y 4-El tratamiento
de paradojas y problemas lgicos del lenguaje.

Boecio y el cuadrado lgico de la oposicin de las proposiciones
categricas - Se interesa por las relaciones entre las cuatro proposiciones
clsicas, que se dividen en universales, particulares, singulares e indefinidas. Es
universal cuando el predicado Se atribuye o negado con respecto a todos los
entes abarcados por el sujeto: todos los hombres (o: ningn hombre) son
filsofos. Singular cuando el predicado se afirma o se niega de un solo individuo:
Juan es filsofo. Es Particular cuando el predicado se atribuye o se niega slo de
algunos de los entes abarcados por el sujeto: algunos hombres son filsofos.
Indefinida si el predicado se atribuye o se niega de un sujeto, pero sin precisas a
cuntos individuos se hace referencia.





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.

Lgica simblica 51
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.

Lgica simblica 52
La lgica de Port-Royal - No conciben la lgica como una ciencia, sino como un
arte, el arte que ensea no a combinar palabras y frmulas, sino a pensar
correctamente, as, la lgica tiene que convertirse en un instrumento adecuado
para servir a las dems ciencias. El pensamiento asume la forma de lenguaje,
pero el lenguaje no debe enclaustrar o distorsionar el pensamiento. La funcin de
la lgica, arte de pensar, consiste justamente en poner en claro el autntico
pensamiento que se halla debajo de las apariencias de la forma verbal,

Kant: lgica formal y lgica trascendental -

Para Kant la intuicin y los conceptos constituyen los elementos de todos nuestros
conocimientos, de manera que ni los conceptos, sin que les corresponda de algn
modo una intuicin, ni la intuicin, sin los conceptos, pueden darnos un
conocimiento. Pensaba que la clebre lgica formal descubierta por Aristteles,
naci casi perfecta, hasta el punto de que no tuvo que dar ningn paso atrs y se
ha limitado a sufrir correcciones slo de detalle. A Kant, en la Crtica de la razn
pura no le interesa la lgica formal, sino la trascendental, que no prescinde del
contenido.

El siglo XIX - Entre 1825 y 1900 el lgebra y la geometra experimentaron
grandes cambios, que hacia 1900 dieron lugar a una nueva concepcin de la
filosofa de la matemtica. Hasta 1825 el lgebra no era sino la teora de las
ecuaciones. Peacock adelant la idea de que el lgebra es una ciencia deductiva
como la geometra. Para Mill la lgica es una elaboracin posterior de nuestras
intuiciones sensibles. Pero 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, establece las siguientes reglas: 1. Mtodo de
concordancia, 2. Mtodo de diferencia, 3. Mtodo combinado de concordancia y
diferencia, 4. Mtodo de los residuos, 5. Mtodo de las variaciones concomitantes.

4. Boole - Probablemente puede considerarse el anlisis matemtico de la lgica
de Boole como el nacimiento de la lgica matemtica. El lgebra de Boole es
como una teora con dos interpretaciones. As, en lgebra de clases 1 significa
todo, esto es, la clase de todos los elementos posibles, 0 es nada, o sea, la
clase que no tiene por elemento nada que sea elemento de todo, x + y es la
clase cuyos elementos son las cosas de todo que son elementos de x o y de y,
pero no de ambos; x ( y es la clase de elementos comunes a x e y. Pero esas
cuatro frmulas significan respectivamente en lgica de enunciados: lo
verdadero, lo falso, que x es verdadero o y es verdadero, pero no ambos, y
finalmente que x es verdadero e y es verdadero. Traducido a notacin actual
tendramos, por ejemplo, expresiones de la lgica de enunciados como p q, p
q o p q que tienen sus equivalentes en lgebra de clases: A B, A B
o A B respectivamente, y las leyes del lgebra tienen su equivalente en leyes
de la lgica de enunciados.


Lgica simblica 53
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
Lgica simblica 54
puede haber peligro de lectura errnea; e) la distincin clara de la relacin de ser
elemento de una clase respecto de la de ser parte de una clase; siendo denotada
la primera por y la segunda por ; f) la idea de el tal y tal que resulta necesaria
para el tratamiento de propiedades de las que tenemos que decir que las posee
slo un individuo; g) la notacin del cuantificador universal escribiendo las
variables en la parte inferior derecha del conector de enunciados; h) la notacin
del cuantificador existencial mediante . Pero, el logro ms importante de Peano
fue la formalizacin de la aritmtica.

Russell y los Principia Matemtica - La obra Principia Mathematica de Russell y
Whitehead es a la lgica moderna lo que el Organon de Aristteles para la lgica
clsica. Es la sntesis y culminacin de todos los desarrollos de la segunda mitad
del siglo XIX.

La teora de los tipos La paradoja de Russell (la paradoja de la clase de todas
las clases que no son miembros de s mismas). La solucin de este problema lleg
cuando Russell se dio cuenta de que la dificultad resida ms en la lgica que en
las matemticas y que, por tanto, era la lgica lo que haba que modificar. Cmo
salvar tal dificultad?. 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.

La teora de las descripciones - La teora de las descripciones est considerada
como la aportacin ms importante de Russell a la lgica. El punto central de esta
teora es que una frase puede contribuir al significado de una oracin sin tener
significado en absoluto aisladamente. Otra diferencia entre nombre y descripcin
consiste en que, un nombre no puede aparecer significativamente en una
proposicin a menos que haya algo que denomine, mientras que una descripcin
no est sujeta a esta limitacin.

Los Principia Matemtica - Aparece la primera axiomatizacin de la lgica, la
lgica puede concebirse o bien como un sistema de reglas de deduccin natural
(reglas de inferencia), o bien como un clculo. En un clculo han de presentarse
slo los elementos imprescindibles todos ellos perfectamente determinados y en
trminos de stos se irn construyendo los dems.

Lgica simblica 55
En Principia Mathematica aparecen como smbolos primitivos: Las variables
preposicionales (p, q, r, s, etc.), las conectivas: , , y los diversos signos de
puntuacin ((),{}, [], etc.).
Se emplean cuatro reglas de formacin: 1-Una variable proposicional sola es una
frmula bien formada del clculo, 2-Si X es una fbf, entonces X tambin lo es, 3-
Si X e Y son fbfs, X (Y tambin lo es) , 4-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)
Aparecen, tambin, dos reglas de transformacin: 1-Dada una tesis del clculo en
la que aparezcan variables de enunciado, el resultado de sustituir una, algunas o
todas esas variables por fbfs del clculo ser tambin una tesis del clculo, con
tal de que cada variable sea sustituida siempre que aparece, y siempre por el
mismo sustituto (regla de sustitucin), 2-Si X es una tesis del sistema, y los es
tambin X ( Y, entonces Y es una tesis del sistema (regla de separacin o modus
ponens)
Russell y Whitehead formularon los siguientes seis axiomas:
1. lo que est implicado por una premisa verdadero es verdadero
2. p p p
3. q (p q)
4. (p q) (q p)
5. [p (q r)] [q (p r)]
6. (q r) [(p q) (p r)]
Con los Principia Mathematica queda definitivamente establecida la lgica
moderna como un sistema formal axiomtico, plenamente simbolizado, en el que
se unifican y se establecen claramente las relaciones entre la lgica de
enunciados y la de predicados, los diversos tipos de predicados de primer orden, y
los predicados de orden superior (la cuantificacin de las variables de predicado).

Lgica simblica 56
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