Documentos de Académico
Documentos de Profesional
Documentos de Cultura
De La Lógica Clásica A La Lógica Simbólica
De La Lógica Clásica A La Lógica Simbólica
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
file:///C|/Users/USAL/Documents/textos%20filosofa/oposiciones/De%20la%20lgica%20clsica%20a%20la%20lgica%20simblica.htm[22/01/2015 11:54:13]
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.
Enunciado
Universal
Particular
Afirmativo
S es P
Todo S es P
Algn S es P
Negativo
S no es P
Ningn S es P
Algn S no es P
file:///C|/Users/USAL/Documents/textos%20filosofa/oposiciones/De%20la%20lgica%20clsica%20a%20la%20lgica%20simblica.htm[22/01/2015 11:54:13]
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
Universal
E negativo
I afirmativo
Particular
O negativo
P pertenece a todo S
Ningn S es P
P no pertenece a ningn S
Algn S es P
P pertenece a algn S
Algn S no es P
P no pertenece a algn S
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
file:///C|/Users/USAL/Documents/textos%20filosofa/oposiciones/De%20la%20lgica%20clsica%20a%20la%20lgica%20simblica.htm[22/01/2015 11:54:13]
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.
file:///C|/Users/USAL/Documents/textos%20filosofa/oposiciones/De%20la%20lgica%20clsica%20a%20la%20lgica%20simblica.htm[22/01/2015 11:54:13]
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.
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
file:///C|/Users/USAL/Documents/textos%20filosofa/oposiciones/De%20la%20lgica%20clsica%20a%20la%20lgica%20simblica.htm[22/01/2015 11:54:13]
tanto q), etc., aunque ellos los entendieron como reglas de inferencia.
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,
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.
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
cuantificacin.
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.
file:///C|/Users/USAL/Documents/textos%20filosofa/oposiciones/De%20la%20lgica%20clsica%20a%20la%20lgica%20simblica.htm[22/01/2015 11:54:13]
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
file:///C|/Users/USAL/Documents/textos%20filosofa/oposiciones/De%20la%20lgica%20clsica%20a%20la%20lgica%20simblica.htm[22/01/2015 11:54:13]
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
Conversa
A: Todo S es P
E: Ningn S es P
E: Ningn P es S
I: Algn S es P
I: Algn P es S
O: Algn S no es P
No existe conversa
OBVERSIN
Obvertencia
Obversa
A: Todo S es P
E: Ningn S es no-P
E: Ningn S es P
A: Todo S es no-P
I: Algn S es P
O: Algn S no es no-P
O: Algn S no es P
I: Algn S es no-p
CONTRAPOSICIN
Premisa
Contrapuesta
A: Todo S es P
E: Ningn S es P
I: Algn S es P
O: Algn no-P no es no-S
O: Algn S no es P
Para Boecio las proposiciones hipotticas son ms generales que las categricas: es posible expresar una proposicin
categrica a travs de una proposicin hipottica, pero no es posible llevar a cabo la operacin inversa. Distingue
entre dos tipos de proposiciones hipotticas: el primer tipo se da cuando el consecuente est vinculado al
antecedente de una manera accidental; en el segundo tipo, el consecuente es una consecuencia natural del
antecedente. Por ejemplo, al decir si el fuego es clido, el cielo es redondo, no pretendemos afirmar que el cielo
es redondo porque el fuego sea clido, sino sencillamente que al mismo tiempo que el fuego es clido, el cielo es
redondo.
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.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
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.
file:///C|/Users/USAL/Documents/textos%20filosofa/oposiciones/De%20la%20lgica%20clsica%20a%20la%20lgica%20simblica.htm[22/01/2015 11:54:13]
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
Algn A no es B
Ningn A es B
Algn A es B
AB = A
AB A
AB AB ente
AB = AB ente
A no B es no-ente
A no B es ente
AB es no ente
AB es ente
En la versin de la segunda columna puede observarse que, dada la tesis de la contencin o inclusin del predicado
en el sujeto, tanto A como el predicado B estn incluidos en el sujeto A, es decir, AB A; pero tambin podemos
ver que A AB, y esto se debe a que para Leibniz todo enunciado o proposicin, tanto de razn como de hecho,
afirma en el fondo una identidad (o su negacin). Si la identidad es una verdad de razn, sta se demuestra en un
nmero finito de pasos; si es una verdad de hecho, se necesita, para su demostracin por parte de nosotros (no de
Dios), un anlisis infinito, es decir, una aproximacin continua e interminable a una identidad que slo es vista
por la mente divina. La versin de la tercera columna muestra que todas las oraciones de sujeto-predicado, unidas
por la cpula (llamadas oraciones de tercer adyacente) son equivalentes a oraciones en que el sujeto es la unin del
sujeto y predicado, del cual se predica la entidad o la no entidad (oraciones de segundo adyacente).
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
file:///C|/Users/USAL/Documents/textos%20filosofa/oposiciones/De%20la%20lgica%20clsica%20a%20la%20lgica%20simblica.htm[22/01/2015 11:54:13]
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.
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
file:///C|/Users/USAL/Documents/textos%20filosofa/oposiciones/De%20la%20lgica%20clsica%20a%20la%20lgica%20simblica.htm[22/01/2015 11:54:13]
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.
file:///C|/Users/USAL/Documents/textos%20filosofa/oposiciones/De%20la%20lgica%20clsica%20a%20la%20lgica%20simblica.htm[22/01/2015 11:54:13]
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 F(A) para la funcin de un
argumento y F(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
file:///C|/Users/USAL/Documents/textos%20filosofa/oposiciones/De%20la%20lgica%20clsica%20a%20la%20lgica%20simblica.htm[22/01/2015 11:54:13]
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.
Peano nadie us la lgica de enunciados para clarificar los argumentos de la matemtica ordinaria, viendo as en la
lgica un instrumento para aclarar y dar rigor al razonamiento matemtico. Nadie antes de Peano puso de relieve
que la implicacin es la relacin fundamental en matemticas, por ser implicaciones casi todos los enunciados
verdaderos en cualquier sistema matemtico. As, con Peano, se constat la posibilidad, gracias a la lgica, de poner
todos los enunciados de la matemtica y no slo la aritmtica, como crea Frege en forma de un lenguaje artificial
de signos, y construir las demostraciones de todos los teoremas matemticos mediante cambios y sustituciones de
tales signos partiendo de axiomas y definiciones.
Para poner las demostraciones de las matemticas de forma rigurosamente razonada, Peano emprendi la tarea de
descubrir todas las ideas y leyes de la lgica que se usan en matemticas y de inventar un conjunto de signos para la
notacin de esas ideas y la clara enunciacin de esas leyes. Entre sus descubrimientos e invenciones destacan: a) la
definicin de una clase por medio e un enunciado de la forma: la clase de los x tales que P(x) (que simboliz
como x px); b) la idea de que los enunciados con variables libres difieren de un modo importante de los
bivalentes; c) el uso de puntos en lugar de los signos (, ), [, ], para agrupar complejos de signos; d) el uso de signos
diferentes a los matemticos para las operaciones y relaciones lgicas cuando puede haber peligro de lectura
errnea; e) la distincin clara de la relacin de ser elemento de una clase respecto de la de ser parte de una clase;
siendo denotada la primera por y la segunda por ; f) la idea de el tal y tal (tan usada luego por Russell) que
resulta necesaria para el tratamiento de propiedades de las que tenemos que decir que las posee slo un individuo; g)
la notacin del cuantificador universal escribiendo las variables en la parte inferior derecha del conector de
enunciados; h) la notacin del cuantificador existencial mediante $.
Pero, el logro ms importante de Peano fue la formalizacin de la aritmtica.
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.
2.
3.
4.
5.
n es un nmero
el sucesor de un nmero es un nmero
no hay dos nmeros que tengan el mismo sucesor
n no es el sucesor de ningn nmero
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
file:///C|/Users/USAL/Documents/textos%20filosofa/oposiciones/De%20la%20lgica%20clsica%20a%20la%20lgica%20simblica.htm[22/01/2015 11:54:13]
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.
II.
III.
IV.
0 es un nmero;
si x es un nmero, Sx ser un nmero
no hay dos nmeros que tengan el mismo sucesor
0 no es el sucesor de ningn nmero
file:///C|/Users/USAL/Documents/textos%20filosofa/oposiciones/De%20la%20lgica%20clsica%20a%20la%20lgica%20simblica.htm[22/01/2015 11:54:13]
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.
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.
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.
file:///C|/Users/USAL/Documents/textos%20filosofa/oposiciones/De%20la%20lgica%20clsica%20a%20la%20lgica%20simblica.htm[22/01/2015 11:54:13]
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.
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: ,
3. los diversos signos de puntuacin ((),{}, [], etc.)
Como smbolos definidos aparecen:
[(X Y =def (X Y)]
[X Y =def X Y
[X Y =def {(X Y) (Y X)}]
Se emplean, adems, cuatro reglas de formacin:
1.
2.
3.
4.
una variable proposicional sola es una frmula bien formada del clculo
si X es una fbf, entonces X tambin lo es
Si X e Y son fbfs, X ( Y tambin lo es
Estas son todas las reglas de formacin el clculo (esta ltima regla tiene un carcter metalingstico respecto
de las anteriores y metalingstico respecto al clculo) y se establece para dejar sentado que todas las reglas
estn explicitadas)
file:///C|/Users/USAL/Documents/textos%20filosofa/oposiciones/De%20la%20lgica%20clsica%20a%20la%20lgica%20simblica.htm[22/01/2015 11:54:13]
1.
2.
3.
4.
5.
6.
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 f (x, y, z, ) es un constituyente en una asercin, y f(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
file:///C|/Users/USAL/Documents/textos%20filosofa/oposiciones/De%20la%20lgica%20clsica%20a%20la%20lgica%20simblica.htm[22/01/2015 11:54:13]