Академический Документы
Профессиональный Документы
Культура Документы
LECTURAS DE LOGICA. B. 4.
JAN LUKASIEWICZ: Contribucin a la historia de la lgica de proposiciones.
INDICE.
LA LOGICA ESTOICA.
LA LOGIA MEDIEVAL.
NOTAS Y BIBLIOGRAFIA.
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)
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)
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
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.