Verdade pragmtica

J A I R M I N O R O A B E
N
este artigo, fazemos um apanhado geral de alguns desenvolvi-
mentos tcnicos que tm sido feitos nos ltimos anos sobre a
verdade pragmtica, que tambm chamamos de quase-verdade.
Tais desenvolvimentos se devem, especialmente, a N. C. A. da Costa, R.
Chuaqui, I. Mikenberg e S. French.
H, pelo menos, quatro teorias da verdade que se evidenciam de
relevncia para o filsofo que se ocupa da Teoria da Cincia: 1) a Teoria
da Correspondncia, particularmente na forma que lhe conferiu A.
Tarski; 2) a Teoria da Coerncia; 3) a Teoria Pragmtica; 4) a Teoria
da Eliminao da Verdade (ou definibilidade da verdade). Sobre tais
teorias o leitor pode consultar S. Haack (1980a e b), A. Tarski (1956 e
1944) e A. Grayling (1986).
Segundo a Teoria da Verdade como Correspondncia, este conceito
relaciona proposies, juzos ou sentenas a situaes reais; e uma pro-
posio, um juzo ou uma sentena verdadeiro se, e somente se, reflete
a realidade. Em outras palavras, uma proposio verdadeira se ela
corresponde realidade, se o que ela afirma de fato .
Aristteles, no Livro I 'da M etafsica, define a verdade da seguinte
maneira: "Dizer daquilo que , que , e daquilo que no , que no ,
verdadeiro; dizer daquilo que no , que , e daquilo que , que no ,
falso". Na Idade Mdia, os Escolsticos afirmavam que a verdade a
adequao entre pensamento e realidade.
As definies anteriores so vlidas e no podem servir de base para
um tratamento lgico-matemtico do conceito de verdade como corres-
pondncia. O grande mrito de Tarski foi o de ter desenvolvido uma
formulao matematicamente tratvel da Teoria da Correspondncia.
Com isso, ele revolucionou a Lgica e lanou as bases da Teoria Clssica
de Modelos, uma das partes mais importantes da Lgica atual, no
apenas relevante em si mesma, pelos seu notveis resultados tericos,
como, tambm, pelas suas aplicaes na Matemtica, nas Cincias Em-
pricas e na Tecnologia.
A idia central de Tarski foi a de considerar o conceito de verdade
como consistindo numa relao entre sentenas de uma linguagem e a
estrutura na qual esta linguagem est interpretada. No h sentido falar
de verdade ou de falsidade de uma sentena a no ser que se saiba exa-
tamente a que linguagem essa sentena pertence e de que modo a lin-
guagem est interpretada.
A definio de Tarski pressupe que a linguagem de base possui
uma estrutura bem definida, pois ela deve ser tratada do ponto de vista
matemtico. Por conseguinte, a definio de Tarski se aplica principal-
mente s linguagens artificiais, simblicas, da Lgica e da Matemtica.
No podemos apresentar, aqui, mesmo de modo informal, a Teoria
de Tarski, dado que demasiadamente tcnica. No entanto, como ela
a base da Lgica tradicional, pode ser encontrada em bons livros de
Lgica, como os de Shoenfield (1967) e de Mendelson (1979). Con-
forme a linguagem estudada, a definio correspondente de verdade
possui caractersticas peculiares.
No entanto, lembramos que o conceito de verdade, tal como Tarski
o entende, deve satisfazer o que se chama esquema T, que, em um caso
particular, o seguinte:
T: "A neve branca" verdadeira se, e somente se, a neve branca.
Em outras palavras, o esquema T, que a definio de verdade de
Tarski satisfaz, garante que a relao uma conexo entre linguagem e
realidade (na Teoria Abstrata de Modelos uma relao entre lingua-
gens artificiais e certas estruturas matemticas que se chamam modelos).
A Teoria da Coerncia no considera a verdade como uma relao
entre linguagem ou pensamento e realidade. Ao contrrio, concebe a
verdade como sendo uma propriedade eminentemente lingstica, de
carter sinttico; vrios autores, de uma maneira ou outra, defendem a
Teoria da Coerncia, tais como G. Hegel, B. Bosanquet, F. Bradley e H.
Joachim bem como alguns dos membros do Crculo de Viena, tais como
O. Neurath e H. Hahn.
Segundo os adeptos da Teoria da Coerncia, no se pode comparar
uma sentena realidade, para sabermos se a sentena verdadeira ou
falsa. Com efeito, a realidade nos afeta e atravs de nossa experincia
podemos testar uma sentena; porm, como nossa experincia, tambm,
se reduz a sentenas de determinado tipo, segue-se que, afinal, s se
pode comparar sentenas com certas sentenas. O cientista, enquanto
tal, recebe um conjunto de sentenas que so aceitas como verdadeiras,
que devem ser coerentes (no encerram contradies) e aspirar maxi-
malidade: isto , o pesquisador sempre procura conjuntos coerentes
maximais de sentenas. Sempre que uma parte de nosso sistema de.
crenas no funciona bem, devemos procurar modific-lo, comparan-
do-se sentenas entre si, de modo a se obter um novo sistema que seja
coerente e, se possvel, maximal.
Assim, Neurath diz que somos como um marinheiro que, no meio.
do oceano, tem que reconstruir o prprio barco.
A Teoria da Coerncia extremamente interessante e hoje a Lgica
e a Matemtica possuem meios para trat-la de uma forma conveniente.
Porm, como nosso objetivo o estudo da verdade pragmtica, no
ampliamos mais nossa exposio da verdade como coerncia.
A Teoria da Eliminao da Verdade a teoria cunhada por F. P.
Ramsey, segundo a qual o conceito de verdade no apresenta aspectos
tericos de grande relevncia, pois pode ser eliminado. Por exemplo,
afirmar que "A neve branca" verdadeira, equivale, simplesmente a
afirmar: A neve branca.
A teoria de Ramsey foi muito desenvolvida nos ltimos tempos,
existindo filsofos e lingistas que a tm aplicado nas mais variadas
circunstncias.
Finalmente, a Teoria Pragmtica da Verdade a que tratamos com
algum pormenor neste trabalho, por se ter convertido numa das mais
importantes concepes de verdade, com significativas aplicaes
Lgica, Matemtica e Filosofia da Cincia.
As concepes de Peirce, James e Dewey
A concepo pragmtica da verdade se deve basicamente a C. S.
Peirce, um dos grandes lgicos e filsofos do sculo passado e do
comeo deste, o criador do pragmatismo.
Peirce escreveu: "considere que efeitos prticos concebemos que o
objeto de nossa concepo tem. Ento, nossa concepo desses efeitos
constitui o contedo total de nossa concepo desse objeto" (C. S.
Peirce 1965, p. 31).
A afirmao de Peirce pode ser claramente interpretada como sig-
nificando que a verdade pragmtica de uma proposio depende de seus
efeitos prticos, supondo-se, naturalmente, que esses efeitos sejam acei-
tos como verdadeiros, ou falsos, no sentido comum da palavra verdade.
Como se observa em Mikenberg, da Costa e Chuaqui (1986), esses
efeitos podem ser formulados como certas proposies bsicas e, por-
tanto, uma assero (hiptese ou teoria) pode ser tida como pragmati-
camente verdadeira se suas conseqncias bsicas so verdadeiras, no
sentido da Teoria da Correspondncia. Para eles, esta interpretao do
dictum de Peirce constitui a essncia da Teoria da Verdade de Peirce.
Assim, a verdade pragmtica fundada em suas conseqncias b-
sicas ou efeitos prticos, e no se mostra completamente independente
no sentido de correspondncia com a realidade. Como afirmam da
Costa e Chuaqui: "Ao contrrio, um enunciado em geral, um enun-
ciado terico pragmaticamente verdadeiro somente quando os
enunciados bsicos que ele implica so verdadeiros no sentido da Teoria
da Correspondncia da Verdade. Mas, ainda, uma assero bsica ver-
dadeira, do ponto de vista pragmtico, se, e somente se, ela verdadeira
de acordo com a Teoria da Correspondncia. Assim, a verdade prag-
mtica no inteiramente arbitrria" (Da Costa e Chuaqui, no prelo).
Acrescentam da Costa e Chuaqui: "Em geral, pode-se manter que
em Cincia sempre obtemos verdade pragmtica, embora a verdade
pragmtica assim obtida se aproxime da verdade" (no sentido da Teoria
da Correspondncia). Tal idia pode ser tornada rigorosa por meio da
nossa definio de verdade pragmtica... E esta parece ser, tambm, a
posio de Peirce. Por exemplo, ele afirma: "Diferentes pessoas podem
comear com os mais antagnicos pontos de vista, mas o progresso da
investigao acaba por lev-los, forosamente, para fora de si mesmos,
nica e mesma concluso. Essa atividade do pensamento por meio da
qual somos levados, no aonde desejamos, mas a uma finalidade pr-fi-
xada, semelhante questo do destino. Nenhuma modificao do
ponto de vista inicial, nenhuma mudana natural de postura, pode fazer
com que um homem escape da crena predestinada. Esta grande espe-
rana englobada na concepo da verdade e da realidade" (Peirce
1965).
Os autores em questo desenvolvem as idias anteriores da mesma
forma que Tarski formalizou a Teoria Clssica da Correspondncia.
Antes, porm, de mostrarmos como se efetua isto, diremos alguma coisa
sobre as concepes de James e de Dewey (consultar S. Haack 1974 e
1980).
James reformula a definio de Peirce, levando em conta, especial-
mente, questes no-cientficas. Em particular, procura estabelecer uma
Teoria da Verdade Pragmtica que justifique as crenas religiosas. Fa-
lando-se sem rigor, a crena em Deus, por exemplo, seria pragmatica-
mente verdadeira se suas conseqncias, na vida de todos os dias, fossem
interessantes, agradveis e convenientes para a pessoa que cr.
Muitas vezes se sustenta que a teoria de James muito menos ri-
gorosa que a de Peirce e que carece de valor cientfico. Nossa opinio
diferente: embora a teoria de W. James divirja da de Peirce, e muitas de
suas teses no tenham sido aceitas por Peirce, seria deveras interessante
formalizarmos os aspectos mais salientes da posio de James no tocante
verdade.
Dewey sustentou uma Teoria da Verdade baseada na noo de as-
sertabilidade garantida (warranted assertibility). Do ponto de vista
atual, utilizando-se no apenas recursos lgicos e matemticos usuais,
como, tambm, mtodos da Teoria dos Sistemas e do Clculo de Pro-
babilidade, talvez a teoria de Dewey pudesse ser matematizada.
Formalizao da Teoria Pragmtica da Verdade
Mikenberg, da Costa e Chuaqui nos apresentam, como j dissemos
acima, uma matematizao de uma concepo pragmtica de verdade
que eles denominaram de quase-verdade (cf. Mikenberg, da Costa e
Chuaqui 1986). Embora no encarem sua definio como uma exegese
da posio peirciana, o fato que a definio dada por eles capta, sem
dvida alguma, aspectos relevantes e significativos da doutrina da ver-
dade do pensador norte-americano.
Nossa finalidade agora a de descrever, de modo sucinto e sem o
simbolismo e as tcnicas necessrias para sua formulao precisa, a de-
finio de da Costa e Chuaqui. Porm, antes disso, seria interessante
fazer um resumo geral do trabalho desses autores, que foi muito bem
sumariado por J. Corcoran.
"Filosofias Pragmticas enfatizam a prioridade da experincia e da
ao sobre o ser e o pensamento. Oponentes do pragmatismo so al-
gumas vezes chamados de 'intelectualistas'. Caracterstica das Filosofias
Pragmticas o fato delas manterem pontos de vista claros sobre trs
questes: (1) significado, (2) verdade e (3) conhecimento. Devido a
extensas variaes entre tais filosofias, simplista considerar qualquer
combinao destes pontos de vista como tpica (veja A. O. Lovejoy, J.
Philos. 5 (1908), n l, 5-12; ibid. 5 (1908), n 2, 29-39). Todavia, a
seguinte combinao pode ser tida como um exemplo. (1) O significado
de uma proposio identificado com seu significado experimental e
prtico, i.e., com a totalidade das experincias possveis que ela prediz.
(2) A verdade de uma proposio consiste na realizao no decurso do
tempo (passado, presente e futuro) de seu sentido. (3) A crena na
verdade de uma proposio garantida pelo grau com que ela tem sido
testada na prtica e se mostrado satisfatria (pela pessoa ou comunidade
que possui a crena)."
A Teoria Pragmtica da Natureza da Verdade (ponto de vista (2))
est intimamente relacionada com a Teoria Pragmtica do Critrio de
Verdade (ponto de vista (3)), ainda que sempre importante distinguir
entre a Teoria da (a natureza da) Verdade e uma Teoria do Critrio de
Verdade. Esta distino familiar a matemticos atravs dos trabalhos
de Tarski, que enfatizou a correspondncia como a natureza da verdade
matemtica e da provabilidade como o critrio da verdade matemtica.
A demonstrao de Tarski do teorema de Gdel explora esta distino,
notando que indefinibilidade aritmtica da verdade aritmtica (teorema
da provabilidade aritmtica), para implicar que verdade aritmtica no
coextensiva com a provabilidade aritmtica (A. Tarski, Logic, semantics,
metamathematics, traduo inglesa, veja pp. 197-8, 246-54, Clarendon
Press, Oxford, 1956; MR 17, 1171; segunda edio, Hackett, In-
dianapolis, Ind., 1983; MR 85e: 01065; Sci. Amer. 220, 1969, 63-77,
especialmente pp. 69-77).
O artigo (Mikenberg, I., N. C. A. da Costa & R. Chuaqui, Pragma-
tic truth and approximation to truth, "The Journal of Symbolic Logic"
51,1986, pp. 201-221) prope modificar a noo tarskiana, model-theo-
retic, de "uma sentena s verdadeira em uma interpretao i"de modo
que a noo resultante, matematicamente precisa, fiel a uma das no-
es pragmticas da verdade. De acordo com o artigo, o contexto com-
pleto para o uso apropriado das frases "pragmticamente verdadeiro" e
"pragmticamente falso" vai alm do contexto acima do uso apropriado,
clssico, de "verdadeiro" e "falso" sob dois aspectos: (a) a interpretao
i parcial (no necessariamente total) e (b) existe relativizao a um
conjunto P de sentenas "estabelecidas". Em conseqncia, a noo a ser
definida expressa por "uma sentena s pragmaticamente verdadeira
em uma interpretao parcial i relativa a um conjunto P de sentenas".
A condio necessria e suficiente proposta como definitiva " s e as
sentenas em P so simultaneamente satisfeitas por uma extenso total
de i" . Grosso modo, de acordo com o artigo (p. 204), se uma sentena
pragmticamente verdadeira, "ela salva as aparncias".
Os autores constroem um sistema formal de deduo la Gentzen
para acompanhar as semnticas acima. Eles obtm um teorema de
completude e alguns outros resultados matemticos, incluindo uma
demonstrao de um teorema sobre extenses de grupos semi-ordena-
dos, que originalmente foi enunciado, sem demonstrao, por Tarski em
1948. H, tambm, aplicaes ao problema em Filosofia da Cincia de
explicar a idia de uma teoria anterior ser uma "aproximao" de uma
posterior, mais adequada.
O artigo no reivindica qualquer tentativa de erudio suficiente
para mostrar que sua definio fiel a uma idia endossada por um
filsofo pragmtico. Seu objetivo definido mostrar que idias mate-
maticamente rigorosas, refletindo o pensamento pragmtico, possuem
conseqncias matematicamente interessantes e construir uma extenso
pragmtica da Teoria Clssica de Modelos (J. Corcoran, MR 88c:
03006)".
Mikenberg, da Costa e Chuaqui, seguindo Tarski, sublinham que a
definio de verdade pragmtica ou de quase-verdade, como eles a con-
ceberam, s pode ser feita com relao a uma determinada linguagem,
interpretada em uma estrutura conveniente. Uma das grandes novidades
dessa concepo reside no fato de que as estruturas nas quais a lingua-
gem interpretada no so estruturas totais, como no caso da teoria de
Tarski, mas sim estruturas parciais.
Na Teoria Clssica de Verdade de Tarski, as linguagens so inter-
pretadas em estruturas que, grosso modo, se compem de um conjunto
A, denominado universo da estrutura e de certo conjunto R de relaes,
envolvendo objetos de A. Essas relaes so sempre definidas para todos
os objetos de A: por exemplo, se tivermos uma relao binaria, em R,
ento, dados dois objetos x e y quaisquer de A, eles esto ou no ligados
por essa relao. Na teoria de da Costa e Chuaqui isso no ocorre, pelas
razes que passamos a expor: os objetos x e y de A podem estar ligados
por uma relao de R, podem no estar ligados pela relao ou, final-
mente, podem no estar definidos se eles no possuem a relao entre
si.
A partir de estruturas parciais, como acabamos de descrever, e de
conjuntos de sentenas bsicas que expressam proposies de nossa ex-
perincia, verdadeiras ou falsas, de acordo com a Teoria da Correspon-
dncia, e de sentenas mais complexas, expressando proposies aceitas
previamente, define-se o conceito de verdade pragmtica de uma sen-
tena por um processo parecido com o tarskiano e que se apoia no mes-
mo. O resultado, ento, o seguinte: uma sentena s quase-verdadeira
ou pragmaticamente verdadeira numa determinada regio do conheci-
mento (ou numa estrutura) se tudo se passa nessa regio (ou estrutura),
como se s fosse verdadeira de acordo com a Teoria da Correspondncia.
Equivalentemente, uma sentena quase-verdadeira num domnio se, e
somente se, salvar as aparncias desse domnio, ou seja, funciona.
A definio de quase-verdade generaliza a definio de Tarski e seus
autores constroem uma teoria generalizada de modelos que encontrou
vrias aplicaes em Lgica e em Matemtica (cf. da Costa e Chuaqui
(no prelo) e Mikenberg, da Costa e Chuaqui 1986).
O leitor facilmente percebe que a definio de quase-verdade satis-
faz os principais requisitos a que uma definio de verdade pragmtica
parece condicionada. Especialmente notvel o fato de que a verdade
pragmtica um processo de se salvar as aparncias, quando no se
conhece a verdade segundo a Teoria da Correspondncia. Todavia,
outras interpretaes da Teoria da Quase-Verdade so possveis, em-
bora no tenhamos tempo para abord-las aqui.
Algumas aplicaes da quase-verdade
A quase-verdade, sobretudo em decorrncia dos trabalhos de
Mikenberg, da Costa e Chuaqui e French, encontrou variadas aplicaes
na Teoria da Cincia.
Chuaqui, da Costa e Mikenberg mostraram como a quase-verdade
pode ser usada para se definir o conceito de aproximao verdade de
teorias cientficas, verdade sendo usada aqui no sentido da Teoria da
Correspondncia. As noes formuladas tm um significado matem-
tico intrnseco e podem ser aplicados, por exemplo, em lgebra
(Mikenberg, da Costa e Chuaqui 1986), etc.
Outras aplicaes, devidas a S. French e N. C. A. da Costa, so as
seguintes: a edificao de uma nova Lgica Indutiva (consultar da Costa
em E rkenntnis e da Costa e French (no prelo)) estruturao de uma
nova Teoria Subjetiva de Probabilidade do realismo e do empiricismo
(cf. French (no prelo)), etc.
Constata-se, portanto, que o conceito de quase-verdade no se
mostra apenas importante por formalizar e precisar uma Teoria da Ver-
dade como a pragmtica, mas encontra numerosas aplicaes nos mais
variados domnios. Isto sinal, segundo pensamos, de que a Teoria da
Quase-Verdade se converter numa das mais importantes teorias da
Lgica atual (o surpreendente que a quase-verdade acha-se correlacio-
nada com a Lgica Paraconsistente (ver, por exemplo, da Costa 1989 e
da Costa e Chuaqui (no prelo)).
Bibliografia
Esta bibliografia contm no apenas os artigos citados no texto,
como tambm todos os artigos publicados ou em vias de publicao
sobre o tema que conseguimos arrolar.
DA COSTA, N. C. A. 1989. Logic and pragmatic truth. In: . Logic,
M ethodology and Philosophy of Science VIII. Edited by J. E. Fenstand et al., Elsevier
Science Publishers B. V.
. Pragmatic probability. In: . E rkenntnis.
25, pp. 141-142.
DA COSTA, N. C. A. & R. CHUAQUI. The logic of pragmatic truth, a aparecer.
DA COSTA, N. C. A. & S. FRENCH, Pragmatic truth and the logic of induction, a aparecer.
. The model-theoretic approach in philosophy of science, a aparecer
em Philosophy of Science.
FRENCH, S. A note on constructive empiricism and pragmatic truth, a aparecer.
GRAYLING, A. C. 1986. A n I ntroduction to Philosophical Logic. The Harverster Press.
HAACK, S. Deviant Logic. Cambridge University Press, Cambridge, 1974.
. Philosophy of Logics. Cambridge University Press, Cambridge, 1980.
MENDELSON, E. 1979. I ntroduction to M athematical Logic. D. Van Nostrand Company,
New York
MIKENBERG, I., N. C. A. DA COSTA & R. CHUAQUI. 1986. Pragmatic truth and
approximation to truth. The J ournal of Symbolic Logic. 51, pp. 201-221.
PEIRCE, C. S. 1965. Philosophycal Writings of Peirce. Selected and edited by J. Buchler,
Dover.
SHOENFIELD, J. P. 1967. M athematical Logic. Addison-Wesley Publishing Company.
TARSKI, A. 1956. Der Wahrheitsbegriff in den formalisierten Sprachen, Studia Philoso-
phica, 1, 1935, pp. 261-405. Traduzido para o ingls em Logic, Semantics,
M etamaihematics. Oxford University Press.
. 1944. The semantic conception of truth. Philosophy and Phenome-
nological R esearch. 4, pp. 341-376.
Resumo
Como se sabe existem, pelo menos, quatro teorias de verdade que se evidenciam de
relevncia para o filsofo que se ocupa da Teoria da Cincia: l) a Teoria da
Correspondncia, particularmente, na forma que lhe confiriu A. Tarski; 2) a Teoria da
Coerncia; 3) a Teoria Pragmtica; e 4) a Teoria da Eliminao da Verdade (ou
definibilidade da verdade).
Neste artigo, de carter expositivo, se apresenta um apanhado geral de alguns
desenvolvimentos tcnicos que tm sido feitos nos adimos anos sobre a verdade
pragmtica, que tambm chamada de quase verdade.
Abstract
There are at least four theories of truth that are relevant for philosophers of science theory:
1) Theory of Correspondence, particulary, in the way it was proposed by A. Tarski; 2)
Theory of Coherence; 3) Pragmatic Theory; and 4) Theory of the Truth Elimination (or
defmibility of truth).
In this expositor article, it is presented a general aspect of some technical developments that
have been done recently about the Pragmatic Truth, which is also called " Quasi-Truth".
Jair M inoro A be bacharel e mestre em Matemtica Pura pelo Instituto de
Matemtica e Estatstica da USP e doutorando em Lgica pela Faculdade de
Filosofia, Letras e Cincias Humanas da USP. Foi professor-visitante da Uni-
versidade de Shizuoka, no Japo, e atualmente professor do IGCE-Unesp. ,
tambm, membro e coordenador do Grupo de Lgica e Teoria da Cincia do
IEA/USP.