Vous êtes sur la page 1sur 12

La relevancia filosfica del teorema de Suszko

Jos David Garca Cruz


sjemata@hotmail.com
BUAP
Resumen
El teorema de Suszko indica que toda lgica multivaluada puede reducirse a una biv
aluada. Presentaremos una caracterizacin estndar de una lgica multivaluada, su sint
axis, su semntica, y su operacin de consecuencia lgica. Discutiremos el teorema y l
os resultados reductivos que se siguen de su aceptacin. Dicho teorema es de suma
importancia filosfica, ya que modific la manera de entender el vnculo entre la nocin
de consecuencia lgica y la nocin de valor de verdad.
Palabras clave:
Suszko s Theorem,, Lgica Multivaluada, Valor de Verdad, Asignacin, Consecuencia lgica
.
Abstrct
Suszko s theorem claims that any many valued logic can be reduced to a two valued
one. We will present a standard characterization of a many valued logic, it synt
ax, semantics, and its logical consequence operation. We will discuss the theore
m and the reductive results that follows from its acceptance. This theorem is of
grate philosophical importance as it changed the way we understand the link bet
ween the notion of logical consequence and the notion of truth value.
Keywords:
Suszko s Theorem, Many Valued Logic, Truth Value, Valuation, Logical Consequence.
Introduccin
La cuestin que pretendemos responder es la siguiente: En qu consiste el teorema de
Suszko y cul es su importancia filosfica? Dicho teorema consiste en lo siguiente: t
oda lgica es (lgicamente) bi-valuada . Roman Suszko sugiere que Verdadero y Falso so
n los nicos valores (de verdad) lgicos (Tesis de Suszko). La importancia de esta cu
estin se puede sintetizar al menos en dos puntos: 1) por un lado dicho teorema of
rece una reconsideracin del concepto de valor de verdad a la luz del vnculo que ste
concepto tiene con el de consecuencia lgica. Por otro lado 2) con esta idea, Sus
zko sent las bases de la distincin entre valores lgicos y valores algebraicos.
El teorema se formul principalmente en The Fregean Axiom and Polish Mathematical
Logic in the 1920 s, la motivacin filosfica de Suszko es hacer una reconstruccin de
las lgicas multivaluadas en relacin a lo que denomina como el Axioma Fregeano, que
intuitivamente consiste en afirmar que todas oraciones verdaderas describen lo m
ismo, es decir, tienen un referente comn . En Remarks on Lukasiewicz Three-Valued L
ogic, Suszko ofrece una caracterizacin del sistema L_3 de Lukasiewicz, y disting
ue entre dos tipos de funciones caractersticas en dicho sistema a las que denomin
a asignaciones algebraicas por un lado, y asignaciones lgicas por otro, para lleg
ar a la conclusin de que dicho sistema puede considerarse como bi-valuado. Uno de
los anlisis ms detallados del teorema de Suszko es el elaborado por G. Malinowski
, en Inferential Many-valuedness, y en Many-valued logics, realiza una exposicin
muy fiel de la tesis de Suszko enfocada a una formulacin ms adecuada del concepto
de multivalencia. En Two s Company: The Humbug of Many Logical Values . Caleiro, Car
neli, Coniglio y Marcos ofrecen una presentacin de lo que se ha denominado como l
a reduccin de Suszko. En Suszko's Thesis, Inferential Many-valuedness, and the No
tion of a Logical System, y en Truth and Falsehood: An Inquiry into Generalized
Logical Values, H. Wansing y Y. Shramko presentan tres interpretaciones de la re
duccin de Suszko, y consideran la posibilidad de ms de dos nociones de consecuenci
a para un solo sistema lgico, algo que denominan lgica bi-consecuente. Una posicin
crtica es la mantenida por N. da Costa, J.-Y. Beziau, y O. Bueno en Malinowski an
d Suszko on many-valued logics: on the reduction of many-valuedness to two-value
dness, en dicho texto presentan tres maneras de generar la reduccin de Suszko y a
dems exponen algunos ejemplos provenientes de la lgica paraconsistente para justif
icar su crtica.
Nuestros objetivos pueden resumirse en lo siguiente: (a) presentaremos una lgica
bi-valuada, estructuralmente Tarskiana, esto es, con una operacin de consecuencia

lgica que satisfaga los tres axiomas de A. Tarski para la nocin abstracta de cons
ecuencia lgica. Y Consecuentemente (b) extenderemos estas nociones a un contexto
multi-valuado. Finalmente (c) discutiremos el teorema de Suszko y las consecuen
cias filosficas que se desprenden de el.
Preliminares tcnicos
El sistema que definiremos ser llamado L_s, iniciaremos presentando el lenguaje d
e L_s, al que llamaremos L . Hay dos componentes de nuestro lenguaje, uno sintcti
co y uno semntico. El elemento sintctico de nuestro lenguaje consta de dos partes
, el alfabeto de L y la gramtica de L. El alfabeto est integrado por tres tipos de
signos: conectivas lgicas, variables proposicionales, y parntesis. El conjunto de
conectivas consiste en los signos siguientes: ,?,?,? (negacin, conjuncin, disyuncin
, y condicional respectivamente). Las variables proposicionales representan ora
ciones simples del lenguaje ordinario y usaremos las siguientes: "p,q,r,s, ". Los
parntesis son signos auxiliares que cumplen la funcin de evitar la ambigedad en la
lectura de las frmulas. En adicin a lo anterior, una frmula ser definida como una se
cuencia de signos primitivos del alfabeto que satisfacen las siguientes clusulas:
Toda
Si a
Si a
Nada

variable proposicional de L es una frmula.


es una frmula, a es una frmula.
y son frmulas, a?, a?, a?, son frmulas.
es una frmula a menos que se genere de la aplicacin de las reglas 1

3
.
Estas clusulas componen la gramtica de nuestro lenguaje. La semntica de nuestro sis
tema tiene la funcin de ofrecer una interpretacin del lenguaje. Tomemos a F como u
na coleccin no vaca de frmulas de nuestro lenguaje L, generadas a partir de la gramt
ica del mismo, sea A={1,0}, y finalmente consideraremos un subconjunto de A, e
l conjunto D^+={1} que denominaremos el conjunto de valores designados . Llamare
mos una semntica (sem) sobre F y A, a toda coleccin de mapeos s: F?A, que llamar
emos asignaciones. Una asignacin es un mapeo que relaciona cada variable proposic
ional del lenguaje con uno de los dos valores, y slo uno. Para referirnos a las
asignaciones usamos la letra s con o sin subndices. Por ejemplo, s(p)=1, signific
a que la asignacin s le atribuye el valor 1 a la formula p . Dada una semntica sem,
y alguna frmula del lenguaje f?F , se dice que se tiene un modelo para f cuando h
ay alguna s?sem , tal que s(a)?D^+, cuando esto es verdad para toda s?sem se dic
e que f est validada. Es decir, cuando toda posible asignacin s que pertenece a la
semntica del lenguaje atribuye el valor designado a la frmula, diremos que la frmu
la est validada. En otras palabras, una frmula queda validada si todas sus asignac
iones son todos sus modelos.
Finalmente definiremos las conectivas lgicas como sigue. Para toda s?sem tenemos
que:
s(a?)?D^+, si y slo si, s(a)?D^+ y s()?D^+.
s(a?)?D^+, si y slo si, s(a)?D^+ o s()?D^+.
s(a?)?D^+, si y slo si, s(a)?D^+ o s()?D^+.
s(a)?D^+, si y slo si, s(a)?D^+.
Consecuencia lgica y lgicas Tarskianas
Una lgica tarskiana puede definirse como aquella en la que la relacin de consecuen
cia lgica preserva tres axiomas: reflexividad, monotona y transitividad (Wansing,
et. al., 2008: 408) .
Diremos que el lenguaje que hemos definido arriba puede verse como una lgica si h
ay alguna manera de determinar una operacin de consecuencia sobre dicho lenguaje,
una forma de pasar de varias frmulas a su consecuencia. Iniciamos con una opera
cin de consecuencia ?_sem:P(F)?F, esta operacin es un mapeo que va del conjunto po
tencia de F al conjunto de frmulas F, es decir, esta operacin vincula frmulas con
una frmula, su consecuencia. Lo siguiente que debemos considerar es cmo se estable
ce este vnculo, la manera usual es por medio del concepto de valor designado. El
conjunto de valores designados funge como criterio en la vinculacin de conjuntos
de frmulas y sus consecuencias, en otros trminos, alguna a?F es consecuencia de u
n conjunto de frmulas S?P(F) siempre que todo modelo de todas las frmulas de S es
tambin modelo de a, esto es:

S?_sem a, si, y solo s, para toda s?sem, s(a)?D^+ siempre que ?s(S)?D?^+
Es decir, diremos que una frmula es consecuencia lgica de un conjunto de premisas
siempre que, una determinada asignacin vincula un valor designado con cada una la
s premisas, tambin vincula un valor designado con la conclusin. Una inferencia ser
entendida como el par ordenado <S?a?? ,>??. Donde el primer elemento del par lo f
orman la unin de las premisas, y el segundo elemento del par lo forma la conclusin
que es implicada; en otras palabras, una inferencia es una secuencia de conjunt
os de frmulas, las premisas, vinculadas por medio de la relacin de consecuencia a
otra frmula, la conclusin.
Para establecer la nocin abstracta de consecuencia lgica consideraremos estos tre
s axiomas: Para toda S,a,?,:
(T1) S,a,??a
Reflexividad
(T2) si ??a entonces, S,??a
Monotona
(T3) si S,a?, y ??a, entonces S,?? Transitividad
Una lgica, puede ser definida simplemente como un conjunto de frmulas junto con un
a relacin de consecuencia definida sobre ella. En este caso L_s=<F,? >. Las lgicas
que respeten los axiomas T1-T3 sern llamadas tarskianas. Una teora T ser cualquier
subconjunto de una lgica, en smbolos una teora para L_s, ser toda T?L_s. Este hecho
se debe principalmente a que una teora tal y como la definimos aqu ser el conjunto
formado por todas y nicamente las consecuencias de L_s, y estas se obtienen a pa
rtir de la aplicacin de ? sobre F, formando un subconjunto porque habr objetos que
pertenezcan a F y no sean consecuencias de L_s, es decir, frmulas que no sern des
ignadas bajo ninguna asignacin, o frmulas tomadas como conclusiones, y dado cierto
modelo para las premisas, no habr tal modelo para la conclusin. Ahora extenderemo
s estas nociones y presentaremos algunos ejemplos de lgicas multi-valuadas.
Lgicas multivaluadas
Una lgica multivaluada es una lgica en la que los mapeos que van del conjunto de fr
mulas al conjunto de valores de verdad pueden atribuir a las frmulas otros valore
s distintos de 1 y 0, dependiendo de cuantos objetos pertenezcan al conjunto A d
e valores de verdad. Consideremos una lgica L_n=<F,? >, donde F es un conjunto de
frmulas, y ? una relacin de consecuencia. Para definir una lgica multivaluada lo ni
co que debemos hacer es considerar ms objetos pertenecientes al conjunto A . La s
emntica es la misma que la de la lgica L_s con una sola diferencia, los mapeos se
rn llamados n-asignaciones, donde n corresponde a un prefijo uni-/bi-/tri-, de ac
uerdo con |A|, esto es la cardinalidad de A.
Las definiciones de modelo y validez permanecen idnticas. Dada una semntica n-val
uada ?sem?_n y alguna frmula a?F, se tiene un modelo para a cuando hay alguna s??
sem?_n tal que s(a)?D^+, cuando esto es verdad para toda s??sem?_n se dice que a
est validada. Del mismo modo una frmula queda validada si toda asignacin le atribu
ye un valor perteneciente al conjunto de valores designados. Es decir, si siempr
e es el caso para toda a?F, que s(a)?D^+. Las definiciones de las conectivas y
de la consecuencia lgica tampoco se alteran. A partir de esto resalta una cuestin
importante en dnde radica la diferencia entre una lgica multi-valuada y la que def
inimos inicialmente si las definiciones de las conectivas y de la consecuencia lg
ica son las mismas? Como mencionamos la principal diferencia se encuentra en los
miembros del conjunto de valores de verdad y en el de valores designados. Parec
iera no haber mucha diferencia si agregamos un elemento a A, digamos i. Sea A={1
,i,0} y D^+={1}. Esta lgica corresponde a la K_3 de Kleene, al parecer no hay muc
ha diferencia con una lgica bi-valuada pero tal y como Priest muestra (2008: 124)
esta lgica no contiene verdades lgicas en absoluto, es decir, ninguna frmula puede
validarse. Adems hay un hecho interesante en relacin al condicional, cuando una fr
mula cuya conectiva principal es el condicional, y a ambos, antecedente y consec
uente se les asigna el valor i la frmula resulta no ser designada, obtiene el val
or i (ibd.), esto lleva a resultados inesperados, por ejemplo con la ley de ident
idad a?a, ya que de acuerdo con el criterio de Kleene para definir la implicacin
esta ley resulta no ser designada, y por tanto no es una tautologa. Esto es algo
que va en contra de la definicin de la conectiva, ya que si el antecedente no es
designado la frmula debe ser designada. Si modificamos este hecho dando primaca a
la definicin del condicional obtenemos la lgica L_3 de Lukasiewicz, en esta lgica
a?a siempre es designada.

Ahora bien, si modificamos D^+ como sigue, D^+={1,i} obtendremos otros resultado
s, por ejemplo la ley de tercio excluido no es vlida, y algo ms sorprendente la re
gla de modus ponens deja de ser vlida (ibd.:125). Si se generan algunas modificaci
ones a la forma de interpretar el cmputo de los valores de verdad (es decir, modi
ficaciones a la tabla de verdad pero no a la definicin de la conectiva) se obtien
e la lgica LP de Priest (ibid.). Podramos seguir alterando ahora el conjunto A, ag
regando ms elementos, pero consideramos que estos ejemplos bastan para discutir e
l tema que nos compete, para el lector interesado en ms sistemas se sugiere el te
xto de Graham Priest Introduction to Non Classical Logic: From If to Is. Conside
rando estos hechos, y con las definiciones previas pasaremos a discutir el teore
ma de Suszko en la siguiente parte.
La relevancia del Teorema Suszko
El Teorema de Suszko es esbozado en The Fregean Axiom and Polish Mathematical Lo
gic in the 1920 s. Antes de continuar y realizar una formulacin explcita del Teorema
es necesario detenernos y matizar algunas cuestiones terminolgicas en relacin al
tema. Como Da Costa, Beziau, y Bueno sugieren (1996: 285) ni en el artculo de Sus
zko ni en el libro de Malinowski Many-Valued Logics se enuncia explcitamente el T
eorema de Suszko, en ambos trabajos se encuentran enunciados que sugieren su for
mulacin, pero no de manera explcita.
Siguiendo a Da Costa podemos hacer una distincin importante entre el Teorema de S
uszko y la Tesis de Suszko. El primero muestra que cualquier lgica es lgicamente b
i-valuada , y la segunda establece que hay slo dos valores lgicos. Existe una cone
xin entre ambos conceptos, reducir toda lgica multi-valuada a una bi-valuada impli
ca aceptar que slo existen dos valores de verdad lgicos. Ahora presentamos una for
mulacin explcita:
Teorema de Suszko: Toda lgica Tarskiana es lgicamente bi-valuada .
La motivacin filosfica subyacente es considerar la nocin de multi-valencia en su re
lacin con el Axioma Fregeano, que intuitivamente establece que todas las oraciones
verdaderas describen lo mismo, es decir, tienen un referente comn . El objetivo de
Suszko es doble, por un lado considerar a la creacin de las lgicas multi-valuadas
como la abolicin efectiva del Axioma Fregeano , y por otro lado sugerir que Lukasiew
icz es el principal autor de un magnfico engao conceptual que ha perdurado en la lg
ica matemtica hasta el presente . De acuerdo con Malinowski (2009: 85) el programa
de Suszko parte de la adopcin de
( ) algunos aspectos del programa semntico de Frege sometidos a la influencia del T
ractatus de Wittgenstein. Mientras que Suszko distingue como Frege- entre el cont
enido de una oracin y su valor lgico, l identifica el contenido de una oracin con lo
s valores no clsicos ( ).
Si consideramos la lgica L_3, para cada frmula del lenguaje a?F el contenido de a
est dado por el conjunto A={1,i,0}, es decir, el contenido de una frmula puede var
iar en funcin de los tres valores. Por otro lado, -y en esto tambin sigue a Fregela descripcin de las conectivas est dada por el uso de asignaciones cero-uno , esto
equivale a nuestro conjunto de valores designados (uno) y su complemento (cero)
, esto es, las conectivas se definen usando D^+ y su complemento, usndolos como c
ontrapartidas de Verdadero y Falso . Esto nos pone en condiciones para generar una di
stincin importante, la distincin entre asignacin algebraica y asignacin lgica .
Asignacin algebraica: Toda funcin referencial admisible que se aplica a no
mbres (trminos) y tambin a oraciones (frmulas).
Asignacin lgica: Toda asignacin de valores de verdad admisible nicamente a o
raciones (frmulas) y siempre constituye la definicin genuina de la lgica.
De acuerdo con esto podemos considerar dos tipos de valores de verdad: lgicos y a
lgebraicos, los primeros usados en asignaciones algebraicas correspondientes a l
os elementos del conjunto A={1,i,0} y los segundos utilizados en asignaciones lgi
cas especficamente el conjunto D^+ y su complemento . De este modo un mapeo s: F?
A ser considerado una asignacin algebraica, mientras que ?_sem:P(F)?F corresponde
a la asignacin lgica. Esto significa que ?_sem:P(F)?F si y slo si toda s(a)?D^+ s
iempre que ?s(S)?D?^+, para toda a?F y todo conjunto de frmulas S?P(F).
La forma de reducir una lgica bi-valuda a una multi-valuada es estableciendo como
los genuinos valores lgicos a D^+ y su complemento, genuinos porque mediante este co
njunto y su complemento se definen las conectivas y la operacin de consecuencia.

Esto implica que el nico rol que juegan los valores algebraicos es el de servir c
omo contenido de las frmulas del lenguaje, en otros trminos, su contribucin se redu
ce a ofrecer informacin de las frmulas que se considerarn vinculadas mediante la co
nsecuencia lgica. El papel de los valores lgicos es ms fuerte, ya que con la inform
acin que otorgan las asignaciones algebraicas se calcula el valor de una frmula pa
ra obtener el valor lgico a partir de sus constituyentes atmicos, y con dicha info
rmacin se establece la operacin de consecuencia. Esto queda de manifiesto si segui
mos la explicacin de Wansing y Shramko de este hecho:
Si la lgica es pensada como la teora de las inferencias vlidas, entonces un valor lg
ico puede ser visto como un valor que es usado para definir en una manera cannica
la relacin de implicacin en un conjunto de frmulas. Por definicin cannica de implica
cin queremos decir una definicin de implicacin como una relacin que (en un caso de c
onclusin nica) preserve la membresa en un cierto conjunto de valores algebraicos, y
a sea de premisas a conclusiones, o de las conclusiones a las premisas. (Wansing
, Shramko, 2011: 199).
Esto quiere decir en nuestros trminos que la funcin de D^+ es definir las conectiv
as lgicas y establecer el vnculo entre premisas y conclusiones, tomando como base
el contenido de las frmulas vinculadas, esto es, el valor algebraico que posean.
Suszko se encontraba fuertemente influenciado por el Tractatus, por esta razn la
distincin debe vincularse con la idea de ofrecer una formalizacin de la ontologa su
( ) cero y uno fungen entonces co
byacente a la obra del joven Wittgenstein. Por tanto
mo los genuinos valores lgicos, mientras que los tres valores de Lukasiewicz denota
n situaciones en el sentido Wittgensteiniano- descritas por sus oraciones .
Esta distincin es la principal consecuencia del Teorema de Suszko, siguiendo a Ma
linowski podemos considerar que adems es una distincin entre dos niveles semnticos:
uno lgico y uno ontolgico , tal y como el propio Suszko menciona:
As que, las asignaciones lgicas y algebraicas son funciones de naturaleza conceptu
al completamente diferente. Las primeras establecen una conexin hacia la verdad y
falsedad y, las segundas representan la referencia de las asignaciones. Las frmu
las juegan un rol semntico doble, en general. Este es el Axioma Fregeano que amal
gama eso en una inseparable unidad .
Esto implica que a nivel ontolgico no importa cuntos valores de verdad posea una lgic
a, de acuerdo con el Teorema de Suszko a nivel lgico slo son suficientes dos valores
de verdad para poder establecer la operacin de consecuencia.
Como vimos en los ejemplos en la seccin 3, las principales diferencias en
tre lgicas no radican en el hecho de que ests sean bi-valuadas o multi-valuadas, s
ino en qu objetos consideraremos como valores designados y qu objetos pertenecen a
l conjunto de valores de verdad. Por esta razn otra consecuencia interesante de l
a idea de Suszko es que existe cierta independencia entre la operacin de consecue
ncia lgica y el nmero de valores de verdad algebraicos, puesto que, con el concept
o de valor designado podemos establecer un criterio que se ajuste a la multiplic
idad de sistemas multi-valuados independientemente de su constitucin sintctica. La
consecuencia ms fuerte de esta idea es que no existen las lgicas multi-valuadas,
y por ende que toda lgica estructuralmente Tarskiana es bi-valuada.
Conclusin
Hemos definido, en primer lugar, una lgica bi-valuada Tarskiana, posteriormente r
ealizamos ligeras modificaciones a la semntica obteniendo un sistema multi-valuad
o y consideramos varios ejemplos de sistemas de este tipo. La principal modifica
cin fue alterar el conjunto de valores de verdad y el subconjunto de valores desi
gnados. Finalmente presentamos el Teorema de Suszko y algunas consecuencias filo
sficas relativas a esa idea. Por ltimo haremos mencin de ciertos resultados de la i
nterpretacin de Malinowski y de la crtica elaborada por Newton Da Costa, Jean-Yves
Beziau, y Otavio Bueno.
En primer lugar Malinowski partiendo de la idea de distinguir valores designados
, considera un conjunto disyunto de este, el de valores anti-designados D^-. Pod
emos interpretar este conjunto como el valor Falso , es decir D^+ corresponde a Verd
adero y D^- corresponde a Falso , si asumimos que adems hay elementos que no pertenec

en ni a D^+ ni a D^-, estos elementos seran valores ni designados ni anti-designa


dos. Con dichos elementos podemos formar un nuevo conjunto D^n, y al parecer la
tri-valencia vuelve a aparecer. En segundo lugar la crtica ofrecida por los lgicos
brasileos se apoya en varios ejemplos uno de ellos el referido al sistema de lgic
a paraconsistente C1. En este sistema es posible dividir en tres los posibles va
lores para cada frmula: verdadera, falsa, y cuasi-verdadera. Una consecuencia de
esto es que la semntica no es referencial y el principio de bivalencia es violado
. Adems de su crtica muestran dos maneras de generar los mismos resultados a los q
ue Suszko llego, una propuesta por Da Costa, y otra por Beziau.
Uno de los principales logros de Suszko y su Teorema fue la distincin entre valor
es lgicos y valores algebraicos, y la consecuencia de esto filosficamente hablando
fue distinguir dos niveles semnticos en los que las lgicas Tarskianas operan, que
a pesar de no parecer vinculados son ms cercanos de lo que creemos, ontologa y lgi
ca ambas relacionadas por el lenguaje.

Referencias
Beziau, J.-Y. (2007 ). From Consequence Operator to Universal Logic: A Survey
of General Abstract Logic. En J.-Y. Beziau (Ed.). Logica Universalis, 2nd editio
n, 3 17. Birkhauser Verlag Basel/Switzerland.
(2010) Truth as a Mathematical object. Principia 14(1): 31 46.
Da Costa, N., Beziau, J.-Y., Bueno, O. (1996). Malinowski and Suszko on many-va
lued logics: on the reduction of many-valuedness to two-valuedness. Modern Logic
, 6 (1):272 -299.
Caleiro, Carneli, Coniglio y Marcos (2005). Two s Company: The Humbug of Many Logic
al Values . En J.-Y. Beziau (Ed.). Logica Universalis, 169 189. Birkhuser Verlag Base
l/Switzerland.
Gzegorz Malinowski. (1993) Many-valued logics. Oxford Logic Guides 25. Clarendon
Press, Oxford.
(1994) Inferential Many-valuedness. In: Jan Wolenski (ed.), Philosophica
l Logic in Poland. Kluwer Academic Publishers, Netherlands. 75 84
(2009) The Philosophy of Many-Valuedness. In: Jan Wolenski (ed.), The G
olden Age of Polish Philosophy. Springer, France.
Suszko, R. (1977). The Fregean Axiom and Polish Mathematical Logic in the 1920 s.
Studia Logica 36 (4):376-380.
(1975) Remarks on Lukasiewicz Three-Valued Logic. Bulletin of the Sectio
n of Logic.(4):87 89.
Wansing, H. & Shramko, Y. (2008). Suszko's Thesis, Inferential Many-valuedness,
and the Notion of a Logical System. Studia Logica 88 (3):405 - 429.
(2011). Truth and Falsehood: An Inquiry into Generalized Logical Values.
Springer Trends in Logic Studia Logica Library Vol. 36. Poland.
La relevancia filosfica del teorema de Suszko
Jos David Garca Cruz
sjemata@hotmail.com
BUAP
Resumen
El teorema de Suszko indica que toda lgica multivaluada puede reducirse a una biv
aluada. Presentaremos una caracterizacin estndar de una lgica multivaluada, su sint
axis, su semntica, y su operacin de consecuencia lgica. Discutiremos el teorema y l

os resultados reductivos que se siguen de su aceptacin. Dicho teorema es de suma


importancia filosfica, ya que modific la manera de entender el vnculo entre la nocin
de consecuencia lgica y la nocin de valor de verdad.
Palabras clave:
Suszko s Theorem,, Lgica Multivaluada, Valor de Verdad, Asignacin, Consecuencia lgica
.
Abstrct
Suszko s theorem claims that any many valued logic can be reduced to a two valued
one. We will present a standard characterization of a many valued logic, it synt
ax, semantics, and its logical consequence operation. We will discuss the theore
m and the reductive results that follows from its acceptance. This theorem is of
grate philosophical importance as it changed the way we understand the link bet
ween the notion of logical consequence and the notion of truth value.
Keywords:
Suszko s Theorem, Many Valued Logic, Truth Value, Valuation, Logical Consequence.
Introduccin
La cuestin que pretendemos responder es la siguiente: En qu consiste el teorema de
Suszko y cul es su importancia filosfica? Dicho teorema consiste en lo siguiente: t
oda lgica es (lgicamente) bi-valuada . Roman Suszko sugiere que Verdadero y Falso so
n los nicos valores (de verdad) lgicos (Tesis de Suszko). La importancia de esta cu
estin se puede sintetizar al menos en dos puntos: 1) por un lado dicho teorema of
rece una reconsideracin del concepto de valor de verdad a la luz del vnculo que ste
concepto tiene con el de consecuencia lgica. Por otro lado 2) con esta idea, Sus
zko sent las bases de la distincin entre valores lgicos y valores algebraicos.
El teorema se formul principalmente en The Fregean Axiom and Polish Mathematical
Logic in the 1920 s, la motivacin filosfica de Suszko es hacer una reconstruccin de
las lgicas multivaluadas en relacin a lo que denomina como el Axioma Fregeano, que
intuitivamente consiste en afirmar que todas oraciones verdaderas describen lo m
ismo, es decir, tienen un referente comn . En Remarks on Lukasiewicz Three-Valued L
ogic, Suszko ofrece una caracterizacin del sistema L_3 de Lukasiewicz, y disting
ue entre dos tipos de funciones caractersticas en dicho sistema a las que denomin
a asignaciones algebraicas por un lado, y asignaciones lgicas por otro, para lleg
ar a la conclusin de que dicho sistema puede considerarse como bi-valuado. Uno de
los anlisis ms detallados del teorema de Suszko es el elaborado por G. Malinowski
, en Inferential Many-valuedness, y en Many-valued logics, realiza una exposicin
muy fiel de la tesis de Suszko enfocada a una formulacin ms adecuada del concepto
de multivalencia. En Two s Company: The Humbug of Many Logical Values . Caleiro, Car
neli, Coniglio y Marcos ofrecen una presentacin de lo que se ha denominado como l
a reduccin de Suszko. En Suszko's Thesis, Inferential Many-valuedness, and the No
tion of a Logical System, y en Truth and Falsehood: An Inquiry into Generalized
Logical Values, H. Wansing y Y. Shramko presentan tres interpretaciones de la re
duccin de Suszko, y consideran la posibilidad de ms de dos nociones de consecuenci
a para un solo sistema lgico, algo que denominan lgica bi-consecuente. Una posicin
crtica es la mantenida por N. da Costa, J.-Y. Beziau, y O. Bueno en Malinowski an
d Suszko on many-valued logics: on the reduction of many-valuedness to two-value
dness, en dicho texto presentan tres maneras de generar la reduccin de Suszko y a
dems exponen algunos ejemplos provenientes de la lgica paraconsistente para justif
icar su crtica.
Nuestros objetivos pueden resumirse en lo siguiente: (a) presentaremos una lgica
bi-valuada, estructuralmente Tarskiana, esto es, con una operacin de consecuencia
lgica que satisfaga los tres axiomas de A. Tarski para la nocin abstracta de cons
ecuencia lgica. Y Consecuentemente (b) extenderemos estas nociones a un contexto
multi-valuado. Finalmente (c) discutiremos el teorema de Suszko y las consecuen
cias filosficas que se desprenden de el.
Preliminares tcnicos
El sistema que definiremos ser llamado L_s, iniciaremos presentando el lenguaje d
e L_s, al que llamaremos L . Hay dos componentes de nuestro lenguaje, uno sintcti
co y uno semntico. El elemento sintctico de nuestro lenguaje consta de dos partes

, el alfabeto de L y la gramtica de L. El alfabeto est integrado por tres tipos de


signos: conectivas lgicas, variables proposicionales, y parntesis. El conjunto de
conectivas consiste en los signos siguientes: ,?,?,? (negacin, conjuncin, disyuncin
, y condicional respectivamente). Las variables proposicionales representan ora
ciones simples del lenguaje ordinario y usaremos las siguientes: "p,q,r,s, ". Los
parntesis son signos auxiliares que cumplen la funcin de evitar la ambigedad en la
lectura de las frmulas. En adicin a lo anterior, una frmula ser definida como una se
cuencia de signos primitivos del alfabeto que satisfacen las siguientes clusulas:
Toda
Si a
Si a
Nada

variable proposicional de L es una frmula.


es una frmula, a es una frmula.
y son frmulas, a?, a?, a?, son frmulas.
es una frmula a menos que se genere de la aplicacin de las reglas 1

3
.
Estas clusulas componen la gramtica de nuestro lenguaje. La semntica de nuestro sis
tema tiene la funcin de ofrecer una interpretacin del lenguaje. Tomemos a F como u
na coleccin no vaca de frmulas de nuestro lenguaje L, generadas a partir de la gramt
ica del mismo, sea A={1,0}, y finalmente consideraremos un subconjunto de A, e
l conjunto D^+={1} que denominaremos el conjunto de valores designados . Llamare
mos una semntica (sem) sobre F y A, a toda coleccin de mapeos s: F?A, que llamar
emos asignaciones. Una asignacin es un mapeo que relaciona cada variable proposic
ional del lenguaje con uno de los dos valores, y slo uno. Para referirnos a las
asignaciones usamos la letra s con o sin subndices. Por ejemplo, s(p)=1, signific
a que la asignacin s le atribuye el valor 1 a la formula p . Dada una semntica sem,
y alguna frmula del lenguaje f?F , se dice que se tiene un modelo para f cuando h
ay alguna s?sem , tal que s(a)?D^+, cuando esto es verdad para toda s?sem se dic
e que f est validada. Es decir, cuando toda posible asignacin s que pertenece a la
semntica del lenguaje atribuye el valor designado a la frmula, diremos que la frmu
la est validada. En otras palabras, una frmula queda validada si todas sus asignac
iones son todos sus modelos.
Finalmente definiremos las conectivas lgicas como sigue. Para toda s?sem tenemos
que:
s(a?)?D^+, si y slo si, s(a)?D^+ y s()?D^+.
s(a?)?D^+, si y slo si, s(a)?D^+ o s()?D^+.
s(a?)?D^+, si y slo si, s(a)?D^+ o s()?D^+.
s(a)?D^+, si y slo si, s(a)?D^+.
Consecuencia lgica y lgicas Tarskianas
Una lgica tarskiana puede definirse como aquella en la que la relacin de consecuen
cia lgica preserva tres axiomas: reflexividad, monotona y transitividad (Wansing,
et. al., 2008: 408) .
Diremos que el lenguaje que hemos definido arriba puede verse como una lgica si h
ay alguna manera de determinar una operacin de consecuencia sobre dicho lenguaje,
una forma de pasar de varias frmulas a su consecuencia. Iniciamos con una opera
cin de consecuencia ?_sem:P(F)?F, esta operacin es un mapeo que va del conjunto po
tencia de F al conjunto de frmulas F, es decir, esta operacin vincula frmulas con
una frmula, su consecuencia. Lo siguiente que debemos considerar es cmo se estable
ce este vnculo, la manera usual es por medio del concepto de valor designado. El
conjunto de valores designados funge como criterio en la vinculacin de conjuntos
de frmulas y sus consecuencias, en otros trminos, alguna a?F es consecuencia de u
n conjunto de frmulas S?P(F) siempre que todo modelo de todas las frmulas de S es
tambin modelo de a, esto es:
S?_sem a, si, y solo s, para toda s?sem, s(a)?D^+ siempre que ?s(S)?D?^+
Es decir, diremos que una frmula es consecuencia lgica de un conjunto de premisas
siempre que, una determinada asignacin vincula un valor designado con cada una la
s premisas, tambin vincula un valor designado con la conclusin. Una inferencia ser
entendida como el par ordenado <S?a?? ,>??. Donde el primer elemento del par lo f
orman la unin de las premisas, y el segundo elemento del par lo forma la conclusin
que es implicada; en otras palabras, una inferencia es una secuencia de conjunt
os de frmulas, las premisas, vinculadas por medio de la relacin de consecuencia a
otra frmula, la conclusin.

Para establecer la nocin abstracta de consecuencia lgica consideraremos estos tre


s axiomas: Para toda S,a,?,:
(T1) S,a,??a
Reflexividad
(T2) si ??a entonces, S,??a
Monotona
(T3) si S,a?, y ??a, entonces S,?? Transitividad
Una lgica, puede ser definida simplemente como un conjunto de frmulas junto con un
a relacin de consecuencia definida sobre ella. En este caso L_s=<F,? >. Las lgicas
que respeten los axiomas T1-T3 sern llamadas tarskianas. Una teora T ser cualquier
subconjunto de una lgica, en smbolos una teora para L_s, ser toda T?L_s. Este hecho
se debe principalmente a que una teora tal y como la definimos aqu ser el conjunto
formado por todas y nicamente las consecuencias de L_s, y estas se obtienen a pa
rtir de la aplicacin de ? sobre F, formando un subconjunto porque habr objetos que
pertenezcan a F y no sean consecuencias de L_s, es decir, frmulas que no sern des
ignadas bajo ninguna asignacin, o frmulas tomadas como conclusiones, y dado cierto
modelo para las premisas, no habr tal modelo para la conclusin. Ahora extenderemo
s estas nociones y presentaremos algunos ejemplos de lgicas multi-valuadas.
Lgicas multivaluadas
Una lgica multivaluada es una lgica en la que los mapeos que van del conjunto de fr
mulas al conjunto de valores de verdad pueden atribuir a las frmulas otros valore
s distintos de 1 y 0, dependiendo de cuantos objetos pertenezcan al conjunto A d
e valores de verdad. Consideremos una lgica L_n=<F,? >, donde F es un conjunto de
frmulas, y ? una relacin de consecuencia. Para definir una lgica multivaluada lo ni
co que debemos hacer es considerar ms objetos pertenecientes al conjunto A . La s
emntica es la misma que la de la lgica L_s con una sola diferencia, los mapeos se
rn llamados n-asignaciones, donde n corresponde a un prefijo uni-/bi-/tri-, de ac
uerdo con |A|, esto es la cardinalidad de A.
Las definiciones de modelo y validez permanecen idnticas. Dada una semntica n-val
uada ?sem?_n y alguna frmula a?F, se tiene un modelo para a cuando hay alguna s??
sem?_n tal que s(a)?D^+, cuando esto es verdad para toda s??sem?_n se dice que a
est validada. Del mismo modo una frmula queda validada si toda asignacin le atribu
ye un valor perteneciente al conjunto de valores designados. Es decir, si siempr
e es el caso para toda a?F, que s(a)?D^+. Las definiciones de las conectivas y
de la consecuencia lgica tampoco se alteran. A partir de esto resalta una cuestin
importante en dnde radica la diferencia entre una lgica multi-valuada y la que def
inimos inicialmente si las definiciones de las conectivas y de la consecuencia lg
ica son las mismas? Como mencionamos la principal diferencia se encuentra en los
miembros del conjunto de valores de verdad y en el de valores designados. Parec
iera no haber mucha diferencia si agregamos un elemento a A, digamos i. Sea A={1
,i,0} y D^+={1}. Esta lgica corresponde a la K_3 de Kleene, al parecer no hay muc
ha diferencia con una lgica bi-valuada pero tal y como Priest muestra (2008: 124)
esta lgica no contiene verdades lgicas en absoluto, es decir, ninguna frmula puede
validarse. Adems hay un hecho interesante en relacin al condicional, cuando una fr
mula cuya conectiva principal es el condicional, y a ambos, antecedente y consec
uente se les asigna el valor i la frmula resulta no ser designada, obtiene el val
or i (ibd.), esto lleva a resultados inesperados, por ejemplo con la ley de ident
idad a?a, ya que de acuerdo con el criterio de Kleene para definir la implicacin
esta ley resulta no ser designada, y por tanto no es una tautologa. Esto es algo
que va en contra de la definicin de la conectiva, ya que si el antecedente no es
designado la frmula debe ser designada. Si modificamos este hecho dando primaca a
la definicin del condicional obtenemos la lgica L_3 de Lukasiewicz, en esta lgica
a?a siempre es designada.
Ahora bien, si modificamos D^+ como sigue, D^+={1,i} obtendremos otros resultado
s, por ejemplo la ley de tercio excluido no es vlida, y algo ms sorprendente la re
gla de modus ponens deja de ser vlida (ibd.:125). Si se generan algunas modificaci
ones a la forma de interpretar el cmputo de los valores de verdad (es decir, modi
ficaciones a la tabla de verdad pero no a la definicin de la conectiva) se obtien
e la lgica LP de Priest (ibid.). Podramos seguir alterando ahora el conjunto A, ag
regando ms elementos, pero consideramos que estos ejemplos bastan para discutir e
l tema que nos compete, para el lector interesado en ms sistemas se sugiere el te
xto de Graham Priest Introduction to Non Classical Logic: From If to Is. Conside

rando estos hechos, y con las definiciones previas pasaremos a discutir el teore
ma de Suszko en la siguiente parte.
La relevancia del Teorema Suszko
El Teorema de Suszko es esbozado en The Fregean Axiom and Polish Mathematical Lo
gic in the 1920 s. Antes de continuar y realizar una formulacin explcita del Teorema
es necesario detenernos y matizar algunas cuestiones terminolgicas en relacin al
tema. Como Da Costa, Beziau, y Bueno sugieren (1996: 285) ni en el artculo de Sus
zko ni en el libro de Malinowski Many-Valued Logics se enuncia explcitamente el T
eorema de Suszko, en ambos trabajos se encuentran enunciados que sugieren su for
mulacin, pero no de manera explcita.
Siguiendo a Da Costa podemos hacer una distincin importante entre el Teorema de S
uszko y la Tesis de Suszko. El primero muestra que cualquier lgica es lgicamente b
i-valuada , y la segunda establece que hay slo dos valores lgicos. Existe una cone
xin entre ambos conceptos, reducir toda lgica multi-valuada a una bi-valuada impli
ca aceptar que slo existen dos valores de verdad lgicos. Ahora presentamos una for
mulacin explcita:
Teorema de Suszko: Toda lgica Tarskiana es lgicamente bi-valuada .
La motivacin filosfica subyacente es considerar la nocin de multi-valencia en su re
lacin con el Axioma Fregeano, que intuitivamente establece que todas las oraciones
verdaderas describen lo mismo, es decir, tienen un referente comn . El objetivo de
Suszko es doble, por un lado considerar a la creacin de las lgicas multi-valuadas
como la abolicin efectiva del Axioma Fregeano , y por otro lado sugerir que Lukasiew
icz es el principal autor de un magnfico engao conceptual que ha perdurado en la lg
ica matemtica hasta el presente . De acuerdo con Malinowski (2009: 85) el programa
de Suszko parte de la adopcin de
( ) algunos aspectos del programa semntico de Frege sometidos a la influencia del T
ractatus de Wittgenstein. Mientras que Suszko distingue como Frege- entre el cont
enido de una oracin y su valor lgico, l identifica el contenido de una oracin con lo
s valores no clsicos ( ).
Si consideramos la lgica L_3, para cada frmula del lenguaje a?F el contenido de a
est dado por el conjunto A={1,i,0}, es decir, el contenido de una frmula puede var
iar en funcin de los tres valores. Por otro lado, -y en esto tambin sigue a Fregela descripcin de las conectivas est dada por el uso de asignaciones cero-uno , esto
equivale a nuestro conjunto de valores designados (uno) y su complemento (cero)
, esto es, las conectivas se definen usando D^+ y su complemento, usndolos como c
ontrapartidas de Verdadero y Falso . Esto nos pone en condiciones para generar una di
stincin importante, la distincin entre asignacin algebraica y asignacin lgica .
Asignacin algebraica: Toda funcin referencial admisible que se aplica a no
mbres (trminos) y tambin a oraciones (frmulas).
Asignacin lgica: Toda asignacin de valores de verdad admisible nicamente a o
raciones (frmulas) y siempre constituye la definicin genuina de la lgica.
De acuerdo con esto podemos considerar dos tipos de valores de verdad: lgicos y a
lgebraicos, los primeros usados en asignaciones algebraicas correspondientes a l
os elementos del conjunto A={1,i,0} y los segundos utilizados en asignaciones lgi
cas especficamente el conjunto D^+ y su complemento . De este modo un mapeo s: F?
A ser considerado una asignacin algebraica, mientras que ?_sem:P(F)?F corresponde
a la asignacin lgica. Esto significa que ?_sem:P(F)?F si y slo si toda s(a)?D^+ s
iempre que ?s(S)?D?^+, para toda a?F y todo conjunto de frmulas S?P(F).
La forma de reducir una lgica bi-valuda a una multi-valuada es estableciendo como
los genuinos valores lgicos a D^+ y su complemento, genuinos porque mediante este co
njunto y su complemento se definen las conectivas y la operacin de consecuencia.
Esto implica que el nico rol que juegan los valores algebraicos es el de servir c
omo contenido de las frmulas del lenguaje, en otros trminos, su contribucin se redu
ce a ofrecer informacin de las frmulas que se considerarn vinculadas mediante la co
nsecuencia lgica. El papel de los valores lgicos es ms fuerte, ya que con la inform
acin que otorgan las asignaciones algebraicas se calcula el valor de una frmula pa
ra obtener el valor lgico a partir de sus constituyentes atmicos, y con dicha info
rmacin se establece la operacin de consecuencia. Esto queda de manifiesto si segui
mos la explicacin de Wansing y Shramko de este hecho:
Si la lgica es pensada como la teora de las inferencias vlidas, entonces un valor lg

ico puede ser visto como un valor que es usado para definir en una manera cannica
la relacin de implicacin en un conjunto de frmulas. Por definicin cannica de implica
cin queremos decir una definicin de implicacin como una relacin que (en un caso de c
onclusin nica) preserve la membresa en un cierto conjunto de valores algebraicos, y
a sea de premisas a conclusiones, o de las conclusiones a las premisas. (Wansing
, Shramko, 2011: 199).
Esto quiere decir en nuestros trminos que la funcin de D^+ es definir las conectiv
as lgicas y establecer el vnculo entre premisas y conclusiones, tomando como base
el contenido de las frmulas vinculadas, esto es, el valor algebraico que posean.
Suszko se encontraba fuertemente influenciado por el Tractatus, por esta razn la
distincin debe vincularse con la idea de ofrecer una formalizacin de la ontologa su
byacente a la obra del joven Wittgenstein. Por tanto
( ) cero y uno fungen entonces co
mo los genuinos valores lgicos, mientras que los tres valores de Lukasiewicz denota
n situaciones en el sentido Wittgensteiniano- descritas por sus oraciones .
Esta distincin es la principal consecuencia del Teorema de Suszko, siguiendo a Ma
linowski podemos considerar que adems es una distincin entre dos niveles semnticos:
uno lgico y uno ontolgico , tal y como el propio Suszko menciona:
As que, las asignaciones lgicas y algebraicas son funciones de naturaleza conceptu
al completamente diferente. Las primeras establecen una conexin hacia la verdad y
falsedad y, las segundas representan la referencia de las asignaciones. Las frmu
las juegan un rol semntico doble, en general. Este es el Axioma Fregeano que amal
gama eso en una inseparable unidad .
Esto implica que a nivel ontolgico no importa cuntos valores de verdad posea una lgic
a, de acuerdo con el Teorema de Suszko a nivel lgico slo son suficientes dos valores
de verdad para poder establecer la operacin de consecuencia.
Como vimos en los ejemplos en la seccin 3, las principales diferencias en
tre lgicas no radican en el hecho de que ests sean bi-valuadas o multi-valuadas, s
ino en qu objetos consideraremos como valores designados y qu objetos pertenecen a
l conjunto de valores de verdad. Por esta razn otra consecuencia interesante de l
a idea de Suszko es que existe cierta independencia entre la operacin de consecue
ncia lgica y el nmero de valores de verdad algebraicos, puesto que, con el concept
o de valor designado podemos establecer un criterio que se ajuste a la multiplic
idad de sistemas multi-valuados independientemente de su constitucin sintctica. La
consecuencia ms fuerte de esta idea es que no existen las lgicas multi-valuadas,
y por ende que toda lgica estructuralmente Tarskiana es bi-valuada.
Conclusin
Hemos definido, en primer lugar, una lgica bi-valuada Tarskiana, posteriormente r
ealizamos ligeras modificaciones a la semntica obteniendo un sistema multi-valuad
o y consideramos varios ejemplos de sistemas de este tipo. La principal modifica
cin fue alterar el conjunto de valores de verdad y el subconjunto de valores desi
gnados. Finalmente presentamos el Teorema de Suszko y algunas consecuencias filo
sficas relativas a esa idea. Por ltimo haremos mencin de ciertos resultados de la i
nterpretacin de Malinowski y de la crtica elaborada por Newton Da Costa, Jean-Yves
Beziau, y Otavio Bueno.
En primer lugar Malinowski partiendo de la idea de distinguir valores designados
, considera un conjunto disyunto de este, el de valores anti-designados D^-. Pod
emos interpretar este conjunto como el valor Falso , es decir D^+ corresponde a Verd
adero y D^- corresponde a Falso , si asumimos que adems hay elementos que no pertenec
en ni a D^+ ni a D^-, estos elementos seran valores ni designados ni anti-designa
dos. Con dichos elementos podemos formar un nuevo conjunto D^n, y al parecer la
tri-valencia vuelve a aparecer. En segundo lugar la crtica ofrecida por los lgicos
brasileos se apoya en varios ejemplos uno de ellos el referido al sistema de lgic
a paraconsistente C1. En este sistema es posible dividir en tres los posibles va
lores para cada frmula: verdadera, falsa, y cuasi-verdadera. Una consecuencia de
esto es que la semntica no es referencial y el principio de bivalencia es violado
. Adems de su crtica muestran dos maneras de generar los mismos resultados a los q
ue Suszko llego, una propuesta por Da Costa, y otra por Beziau.

Uno de los principales logros de Suszko y su Teorema fue la distincin entre valor
es lgicos y valores algebraicos, y la consecuencia de esto filosficamente hablando
fue distinguir dos niveles semnticos en los que las lgicas Tarskianas operan, que
a pesar de no parecer vinculados son ms cercanos de lo que creemos, ontologa y lgi
ca ambas relacionadas por el lenguaje.

Referencias
Beziau, J.-Y. (2007 ). From Consequence Operator to Universal Logic: A Survey
of General Abstract Logic. En J.-Y. Beziau (Ed.). Logica Universalis, 2nd editio
n, 3 17. Birkhauser Verlag Basel/Switzerland.
(2010) Truth as a Mathematical object. Principia 14(1): 31 46.
Da Costa, N., Beziau, J.-Y., Bueno, O. (1996). Malinowski and Suszko on many-va
lued logics: on the reduction of many-valuedness to two-valuedness. Modern Logic
, 6 (1):272 -299.
Caleiro, Carneli, Coniglio y Marcos (2005). Two s Company: The Humbug of Many Logic
al Values . En J.-Y. Beziau (Ed.). Logica Universalis, 169 189. Birkhuser Verlag Base
l/Switzerland.
Gzegorz Malinowski. (1993) Many-valued logics. Oxford Logic Guides 25. Clarendon
Press, Oxford.
(1994) Inferential Many-valuedness. In: Jan Wolenski (ed.), Philosophica
l Logic in Poland. Kluwer Academic Publishers, Netherlands. 75 84
(2009) The Philosophy of Many-Valuedness. In: Jan Wolenski (ed.), The G
olden Age of Polish Philosophy. Springer, France.
Suszko, R. (1977). The Fregean Axiom and Polish Mathematical Logic in the 1920 s.
Studia Logica 36 (4):376-380.
(1975) Remarks on Lukasiewicz Three-Valued Logic. Bulletin of the Sectio
n of Logic.(4):87 89.
Wansing, H. & Shramko, Y. (2008). Suszko's Thesis, Inferential Many-valuedness,
and the Notion of a Logical System. Studia Logica 88 (3):405 - 429.
(2011). Truth and Falsehood: An Inquiry into Generalized Logical Values.
Springer Trends in Logic Studia Logica Library Vol. 36. Poland.