MULTIVALENTES
Carolina Blasio*
Resumo: A noo de consequncia lgica criada por Tarski definida como a preservao da verdade, ou
de um conjunto de valores-de-verdade, das premissas para a concluso. Uma vez que a noo de relao
de consequncia tarskiana definida com base na bipartio dos valores-de-verdade da semntica, um
dos resultados que segue de uma lgica tarskiana que esta lgica pode ser caracterizada por uma
semntica bivalente. Este resultado, conhecido como Reduo de Suszko, implicaria a no existncia
de lgicas multivalentes, se no fosse a existncia de noes de relaes de consequncias generalizadas
associadas a semnticas cujo conjunto de valores possuem mais de duas parties. O objetivo do presente
trabalho contribuir para o debate acerca das diferentes noes de relao de consequncia e a relao
de algumas destas noes com as lgicas multivalentes.
Palavras-chave: Relao de Consequncia Lgica, Semnticas Multivaloradas, Semnticas Multiva-
lentes.
Abstract: The notion of logical consequence created by Tarski is defined as the preservation of truth,
or a set of truth-values, from the premises to the conclusion. Since the notion of consequence relation
is defined based on the bipartition of the semantics truth-values, one of the results that follows from a
Tarskian logic is this logic can be characterized by a bivalent semantics (Suszkos Reduction). This result
would imply the absence of multivalent logics. Nonetheless, there are multivalent logics because there
are generalized notions of consequence relations associated with semantics whose set of truth-values has
more than two partitions. This paper aims to foment the debate about the several notions of consequence
relation and the relationship of some of these notions with multivalent logics.
Keywords: Logical Consequence Relation, Manyvalued Semantics, Manyvalent Semantics.
* Doutoranda em Filosofia/UNICAMP. Este artigo foi elaborado com o apoio do CNPq (149706/2011-1).
. 87
SOBRE AS RELAES DE CONSEQUNCIA LGICA E SEMNTICAS MULTIVALENTES .
Introduo
O conceito de relao de consequncia lgica est na base da criao da Lgica como dis-
ciplina independente desde Aristteles, sobretudo com as obras Analticos Anteriores (A -
) e Analticos Posteriores (A ). Seguindo a tradio
antiga, dizemos que uma relao de consequncia lgica trata de como enunciados (sentenas,
proposies) seguem de outros e como se avalia este seguir de.
Em linha gerais, existe uma relao de consequncia quando um enunciado, a concluso,
segue de um conjunto de enunciados (que pode ser vazio), as premissas. Uma relao de con-
sequncia pode se dar na forma de um argumento, onde algumas proposies precisam ser
escolhidas como premissas e outra como concluso. Por exemplo,
ISSN 1984-3879. Saberes: Revista Interdisciplinar de Filosofia e Educao, Natal:RN, n. Esp. o II,
Jun. 2016, p. 8694.
. 88
SOBRE AS RELAES DE CONSEQUNCIA LGICA E SEMNTICAS MULTIVALENTES .
Sendo a necessidade um dos critrios para que uma relao de consequncia se d, apenas
os argumentos ditos dedutivos so objetos da Lgica. Um exemplo de deduo seria:
Diferentemente da deduo, em uma induo a concluso pode no ser Verdadeira mesmo que
as premissas sejam Verdadeiras.
Um argumento do tipo abdutivo tem uma concluso que explica ou cria uma conjectura a
respeito do contedo fornecido pelas premissas, por exemplo:
ISSN 1984-3879. Saberes: Revista Interdisciplinar de Filosofia e Educao, Natal:RN, n. Esp. o II,
Jun. 2016, p. 8694.
. 89
SOBRE AS RELAES DE CONSEQUNCIA LGICA E SEMNTICAS MULTIVALENTES .
ciais para o desenvolvimento cientfico, entretanto, h algum debate sobre como formaliz-los
e qual seria a legitimidade destes formalismos enquanto lgicas, uma vez estes que no con-
templam o critrio de necessidade. H tambm quem defenda que a inviabilidade de formalizar
tais argumentos e os incluem na chamada Lgica Informal.
A segunda caracterstica tradicionalmente esperada da definio de relao de consequncia
a formalidade. Em argumentos dedutivos uma relao de consequncia pode ser unicamente
determinada pela forma dos enunciados envolvidos, sem recorrer a algum tipo de conhecimento
emprico. Podemos expressar os argumentos de forma esquemtica, expondo a estrutura dos
argumentos vlidos. Por exemplo: Se p ento q, p; logo, q sempre um argumento vlido
para qualquer instncia de p ou de q.
O argumento Sofia alrgica a camaro; logo, Sofia no pode comer casquinha de siri. no
pode ser vlido se sua formalizao no levar em conta informaes no declaradas, como aler-
gia a camaro provm do caso mais amplo de alergia a uma protena presente em crustceos,
o siri e o camaro so crustceos, e tambm uma pessoa pode morrer se ingerir um alimento
ao qual ela tenha alergia.
A normatividade a terceira caracterstica esperada de uma relao de consequncia lgica.
A normatividade da relao de consequncia, em geral, restringe que para um argumento ser
vlido, as premissas sejam Verdadeiras e a concluso seja Falsa. Isto significa que um argu-
mento sempre prescreve algo. Por exemplo: sabendo que o seguinte argumento vlido, Se
chover, Ana vai para casa, mas se fizer sol, Ana vai passear. Chove. Logo, Ana vai para casa.,
podemos garantir que Ana vai para casa aps verificar que chove e que a deciso de Ana era de
ir para casa caso chovesse.
Os critrios para a noo de relao de consequncia lgica podem ser expressos em ter-
mos da ideia wittgensteiniana de situao (Sachverhalte). De acordo com Wittgenstein, um
argumento vlido aquele cuja concluso Verdadeira em todas as situaes em que todas as
premissas so Verdadeiras (Wittgenstein, 1921). A relao de consequncia lgica definida de
tal forma que necessria, pois a verdade preservada em todas as situaes; formal, pois se
compromete com a estrutura, e no com o contedo do argumento; e tambm normativa, pois
no h um contraexemplo que demonstre que todas as premissas so Verdadeiras e a concluso
Falsa.
ISSN 1984-3879. Saberes: Revista Interdisciplinar de Filosofia e Educao, Natal:RN, n. Esp. o II,
Jun. 2016, p. 8694.
. 90
SOBRE AS RELAES DE CONSEQUNCIA LGICA E SEMNTICAS MULTIVALENTES .
ISSN 1984-3879. Saberes: Revista Interdisciplinar de Filosofia e Educao, Natal:RN, n. Esp. o II,
Jun. 2016, p. 8694.
. 91
SOBRE AS RELAES DE CONSEQUNCIA LGICA E SEMNTICAS MULTIVALENTES .
ISSN 1984-3879. Saberes: Revista Interdisciplinar de Filosofia e Educao, Natal:RN, n. Esp. o II,
Jun. 2016, p. 8694.
. 92
SOBRE AS RELAES DE CONSEQUNCIA LGICA E SEMNTICAS MULTIVALENTES .
ISSN 1984-3879. Saberes: Revista Interdisciplinar de Filosofia e Educao, Natal:RN, n. Esp. o II,
Jun. 2016, p. 8694.
. 93
SOBRE AS RELAES DE CONSEQUNCIA LGICA E SEMNTICAS MULTIVALENTES .
ISSN 1984-3879. Saberes: Revista Interdisciplinar de Filosofia e Educao, Natal:RN, n. Esp. o II,
Jun. 2016, p. 8694.
. 94
SOBRE AS RELAES DE CONSEQUNCIA LGICA E SEMNTICAS MULTIVALENTES .
(Frankowski, 2004), que no transitiva. Como veremos a seguir, estas relaes colocam em
xeque a prpria noo de relao de consequncia ao no possurem propriedades consideradas
fundamentais da noo de consequncia tarskiana.
Multivalorao e multivalncia
Vimos que a noo de consequncia tarskiana tem como caracterstica a preservao da ver-
dade das premissas para a concluso. Quando uma relao de consequncia tarskiana est
associada a uma semntica multivalorada esta caracterstica se mantm no em termos da
preservao do valor-de-verdade Verdadeiro, mas da preservao de um conjunto de valores-de-
verdade ditos designados, que um subconjunto do conjunto de valores-de-verdade da semn-
tica.
Um exemplo de lgica multivalorada a Lgica do Paradoxo de Graham Priest. Nesta lgica
a semntica possui trs valores-de-verdade (Verdadeiro, Falso e Verdadeiro-e-Falso) e destes,
dois so designados (Verdadeiro e Verdadeiro-e-Falso). A consequncia lgica definida como
a preservao tanto do valor Verdadeiro quanto do valor Verdadeiro-e-Falso resultando em
uma lgica no-clssica paraconsistente. Devemos notar que a Lgica do Paradoxo possui
a mesma noo de definio de consequncia lgica que a Lgica Clssica, que a noo
tarskiana.
A concepo de multivalorao na lgica moderna foi introduzida pelo lgico polons Jan
ukasiewicz, que acrescentou o valor-de-verdade Indeterminado aos valores fregeanos tradi-
cionais de Verdade e Falsidade. De acordo com ukasiewicz, o Indeterminado seria um passo
alm da dicotomia Aristotlica entre o ser e o no-ser. A noo de multivalorao, no entanto,
recebeu duras crticas do tambm lgico polons Roman Suszko.
Suszko defendia a tese de que existem apenas dois valores-de-verdade. De acordo com
Suszko, as ideias de ukasiewicz sobre multivalorao se baseavam em uma confuso entre
valores algbricos aquilo que as sentenas denotam e valores lgicos a Verdade e a
Falsidade. Sendo assim, os trs valores-de-verdade da semntica criada por ukasiewicz seriam
valores algbricos e no valores lgicos.
A denominada Tese de Suszko defende, portanto, a distino acerca da natureza dos valores-
de-verdade. Haveriam dois nveis semnticos para os valores-de-verdade: o nvel ontolgico
relativo denotao das sentenas e o nvel lgico relativo verdade e falsidade. De acordo
ISSN 1984-3879. Saberes: Revista Interdisciplinar de Filosofia e Educao, Natal:RN, n. Esp. o II,
Jun. 2016, p. 8694.
. 95
SOBRE AS RELAES DE CONSEQUNCIA LGICA E SEMNTICAS MULTIVALENTES .
ISSN 1984-3879. Saberes: Revista Interdisciplinar de Filosofia e Educao, Natal:RN, n. Esp. o II,
Jun. 2016, p. 8694.
. 96
SOBRE AS RELAES DE CONSEQUNCIA LGICA E SEMNTICAS MULTIVALENTES .
Referncias
Beal, J. & Restall, G. Logical Pluralism. Oxford University Press, 2006.
Caleiro, C.; Carnielli, W.A.; Coniglio, M.E. & Marcos, J. Suszkos thesis and dyadic semantics.
Preprint available at: <http:// wslc.math.ist.utl.pt/ ftp/ pub/ CaleiroC/ 03-CCCM-dyadic1.pdf>,
2003.
ISSN 1984-3879. Saberes: Revista Interdisciplinar de Filosofia e Educao, Natal:RN, n. Esp. o II,
Jun. 2016, p. 8694.
. 97
SOBRE AS RELAES DE CONSEQUNCIA LGICA E SEMNTICAS MULTIVALENTES .
Suszko, R. Abolition of the fregean axiom. In: Logic Colloquium, 1975. p. 169239.
Suszko, R. The fregean axiom and polish mathematical logic in the 1920s. Studia Logica,
v. 36, p. 373380, 1977.
Tarski, A. On the concept of logical consequence. In: Corcoran, J. (Ed.). Logic, Semantics,
Metamathematics: papers from 1923 to 1938. Hackett, 1983 (1936). p. 409420.
ISSN 1984-3879. Saberes: Revista Interdisciplinar de Filosofia e Educao, Natal:RN, n. Esp. o II,
Jun. 2016, p. 8694.