DE LA LGICA CLSICA A LA LGICA SIMBLICA

Contenido
Introduccin ............................................................................................................................ 3
1. La lgica griega .................................................................................................................. 3
1.1 Aristteles ..................................................................................................................... 3
1.1.1 Cuantificacin de los enunciados .......................................................................... 4
1.1.2 Oposicin entre enunciados ................................................................................... 6
1.1.3. Conversin de enunciados .................................................................................... 8
1.1.4. Silogismos y figuras ............................................................................................. 8
1.1.4 Silogismos: premisas y validez ........................................................................... 10
1.1.5 La induccin y la deduccin ................................................................................ 11
Los estoicos ...................................................................................................................... 11
1.2.1. El criterio de verdad ........................................................................................... 12
1.2.2 El asentimiento y la epoch ................................................................................. 12
1.2.3 El nominalismo estoico ....................................................................................... 12
1.2.4 La proposicin y el razonamiento ....................................................................... 13
2. Del medievo al lgebra lgica .......................................................................................... 14
2.1 Boecio y el cuadrado lgico de la oposicin de las proposiciones categricas ...... 15
2.2 Pedro Hispano ............................................................................................................ 19
2.3 De Llull a Leibniz ....................................................................................................... 19
2.3.1 Raimundo Lulio ................................................................................................... 20
2.3.2 Leibniz ................................................................................................................. 21
2.4 La lgica de Port-Royal .............................................................................................. 23
2.5 Kant: lgica formal y lgica trascendental ................................................................. 24
2.6 El siglo XIX ................................................................................................................ 24
5.1 Boole ........................................................................................................................... 25
6. La lgica simblica ........................................................................................................... 26
6.1 Gottlob Frege .............................................................................................................. 26
6.2 Giuseppe Peano .......................................................................................................... 29
6.2.1 La formalizacin de la aritmtica ........................................................................ 30
6.3 Russell y los Principia Mathematica .......................................................................... 33
6.3.1 La teora de los tipos ............................................................................................ 33
6.3.2 La teora de las descripciones .............................................................................. 34
6.3.3 Los Principia Mathematica .................................................................................. 35
7. Bibliografa ....................................................................................................................... 37




Introduccin
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.
1. La lgica griega
1.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 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 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.
1.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.
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
1.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 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:
1. Si no (todo A es B), entonces (algn A no es B)
2. Si no (ningn A es B), entonces (algn A es B)
3. Si no (algn A es B), entonces (ningn A es B)
4. Si no (algn A no es B), entonces (todo A es B)
Leyes de la oposicin contraria:
1. Si (todo A es B), entonces no (ningn A es B)
2. 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.
1.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.
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:
1. Si (ningn A es B), entonces (ningn B es A)
2. Si (algn A es B), entonces (algn B es A)
3. Si (todo A es B), entonces (algn B es A)
1.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.
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
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.
1.1.4 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.
1.1.5 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.
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.
1.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.
1.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.
1.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 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.
1.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 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 vB; A; B [SD1]); 5) O es de da o es de noche. Pero no es de noche. Luego es
de da (A vB; 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 conclusin necesariamente lo sera. En
suma, slo en la implicacin estricta el consecuente es deducible del antecedente.
2. 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 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.
2.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:
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
- 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
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.
2.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.
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.
2.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.
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.
2.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 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.
2.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. 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 c A; pero tambin podemos ver que A c 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).
2.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.
2.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.
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.
2.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 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.
5.1 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.
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 v q o p . q que tienen sus equivalentes en lgebra de
clases: A >c B, A B o A B respectivamente, y las leyes del lgebra tienen su
equivalente en leyes de la lgica de enunciados.
6. La lgica simblica
6.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.
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
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.
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 u(A) para la funcin de un argumento y u(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 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.
6.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 e 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 e y la segunda por c; 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.
6.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
5. 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;
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)
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.
6.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 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.
6.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 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.
6.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 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.
6.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.)
2. las conectivas: , v
3. los diversos signos de puntuacin ((),{}, [], etc.)
Como smbolos definidos aparecen:
.[(X . Y =def (X v Y)]
[X Y =def X v Y
[X Y =def {(X v Y) v (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 v p p
3. q (p v q)
4. (p v q) (q v p)
5. [p v (q v r)] [q v (p v r)]
6. (q r) [(p v q) (p v 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 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.
7. Bibliografa
- Agazzi, E., La lgica simblica, BArcelona, Herder, 1973
- Aristteles, Tratados de lgica, Madrid, Gredos, 1988
- Arnaz, J. A., Iniciacin a la lgica simblica, Mxico, Trillas, 1978
- Beth, E.W., Las paradojas de la lgica, Valencia, Cuadernos Teorema, 1975
- Bochenski, I.M., Historia de la lgica formal, Madrid, Gredos, 1966
- Deao, A., Introduccin a la lgica formal, Madrid, Alianza, 1978
- --, Las concepciones de la lgica, Madrid, Taurus, 1980
- Ferrater Mora, J., Diccionario de filosofa, Madrid, Alianza, 1979
- Garrido, M., Lgica simblica, Madrid, Tecnos, 1983
- Gdel, K., Sobre proposiciones formalmente indecidibles de Principia Mathematica
y sistemas afines, Valencia, Cuadernos Teorema, 1980
- Haack, S., Filosofa de las lgicas, Madrid, Ctedra, 1982
- Jolivet, J., La filosofa medieval en Occidente, Madrid, Siglo XXI, 1984
- Kneale, W. & M., El desarrollo de la lgica, Madrid, Tecnos, 1972
- Lorezo, J. de, Gottlob Frege, Investigacin y ciencia. N 216, Septiembre 1994,
pp. 106-119
- Lukasiewicz, J., Para una historia de la lgica de enunciados, Valencia, Cuadernos
Teorema, 1975
- Mates, B., Lgica de los estoicos, Madrid, Tecnos, 1984
- Mostern, J., Historia de la filosofa, 4. Aristteles, Madrid, Alianza, 1986
- Nidditch, P.H., El desarrollo de la lgica matemtica, Madrid, Ctedra, 1978
- Prior, A.N., Historia de la lgica, Madrid, Tecnos, 1976
- Russell, B. y Whitehead, A.N., Principia Mathematica, Madrid, Paraninfo, 1981
- --, La evolucin de mi pensamiento filosfico, Madrid, Alianza, 1982
- Thiel, C. (ed.), Sentido y referencia en la lgica de Gottlob Frege, Madrid, Tecnos,
1972