Verdade pragmtica

JAIR MINORO ABE

este artigo, fazemos um apanhado geral de alguns desenvolvimentos 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 proposio, 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 Metafsica, 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 correspondncia. 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 Empricas 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 exatamente a que linguagem essa sentena pertence e de que modo a linguagem 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 principalmente 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). Conforme 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 linguagens 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 maximalidade: 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, comparando-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 significando que a verdade pragmtica de uma proposio depende de seus efeitos prticos, supondo-se, naturalmente, que esses efeitos sejam aceitos 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 pragmaticamente 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 bsicas 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 enunciado 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 verdadeira, do ponto de vista pragmtico, se, e somente se, ela verdadeira de acordo com a Teoria da Correspondncia. Assim, a verdade pragmtica 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-fixada, 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 esperana 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, especialmente, questes no-cientficas. Em particular, procura estabelecer uma Teoria da Verdade Pragmtica que justifique as crenas religiosas. Falando-se sem rigor, a crena em Deus, por exemplo, seria pragmaticamente 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 rigorosa 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 assertabilidade 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 Probabilidade, 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 verdade 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 definio 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 algumas 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, Indianapolis, 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, Pragmatic truth and approximation to truth, "The Journal of Symbolic Logic" 51,1986, pp. 201-221) prope modificar a noo tarskiana, model-theoretic, de "uma sentena s verdadeira em uma interpretao i"de modo que a noo resultante, matematicamente precisa, fiel a uma das noes pragmticas da verdade. De acordo com o artigo, o contexto completo 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-ordenados, 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 matematicamente 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 conceberam, 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 linguagem 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 interpretadas 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, finalmente, 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 experincia, verdadeiras ou falsas, de acordo com a Teoria da Correspondncia, e de sentenas mais complexas, expressando proposies aceitas previamente, define-se o conceito de verdade pragmtica de uma sentena por um processo parecido com o tarskiano e que se apoia no mesmo. O resultado, ento, o seguinte: uma sentena s quase-verdadeira

ou pragmaticamente verdadeira numa determinada regio do conhecimento (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 satisfaz 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, embora 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 matemtico 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 Erkenntnis 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 Verdade 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, Methodology and Philosophy of Science VIII. Edited by J. E. Fenstand et al., Elsevier Science Publishers B. V. . Pragmatic probability. In: . Erkenntnis. 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. An Introduction 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. Introduction to Mathematical Logic. D. Van Nostrand Company, New York MIKENBERG, I., N. C. A. DA COSTA & R. CHUAQUI. 1986. Pragmatic truth and approximation to truth. The Journal 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. Mathematical Logic. Addison-Wesley Publishing Company. TARSKI, A. 1956. Der Wahrheitsbegriff in den formalisierten Sprachen, Studia Philosophica, 1, 1935, pp. 261-405. Traduzido para o ingls em Logic, Semantics, Metamaihematics. Oxford University Press. . 1944. The semantic conception of truth. Philosophy and Phenomenological Research. 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 Minoro Abe 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 Universidade 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.