Anda di halaman 1dari 12

SOBRE AS RELAES DE CONSEQUNCIA LGICA E SEMNTICAS

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,

Se chove, ento o serto floresce.


(1) Chove.

Logo, o serto floresce.

No argumento (1), as premissas so os enunciados se chove, ento o serto floresce e chove


e a concluso o serto floresce.
H diferentes maneiras de definir como uma relao de consequncia lgica se d, pois
esta depende da compreenso que se tem da prpria Lgica. Uma das maneiras presentes na
literatura para se definir uma relao de consequncia dada em termos da validade semntica,
nela dito que uma relao de consequncia vlida porque a concluso segue das premissas
pela preservao da verdade, ou seja, uma relao de consequncia vlida se, considerando
que suas premissas sejam Verdadeiras, a concluso deve tambm ser Verdadeira.
Uma das grandes questes que lgicos de diferentes reas se colocam sobre quais aspectos
definido uma relao como uma consequncia lgica. Como ponto de partida, verificamos
que as caractersticas mais tradicionais que espera-se de uma relao de consequncia so a
necessidade, a formalidade e a normatividade (Beal & Restall, 2006).
Geralmente o critrio de validade de um argumento definido como a verdade da concluso
seguir por necessidade da verdade de suas premissas. A necessidade caracterizada de acordo
com diferentes teorias metafsicas.

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:

Toda abelha um artrpode.


Todo artrpode um animal.
(2)

Logo, toda abelha um animal.

Uma possibilidade de analisar o argumento (2) considerarmos os termos abelha, artr-


pode e animal como conjuntos e as duas premissas como Verdadeiras. Assim sendo, temos
que o conjunto abelha um subconjunto de animal, logo a concluso Verdadeira. Em um
argumento dedutivo, a concluso segue necessariamente das premissas, pois, sendo as premis-
sas Verdadeiras, a concluso tambm ser Verdadeira.
Existe, contudo, tipos de argumentos que no so dedutivos. Nestes argumentos, a verdade
da concluso no mximo muito provvel e no segue necessariamente da verdade das pre-
missas. Charles Peirce (1974) identifica dois tipos de argumentos no dedutivos: a induo e a
abduo.
Um argumento do tipo indutivo tem uma concluso que se baseia no contedo dado pelas
premissas. Por exemplo:

Toda criana que eu conheo gosta de brincar.


Maria uma criana.
(3)

Logo, Maria gosta de brincar.

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:

Observa-se que h mais mopes em relao ao passado.


Isto parece ocorrer porque vive-se mais em ambientes fechados.
(4)

Logo, viver em ambientes fechados uma das causas da mopia.

Existem alguns estudos, principalmente em Filosofia da Cincia e Pragmatismo, que buscam


formalizar o raciocnio indutivo e abdutivo. reconhecido que tais tipos de raciocnio so essen-

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 .

A relao de consequncia tarskiana


A primeira definio formal da noo de relao de consequncia entre os enunciados da
Lgica Clssica de Primeira Ordem atribuda a Rudolf Carnap pelo lgico polons Alfred
Tarski (1936): Uma sentena segue logicamente do conjunto de sentenas = {1 ,...,n },
n N, se e somente se a unio de com contraditria, ou seja, qualquer sentena segue
de {}. A definio de Carnap, contudo, no suficiente para expressar uma sentena
universal como consequncia de infinitas instncias individuais. Tarski redefiniu a noo de
relao de consequncia de Carnap em busca de uma noo formal ainda mais geral que fosse
adequada ao que se espera de uma consequncia lgica. Com a nova noo de relao de
consequncia Tarskiana torna-se possvel demonstrar, por exemplo, que uma sentena universal
da forma x consequncia de todas as instncias de .
A noo de relao de consequncia criada por Tarski atualmente adotada com poucas
modificaes por grande parte dos sistemas lgicos formais. Para garantir que a noo de re-
lao de consequncia fosse geral e independente da linguagem lgica utilizada, Tarski empre-
gou as definies semnticas de satisfao e modelo. Em termos gerais, dizemos que um certo
objeto satisfaz uma determinada propriedade quando a atribuio desta propriedade ao objeto
gera uma sentena verdadeira. Por exemplo, (2, 3, 5) satisfaz a funo x + y = z, ou (Joo,
Maria) satisfaz o predicado x irmo de y.
Uma estrutura de interpretao possui um domnio, formado por objetos, e uma funo que
atribui um objeto do domnio a uma sentena. Dado um conjunto de sentenas , dizemos
que uma dada estrutura de interpretao modelo de , quando esta estrutura satisfaz todas a
sentenas de . O conceito de relao de consequncia ento definido como: Uma sentena
consequncia semntica do conjunto de sentenas se, e somente se, todo modelo de
tambm modelo de . Esta a definio da relao de consequncia em termos de teoria
de modelos, onde a validade ocorre pela preservao da verdade, ou seja, quando, dada todas
premissas Verdadeiras, a concluso tambm Verdadeira. Ou ainda, a validade ocorre quando
incompatvel que as premissas sejam Verdadeiras e a concluso seja Falsa.
Uma relao de consequncia tarskiana respeita as seguintes propriedades:

Reflexividade: Um enunciado segue de si mesmo.

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 .

Monotonicidade: Se um enunciado segue de um conjunto de enunciados , ento este


mesmo enunciado segue de uma extenso deste conjunto de enunciados 0 , onde
subconjunto de0 .

Transitividade: Se um enunciado segue de um conjunto de enunciados e todo enunciado


segue de um conjunto de enunciados , ento segue de .

Compacidade: Se um enunciado segue de um conjunto de enunciados , ento existe um


subconjunto finito 0 de , tal que segue de 0 .

Estruturalidade: Seja um enunciado que segue de um conjunto de enunciados . Ento,


se todas ocorrncias de uma varivel que ocorre em e nos enunciados de forem
substitudas de tal forma que e sejam as enunciados resultantes desta substituio,
ento segue de .

Outras noes de relao de consequncia


Apesar da noo de relao de consequncia tarskiana ser amplamente adotada, notamos
na literatura da Lgica algumas noes de relao de consequncia diferentes, sobretudo, nas
lgicas no-clssicas. Categorizamos algumas destas diferentes noes em trs tipos em com-
parao com a noo de relao de consequncia tarskiana: as extenses, as dissidncias e as
generalizaes. Note que estas categorias no so excludentes entre si e nem tem o propsito
de exaurir todas as noes de relao de consequncia existentes.
Consideramos como uma extenso da noo de relao de consequncia tarskiana a relao
de consequncia de concluso mltipla desenvolvida por Shoesmith & Smiley (1978). A noo
de relao de consequncia de concluso mltipla tem sua raiz no clculo de sequentes de
Gentzen criado na dcada de 1930. A relao de consequncia de concluso mltipla estende
conservativamente a noo tarskiana de relao de consequncia admitindo que os argumentos
possam ter mltiplos enunciados como concluso. Um argumento teria, portanto, um conjunto
de enunciados como premissas, intuitivamente compreendido como uma conjuno de enunci-
ados, que acarretaria um conjunto de enunciados alternativos como concluso, intuitivamente
compreendido como uma disjuno de enunciados. Por exemplo: Se chove, ento o serto se
enche de flor; e chove; logo, o serto se enche de flor; ou ir fazer calor no serto.

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 .

A relao de consequncia de concluso mltipla possui tanto opositores quanto defensores:


Por um lado, filsofos antirrealistas questionam o uso da concluso mltipla por alegar que ela
pouco intuitiva, pois a concluso, ao ter vrios enunciados alternativos, no aponta para qual
destes enunciados , de fato, consequncia das premissas (Rumfitt, 2008; Dummett, 1991).
Por outro lado, a noo de consequncia de concluso mltipla elegante por sua simetria
e maior expressividade. Um argumento vlido quando, sendo todas as premissas Verdadeiras,
algum enunciado da concluso Verdadeiro; ou ainda, um argumento vlido quando, sendo
todos enunciados da concluso Falsos, alguma das premissas Falsa. Outra forma de expres-
sar a validade pela incompatibilidade de que todas premissas sejam Verdadeiras e todas as
alternativas da concluso sejam Falsas (Beal & Restall, 2006).
Uma das vantagens de se empregar a relao de consequncia de concluso mltipla sua
maior expressabilidade. Por exemplo, o principio de exploso da lgica clssica geralmente
expresso pela noo tarskiana como ` (ou seja, incompatvel que seja
Verdadeiro e seja Falso). Com a noo de concluso mltipla o princpio de exploso
expresso com maior economia de linguagem: , `m (ou seja, incompatvel que e
sejam Verdadeiros.).
A noo tarskiana de relao de consequncia tambm possui a limitao de no diferenciar
certas lgicas. Lgicas tarskianas cujos argumentos so sempre vlidos no so diferenciveis
das lgicas em que todos os enunciados de sua linguagem so verdadeiros. E ainda, a relao de
consequncia tarskiana no diferencia lgicas em que todos os enunciados de sua linguagem so
falsos das lgicas em que todos os enunciados de sua linguagem possuem um nico e mesmo
valor. Estas distines so expostas quando a relao de consequncia de concluso mltipla
adotada (Marcos, 2005).
O grupo de noes dissidentes de relaes de consequncia lgica caracterizado pela
modificao da definio de relao de consequncia tarskiana com o propsito de fornecer
uma alternativa. Neste grupo destacam-se a relao de consequncia das lgicas relevantes e
a das lgicas intuicionistas, ou construtivistas. Estas noes, em geral, possuem propriedades
semelhantes noo de relao de consequncia tarskiana, mas discordam de seus fundamentos
conceituais. Em geral, as relaes de consequncia dissidentes esto no cerne dos debates entre
a existncia de um nico tipo de lgica, o monismo lgico, e a posio de que haveriam noes
igualmente boas de relaes de consequncia, o pluralismo lgico.

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 .

A relao de consequncia das lgicas relevantes restringe a compreenso do que seja


seguir de. Falha o princpio de exploso: um enunciado qualquer no segue de ,
uma vez que no est implcito em . Alm disso, tambm falha o princpio do terceiro
excludo: nem sempre um argumento cuja concluso seja da forma vlido. No basta
que a concluso seja Verdadeira em todos os casos que as premissas sejam Verdadeiras, pois as
premissas precisam tambm ser relevantes para a concluso. A noo de consequncia relevante
exige que as premissas e a concluso possuam termos ou (sub)frmulas em comum. Exemplo:
Natal uma cidade ensolarada. Ponta Negra uma praia urbana de Natal. Os turistas gostam
de Ponta Negra. Logo, os turistas gostam de uma praia urbana de Natal, pois os termos turis-
tas e praia urbana de Natal presentes na concluso fazem parte das premissas. No possvel
concluir, no entanto, que ou os turistas gostam de Pipa ou os turistas no gostam de Pipa, pois
Pipa no um termo das premissas.
A noo de consequncia das lgicas intuicionistas, ou construtivistas, exige que a partir
das premissas se possa apresentar uma construo da concluso. Esta noo no admite a lei do
terceiro excludo (` ) nem a regra da eliminao da dupla negao ( ` ). Para um
argumento ser vlido, dadas premissas Verdadeiras e justificadas por uma construo de acordo
com certas regras, a concluso deve ser Verdadeira e justificada por uma construo de acordo
com as mesmas regras usadas na construo das premissas.
As noes de consequncia lgica que generalizam a noo tarskiana tem como caracters-
tica no possuir uma ou mais de suas propriedades. As mais conhecidas e estudadas destas
noes so as relaes de consequncia no-monotnicas, em que falha a propriedade de mono-
tonicidade. A noo de consequncia no-monotnica foi desenvolvida para capturar e repre-
sentar inferncias que representam melhor o nosso cotidiano, onde existem situaes em que
algo concludo de forma vlida e situaes em que a mesma coisa invalida devido a alguma
nova informao. Por exemplo: Todo pssaro voa. Piu-piu um pssaro. Logo, Piu-piu voa
um argumento vlido, mas ao acrescentarmos pinguins no voam e Piu-piu um pinguim
como premissas, o argumento deixa de ser vlido.
Outras classes de relaes de consequncia generalizadas apareceram recentemente na lit-
eratura e possuem importncia no estudo das lgicas no-clssicas multivaloradas. A primeira
a surgir foi a quasi-consequence, ou emphq-consequence de (Malinowski, 1990), que no re-
flexiva. A seguir surge outras definies como a plausible-consequence, ou p-consequence, de

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 .

com Suszko, o conjunto de valores-de-verdade, V , representa o conjunto de valores algbricos,


em que cada valor denotaria as possveis referncias das sentenas. O conjunto de valores
designados, D, e seu complemento, o conjunto de valores no-designados, U , representariam
os valores-de-verdade lgicos propriamente ditos (Suszko, 1975a; Suszko, 1977).
A concepo de valor-de-verdade clssica s poderiam ser negada no nvel ontolgico com o
acrscimo de novos valores algbricos, mas permaneceria no nvel lgico pela prpria noo de
relao de consequncia tarskiana, cuja definio depende da partio dos valores-de-verdade
entre designados e no-designados.
Os valores-de-verdade denotariam, portanto, duas coisas diferentes: os elementos de V e
as parties de V . Desta maneira, adotaremos o termo lgica multivalorada para designar uma
lgica cuja a cardinalidade do conjunto de valores-de-verdade seja maior do que dois e lgica
multivalente para designar uma lgica cujo conjunto de valores-de-verdade da semntica tenha
mais de uma partio.
Dada a insatisfao com as lgicas multivaloradas, Suszko buscou mostrar formalmente
como toda semntica multivalorada, a qual uma relao de consequncia tarskiana est asso-
ciada, pode ser caracterizada de forma bivalente. A chamada Reduo de Suszko teve como
ponto de partida a descrio bivalorada da lgica de ukasiewicz em (Suszko, 1975b), mas foi
com Malinowski que foi demonstrado que a Reduo de Suszko poderia ser aplicada a qualquer
lgica multivalorada. Somente mais tarde foi desenvolvido um procedimento que encontra uma
semntica bivalente adequada para qualquer semntica multivalorada em (Caleiro et al., 2003)1 .
A quasi-consequence, ou q-consequence, surge da motivao dada pela ontologia de uka-
siewicz de que haveriam situaes indeterminadas. Contestando a Tese de Suszko, Grzegorz
Malinowski foi o primeiro a ir alm da partio dos valores-de-verdade entre designados e no-
designados apresentando uma semntica multivalente associada a uma noo no tarskiana de
relao de consequncia. Ao criar a q-consequence, Malinowski (1990) triparticiona o conjunto
dos valores-de-verdade tomando dois subconjuntos disjuntos: os valores Aceitos e os valores
Rejeitados. Como a unio dos valores Aceitos com os valores Rejeitados no precisa ser igual ao
conjunto dos valores-de-verdade, h margem para que existam valores-de-verdade nem Aceitos
e nem Rejeitados.
1 Sobre a Tese e a Reduo de Suszko cf. (Molick, 2015).

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 .

A definio de q-consequence dada por: um enunciado vlido se dadas premissas no-


Rejeitadas, a concluso Aceita. Ou ainda, incompatvel que todas as premissas no sejam
Rejeitadas e a concluso no seja Aceita. Esta noo no reflexiva, dado que um enunciado de
valor nem Aceito e nem Rejeitado no pode ser consequncia dele mesmo, pois pela definio
incompatvel que a premissa no seja Falsa e a concluso no seja Verdadeira.
Em (Frankowski, 2004), Szymon Frankowski apresenta uma verso diferente de tripartio
dos valores-de-verdade e introduz uma noo de relao de consequncia dual q-consequence
chamada plausible-consequence, ou p-consequence. A motivao da p-consequence de ser
um raciocnio que lida com conjecturas. Sua semntica associada possui valores Aceitos ou val-
ores Rejeitados, sendo possvel haver valores que sejam ao mesmo tempo Aceitos e Rejeitados.
A definio de p-consequence, dada por: um argumento vlido se dadas premissas Ver-
dadeiras, a concluso no-Falsa. Ou, incompatvel que todas premissas sejam Verdadeiras e
a concluso Falsa.
A p-consequence reflexiva, mas no transitiva. Para mostrar que a transitividade no vale,
suponha que as premissas de uma dada consequncia so Verdadeiras e estas acarrete somente
sentenas cujo valor Indeterminado. E suponha tambm que parte destas sentenas sejam
premissas de um segundo argumento, e estas acarretem uma consequncia Falsa. Como no
pode ser o caso que as premissas sejam Verdadeiras e a consequncia Falsa, a transitividade no
pode ser uma propriedade desta noo de consequncia.
Seguindo a ideia de introduzir novas parties ao conjunto de valores-de-verdade, novas
semnticas multivalentes foram geradas. E com novas semnticas multivalentes, novas relaes
de consequncia que generalizam a noo de relao de consequncia tarskiana so definidas.
As questes que deixaremos em aberto para futuros trabalhos : Como seriam estas novas
noes de relaes de consequncias associada s semnticas multivalentes? O que estas noes
teriam em comum com a noo de relao de consequncia tarskiana? O que fariam estas
noes serem de fato relaes de consequncia lgicas??

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 .

Dummett, M. The Logical Basis of Metaphysics. Harvard University Press, 1991.

Frankowski, S. Formalization of a plausible inference. Bulletion of the Section of Logic, v. 33,


p. 4152, 2004.

Malinowski, G. q-consequence operation. Reports on mathematical Logic, v. 24, n. 1, p. 4959,


1990.

Marcos, J. Ineffable inconsistencies. In: Logics of Formal Inconsistency. Lisboa: Fundao


Biblioteca Nacional, 2005. p. 291300.

Molick, S. Of madness and many-valuedness: an investigation into Suszkos Thesis.


Dissertao (Mestrado), UFRN, 2015.

Peirce, C. S. Collected Papers of Charles Sanders Peirce (1931-1958). [S.l.]: Harvard


University Press, 1974. v. 5.

Rumfitt, I. Knowledge by deduction. Grazer Philosophische Studien, v. 77, p. 6184, 2008.

Shoesmith, D. J. & Smiley, T. J. Multiple-Conclusion Logic. Cambridge, MA: Cambridge


University Press, 1978.

Suszko, R. Abolition of the fregean axiom. In: Logic Colloquium, 1975. p. 169239.

Suszko, R. Remarks on lukasiewiczs three-valued logic. Bulletin of the Section of Logic, v. 4,


n. 3, p. 8790, 1975.

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.

Wittgenstein, L. Tractatus Logico-Philosophicus (Logisch-philosophische Abhandlung).


Ogden/Ramsey and Pears/McGuinness English translations, 2015 (1921). Disponvel em:
<http://people.umass.edu/phil335-klement-2/tlp/tlp.html>.

ISSN 1984-3879. Saberes: Revista Interdisciplinar de Filosofia e Educao, Natal:RN, n. Esp. o II,
Jun. 2016, p. 8694.