Beruflich Dokumente
Kultur Dokumente
SECCIN DE FILOSOFA
JAN LUKASIEWICZ
ESTUDIOS DE LOGICA
Y FILOSOFIA
Biblioteca de la
Re vi st a de Occidente
Brbara de Braganza, 12
MADRID
Regina Lukasicwicz, 1970
Revista de Occidente, S. A., 1975
Madrid (Espaa)
ISBN: 84-292-8710-8
Depsito legal: M. 37.631-1975
Printed in Spain - Impreso en Espaa
Imprime: Grefol - Pol. II La Fuensanta - Mstoles (Madrid)
Indice
Pgs.
Presentacin.............................................................................................. 9
Mementos creativos en lacien cia........................................................ 23
I eccin de despedida pronunciada por el profesor -Lukasiewicz
en el Aula Magna de la Universidad de Varsovia el 7 de Mayo
de 1918................................................................................................... 3 7
Sobre la lgica trivalente...................................................................... 41
Sobre el deterninismo .......................................................................... 43
Observaciones filosficas sobre los sistemas polivalentes de l
gica proposicional................................................................................ 61
Para la historia de la lgica de proposiciones ............................... 87
Lgistica y filosofa.................................... 109
Hn defensa de la logstica.................................................................... 127
I ista de publicaciones de Jan -tukasiewicz...................................... 140
Sobre el deterninismo*
* Nota editorial tomada de P olish L o g ic 1920-1939, ed. por Storrs McCall, Oxford,
The Clarendon Press, 1967: Este escrito, titulado O Determinizmie se public por vez
primera en Z zag adn ieh logiki i filo z o fii, una antologa de las obras de Lukasiewicz editada
por J. Stupecki, Varsovia, 1961. Traducido por Z. Jordn.
43
44 E studios de lgica y filosofa
4
50 E studios de lgica y filosofa
entre s de tal modo que por medio de leyes conocidas vigentes entre los
respectivos estados de cosas es posible inferir la afirmacin de hecho G
a partir de la afirmacin de hecho F * . Por ejemplo, yo considero que la
presin sobre el botn de un timbre elctrico es la causa de su sonido,
porque el timbre es presionado en un instante anterior a aquel en el que
suena, y yo puedo deducir el enunciado del segundo hecho a partir del
enunciado del primero por medio de las conocidas leyes de la fsica en
las que se basa la construccin de un timbre elctrico.
La definicin de causa implica que la relacin causal es transitiva.
Esto significa que para cualesquiera hechos, F, G y H , si F es la causa
de G y G es la causa de H , entonces F es la causa de H .
Por principio de causalidad entiendo la proposicin de que todo
hecho G que se produce en el instante t tiene su causa en algn hecho F
que se produce en el instante s anterior a i, y que en todo instante pos
terior a s y anterior a t se producen hechos que son a la vez efectos del
hecho F y causas del hecho G .
Estas explicaciones se proponen hacer explcitas las siguientes intui
ciones. El hecho que es causa tiene lugar antes que el hecho que es efecto.
Yo primero presiono el botn del timbre, y el timbre suena despus, aun
que nos parezca que ambos hechos ocurren simultneamente. Si se pro
duce un hecho que es la causa de algn otro hecho, entonces este ltimo
hecho, que es el efecto del primero, sigue inevitablemente a la causa.
As, pues, si yo aprieto el botn, entonces el timbre suena. Es posible
inferir el efecto a partir de la causa. As como la conclusin es verdadera
siempre y cuando sus premisas sean verdaderas, as tambin, de manera
similar, el efecto tiene que producirse siempre y cuando exista su causa.
Nada sucede sin causa. El timbre no suena por s mismo; si suena es debido
a algunos hechos anteriores. En el conjunto de hechos que se suceden,
ordenados por la relacin causal, no hay ni vacos ni saltos. Entre el ins
tante en que se aprieta el botn y el instante en que suena el timbre se
producen constantemente hechos, cada uno de los cuales es simultnea
mente un efecto de la presin del botn y una causa del sonido del tim
bre. Adems, cada uno de estos hechos que se producen antes es la causa
de cada uno de los que se producen despus.
* Esta definicin del concepto de causa difiere de la definicin aceptada por Lukasiewicz
en su ensayo Analiza i konstrukcja pojecia przyczyny (Anlisis y construccin del con
cepto de causa), P rzeg la d F ilo zo fic zn y 9 (1906), pgs. 105-179, reimpreso en la edicin de
1961 Z zagadnieh logigi i filo z o fii. Ambas definiciones establecen, sin embargo, que la re
lacin de causalidad es transitiva, y este punto es de relevante importancia en las investi
gaciones subsiguientes de Lukasiewicz.
52 E studios de lgica y filosofa
Estos son los dos argumentos de mayor fuerza que pueden aducirse
en apoyo del determinismo. Hemos de desistir y aceptarlos? Hemos
de creer que todo en el mundo tiene lugar de manera necesaria y que
todo acto libre y creativo es slo una ilusin? O, por el contrario, hemos
de rechazar el principio de causalidad junto con el principio de tercio
excluso?
7. Escribe Leibniz que hay dos famosos laberintos en los que nuestra
razn se pierde a menudo. Uno de ellos es el problema de la libertad y
la necesidad, y el otro hace referencia a la continuidad y la infinitud.
Cuando Leibniz escriba esto no pensaba que estos dos laberintos pudieran
constituir un todo nico y que la libertad, si es que existe, pudiera estar
oculta en algn rincn de la infinitud.
Si las causas de todos los hechos que pudieran ocurrir alguna vez
existieran en todo instante, entonces no habra libertad. Por fortuna,
el principio de causalidad no nos obliga a aceptar esta consecuencia.
La infinitud y la continuidad vienen en nuestro rescate.
Hay un error en el argumento que deriva la tesis del determinismo
a partir del principio de causalidad. Porque no es el caso que si Juan est
en casa maana a medioda, entonces la secuencia infinita de causas de
este hecho deba alcanzar el instante presente y todo instante pasado.
Esta secuencia puede tener su lmite inferior en un instante anterior al
instante presente: un instante que, por lo tanto, no ha llegado todava
a pasar. Esto es lo que claramente implican las siguientes consideraciones.
Consideremos el tiempo como una lnea recta y establezcamos una
correspondencia uno a uno entre un cierto intervalo de tiempo y el seg
mento (0, 1) de esa lnea. Supongamos que el instante presente correspon
de al punto 0, que un cierto hecho futuro ocurre en el instante 1 (corres
pondiente al punto 1), y que las causas de este hecho ocurren en instantes
determinados por nmeros reales mayores que j . Esta secuencia de causas
es infinita y no tiene comienzo, es decir, causa primera. Porque esta pri
mera causa tendra que tener lugar en el instante correspondiente al menor
nmero real mayor que y ese nmero real no existe; como tampoco
existe el menor nmero racional mayor que En el conjunto de los n
meros reales, y de modo similar en el conjunto ordenado de los nmeros
racionales, no hay dos nmeros que se sucedan inmediatamente el uno
al otro, es decir, tales que uno de ellos sea el predecesor inmediato y otro
el sucesor inmediato del otro; entre dos nmeros cualesquiera hay siem
pre otro, y, en consecuencia, hay infinitos nmeros entre cualesquiera
dos de ellos. De acuerdo con el principio de causalidad, todo hecho de
la secuencia sometida a consideracin tiene su causa en algn hecho
anterior. Aunque tiene un lmite inferior en el instante j, que es posterior
54 E studios de lgica y filosofa
tante f, una vez ms, nada nos obliga a. aceptar esta oracin como ver
dadera. As, podra suceder que Juan estuviera en casa maana a medio
da. Podemos, por tanto, rechazar como falsas ambas oraciones y aceptar
sus negaciones no es verdadero en el instante t que Juan estar en casa
maana a medioda y no es verdadero en el instante t que Juan no es
tar en casa maana a medioda. El condicional previamente establecido,
(e), si Juan va a estar en casa maana a medioda, entonces es verdadero
en el instante t que Juan estar en casa maana a medioda se hace no
vlido. Porque su antecedente resulta verdadero si Juan est en casa ma
ana a medioda, y su consecuente se vuelve falso si escogemos un ins
tante t, anterior a maana a medioda, en el que la causa de la presencia
de Juan en casa maana a medioda no exista an. Pero, al ser invlido
el condicional (e), la tesis del determinismo, si A es b en el instante t,
es verdadero en todo instante anterior a t que es b en el instante t se
torna invlida a su vez; porque podemos sustituir las variables A , b y t
por valores tales que el antecedente de la tesis je vuelve verdadero y el
consecuente falso.
Si sobre el supuesto de que un cierto hecho futuro no est todava
decidido en ningn sentido la tesis del determinismo se vuelve falsa, la
deduccin de esta tesis a partir del principio de tercio excluso debe envol
ver un error. Adems, si rechazamos como falsa la oracin es verdadero
en el instante t que Juan estar en casa maana a medioda, asi como
la oracin es verdadero en el instante t que Juan no estar en casa ma
ana a mediodia, debemos rechazar tambin la alternativa (a) que tiene
a estas oraciones como argumentos y que ha sido el punto de partida
de la deduccin. Una alternativa cuyos dos argumentos son falsos es
ella misma falsa. As tambin el condicional (d), obtenido transformando
la premisa (a), si no es verdadero en el instante t que Juan no estar en
casa maana a medioda, entonces es verdadero en el instante t que Juan
estar en casa maana a medioda resulta ser falso, porque aceptamos
su antecedente y rechazamos su consecuente. Nada tiene de extrao
que la inferencia produzca una conclusin falsa si una de sus premisas
y uno de los teoremas que intervienen son falsos.
Habra que sealar que el rechazo de la alternativa (a) no es una trans
gresin del principio de tercio excluso; porque sus argumentos no se
contradicen.entre s. Slo las oraciones Juan estar en casa maana a
medioda y Juan no estar en casa maana a medioda son contradic
torias! y la alternativa construida con estas oraciones, O bien Juan estar
en casa maana a medioda o Juan no estar en casa maana a medioda
ha de ser verdadera de acuerdo con el principio de tercio excluso. Pero
las oraciones es verdadero en el instante t que Juan estar en casa maana
Sobre el determ inism o 57
1. Proposiciones modales
El sistema trivalente de lgica proposicional debe su origen a ciertas
investigaciones que yo realic sobre las llamadas proposiciones modales
* Nota del editor en la edicin de MacCall: Este ensayo apareci originariamente bajo
el titulo Philosophische Bemerkungen zu mehrwertigen Systemen des Aussagenkalkls
en C o m ptes rendus des sances de la S o cit des S ciences et des L e ttres de V arsovie 23 (1930),
el. iii, pgs. 51-77. Traducido al ingls por H. Weber. Reimpreso en la edicin de 1961 de
Z zagadnieh lo g iki i filo z o fii.
61