EL BASILISCO, nmero 1, marzo-abril 1978, www.fgbueno.

es

LXICO

LGICA POLIVALENTE
JUUAN VEIARDE
Oviedo

WMBRANA

1 sistema de lgica clsica es un sistema regido por la ley de bivalencia, segn la cual toda oracin enunciativa (proposicin) XJTo? knapanuiK, siguiendo a ] Aristteles (De Interpretatione, 17 a 2), es o bien verdadera o bien falsa. Ello quiere decir desde la abstraccin del clculo formal, que el conjunto de los valores consta ni ms ni menos que de dos elementos. La lgica polivalente hace referencia a sistemas formales con ms de dos valores, de ah que reciba el nombre de lgica no-clsica o lgica no-Aristotlica, guiados, sin duda, quienes le aplican este ltimo calificativo, por el famoso pasaje antes citado de De Interpretatione, si bien tal denominacin a decir de Lukasiewicz {considerac. Filosof. sobre la lg. poliv. p. 83) no es correcta, dado que fue precisamente Aristteles en la obra mencionada (Cap. IX) el primero que puso en tela de juicio la ley de bivalencia por lo que se refiere a cierto tipo de Xoyoc airo'fai'nKoi (proposiciones, en nuestro lenguaje) cuales son las que se refieren a futuros contingentes como es si maana habr una batalla naval para seguir el ejemplo de Aristteles. Es obligado sealar, por otra parte, que la lgica polivalente como dice Rescher, p. 15 es una materia nueva en el campo de la lgica. A ello cabe aadir que la lgica polivalente constituye una disciplina no lo suficientemente definida en su estado actual de desarrollo. Se compone de una gran masa de hallazgos frecuentemente aislados, hallazgos stos debidos a autores que se acercan a la materia desde puntos de vista muy heterogneos. De ah la urgencia de llegar a una sistematizacin y unificacin. En este sentido cabe citar las obras
EL BASILISCO

de Rosser y Turquette (1) Ackerman (3) y N . Rescher (4).

A.

Zinoviev

(2)

R.

La aproximacin a la lgica polivalente ha tenido lugar desde dos perspectivas claramente distinguibles, si bien no desconexionadas entre s: a) desde la filosofa. b) desde el desarrollo algebraico de la lgica.

2. Precursores de la lgica polivalente

Hemos mencionado ya a Aristteles. El cap. IX de De Interpretatione est dedicado a las proposiciones en futuro; se discute si es necesario que una proposicin sobre un hecho futuro como por ej. maana habr una batalla naval sea verdadera o falsa; sostener tal tesis conduce segn Aristteles a consecuencias incmodas y a imposibles. En todas aquellas cosas que no estn siempre en el acto, dice, hay potencialidad, el poder ser e igualmente el poder no ser, por ej. este manto puede ser dividido o no. En consecuencia no todas las cosas suceden o no suceden por necesidad. L necesidad s aplica tan slo a todo lo que es, cuando es Hasta aqu llega la doctrina de Aristteles. A ella se aaden diversas interpretaciones, la aceptacin o no de la ley de bivalencia queda enmarcada desde la perspectiva filosfica, dentro del problema del determinis(1) J. B. Rosser y A. R. Turquette, Matiy-Valueil Uj,Us. North Holland. Amsrcrdam, 1952. (2) A. A. Zinoviev. Philosophical ProbUvis o/ Matiy-Valued Lo^ic, Trad. in^Iesa G. Kn y D. Comey, Reidel, Dordrecht 1963. (5) R- Ackermann, hinducioft lo Many-Valuvd ho^ic, Routledge & Kegan Paul, Londes, !96~ (4) N . Rescher, Many-Vtiluetl Logic. McGravi-hill, New York, 1969.

93

EL BASILISCO, nmero 1, marzo-abril 1978, www.fgbueno.es

mo, y, en efecto, en este sentido es discutido por Aristteles. Los estoicos, consideraron segn Boecio que Aristteles defenda, como consecuencia de su oposicin ai determinismo, que los futuros contingentes no eran ni verdaderos ni falsos. En oposicin, los estoicos y en especial Crisipo, en cuanto rgidos defensores del determinismo mantenan la ley de bivalencia como principio fundamental de su dialctica: Fundamentum dialecticae est quidquid ennuntietur (id auten apellant |tajjna) aut verum esse aut falsum (5). De aqu cabe inferir, como dice Lukasiewicz, que no es correcto denominar a la lgica polivalente lgica no-clsica (si en lgica clsica inclumos la lgica de Aristteles) o lgica no-Aristotlica ya que fu Aristteles el primero que puso en cuestin la ley de bivalencia. En relacin con los clsicos, la lgica polivalente podra denominarse lgica no estoica o mejor lgica no crispea. Frente al determinismo de los epicreos defensores del indeterminismo, tteles en cuanto a la tesis de que tpdo por necesidad. De ah infieren que hay que no son ni verdaderas ni falsas (6).. estoicos, los siguen a Arislo que es sea proposiciones

y Si A ha de suceder entonces Dios sabe que A ha de suceder.

3. Los fundadores de la lgica polivalente:

Mac Coll (1837-1909) fundamenta toda la lgica en la lgica de proposiciones y establece un sistema de lgica proposicional en el que las proposiciones pueden tomar uno de los cinco valores de verdad siguientes: verdad, falsedad certeza (siempre verdad) imposibilidad (siempre falsa) y variabilidad (contingencia). Una proposicin es, cierta si siempre y necesariamente es verdadera como por ejemplo 2 + 3 = 5; una proposicin es imposible si siempre y necesariamente es falsa como por ejemplo 3 = 2; y una proposicin es variable si algunas veces es verdadera, otras falsa, como por ejemplo X = 2. Mac Coll desarroll su sistema como un lgebra de la lgica, pero basado sobre tres en vez de sobre cinco valores y aplic su lgica de proposiciones variables especialmente al clculo de probabilidades. De ah que las proposiciones se combinen en otro sentido del que lo hacen las inciones de verdad. As por ejemplo, si p es una proposicin variable la conjuncin consigo misma ser variable; de modo que variable en conjuncin con variable da variable. Pero si p es variable, entonces tambin lo es no-p. Pero ahora variable en conjuncin con variable no da variable, sino imposible. En cualquier caso Mac Coll puede ser considerado como un precusor de los lgicos posteriores que dedicaron su esfuerzo a la construccin de sistemas de lgica con valores de verdad no clsicos y desde la teora del clculo de posibilidades. C. S. Peirce (1839-1914) Se acerca a la lgica polivalente desde la problemtica filosfica en torno a los futuros contingentes dentro del contexto Aristotlico (10). Hace referencia a una matemtica tricotmica considerada como una matemtica basada sobre una lgica de tres valores llegando a la elaboracin del mtodo de las tablas de verdad para una lgica trivalente. El tercer valor considerado por Peirce corresponde a un grado intermedio entre la afirmacin positiva y la negacin positiva que es exactamente tan real como los otros dos. Consider tambin varios funtores de tres valores que posteriormente fueron reinventados por otros. N. A. Vasiliev (1880-1940) presenta sus investigaciones como el intento de hacer con la lgica de Aristteles lo que su colega en la Universidad de Kazan, N. Lobatchevski haba hecho con la Geometra de Euclides. Lobatchevski es uno de los creadores de las geometras no eucldeas. De igual modo Vasiliev trabaj en la construccin de lgicas imaginarias no aristotlicas Construy la ley de Contradiccin en la forma kantiana Ningn objeto puede tener un predicado que lo contradiga y la ley del tertio excluso como un objeto debe poseer un predicado o su negacin. Ambas leyes pertenecen a la base ontolgica de la lgica y, en cuanto . tales, sometidas a cambios; aplicables al mundo actual pero no a todos los mundos posibles. En cambio ,1a ley q u e llam de no-autocontradiccin>i segn la cual
(10) Confer. Collected papen. Cambridge. (Mss). (1931-35) vol. 4, pp. 12-20 y 257-265, vol. J. 366. Sobre la lgica trivalente de Peirce vase M. Fisch y A. R. Turquette. <-Peirce's Triadic Logic en the Trattsatioris of the Charles S. Peine Soiety. vol. 2, 1966, pp. "1-85.

En la E. Media el problema de los futuros contingentes se complica con el de la presciencia divina. STO. TOMAS distingue (7) entre necesidad absoluta y _necesidad del consiguiente y necesidad suh conditione o por necesidad de la consecuencia. Si Dios tiene presciencia de una proposicin acerca del futuro, dicha proposicin es necesaria por relacin al hecho de haber sido objeto de tal precognicin, pero no es absoluta o incondicinalmente necesaria. Evidentemente el problema de la presciencia divina y los futuros contingentes envuelve asimismo el problema de la ley de bivalencia y todos los grandes escolsticos con Duns Scoto y Ockam, Surez, etc. intervinieron en la discusin del problema. Michalski (8) seala que Duns Scoto y especialmente W. Ockam desarrollaron la tesis aristotlica en el sentido de llegar a admitir un tercer valor de verdad aparte de los dos clsicos: verdad y falsedad. En efecto distinguan la propositio neutra de la propositio vera y de la propositio falsa. De ah que Michalski llegue a sealar a Ockam como uno de los precursores de la lgica trivalente. Sin embargo, no estn de acuerdo con esta afirmacin W. y M. Kneale (9) para quienes las discusiones de los medievales no arrojaron nueva luz sobre las dificultades que turbaron a Aristteles, y toda la posible contribucin de Ockam al desarrollo de una lgica trivalente quedara reducida al intento de exponer lo que Aristteles tuviera que decir acerca de las proposiciones condicionales: Si Dios sabe que A ha de suceder, entonces A ha de suceder
(5) Von Arnim, Sloicorum teurum fragmenta, JI p. 63 frag. 196 Cicern Acad. Pr. II, 95. (6) Cicern, De Fao, 37. (7) Suntma iorttra GetitHes, I, 67. (8) Le problemedea volont a Oxford et a Paris au XlVe sic-cle en Studia philosophica. vol. 2, 1937, pp. 233-365. : (9) El desarrollo de la lo^Ua. trad. M. Muguerza. Tecnos Madrid 1972 p. 223.

94

EL BASILISCO

EL BASILISCO, nmero 1, marzo-abril 1978, www.fgbueno.es

uno y el mismo juicio no puede ser a la vez verdadero y falso, constituye un principio metalgico y en cuanto tal, inalterable. Frente a la lgica con base ontolgica determinada por nuestro mundo actual desarroll Vasiliev su lgica imaginaria segn la determinacin ontolgica de su mundo imaginario, donde algunos objetos poseen el predicado A, otros el predicado no-A y otros que poseen a la vez ambos A y no-A. Por su parte una afirmacin puede ser afirmativa, negativa, indiferente, correspondiente con las tres formas del juicio S es p. S es no-P> . S es P y no-P respectivamente. Evidentemente una tal lgica es esencialmente trivalente y Vasiliev intent incluso generalizar esta ontologa de tres estados al caso de n estados mutuamente exclusivos y exhaustivos. Las dificultades de esta lgica de proposiciones correspondiente a 3 4 estados de hechos reside en su interpretacin. Pero ese problema es el mismo que tienen planteado los diversos clculos de lgica polivalente en general, como luego veremos.

Ahora bien, desde una consideracin puramente algebraica tal es la perspectiva adoptada por Post podemos considerar sistemas en los que el conjunto |3 no quede reducido a dos elementos. As, escribe Post, podemos considerar sistemas en los que en vez de dos valores de verdad {1, 0} podemos distinguir m valores distintos de verdad {Vi, V2, V?... Vn } donde m es un entero positivo. Una funcin de orden n tendr m" configuraciones en su tabla de verdad y por consiguiente habr /^tablas de verdad de orden n. (13). As por ejemplo, para OT=4''^en un sistema tetravalente habr 4''Yunciones de orden 1 es decir, 256 funciones mondicas y 4 de orden didico, es decir 4.294.967.269 funciones didicas. Siguiendo el procedimiento anterior nada impide desde un punto de vista puramente formal considerar el conjunto'^ como compuesto de infinitos elementos, es decir, que una proposicin puede tener infinitos valores diferentes todos ellos pertenecientes al intervalo (O, 1) incluidos ambos lmites. En este caso las conectivas no pueden ser definidas mediante las funciones de verdad sino mediante el clculo de probabilidades. Tal es el camino abierto por Me Coll y seguido especialmente por Reichenbach. Hemos visto cmo al aumentar el nmero de elementos pertenecientes al conjunto /3 aumenta tambin considerablemente el nmero de funciones. Ello hace que resulte prcticamente imposible la consideracin de todas ellas. Los investigadores de lgica polivalente han estudiado algunas de ellas en sus respectivos sistemas de n valores. Post, que comienza su artculo por el examen del sistema de los Principia Matbematica en el que se tenan como primitivas las funciones ~ (negacin) y V (disyuncin no excluyente), presenta su sistema polivalente sirvindose de otras funciones correspondientes a las primeras, que l representa mediante los signos m y V m. Lo mismo que el sistema de los Principia es un sistema completo generado a partir de las dos funciones primitivas, as tambin las funciones ~ m y Vm generan un sistema completo. Las tablas de ambas funciones son:

4. Los sistemas de lgica polivalente:

Dos escritos ^aparecidos alrededor del ao 20 sientan las bases de la lgica polivalente. Ambos escritos son independientes entre s y se acercan a la materia desde dos perspectivas distintas. Un artculo de Lukasiewicz (II) publicado en 1920 constituye el resultado de las investigaciones que el autor haba venido realizando sobre las llamadas proposiciones modales y sobre las nociones con ellas relacionadas de posibilidad y necesidad. Motivado por estas consideraciones de carcter filosfico propone y desarrolla un sistema de lgica trivalente. Post (12) descubri su familia de sistemas polivalentes independientemente de Lukasiewicz. Guiado, no por cuestiones filosficas, sino por cuestiones puramente formales internas a la lgica, expuso sus sistemas de n-valores en toda su generalidad, es decir, desde una perspectiva estrictamente algebraica. CONSIDERACIN ALGEBRAICA DE LOS SISTEMAS POLIVALENTES. En el sistema de lgica preposicional bivalente las variables proposicionales o funciones proposicionales se convierten en proposiciones cundo quedan saturadas mediante uno de estos valores 1= verdad, O=falsedad. En trminos algebraicos existen dos conjuntos:eI conjunto de las variables a= {p, q, r.} y el conjunto de los valores |3={1, O.J;hay una aplicacin sobreyectiva de a sobre ^. Finalmente hay que hacer notar que el conjunto, /5 tiene solo dos elementos, es decir que las proposiciones slo pueden adquirir dos valores de ah que sea un sistema bivalente.
(11) <. Philosophische Bemerkungc-n u mehrwcrcicn Systemtn des Aussacnkal kls" t n Compe nndm da urjfes de hi Sotie des Sviemes e des Lellre de Vaniiiie, 23, 93) pp. 51-5" Trad. inglesa de L Borkowsk, en Lukasieukz Selecled Works. Norch-Holland, AmsterdamVarsovia 19"0 Trad. cast, de A. Deao. "obsen-aciones fiiosHtas sobre los sistemas polivalentes de ijica proposicional>' en J. Lukasiewiz, Eslttdios de lgica y filost/fa. Rev. de Occidente, Madrid 1975, pp. 61-86. (I2> Introduttion to a General Theory o" Elementary Propositions" en Afiernafi Jaiirtial of Malhemaiis, vol 43, 1921, pp, 163-85. Reimpreso en J, Heijenoort. From Frege l'j Gijdel. Harvard Univ. Press. Canibrid^je, (Mass), 1971, 2'' edit. pp. 264-283, por donde citamos.

--mP
VJ

p
VI

q
VI

PVmq
VI

V:
Vm

V.-.
VI

Vil
V2

Vm

Vj, Vj2 Vm

Vil Vj2 Vm

llS:)l

i:&J2

es decir, ~ m p es un funtor que permuta los valores e verdad cclicamente, de ah que reciba el nombre negacin cclica de Post. El funtor Vm realiza una operacin consistente en aplicar a p Vm q el ms alto de los valores de verdad que poseen p y q. El inconveniente ms serio con que el que tropiezan los sistemas m-valentes de Post hace referencia a su
(13) Ibidc-m. p. 279.

EL BASILISCO

95

EL BASILISCO, nmero 1, marzo-abril 1978, www.fgbueno.es

interpretacin semntica. Post procede en trminos de conjuntos de proposiciones pero ofrece una interpretacin proposicional. Sugiere al final de su artculo la posibilidad de traducir toda su argumentacin al lenguaje de un sistema polivalente, pero de hecho no explcita la forma de llevar a cabo tal traduccin y, segn W. y M. Kneale (14), resulta difcil, si no imposible, asignar algn significado concreto a su sugerencia. Las investigaciones de Lukasiewicz en torno a la lgica polivalente datan de alrededor de los aos 20. En 1918 hace referencia a ellos en la leccin de despedida pronunciada en la Universidad de Varsovia. < Su , famoso artculo antes citado se basa en el ensayo ledo en la Sociedad Filosfica Polaca en Lwow el 5 de Junio de 1920. Lukasiewicz concibi la idea de recurrir a un sistema de lgica trivalente como medio para resolver el problema aristotlico de los futuros coritingentes. El clculo de proposiciones ordinario es bivalente y admite implcitamente la ley de bivalencia segn la cual toda proposicin o bien es verdadera o bien es falsa. Ahora bien, segn Lukasiewicz, esta ley, la ms fundamental de nuestra lgica no aparece completamente evidente. La proposicin Estar en Varsovia a medioda del 21 de diciembre del ao prximo no puede ser ahora ni verdadera ni falsa, debe, pues, poseer un tercer valor distinto de 1 y O, este valor se puede designar por '/2 y representa lo posible. Desde el punto de vista puramente formal tenemos ahora un sistema en el que el conjunto (i (el conjunto de los valores) consta de tres elementos. ^ = { 1 , V2, 0} obtendremos pues 5^ funciones mondicas y 3-^ funciones didicas. De las primeras, la ms importante y estudiada por Lukasiewicz es la negacin representada por el signo N; su tabla es la siguiente:
p 0
' / 2

a) Para la conjuncin Kpq su valor de ms bajo de los valores de verdad ponentes, a saber K l l = l; Kl'/2 K72V2 = '/2; KIO = KV2O KOI KOO = 0.

verdad es el de sus com= K'/2l = = KOV2 =

b) Para la disyuncin alternativa Apq. Su valor de verdad es el ms alto de los valores de verdad de sus componentes, a saber: A l l = Al'/2 = A l o = A'/2l = AOl = 1; A'/2'/, = AV2O = A072 = '/2; AOO = 0. c) Para que la implicacin Cpq; (1) Si el valor de p es igual o menor que el valor de q entonces el valor de Cpq es 1: si [p] -& [qj ent. [p-^q] = 1 a saber: C U = C'/2l = C'/2'/- = COI = C0'/2 = COO = 1. (2) Si el valor de p es mayor que el valor de q entonces el valor de Cpq es igual al valor de q menos el valor de p ms 1; si [P]>Lq] ent. [pqj = [q] [pl H 1, a saber: C l , V2 = C'/20 = '/2; C1,0 = 0. d) Para la coimplicacin Epq (1) si el valor de p no es igual que el valor de q entonces Epq vale el mdulo de: 1 menos el mdulo de: el valor de p ms el valor de q. Si [p] " [p], entonces, [p<->q] = i 1 I [p] 4- [qJlJ. A saber: E V/2 = E'/2l = E'/20 = E0"/2 = V2; ElO = EOl = 0. (2) Si es igual el valor de p y el q, entonces Epq vale 1: si [p] = [q] ent. [p<->q]=l a saber: E l i = E'/2V2 = EOO = 1. (15). Con vistas a ofrecer una interpretacin de los futuros contingentes introduce Lukasiewicz el funtor posibilidad y el funtor necesidad. El funtor posibilidad, . : , representado por M es definido en trminos de los primitivos. La definicin en cuestin se debe a su discpulo Tarski y es la siguiente: Mp = CNpp

Np
1
:i/2

Como puede comprobarse, la funcin queda definida: p = 1-p.

negacin

Esto es, es posible que p significa si no p entonces p; su tabla de verdad es la siguiente:

Similarmente se hace necesario introducir los correspondientes complicaciones en las funciones didicas. D e ellas Lukasiewicz da las tablas de las siguientes:
-^ p q q

p
1, V2

MP 1 1 0

0
p
P^ 1
'/2

k
1

& p '/2

q p q-. A 0: 1

P
V2

q
0

c
1 1 1 1

p E

*-* p

q q

V2 .-0 , 1: Vr .0 '/2 0 '^-1^'^''72 0' 1 V2 V2- 1 '/2 1 1 0 '/2 1

1 V2 0.

V2 0 1 1 V2 . 0 0 0 1

1 1 '/2 V2 V2 0

Consiguientemente el funtor necesidad que representamos por D queda definido en trminos de M de la siguiente manera: D p = N M N p y, por tanto, en trminos de los funtores primitivos as: Dp = NCpNp; su tabla de verdad es, pues:

P 1
V2

DP 1 0 0

Los principios que guian la construccin de estas tablas son los siguientes:
(14) El desarrollo de la lgica, ed. cit. p. 529.

(15) De todos los juntores aqu presentados, Lukasiewicz emplea en su sistema dos de ellos, N y C, como primitivos y define los dems en trminos de stos. As, en lgica trivalente se cumplen las si^juientes definiciones: (1) Apq = CCpqq; (2) Kpq = NANpNq; (3l Epq :^ KCpqCqp.

96

EL BASILISCO

EL BASILISCO, nmero 1, marzo-abril 1978, www.fgbueno.es

5. Consecuencias que se derivan del sistema trivalente de Lukasiewicz

a) Todos los teoremas tradicionales sobre proposiciones modales y algunos de los cuales resultaban incompatibles en el sistema bivalente normal, son ahora establecidos libres de contradiccin. Con ello queda superado el problema del determinismo: Preocupacin filosfica de Lukasiewicz. b) Las tablas de verdad del sistema trivalente de Lukasiewicz coinciden con las tablas de verdad del sistema bivalente ordinario cuando se toman en cuenta solamente los valores 1 y O. Se sigue de aqu que cualquier tauloga en las tablas del sistema trivalente lo es asimismo en las tablas del sistema bivalente. En consecuencia: c) El sistema trivalente es una parte propia del bivalente: Todos los teoremas del sistema trivalente son vlidos en el sistema bivalente pero no recprocamente. Los teoremas ms importantes del sistema bivalente que no conservan s validez en los sistemas polivalentes son aquellos relacionados con el tipo de argumentacin denominado reductio ad absurdum como por ejemplo: CCNppp CCpNpNp CKCpqNqNp

la discusin, no es uniforme a lo largo de sus investigaciones. Aceptado lo posible como tercer valor con el objeto de superar el determinismo filosfico que l pensaba era consecuencia de la ley de bivalencia, fu con posterioridad modificado hasta el punto de no ver incompatibilidad entre el determinismo y la lgica bivalente. El problema de encontrar un sistema de axiomas que atribuyan a los smbolos las propiedades que se desprenden de sus funciones. Es decir, el problema de construir un sistema deductivo basado sobre axiomas. Un importante resultado fu el conseguido por M. Wajsberg (18) en 1931 quin axiomatiz el sistema trivalente de Lukasiewicz tomando los cuatro axiomas siguientes: I) Cp Cqp II) CCpqCCqrCpr III) CCNpNqCqp IV) CCCpNppp En este sistema se toman como funciones primitivas C y N definiendo las dems en trminos de stas. Pero entonces surge otro problema. Es posible construir una funcin en el sistema trivalente no definible en el sistema axiomtico de Wajsberg. Tal es la funcin T (funcin de J. Slupecki) (19) cuya tabla de verdad es la siguiente:

d) Los funtores no pueden conservar en el sistema trivalente las mismas relaciones que guardaban entre s en el sistema bivalente. En su sistema define Lukasiewicz la disyuncin como Apq = CCpqq mientras que el clculo bivalente tenemos p v q = - p < - ^ . Ahora bien, si aplicamos la definicin a pv ~ p , no obtendremos una tautologa y en consecuencia el principio llamado de tercio excluso deja de ser vlido, consecuencia que Aristteles deseaba explcitamente evitar, pero que en contrapartida se conforma con el uso intuicionista de la negacin. Por otra parte la ley de contradiccin tambin falla en el sistema trivalente de Lukasiewicz, aunque no en la lgica preposicional intuicionista. As tenemos que N K p N p no es una tautologa puesto que N K ' / : N'/2 = NK'/2'/: = N'/2 = ',; Este resultado es intuitivamente chocante ya que ante dos proposiciones sobre un futuro indeterminado con posibilidades conflictivas como en el caso de p y N p uno se inclina intuitivamente a dar a K ' ; ' / : el valor O. e) Como habr podido observarse, resulta fcil, desde el punto de vista puramente formal, construir mltiples sistemas n-valentes definiendo los valores de las funciones de modo ms o menos arbitrario. Pero inmediatamente se plantean problemas de dos tipos: El problema de la interpretacin, ya sealado cuando hablamos de Post. Lukasiewicz provey a su sistema de una interpretacin. Pero el uso del trrnino posible que est a la base de toda
EL BASILISCO

p 1
'/2

Tp
/2
'/2 '/2

La introduccin de esta funcin convierte al sistema de Lukasiewicz en funcionalmente incompleto dado que dicha funcin no puede ser definida en trminos de C y N . N o obstante el mismo Slupecki demostr que aadiendo: V) CTp NTp VI) CNTpTp a los axiomas de Wajsberg, obtendremos un sistema trivalente funcionalmente completo. En 1958 A. Rose y JB Rosser (20) demostraron la completud del sistema denumerablemente n-valente de Lukasiewicz a partir de los tres primeros axiomas de Wajsberg ms los dos siguientes: I) CCCpqqCCqpp l CCCpqCqpCqp

(18) "Axiomatizacion o tht- .vValucilPi'oposicinal i.altul.. Trad. injlcsa t-ii S. AcCoII. PJi.Jj logia 1920-19^9. OxforJ 196", pp. 264-284. (19) "The Full Trc-c-Valucd Propositional CaltuluS" Trad, injlcsa en S. MtCall P<://>h Luti: 920-I9.9. (.-d. cu. pp .5.i5-.ir. (20) A. Rose y J.B. Russcr -Fra^mcnts o Many-Voluud Staccmcnt Caituli-. en Trj/nu.nj/:: n/ iht Amerita/! Mihi:rntliiijlSuady. vol 8". 1958. pp. 1-3.1.

97

EL BASILISCO, nmero 1, marzo-abril 1978, www.fgbueno.es

EL SISTEMA TRIVALENTE DE KLEENE En 1938 S.C. Kleene (21) presenta un nuevo sistema de lgica trivalente en el marco de las funciones recursivas. Construye sus tablas de verdad en trminos de una aplicacin matemtica. Una funcin preposicional P es considerada como predicado de una variable x cuyo rango es el dominio D y en donde P (x) queda definido para una parte de ese dominio. As P (x) ser: a) Verdadero, cuando x pertenece al rango de
'.2 a l .

Adems de las tablas fuertes Kleene introdujo tambin una familia de conectivas proposicionales dbiles. Las tablas para estas conectivas se obtienen de las tablas clsicas introduciendo en ellas el valor '.: a lo largo de la fila y la columna encabezada por '/:. El sisterria resultante es entonces el que sigue:

b) Indefinido, cuando x = 0. c) Falso, en los dems casos, es decir: [ (x 9^ 0) & (x<'/:)] V ( K x ) . Kleene construye las tablas de verdad para los funtores: ~ v & -^ y = de acuerdo con los siguientes principios: 1 Al objeto de que las conectivas preposicionales sean operaciones recursivas parciales (o al menos produzcan predicados recursivos parciales), hemos de elegir para ellas tablas que sean regulares en el siguiente sentido: Una columna (fila) dada contiene 1 en la fila (columna) de la '/:, solamente si la columna (fila) consta enteramente de asos de 1; y similarmente en lo que respecta a O. 2 El valor de '/: significa lo no conocido (lo indefinido) Aqu no conocido es una categora dentro de la cual podemos considerar que cae cualquier proposicin, cuyo valor o bien no nos es conocido, o bien preferimos, de momento, no considerarlo; sin que ello excluya entonces las otras posibilidades, verdadero y falso. ..^22). 3 Las tablas fuertes estn determinadas de modo nico como las extensiones regulares de mayor fuerza posible de las tablas clsicas, bivalentes, es decir, son regulares y tienen 1 O en cada posicin donde cualquier extensin regular de las tablas bivalentes pueda tener un 1 o un O (si 1 O estn determinados de modo nico) (23). TABLAS FUERTES DE LAS CONECTIVAS PROPOSICIONALES P 1
1 ,

p ^ ^ 1 0 1 1
I \

&

v '2

q 0

P 1 1 1 1

-* ' 1

q 0

P 1 1 0

^'

'.: ' : '.: 0

0 0 0 0

1 1 1 1

'.: 0 0 1

1 :

1 0

' : 1

0 1

El sentido de estas tablas respondera al de un mecanismo incapaz de decidir el valor de una frmula en la que aparece el valor '/2.

Un tal sistema es el mismo que el de Bochvar (24). Las conectivas dbiles de Kleene se corresponden con las conectivas internas de Bochvar. Ambos constituyen un fragmento isomrfico con el sistema bivalente clsico, y en ambos tambin el concepto usual de tautologa resulta inoperante, dado que si el valor ' 2 funciona como input en una frmula, esa frmula recibe automticamente el valor '2 . De ah la necesidad de ampliar el concepto de tautologa o la introduccin del concepto de quasi-tautologa en el sentido de que el resultado final de la formula no obtiene nunca el valor O. 6 Aplicaciones de la lgica polivalente. Una de las primeras aplicaciones de los sistemas polivalentes tuvo lugar en el campo de la matemtica; especialmente est a la base del intuicionismo. Los primeros intentos en este sentido se deben a L.E.J.

~p 0
1 ,

p & q

p Vq 1 '2 0 1 '2 1

p-H. q 1 '2 0 1 '2 0 1 ' 2 1

p ^ q 1 '2 0 1 '2 0 0 ' 2 1

p \

^ 1
'.'2 '

1 '2 0 1 '2 0
'2 '.'2 '.-2

' 20

1 ', ; 0

(21j Cor.fert, Inlroduaiu a la muta mati:mtua.'Yv2. cast. M. Garrido. Tecnos Madrid I9~4, , pp. 301-508. Este sistema fu presentado por primera vez en Kleene On a Notation tbr Ordinal Numbers en Thejouma!ofSymbolic Log: vol. 5, 1938, pp. 150-155. ,(22> liitroduifin a (a m^ia mattmika. ed. tit. p. 304. (23) Ibidem, 303. (24) "Sobre un calculo lgico trivalente y su aplicacin al anlisis de las contradicciones" tn Matmaiicheskij Sbornik. vol. 4, 1939, pp. 287-308 (en ruso) Recensin de A. Church en Tht Journal of iymboc logic. vol. 4, 1939, pp. 98-99-

98

EL BASILISCO

EL BASILISCO, nmero 1, marzo-abril 1978, www.fgbueno.es

Brouwer (25). Pero la nueva rama de la lgica ha sido fecunda en los campos de las diversas disciplinas. Nos referimos a la fecundidad si no en resultados definitivos, s en planteamientos de nuevas cuestiones. Cabe citar a ttulo de ejemplo: en el campo del lgebra los trabajos de Bernstein (26) y Moisil (27). En el de las matemticas_ los de Mazurkiewicz (28) y Tarski (29). En el de la fsica los de Birkhoff y von Neuman (30), Reichenbach (31) y el polmico libro de DestouchesFevrier (32). "En el de la electrnica Shestakov (33) y Moisil (34). Finalmente cabe sealar la significacin de la lgica polivalente dentro de la lgica. Tambin aqu los sistemas polivalentes han sido fecundos en su aplicacin a cuestiones lgicas esenciales. A nivel general tenemos k

obra de Zinoviev (35; en el contexto de las discusiones sobre las relaciones entre la lgica formal y la lgica dialctica. Discute Zinoviev la importancia filosfica de la lgica polivalente y las relaciones con la lgica clsica. Una de las aportaciones de los sistemas polivalentes a cuestiones especficas de la lgica es la del lgico chino Moh Shaw-Kwei (36). Mientras que en el campo del clculo normal bivalente la formalizacin de la teora de conjuntos puede conducir a paradojas, a no ser que introduzcan restricciones (teora de los tipos), Moh Skaw-Kwei seala que pueden ser eliminadas las paradojas mediante la introduccin de un clculo polivalente. En concreto propone considerar el valor de verdad intermedio ' : del sistema de Bochvar como paradjico y en cuanto tal se asignara a proposiciones del tipo siguiente este enunciado es falso, que ser falso si se considera como verdadero y verdadero si se considera como falso. Segn esto, la negacin de una proposicin paradjica, la disyuncin de una proposicin paradjica con otra paradjica o falsa, la conjuncin de una proposicin paradjica con otra paradjica o verdadera y la implicacin de una proposicin falsa por una paradjica o de una paradjica por una falsa, todas ellas son paradjicas; resultados estos que son los que arrojan las tablas de Bochvar. Pero, sin duda alguna, la mayor significacin que cabe atribuir a la lgica polivalente consiste en su mismo descubrimiento: las leyes de la lgica han sido frecuentamente hipostasiadas y consideradas como leyes apriorsticas, analticas en el sentido de evidentes por s mismas y en cuanto tales eran intocables. El descubrimiento de la lgica polivalente demostr que eran posibles estas otras leyes alternativas y con ello se abran amplios horizontes en las investigaciones de lgica.
(35) A. A. Zinoviev, Phitmphial PrvbUnn of Muny-Valued Las^i. Trad. inglesa de G. Kng y D. Cotney. Reidel, Dordrecht 1963. (36) .Lgical Paradores or Many-Valued Systems- en l'ht jui^ 1954, pp. 3"-4().
til >J Sywholk L(>>:'i. vol. 19,

( 2 5 J Vca.sc por f . IntuitionististliL- ZcTlen^un ma[hcmatisi.hcn Grunjbc^nfc" i^VJuhrtiUrichl Jrr ikjilhttt Malhmalikr-Vtrein:s.uni!,. vol. .53. 1925, pp. 251-256 Traii. injjl. en J. van Hcijc-noort (comp), Prtm frt^e o Ciel. A Soune Btilt i)t Mutkmcilhal Logif W79-19M. c j . cit. pp. >yi-yi 1. (26) B. A. Bcrnscn. ..Modular Rcprescnracions o' Finitc Aij^ebras.. en FroeeJi^s of tht hjhynuimiul Muthtialictil Ciitif,ra Hdd ii Toniiln. Vol. 1, 1928. pp. 20"-216. (2^) G. C. Misil, ^Lli^bra c la \o^k3.>- :n Au/ JeCutj^raifj Mjt:mjf\v. len/t !/! Rijfj. ^-IJ Ntitfmii-r 1942. Reale Instituto Nazionale di Alta Matemtica,Roma, 1945. pp. 1.-.vl52. (28) S. Mazurkiewicz,#Uber die Grundiagen der Wahrscheinlichkeitsrechnung- en Moiiuihfl fiir MathmalH :im Phyk. vol. 4 1 , 19,54, pp. .'y1.v.552. (29) A. Tarski, Wahrscheinlichkeitslehre und mehrwertige Lo;ik>. en E>k>;iiiii:i) \ul. 5, 19.35-.56, pp. 174-75. (.50) Carrett BirkhofV yj- von Neuniann,The joj^ic JI" Quantum Mechanics- en \nuh i>j' Mitlht:mali-. vol. .5", 1936. pp. 823-84.5. (31) H. Reichenbach, ..Les ondaments loguiques de la thorie des quanta: Uiilisation d"une lgique it trois valeurs-. en Applictnvu icitiiifiqti; Jt la lupcut muhtiaiint Gauthier-Viilars, Paris. 1954, pp. 10.5-114. {yl) P. Destuches-Ft^-vrier. La itruturt dei hioriti phys'nu^s. PUF. Paris 195 1.

(33) V, I. Shestakov, -A dual Arithinetic Interpretation o'the 3-valued Propositionai Calculus Utilized in the Simulation ol'This Calculas by Relay-Contact Networks- en Ameriiaii Mulbf nmlijlSoii;ry7rjti.Juliti'n:yo\. 48, 1965. pp. 45.-"2. (34) G. C. Misil, Sur l'application des logiques a trois valeurs ;t I'tude des schmas a contacts et reais en Aitts-PnaeiliHp dn Cu'ii^ri Intntutiotijld>: L'Amomuiqw;. Paris, 1956, p. 48.

BIBLIOGRAFA
A c k e r m a n n , R., At Introduction to many-iolued o^ia. Roudcdge & Kegan Paul Ltd., Londres 1967. Aristteles, Dt Interpmtatione. Trad. A. Garca Surez y J. Velardt;. Cuadernos Teorema. Valencia, 1977. Carvallo, M., toxique a trois valeurs. hocique senil, Gauchier-Villars, Paris, 1968. Lukasiewicz, J., Observaciones filosficas sobre los sistemas polivalentes de lgica proposcional>. (1930), en Esludios dV lgica y filosofa. Trad. de A. Deao. Rev. Occidente, Madrid. 1975. pp. 61-86. Post, G., Introduction to a General Theory of Elementary Propositions- en Ameriiau Jitunial of Mathamaiics, vol. 43. 1921, pp. 163-85. Rasiowa, H., Ati Ai&ebmic Approach to Non - C/assiial Logia. North-HoUand, AnisccrJam. 1974. Rescher, N . , May-ValueJ Logic, McGraw-Hill, New York, 1969. Rosser J. B. y T u r q u e t t e A.R. Many-Valued Logic (1952). North-Holland. Amsterdam, 1958. Zinoviev, A. Philosiphicai Problems of many-ialued Logic, Trad. inglesa, G. Kng y A. Camey. Reidel, Dordrecht, 1963.

EL BASILISCO

99