You are on page 1of 17

LOGICA II

LECTURAS DE LOGICA. B. 4.
JAN LUKASIEWICZ: Contribucin a la historia de la lgica de proposiciones.

INDICE.

1. ESQUEMA GENERAL DE LA LECTURA.

2. EXPOSICION DEL CONTENIDO.

3. BREVE HISTORIA DE LA LOGICA DE PROPOSICIONES.

LA LOGICA ESTOICA.

LA LOGIA MEDIEVAL.

FREGE Y LA LOGICA PROPOSICIONAL.

4. EL AUTOR: JAN LUKASIEWICZ.

NOTAS Y BIBLIOGRAFIA.

1. ESQUEMA GENERAL DE LA LECTURA.


Exposicin del tema: Lgica de proposiciones / Lgica de trminos.
La Lgica proposicional:
1. ESTOICOS Fundacin.
Diferencia de la lgica estoica y la lgica aristotlica.
Caractersticas de la lgica estoica.
Crtica a la lgica estoica:
Empirismo.
Formalismo.
2. EDAD MEDIA Desarrollo.
Pedro Hispano.
Las consecuencias.
Duns Escoto.
3. FREGE Acabado y perfeccionamiento.
Conclusin.

2. EXPOSICION DEL CONTENIDO.


En la lgica formal podemos distinguir dos disciplinas: la lgica de
proposiciones y la lgica de trminos. La diferencia estriba en que la lgica de
proposiciones presenta constantes lgicas y variables proposicionales; mientras, en
la lgica de trminos aparecen variables de trminos. Para poner en claro esta
diferencia examinamos las versiones estoicas y peripattica de la ley de identidad.
(1)
- La ley estoica dice: si lo primero, entonces lo primero, si p entonces
p. La expresin si... entonces es una constante lgica, y p es una variable
proposicional, puede sustituirse con sentido por proposiciones. Ej. : si es de da,
es de da. Esta ley es una tesis de la lgica de proposiciones.
- La ley peripattica dice: todo a es a. La expresin todo ... es
constituye una constante lgica, y a es una variable de trmino, slo puede
sustituirse con sentido por un trmino. Ej. : todo hombre es hombre. Esta ley es
una tesis de la lgica de trminos.
Son tres los puntos capitales de la historia de la lgica proposicional. El
primero, es la dialctica estoica en contraste con la silogstica aristotlica, como
forma antigua de la lgica proposicional; y de acuerdo con esto, los logros de los
estoicos, que deben ser reconocidos. El segundo, la lgica estoica perdur y
alcanz un desarrollo ulterior durante la poca medieval, particularmente la teora
de las consecuencias. El tercero, dedicado a Gottlob Frege, fundador de la lgica
proposicional moderna.

1. LA LOGICA ESTOICA.
Vamos a examinar el esquema de inferencia que los estoicos colocaron a la
cabeza de su dialctica como primer silogismo indemostrable: (2)
Si lo primero, entonces lo segundo;
Ahora bien, lo primero;
Luego lo segundo.
Los estoicos no representaban las variables con letras, sino con nmeros
ordinales. Las variables de esa formula son sustituidas por proposiciones, y no por
trminos.
Las diferencias entre los sistemas estoico y aristotlico son:
- En la lgica estoica aparecen proposiciones hipotticas y disyuntivas,
mientras que en la aristotlica slo aparecen proposiciones categricas,
aunque estrictamente hablando tambin hay proposiciones hipotticas en
la silogstica de Aristteles. Esta no es la diferencia fundamental.
- En los silogismos estoicos las variables son variables proposicionales,
mientras que en los silogismos de Aristteles son variables de trminos.
En la dialctica estoica que ha llegado hasta nosotros, todos los esquemas
de inferencia estoicos contienen nicamente constantes lgicas y
variables proposicionales. La lgica estoica es, por consiguiente, una
lgica de proposiciones.
- Los silogismos aristotlicos son tesis lgicas, y una tesis lgica es una
proposicin que slo contiene constantes lgicas, variables
proposicionales o variables de trminos, y que es verdadera para todos
los valores de sus variables. Los silogismos estoicos son esquemas de
inferencia, y una regla de inferencia es una prescripcin que autoriza al
que razona a derivar nuevas proposiciones a partir de otras previamente
admitidas.
El silogismo aristotlico si todo b es a y todo a es c, entonces todo b es c,
constituye una implicacin de la forma si y , entonces , cuyo antecedente es
una conjuncin, y cuyo consecuente es la conclusin . Este silogismo es una
proposicin que Aristteles reconoce como verdadera, una proposicin que se
cumple para todos los valores de sus variables. Si estas variables se sustituyen por
valores constantes, obtenemos proposiciones verdaderas. En la medida en que el
silogismo en cuestin no contiene otra cosa que las constantes lgicas. Constituye
una tesis lgica. (3)

En el silogismo estoico si p, entonces q; ahora bien, p; luego q, las


premisas no estn vinculadas a la conclusin en una sola proposicin unificada,
este silogismo no es una proposicin. Puesto que no es una proposicin, no puede
ser ni verdadero ni falso; pues sabido es que la verdad y la falsedad corresponden a
las proposiciones solamente. De ah que el silogismo estoico no constituya una
tesis lgica: si se sustituyen sus variables por valores constantes, el resultado no es
una proposicin, sino una inferencia. Es un esquema de inferencia. Esta regla de
inferencia ha venido a convertirse, bajo el nombre de regla de separacin, en una
regla casi clsica dentro de la lgica moderna. (4)
Todos los silogismos estoicos estn formulados como reglas de inferencia,
as, la dialctica estoica difiere de al silogstica aristotlica y tambin de la lgica
proposicional moderna. Pero los estoicos estaban familiarizados con un mtodo
claro de convertir todas sus reglas de inferencia en tesis.
Este mtodo supone una distincin entre inferencias concluyentes y no
concluyentes. Dan a una inferencia el calificativo de concluyente si la implicacin,
cuyo antecedente consiste en la conjuncin de las dos premisas y , y cuyo
consecuente es la conclusin , es una implicacin vlida. Esta observacin precisa
hace viable la conversin de inferencias en proposiciones.
La lgica estoica de proposiciones es una lgica bivalente: toda proposicin
es verdadera o falsa. En la lgica proposicional estoica aparecen las funciones
siguientes: negacin, implicacin, conjuncin y disyuncin. Las tres primeras, son
funciones veritativas. La negacin o la contradiccin de una proposicin se
obtiene cuando se pone el signo de negacin delante de la proposicin.
En la antigedad son muchas las disputas en torno al significado de la
implicacin. Desde Filn de Megara, que defini la implicacin como una funcin
veritativa en trminos parecidos a los actuales: una implicacin es verdadera si y
solamente si no comienza con verdad para terminar con falsedad. (5) Diodoro de
Cronos mantuvo que una implicacin es verdadera si y solamente si ni le era ni le
es posible empezar con verdad y terminar con falsedad. En la escuela estoica se
acept la definicin de Filn.
Todas las funciones lgicas mencionadas se encuentran en los esquemas de
inferencia de la dialctica estoica. Algunos se asumen axiomticamente como
correctos, en tanto que los dems son reducidos a los indemostrables. Son 5 los
silogismos indemostrables: (6)
I. Si p, entonces q; ahora bien, p; luego q.
II. Si p, entonces q; ahora bien no-q; luego no-p.
III. No a la vez p y q; ahora bien, p; luego no-q.
IV. O p o q; ahora bien, p; luego no-p.
V. O p o q; ahora bien, no-q; luego p.
La reduccin de los esquemas de inferencia derivados a los esquemas
indemostrables constituye una obra maestra de agudeza lgica.
Por Sexto Emprico sabemos cmo los estoicos reducan los esquemas de
inferencia partiendo de los indemostrables. (7)
La lgica estoica ha sido criticada porque en su lgica tiene lugar tanto el
empirismo ms trivial como el formalismo ms vacuo:
- Prantl critica el recurso al ms burdo criterio empirista, pero sus crticas
no estn justificadas. Si se dan ejemplos empricos de formulas lgicas, el criterio
de verdad para estos ejemplos tambin debe ser de algn modo emprico. Sin
embargo, los ejemplos no pertenecen a la lgica, y en la lgica estoica como tal no
encontramos la ms ligera traza de empirismo. Prantl no consigue entender el
concepto filnico de implicacin aceptado en medios estoicos. En lgica bivalente
no puede haber otro concepto de implicacin que el filnico.
- Pero la acusacin de formalismo est plenamente justificada, pero a
nuestros ojos, no es un cargo. El formalismo o la formalizacin, representa el ideal
de exactitud que aspira a alcanzar cada sistema deductivo. Los estoicos prepararon
el camino para el formalismo, se atuvieron estrictamente a las palabras y no a sus
significados.
Surge tambin otra controversia: si los estoicos comprendan el significado
bsico de su lgica proposicional, y de si, eran conscientes de haber creado un
sistema de lgica diferente del de Aristteles. Debemos contestar negativamente a
la primera parte de la pregunta, en cuanto a la segunda parte, ya Alejandro, en su
comentario a los Tpicos de Aristteles, enumera una serie de temas de discusin
en la antigedad. Son los problemas sincrticos, y entre ellos, qu silogismo es el
primero, el categrico o el hipottico. El silogismo categrico es el aristotlico; el
silogismo hipottico es el estoico. El punto en discusin atae a la relacin entre la
lgica aristotlica y la lgica estoica, y aspira a establecer cul de estos dos
sistemas es el primero, es decir, tal como yo lo entiendo, cul de ellos es anterior
desde un punto de vista lgico. (8) Los estoicos eran conscientes de la diferencia
existente entre su propio sistema lgico y el sistema aristotlico, sino tambin que
hacan una estimacin correcta de las relaciones entre ambos. Hoy sabemos que la
lgica proposicional es lgicamente anterior a la lgica de trminos. La lgica de
proposiciones constituye la base de todos los sistemas lgicos y matemticos. Los
estoicos han de contar con nuestro agradecimiento por haber echado los cimientos
de esta admirable teora.

2. EDAD MEDIA.
En la Edad Media tambin se dejan sentir las influencias estoicas.
En la lgica proposicional que aparece en las Summulae logicales de Pedro
Hispano, no parece que el autor conozca el debatido criterio filnico de la verdad
de una implicacin. Pero s aparece bajo el nombre de disyuncin y en lugar de la
conectiva o..., o... de Crisipo, la alternacin no excluyente como funcin
veritativa. La conjuncin o asercin copulativa, viene definida como lo haban
hecho los estoicos. La nica regla de inferencia que parece nueva es una que figura
aadida en el comentario: de una conjuncin cabe inferir uno cualquiera de sus
miembros; por ejemplo, el hombre es un animal y Dios existe; luego el hombre es
un animal. Tambin, en este contexto hizo la observacin siguiente: una
conjuncin y una disyuncin con miembros mutuamente contradictorios se
contradicen entre s. Las llamadas leyes De Morgan eran conocidas mucho antes de
De Morgan.
La supervivencia de la lgica proposicional estoica en la Edad Media resulta
particularmente evidente en la teora de las consecuencias. Consecuencia no slo
es una implicacin, sino tambin un esquema de inferencia del tipo p, luego q,
donde p y q son proposiciones. Las consecuencias pueden ser materiales y
formales: es formal si se cumple para todo trmino en la misma disposicin y
forma; en otro caso es material. Las consecuencias formales son, dada su calidad
de leyes lgicas, siempre correctas. Una consecuencia material es correcta o
buena slo si puede ser reducida a una consecuencia formal mediante la
asuncin de una proposicin verdadera como premisa.
A partir del concepto de consecuencia material se puede derivar de un modo
lgico, el concepto filnico de implicacin, olvidado en la Edad Media. La
implicacin si p, entonces q corresponde al esquema inferencial p, luego q;
ambas formas aparecen incluso caracterizadas de la misma manera como
consecuencias. Una implicacin verdadera corresponde a una consecuencia buena,
y viceversa. Una consecuencia material es buena si se deja transformar en una
consecuencia formal por asuncin de una premisa verdadera. En primer lugar, que
toda implicacin cuyo consecuente es verdadero ha de ser verdadera. En segundo
lugar, toda implicacin cuyo antecedente es falso debe ser verdadera. Por
consiguiente, la implicacin queda definida como una funcin veritativa, de
acuerdo con el modelo filnico.
Pero Duns Scoto no parece darse cuenta de esto. Sabe que en una buena
consecuencia matemtica, de una proposicin falsa cualquiera se sigue cualquier
otra proposicin, y que, en una buena consecuencia material, cualquier proposicin
verdadera resulta de otra proposicin falsa cualquiera. Finalmente demuestra que, a
partir de una proposicin que encierra una contradiccin formal, se puede obtener
una proposicin cualquiera en una consecuencia formal.

3. FREGE.
La lgica moderna ha renacido a partir del espritu de las matemticas. La
moderna lgica proposicional surge en la aguda mente de Gottlob Frege. En 1879,
Frege publica el Begriffsschrift, un tratado de sobre la lgica de proposiciones,
donde aparece por primera vez establecida como un sistema deductivo en forma
axiomtica estricta. El sistema fregeano de lgica proposicional est constituido
sobre la base de dos conceptos fundamentales, los de negacin e implicacin. La
implicacin se define como una funcin veritativa exactamente igual que lo haba
hecho Filn ms 2.000 aos antes. No se introducen otras funciones. Con la ayuda
de esos conceptos fundamentales se sientan seis axiomas, a partir de los cuales
cabe derivar los dems teoremas de la lgica proposicional por medio de reglas de
inferencia: la regla de separacin y la regla de sustitucin. Las tesis del sistema
estn expresadas en un simbolismo consistente en lneas verticales y horizontales.
Este simbolismo de Frege prescinde de todo signo de puntuacin. Los axiomas de
Frege toman la forma siguiente:
I. CpCqp IV. CCpqCNqNp
II. CCpCqrCCpqCpr V. CNNpp
III. CCpCqrCqCpr VI. CpNNp
Este sistema de axiomas presenta dos caractersticas importantes:
- Completo: todas las tesis correctas de la lgica proposicional se puede
derivar de l por medio de las dos reglas de inferencia.
- No es independiente, porque el tercer axioma puede deducirse de los dos
primeros.

CONCLUSION.
La lgica bivalente de proposiciones, fundada por los estoicos, desarrollada
por los escolsticos y axiomatizada por Frege, se nos presenta ahora como un
sistema acabado. (9)

3. BREVE HISTORIA DE LA LOGICA DE PROPOSICIONES.

Los primeros estoicos (Zenn y Cleantes) no fueron lgicos creativos, fue


Crisipo el que recogi las ideas de los megricos Diodoro Cronos y su
excepcionalmente dotado discpulo Filn de Megara, y las hizo fructificar. El
problema surge porque de Crisipo, que era un prolfico escritor, se ha perdido toda
su produccin literaria. Todo lo que conocemos de la lgica estoica se halla
recogido en fragmentos preservados por autores de otras escuelas, hostiles algunas
de ellas.
Pero en ms de un punto esos fragmentos se complementan y confirman
unos a otros, y as podemos reconstruir los trazos capitales del sistema, aunque hay
que recurrir a conjeturas para hacernos la idea de algunos elementos.
Las fuentes para el estudio de la lgica estoico son por un lado Apuleyo y
Galeno (siglo II d. C.) y Sexto Emprico y Digenes Laercio (siglo III d. C.).
La lgica estoica es una lgica proposicional, bivalente, pues los estoicos
consideraron fundamental el principio de que toda proposicin o es verdadera o
falsa. Definieron la proposicin como aquello que es o verdadero o falso.
Dividieron las proposiciones o axiomata en simples y no simples, los simples estn
formados por nico axioma, y las no simples resultan de la combinacin de dos
ocurrencias de la misma proposicin o de la combinacin de diferentes
proposiciones, o de varios. Las combinaciones se realizan por medio de conectivas
apropiadas. Entre las proposiciones simples distinguan las simples afirmaciones y
las simples negaciones, esta ltima tambin era entendida como una funcin de
verdad. Para W. y M. Kneale, los estoicos dividan a los axiomata simples en:
categrico, definido e indefinido, porque el segundo facilita la distincin entre
proposiciones afirmativos y negativos. Otra clasificacin que contemplan estos
autores citados, es la distincin entre axiomatas afirmativos, negativos, la
denegacin y el privativo. Entre las proposiciones no simples admiten: la
implicacin, la conjuncin, y la disyuncin exclusiva. Todas son definidas como
funciones de verdad. Siguiendo a Filn los estoicos mantuvieron que una
implicacin era falsa si su antecedente era verdadero y su consecuente era falso. La
conjuncin era verdadera si cada una de las proposiciones conjuntadas era
verdadera. Una disyuncin exclusiva era verdadera si justamente una de las
proposiciones disjuntadas era verdadera. Tambin hay evidencias de la inclusin en
la lgica estoica de la disyuncin inclusiva, que era tenida por falsa solo cuando
sus dos componentes eran falsos. Para W. y M. Kneale son siete los axiomata no
simples: condicional si, condicional modificado puesto que, conjuncin y,
disyuncin o, causal porque, axiomata mas bien que y axiomata menos
que. Tambin opinan que los estoicos no parecen haber tenido conciencia de la
distincin existente entre enunciados de carcter veritativo-funcional y enunciados
compuestos que no tiene ese carcter.
Las conectivas lgicas que aparecen en los varios tipos de proposiciones no
simples dan lugar a principios lgicos. Los estoicos los representan por medio de
inferencias paradigmticas o esquemas de inferencia (los cinco esquemas de
inferencia verdaderos sin necesidad de demostracin ya fueron vistos con
anterioridad en el apartado 2). A partir de estos indemostrables se pueden derivar
otros muchos esquemas de inferencia de acuerdo a unas ciertas reglas.
De manera breve enunciaremos otros teoremas conservados por Sexto
Emprico:
- Si lo primero, entonces si lo primero entonces lo segundo; pero lo
primero; luego lo segundo.
- Si lo primero y lo segundo, entonces lo tercero; pero no lo tercero; por
otra parte, lo primero; luego no lo segundo.
- Si lo primero, entonces lo primero; pero lo primero; luego lo primero.
- O lo primero o lo segundo o lo tercero; pero no lo primero; y no lo
segundo; luego lo tercero.
- O lo primero o no lo primero; pero lo primero; luego no lo primero.
- O lo primero o no lo primero; luego lo primero.
- Si lo primero entonces no lo segundo; pero lo primero; luego no si lo
primero, entonces no lo segundo.
- Si no lo primero, entonces lo segundo; pero no lo segundo; luego no si lo
primero, entonces lo segundo.
- Si lo primero, entonces lo segundo; si lo primero, entonces no lo
segundo; luego no lo primero.
- Si lo primero, entonces lo segundo; si no lo primero, entonces lo
segundo; luego lo segundo.
- Si lo primero, entonces lo primero; si lo primero, entonces no lo primero;
luego no lo primero.
- Si lo primero, entonces lo primero; si no lo primero, entonces lo primero,
luego lo primero.
Los estoicos no formularon sus principios lgicos directamente, sino que
optaron por presentarlos por medio de esquemas de inferencia, diferencindose as
de Aristteles cuyos silogismos eran principios directos de la lgica de trminos.
En cuanto a la aspiracin de completud, se podra probar que tal y como se
presenta el sistema lgico es completo en un sentido estricto y moderno respecto a
la conjuncin y a la negacin. De todas maneras s podemos afirmar que los
estoicos contaban con un cuerpo de doctrina lgica altamente desarrollado y
tambin est claro que los aristotlicos contemporneos consideraban las teoras
lgicas estoicas como hostiles a su maestro. Las teoras aristotlicas y estoicas son
en rigor complementarias, fueron consideradas largo tiempo como contrapuestas.
Cuando se cay en la cuenta de la necesidad de fusionarlas, el impulso intelectual
del mundo antiguo haba ya declinado y no surgira nadie con la estatura mental
requerida para acometer esa empresa.
La lgica de las proposiciones que los estoicos investigaron es ms
fundamental que la lgica de los trminos generales estudiada por Aristteles, no
en el sentido de que la primera incluya a la segunda, sino en el sentido de que esta
ltima presupone aquella.

A finales de la Edad Media la lgica formal logr un desarrollo rico y


original, a un nivel comparable al de las aportaciones estoico-megricas y
aristotlicas, y no superando hasta el nacimiento de la lgica matemtica, en el
siglo pasado. Dentro del sistema medieval los lgicos desarrollaron: 1. Una teora
general de la referencia o supositio terminorum; 2. Una teora general de la
implicacin o consequentia manejando una lgica de proposiciones; 3. Una
articulada lgica modal; y 4. Tratamiento de algunos problemas de la lgica y del
lenguaje. Lgicos importantes en el periodo medieval occidental fueron Abelardo,
Guillermo de Sherwood y Pedro Hispano, entre otros. Para Prior es discutible el
que la lgica medieval estuvo histricamente relacionada con la lgica
proposicional de los estoicos (10).
Segn este autor, aunque Boecio, en su tratado sobre las proposiciones
hipotticas y silogismos hipotticos transmiti algunos fragmentos de la doctrina
estoica sobre la nocin de consecuencia, los lgicos medievales desarrollaron su
teora de la consequentiae en conexin con la doctrina de los silogismos
hipotticos.
La lgica moderna comienza con al publicacin de Begriffsschrift
(Conceptografa) de Gottlob Frege. Esta obra constituye el primer sistema
realmente acabado de la lgica formal porque encierra todos los elementos
esenciales de la lgica moderna. En esta obra capital encontramos por primera vez
un tratamiento comprensivo de las ideas de generalidad y existencia y son
provistas de una simbolizacin adecuada mediante el recurso de la cuantificacin,
cuyas reglas se aadirn en esta obra a la primera formalizacin completa del
calculo proposicional clsico. Expresado de otra manera, el objetivo principal de
Frege es la presentacin de un lenguaje formalizado del pensamiento puro, un
sistema simblico ms exacto que el lenguaje corriente y mejor provisto de
recursos que aseguren la precisin en los procesos deductivos. En tiempos de
Frege no hubiera podido lograrse una prueba de la completud, pero l demostr el
poder de su sistema derivando un gran nmero de principios lgicos a partir de
postulados bsicos y dio un paso importante hacia la formulacin de principios
aritmticos mostrando, con la ayuda de la cuantificacin de segundo orden, cmo
se puede formalizar la nocin de orden serial. Otras obras suyas fueron: Die
Grundlagen der Aritmetik (Los fundamentos de la aritmtica) y Die
Grundgesetze der Aritmetik (Los principios de la aritmtica), Estudios sobre
semntica e Investigaciones lgicas.

4. JAN LUKASIEWICZ (11)


Jan Lukasiewicz nace en Lww, en 1878, estudi en la Universidad de la
misma ciudad. De 1906 a 1915 profes en esta Universidad; de 1915 a 1918 y de
1920 a 1939 en la Universidad de Varsovia. En los aos 1918 y en 1919-1920
ocup varios cargos en el Ministerio de Educacin y Culto. Durante la ocupacin
nazi de Polonia dio cursos secretos en Varsovia; terminada la guerra pas a
Mnster, a Bruselas y, en 1946, a Dubln, donde fue profesor en la Academia Real
Irlandesa. Muri en 1956. Sus obras ms importantes son: Sobre la significacin y
las necesidades de la lgica matemtica, Sistema de lgica modal, Sobre la
lgica trivalente, Estudios de lgica y filosofa y Para una historia de la lgica
de enunciados.
Lukasiewicz es usualmente clasificado como uno de los principales
miembros del llamado Crculo de Viena, pero esto indica nicamente su
preeminencia entre los lgicos, as como los historiadores de la lgica polaca.
Hacia 1917 elabor una lgica trivalente, presentada en 1920. Segn Lukasiewicz,
la lgica trivalente poda, ms que la lgica bivalente clsica, servir de marco para
las leyes de la lgica modal. Adems, como puso de manifiesto en su discurso
rectoral del ao acadmico 1922-1923, la lgica trivalente permita eludir el
determinismo o, cuando menos, llevar a la conviccin de que el determinismo no
es una concepcin filosfica mejor justificada que el indeterminismo.
Con la elaboracin de la lgica trivalente, Lukasiewicz abri el camino para
cualquier otra lgica de ms de dos valores, esto es, para la llamada lgica
polivalente, incluyendo una lgica de un nmero infinito de valores. La eleccin
de una lgica o de un determinado nmero o de un nmero infinito de valores
depende de su aplicabilidad, tanto a otras ramas de la lgica, como la lgica modal,
como a cuestiones filosficas, pero ello no quiere decir que la lgica elegida sea
arbitraria, indica la posibilidad de una pluralidad de sistemas lgicos.
Lukasiewicz realiz asimismo trabajos de importancia en el clculo
proposicional bivalente, especialmente en la axiomatizacin.
Se le deben tambin trabajos de metalgica, particularmente pruebas de
consistencia, completud e independencia en el clculo proposicional, y trabajos de
lgica modal, en los que elabor una lgica modal bsica capaz de alojar cualquier
sistema modal.
Un aspecto destacado de la obra de este lgico polaco son sus trabajos de
historia de la lgica; a l se deben las primeras indicaciones para un estudio de la
lgica proposicional de los estoicos en 1934 y el primer trabajo de conjunto sobre
la silogstica aristotlica desde el punto de vista de la lgica formal moderna en
1951.
TRABAJO PARA LA PRIMERA PRUEBA PRESENCIAL.
NOTAS.
1. El ao pasado, en la asignatura Lgica I, la distincin proposiciones/trminos, era Lgica de
enunciados (primer parcial) y lgica de predicados (segundo parcial).
2. -1 a b
-2 a
b
3. Aristteles Estoicos
-1 x (Bx Ax) -1 p q
-2 x (Ax Cx) -2 p
x(Bx Cx) q

4. Modus Pones.
5. Tabla de verdad: p q pq
1 1 1
0 1 1
1 0 0
0 0 1

6. I II III IV V
pq pq (p q) pvq pvq
p q p p q
q p q q p
MP MT SD1 SD2

7. -1 (p q) r q -1 (p q) r (p q)
-2 r -2 r
-3 p 3 (p q) Regla II 1,2
4 (p q) Regla I 1,2
5 q Regla III 4,3

-1 p (p q) q
-2 p
3pq Regla I 1,2
4q Regla I 3,2

8. Comprendieron los estoicos el significado de su lgica proposicional? NO


Eran conscientes de haber creado un sistema lgico diferente al de Aristteles? S
Yo creo que los estoicos s saban lo que hacan y no fue como la parbola del burro y la
flauta. Tal vez no tuvieron perspectiva histrica para saber el significado e impulso que dieron
con su sistema a la lgica. La silogstica aristotlica siempre fue reconocida pero siglos despus
y gracias a este artculo de Lukasiewicz, la lgica estoica ocupa el lugar que le corresponde.
9. El desarrollo de un todo a travs del tiempo: ese todo es la lgica proposicional que
podra ser similar a una cadena donde los tres eslabones ms importantes son el sistema estoico
(fundacin), la lgica medieval (desarrollo) y finalmente el acabado y perfeccionamiento de
Frege.
10. En su obra Historia de la Lgica Prior pone en entredicho lo sostenido en el punto anterior.
Personalmente creo que los razonamientos de Lukasiewicz son acertados.
11. La lgica primaria, o lgica de enunciados o lgica proposicional, se ocupa de las relaciones
de inferencia entre enunciados, sin penetrar en su estructura interna. Tiene en cuenta aquellas
formas de deducir un enunciado a partir de otro que sean vlidas sin necesidad de analizar por
dentro cada uno de ellos. Analiza la validez de aquellos razonamientos en los que se parte de
premisas que son enunciados sin analizar para llegar, como conclusin, a enunciados que
tampoco se analizan. La forma de los razonamientos no es sino el modo como esos enunciados
se relacionan entre s. Es el primer nivel de la lgica. Sobre este, encontramos a la lgica de
trminos o lgica de predicados. Lgica que penetra en la estructura interna de los enunciados,
en busca de elementos relevantes para la validez de la inferencia en cuestin. La unin de ambas
lgicas forma lo que comnmente se llama lgica clsica.
Los enunciados que la lgica clsica maneja son enunciados apofnticos, enunciados
con un valor de verdad. Y estos, son solamente dos: el valor de verdad y el valor de falsedad. Los
enunciados son verdaderos o falsos, sin matices. Adems en ella solo encontramos conexiones
entre enunciados que son definibles como funciones de verdad: aquellas conexiones entre
enunciados que dan lugar a un enunciado compuesto cuyo valor de verdad est enteramente en
funcin de los valores de verdad de los enunciados conectados. La lgica clsica es apofntica
bivalente asertrica extensional. Es asertrica porque excluye la existencia de modalidades de
verdad y falsedad y extensional, porque opera con la extensin de enunciados y predicados y no
con su intensin.
La determinacin y la contingencia no se enmarcar en la llamada lgica clsica. Estos
problemas filosficos dieron lugar al nacimiento de la lgica polivalente (o multivaloradas como
la llama Quine). Hay enunciados que no son posibles en la lgica bivalente, se necesita un tercer
valor de verdad. Ya Aristteles se hizo eco de este problema (Maana habr una batalla naval).
Para este tipo de enunciados se recurre a las lgicas polivalentes (infinitas o finitas). Las lgicas
trivalentes constituyen el nivel mas elemental. Con ellas podemos operar igual que con la lgica
clsica: tablas y condiciones de verdad y tautologas. Se consideran como textos fundacionales
de la lgica polivalente los de Lukasiewicz y Post.

BIBLIOGRAFIA.
- LECTURAS DE LOGICA. L. Vega. Cuadernos de la UNED.
- HISTORIA DE LA LOGICA. A. N. Prior. Editorial Tecnos.
- EL DESARROLLO DE LA LOGICA. W. Y M. Kneale. Editorial Tecnos.
- DICCIONARIO DE FILOSOFIA. J. Ferrater Mora. Alianza.
- FILOSOFIA DE LA LOGICA. W.V. Quine. Alianza Universidad.
- INTRODUCCION A LA LOGICA FORMAL. A. Deao. Alianza Universidad.
- LOGICA SIMBOLICA. M. Garrido. Tecnos.

UNED. Centro asociado de Algeciras.


Trabajo realizado en Enero de 1999.