SlideShare uma empresa Scribd logo
1 de 11
Baixar para ler offline
Verdade pragmática
JAIR MINORO ABE
N
este artigo, fazemos um apanhado geral de algunsdesenvolvi-
mentos técnicos que têm sido feitos nos últimos anos sobre a
verdade pragmática, que também chamamosde 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
relevância parao filósofo que seocupa da Teoria da Ciência: 1ª) a Teoria
da Correspondência, particularmente na forma que lhe conferiu A.
Tarski; 2ª) a Teoria da Coerência; 3ª) a Teoria Pragmática; 4ª) a Teoria
da Eliminação 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 aTeoria da Verdade como Correspondência, este conceito
relaciona proposições, juízos ou sentenças a situações reais; e uma pro-
posição, um juízo ou uma sentença é verdadeiro se, e somente se, reflete
a realidade. Em outras palavras, uma proposição é verdadeira se ela
corresponde à realidade, se o que ela afirma de fato é.
Aristóteles, no Livro I'da Metafísica, define a verdade da seguinte
maneira: "Dizer daquilo que é, que é, e daquilo que não é, que não é, é
verdadeiro; dizer daquilo que não é, que é, e daquilo que é, que não é,
é falso". Na Idade Média, os Escolásticos afirmavam que a verdade é a
adequação entre pensamento e realidade.
As definições anteriores são válidase não podem servir de basepara
um tratamento lógico-matemático do conceito de verdade como corres-
pondência. O grande mérito de Tarski foi o de ter desenvolvido uma
formulação matematicamente tratável da Teoria da Correspondência.
Com isso, elerevolucionou a Lógica e lançou as bases da Teoria Clássica
de Modelos, uma das partes mais importantes da Lógica atual, não
apenas relevante em si mesma, pelos seu notáveis resultados teóricos,
como, também, pelas suas aplicações na Matemática, nas Ciências Em-
píricas e na Tecnologia.
A idéia central de Tarski foi a de considerar o conceito de verdade
como consistindo numa relação entre sentenças de uma linguagem e a
estrutura na qual esta linguagem está interpretada. Não há sentido falar
de verdade ou de falsidade de uma sentença a não ser que se saiba exa-
tamente a que linguagem essa sentença pertence e de que modo a lin-
guagem está interpretada.
A definição de Tarski pressupõe que a linguagem de base possui
uma estrutura bem definida, pois ela deve ser tratada do ponto de vista
matemático. Por conseguinte, a definição de Tarski se aplica principal-
mente às linguagens artificiais, simbólicas, da Lógica e da Matemática.
Não podemos apresentar, aqui, mesmo de modo informal, a Teoria
de Tarski, dado que é demasiadamente técnica. No entanto, como ela é
a base da Lógica tradicional, pode ser encontrada em bons livros de
Lógica, como os de Shoenfield (1967) e de Mendelson (1979). Con-
forme a linguagem estudada, a definição correspondente de verdade
possui características 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 definição de verdade de
Tarski satisfaz, garante que a relação é uma conexão entre linguagem e
realidade (na Teoria Abstrata de Modelos é uma relação entre lingua-
gens artificiais e certas estruturasmatemáticasque se chamam modelos).
A Teoria da Coerência não considera a verdade como uma relação
entre linguagem ou pensamento e realidade. Ao contrário, concebe a
verdade como sendo uma propriedade eminentemente lingüística, de
caráter sintático; vários autores, de uma maneira ou outra, defendema
Teoria da Coerência, tais como G. Hegel, B. Bosanquet, F. Bradleye H.
Joachim bem como alguns dos membros do Círculo de Viena, tais como
O. Neurath e H. Hahn.
Segundo os adeptos da Teoria da Coerência, não se pode comparar
uma sentença à realidade, para sabermos se a sentença é verdadeira ou
falsa. Com efeito, a realidade nos afeta e através de nossa experiência
podemos testar uma sentença; porém, como nossa experiência,também,
se reduz a sentenças de determinado tipo, segue-se que, afinal, só se
pode comparar sentenças com certas sentenças. O cientista, enquanto
tal, recebe um conjunto de sentenças que são aceitas como verdadeiras,
que devem ser coerentes (não encerram contradições) e aspirar à maxi-
malidade: isto é, o pesquisador sempre procura conjuntos coerentes
maximais de sentenças. Sempre que uma parte de nosso sistema de.
crenças não funciona bem, devemos procurar modificá-lo, comparan-
do-se sentenças entre si, de modo a se obter um novo sistema que seja
coerente e, se possível,maximal.
Assim, Neurath diz que somos como um marinheiroque, no meio.
do oceano, tem que reconstruir o próprio barco.
A Teoria da Coerência é extremamente interessante e hoje a Lógica
e a Matemática possuem meios para tratá-la de uma forma conveniente.
Porém, como nosso objetivo é o estudo da verdade pragmática, não
ampliamos mais nossa exposição da verdade como coerência.
A Teoria da Eliminação da Verdade é a teoria cunhada por F. P.
Ramsey, segundo a qual o conceito de verdade não apresenta aspectos
teóricos de grande relevância, 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 filósofos e lingüistas que a têm aplicado nas mais variadas
circunstâncias.
Finalmente, a Teoria Pragmática da Verdade é a que tratamos com
algum pormenor neste trabalho, por se ter convertido numa das mais
importantes concepções de verdade, com significativas aplicações à
Lógica, à Matemática e à Filosofia da Ciência.
As concepções de Peirce, James e Dewey
A concepção pragmática da verdade se deve basicamente a C. S.
Peirce, um dos grandes lógicos e filósofos do século passado e do
começo deste, o criador do pragmatismo.
Peirce escreveu: "considere que efeitos práticos concebemos que o
objeto de nossa concepção tem. Então, nossa concepção desses efeitos
constitui o conteúdo total de nossa concepção desse objeto" (C. S.
Peirce 1965, p. 31).
A afirmação de Peirce pode ser claramente interpretada como sig-
nificando que a verdade pragmática de uma proposição depende de seus
efeitos práticos, 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 proposições básicas e, por-
tanto, uma asserção (hipótese ou teoria) pode ser tida como pragmati-
camente verdadeira se suas conseqüências básicas são verdadeiras, no
sentido da Teoria da Correspondência. Para eles, esta interpretação do
dictum de Peirce constitui a essência da Teoria da Verdade de Peirce.
Assim, a verdade pragmática é fundada em suas conseqüências bá-
sicas ou efeitos práticos, e não se mostra completamente independente
no sentido de correspondência com a realidade. Como afirmam da
Costa e Chuaqui: "Ao contrário, um enunciado —em geral, um enun-
ciado teórico — é pragmaticamente verdadeiro somente quando os
enunciados básicos que ele implica são verdadeiros no sentido da Teoria
da Correspondência da Verdade. Mas, ainda, uma asserção básica é ver-
dadeira, do ponto de vista pragmático, se, e somente se, ela é verdadeira
de acordo com a Teoria da Correspondência. Assim, a verdade prag-
mática não é inteiramente arbitrária" (Da Costa e Chuaqui, no prelo).
Acrescentam da Costa e Chuaqui: "Em geral, pode-se manter que
em Ciência sempre obtemos verdade pragmática, embora a verdade
pragmática assim obtida se aproxime da verdade" (no sentido da Teoria
da Correspondência). Tal idéia pode ser tornada rigorosa por meio da
nossa definição de verdade pragmática... E esta parece ser, também, a
posição de Peirce. Por exemplo, ele afirma: "Diferentes pessoas podem
começar com os mais antagônicos pontos de vista, mas o progresso da
investigação acaba por levá-los, forçosamente, para fora de si mesmos,
à única e mesma conclusão. Essa atividade do pensamento por meio da
qual somos levados, não aonde desejamos, mas a uma finalidade pré-fi-
xada, é semelhante à questão do destino. Nenhuma modificação do
ponto de vista inicial, nenhuma mudança natural de postura, pode fazer
com que um homem escape da crença predestinada. Esta grande espe-
rança é englobada na concepção da verdade e da realidade" (Peirce
1965).
Os autores em questão desenvolvem as idéias anteriores da mesma
forma que Tarski formalizou a Teoria Clássica da Correspondência.
Antes, porém, de mostrarmos como se efetua isto, diremos algumacoisa
sobre as concepções de James e de Dewey (consultar S. Haack 1974 e
1980).
James reformula a definição de Peirce, levando em conta, especial-
mente, questões não-científicas. Em particular, procura estabelecer uma
Teoria da Verdade Pragmática que justifique as crenças religiosas. Fa-
lando-se sem rigor, a crença em Deus, por exemplo, seria pragmatica-
mente verdadeira se suas conseqüências, na vida de todos os dias, fossem
interessantes, agradáveis 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 científico. Nossa opinião é
diferente: embora a teoria de W. James divirja da de Peirce, e muitas de
suas teses não tenham sido aceitas por Peirce, seria deveras interessante
formalizarmos os aspectos mais salientes da posição de James no tocante
à verdade.
Dewey sustentou uma Teoria da Verdade baseada na noção de as-
sertabilidade garantida (warranted assertibility). Do ponto de vista
atual, utilizando-senão apenas recursos lógicos e matemáticos usuais,
como, também, métodos da Teoria dos Sistemas e do Cálculo de Pro-
babilidade, talvez a teoria de Dewey pudesse ser matematizada.
Formalização da Teoria Pragmática da Verdade
Mikenberg, da Costa e Chuaqui nos apresentam, como já dissemos
acima, uma matematização de uma concepção pragmática de verdade
que eles denominaram de quase-verdade (cf. Mikenberg, da Costa e
Chuaqui 1986). Embora não encarem sua definição como uma exegese
da posição peirciana, o fato é que a definição dada por eles capta, sem
dúvida 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 técnicas necessárias para sua formulação precisa, a de-
finição de da Costa e Chuaqui. Porém, antes disso, seria interessante
fazer um resumo geral do trabalho desses autores, que foi muito bem
sumariado por J. Corcoran.
"Filosofias Pragmáticas enfatizam a prioridade da experiência e da
ação sobre o ser e o pensamento. Oponentes do pragmatismo são al-
gumas vezes chamados de 'intelectualistas'. Característica das Filosofias
Pragmáticas é o fato delas manterem pontos de vista claros sobre três
questões: (1) significado, (2) verdade e (3) conhecimento. Devido a
extensas variações entre tais filosofias, é simplista considerar qualquer
combinação destes pontos de vista como típica (veja A. O. Lovejoy, J.
Philos. 5 (1908), nº l, 5-12; ibid. 5 (1908), nº 2, 29-39). Todavia, a
seguinte combinação pode ser tida como um exemplo. (1) O significado
de uma proposição é identificado com seu significado experimental e
prático, i.e., com a totalidade das experiências possíveis que ela prediz.
(2) A verdade de uma proposição consiste na realização no decurso do
tempo (passado, presente e futuro) de seu sentido. (3) A crença na
verdade de uma proposição é garantida pelo grau com que ela tem sido
testada na prática e semostrado satisfatória (pela pessoa ou comunidade
que possui a crença)."
A Teoria Pragmática da Natureza da Verdade (ponto de vista (2))
está intimamente relacionada com a Teoria Pragmática do Critério de
Verdade (ponto de vista (3)), ainda que sempre é importante distinguir
entre a Teoria da (a natureza da) Verdade e uma Teoria do Critério de
Verdade. Esta distinção é familiar a matemáticos através dos trabalhos
de Tarski, que enfatizou a correspondência como a natureza da verdade
matemática e da provabilidade como o critério da verdade matemática.
A demonstração de Tarski do teorema de Gödel explora esta distinção,
notando que indefinibilidade aritmética da verdade aritmética (teorema
da provabilidade aritmética), para implicar que verdade aritmética não é
coextensiva com a provabilidade aritmética (A. Tarski, Logic, semantics,
metamathematics, tradução inglesa, veja pp. 197-8, 246-54, Clarendon
Press, Oxford, 1956; MR 17, 1171; segunda edição, 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) propõe modificara noção tarskiana, model-theo-
retic, de "uma sentença s é verdadeira em uma interpretação i"de modo
que a noção resultante, matematicamente precisa, é fiel a uma das no-
ções pragmáticas da verdade. De acordo com o artigo, o contexto com-
pleto para o uso apropriado das frases "pragmáticamente verdadeiro" e
"pragmáticamente falso" vai além do contexto acima do uso apropriado,
clássico, de "verdadeiro" e "falso" sob dois aspectos: (a) a interpretação
i é parcial (não necessariamente total) e (b) existe relativização a um
conjunto P de sentenças "estabelecidas". Em conseqüência, a noção a ser
definida é expressa por "uma sentença s é pragmaticamente verdadeira
em uma interpretação parcial i relativa a um conjunto P de sentenças".
A condição necessária e suficiente proposta como definitiva é "s e as
sentenças em P são simultaneamente satisfeitas por uma extensão total
de i" .Grosso modo, de acordo como artigo (p. 204), se uma sentença
é pragmáticamente verdadeira, "ela salva as aparências".
Os autores constroem um sistema formal de dedução à la Gentzen
para acompanhar as semânticas acima. Eles obtêm um teorema de
completude e alguns outros resultados matemáticos, incluindo uma
demonstração de um teorema sobre extensões de grupos semi-ordena-
dos, que originalmente foi enunciado, sem demonstração, por Tarski em
1948. Há, também, aplicações ao problema em Filosofia da Ciência de
explicar a idéia de uma teoria anterior ser uma "aproximação" de uma
posterior, maisadequada.
O artigo não reivindica qualquer tentativa de erudição suficiente
para mostrar que sua definição é fiel a uma idéia endossada por um
filósofo pragmático. Seu objetivo definido é mostrar que idéias mate-
maticamente rigorosas, refletindo o pensamento pragmático, possuem
conseqüências matematicamente interessantes e construir uma extensão
pragmática da Teoria Clássica de Modelos (J. Corcoran, MR 88c:
03006)".
Mikenberg, da Costa e Chuaqui, seguindo Tarski, sublinham que a
definição de verdade pragmática ou de quase-verdade, como eles a con-
ceberam, só pode ser feita com relação a uma determinada linguagem,
interpretada em uma estrutura conveniente. Uma das grandes novidades
dessa concepção reside no fato de que as estruturas nas quais a lingua-
gem é interpretada não são estruturas totais, como no caso da teoria de
Tarski, mas sim estruturas parciais.
Na Teoria Clássica de Verdade de Tarski, as linguagens são inter-
pretadas em estruturas que, grosso modo, se compõem de um conjunto
A, denominado universo da estrutura e de certo conjunto R de relações,
envolvendo objetos de A. Essasrelações são sempre definidas para todos
os objetos de A: por exemplo, se tivermos uma relação binaria, em R,
então, dados dois objetos x e y quaisquer de A, eles estão ou não ligados
por essa relação. Na teoria de da Costa e Chuaqui isso não ocorre, pelas
razões que passamos a expor: os objetos x e y de A podem estar ligados
por uma relação de R, podem não estar ligados pela relação ou, final-
mente, podem não estar definidos se eles não possuem a relação entre
si.
A partir de estruturas parciais, como acabamos de descrever, e de
conjuntos de sentenças básicas que expressam proposições de nossa ex-
periência, verdadeiras ou falsas, de acordo com a Teoria da Correspon-
dência, e de sentenças mais complexas, expressando proposições aceitas
previamente, define-se o conceito de verdade pragmática de uma sen-
tença por um processo parecido com o tarskiano e que se apoia no mes-
mo. O resultado, então, é o seguinte: uma sentença s é quase-verdadeira
ou pragmaticamente verdadeira numa determinada região do conheci-
mento (ou numa estrutura) se tudo se passa nessa região (ou estrutura),
como se s fosse verdadeira de acordo com a Teoria da Correspondência.
Equivalentemente, uma sentença é quase-verdadeira num domínio se, e
somente se, salvar as aparências desse domínio, ou seja, funciona.
A definição de quase-verdade generaliza a definição de Tarski e seus
autores constroem uma teoria generalizada de modelos que encontrou
várias aplicações em Lógica e em Matemática (cf. da Costa e Chuaqui
(no prelo) e Mikenberg, da Costa e Chuaqui 1986).
O leitor facilmente percebe que a definição de quase-verdade satis-
faz os principais requisitos a que uma definição de verdade pragmática
parece condicionada. Especialmente notável é o fato de que a verdade
pragmática é um processo de se salvar as aparências, quando não se
conhece a verdade segundo a Teoria da Correspondência. Todavia,
outras interpretações da Teoria da Quase-Verdade são possíveis, em-
bora não tenhamos tempo para abordá-las aqui.
Algumas aplicações da quase-verdade
A quase-verdade, sobretudo em decorrência dos trabalhos de
Mikenberg, da Costa e Chuaqui e French, encontrou variadas aplicações
na Teoria da Ciência.
Chuaqui, da Costa e Mikenberg mostraram como a quase-verdade
pode ser usada para se definir o conceito de aproximação à verdade de
teorias científicas, verdade sendo usada aqui no sentido da Teoria da
Correspondência. As noções formuladas têm um significado matemá-
tico intrínseco e podem ser aplicados, por exemplo, em Álgebra
(Mikenberg, da Costa e Chuaqui 1986), etc.
Outras aplicações, devidas a S. French e N. C. A. da Costa, são as
seguintes: a edificaçãode uma nova Lógica Indutiva (consultar da Costa
em Erkenntnis e da Costa e French (no prelo)) à estruturação 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 não se
mostra apenas importante por formalizar e precisar uma Teoria da Ver-
dade como a pragmática, mas encontra numerosas aplicações nos mais
variados domínios. Isto é sinal, segundo pensamos, de que a Teoria da
Quase-Verdade se converterá numa das mais importantes teorias da
Lógica atual (o surpreendente é que a quase-verdade acha-secorrelacio-
nada com a Lógica Paraconsistente (ver, por exemplo, da Costa 1989e
da Costa e Chuaqui (no prelo)).
Bibliografia
Esta bibliografia contém não apenas os artigos citados no texto,
como também todos os artigos publicados ou em vias de publicação
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. Thelogic ofpragmatic truth, a aparecer.
DA COSTA, N. C. A. &S. FRENCH, Pragmatic truthandthelogic of induction, a aparecer.
.The model-theoretic approach inphilosophy ofscience, a aparecer
em Philosophy of Science.
FRENCH, S. A note on constructive empiricism and pragmatic truth, a aparecer.
GRAYLING, A. C. 1986. An Introduction toPhilosophical Logic. The Harverster Press.
HAACK, S. DeviantLogic. Cambridge UniversityPress, Cambridge, 1974.
. Philosophy ofLogics. CambridgeUniversityPress, Cambridge, 1980.
MENDELSON, E. 1979. Introduction toMathematical Logic. D. Van Nostrand Company,
New York
MIKENBERG, I., N. C. A. DA COSTA & R. CHUAQUI. 1986. Pragmatic truth and
approximation to truth. TheJournal 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 Philoso-
phica, 1, 1935, pp. 261-405. Traduzido para o inglês em Logic, Semantics,
Metamaihematics. Oxford University Press.
. 1944.The semanticconception of truth. Philosophy and Phenome-
nological Research. 4, pp. 341-376.
Resumo
Como se sabe existem, pelo menos, quatro teorias de verdade que se evidenciam de
relevância para o filósofo que se ocupa da Teoria da Ciência: l) a Teoria da
Correspondência, particularmente, na forma que lhe confiriu A. Tarski; 2) a Teoria da
Coerência; 3) a Teoria Pragmática; e 4) a Teoria da Eliminação da Verdade (ou
definibilidade da verdade).
Neste artigo, de caráter expositivo, se apresenta um apanhado geral de alguns
desenvolvimentos técnicos que têm sido feitos nos adimos anos sobre a verdade
pragmática, que também é chamadade 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 thisexpositor article, it ispresented ageneral aspect ofsome technicaldevelopments that
have been done recentlyabout the PragmaticTruth, which isalso called "Quasi-Truth".
Jair Minoro Abe é bacharel e mestre em Matemática Pura pelo Instituto de
Matemática e Estatística da USP e doutorando em Lógica pela Faculdade de
Filosofia, Letras e Ciências Humanas da USP. Foi professor-visitante da Uni-
versidade de Shizuoka, no Japão, e atualmente é professor do IGCE-Unesp. É,
também, membro e coordenador do Grupo de Lógica e Teoria da Ciência do
IEA/USP.

Mais conteúdo relacionado

Mais procurados (18)

Raciocínio lógico
Raciocínio lógicoRaciocínio lógico
Raciocínio lógico
 
Rac logico
Rac logicoRac logico
Rac logico
 
A naturalogia e book grátis
A naturalogia   e book grátisA naturalogia   e book grátis
A naturalogia e book grátis
 
Ap11 1-11
Ap11 1-11Ap11 1-11
Ap11 1-11
 
Resumo filosofia (1)
Resumo filosofia (1)Resumo filosofia (1)
Resumo filosofia (1)
 
A divisão da lógica
A divisão da lógica A divisão da lógica
A divisão da lógica
 
Raciocínio lógico
Raciocínio lógicoRaciocínio lógico
Raciocínio lógico
 
716 2728-1-pb
716 2728-1-pb716 2728-1-pb
716 2728-1-pb
 
Ficha retórica 3
Ficha retórica 3Ficha retórica 3
Ficha retórica 3
 
A epoca das_imagens_de_mundo
A epoca das_imagens_de_mundoA epoca das_imagens_de_mundo
A epoca das_imagens_de_mundo
 
Bergson 1608 ensaio sobre a relação do corpo
Bergson 1608 ensaio sobre a relação do corpoBergson 1608 ensaio sobre a relação do corpo
Bergson 1608 ensaio sobre a relação do corpo
 
Resumo filosofia (0)
Resumo filosofia (0)Resumo filosofia (0)
Resumo filosofia (0)
 
2926 6315-2-pb
2926 6315-2-pb2926 6315-2-pb
2926 6315-2-pb
 
Raciocinio logico
Raciocinio logicoRaciocinio logico
Raciocinio logico
 
Trabalho Lógica fuzzy fabrizio-etemb
Trabalho Lógica fuzzy  fabrizio-etembTrabalho Lógica fuzzy  fabrizio-etemb
Trabalho Lógica fuzzy fabrizio-etemb
 
Teorias da comunicação conceitos fev 2011
Teorias da comunicação conceitos fev 2011Teorias da comunicação conceitos fev 2011
Teorias da comunicação conceitos fev 2011
 
Artigo sartre - filosofia
Artigo   sartre - filosofiaArtigo   sartre - filosofia
Artigo sartre - filosofia
 
Revista filosofia
Revista filosofiaRevista filosofia
Revista filosofia
 

Destaque

Tributação no setor comercial icms importação - marcelo - aula ibet
Tributação no setor comercial   icms importação - marcelo - aula ibetTributação no setor comercial   icms importação - marcelo - aula ibet
Tributação no setor comercial icms importação - marcelo - aula ibetFernanda Moreira
 
Script Case Amplificação - Vem pro Inferno
Script Case Amplificação - Vem pro InfernoScript Case Amplificação - Vem pro Inferno
Script Case Amplificação - Vem pro Infernoanninhaguimaraes
 
Ativ1 4 edinalva
Ativ1 4 edinalvaAtiv1 4 edinalva
Ativ1 4 edinalvadianarco
 
QUEM QUER APRENDER PHOTOSHOP?
QUEM QUER APRENDER PHOTOSHOP?QUEM QUER APRENDER PHOTOSHOP?
QUEM QUER APRENDER PHOTOSHOP?Leonardo Correa
 
Billetes y monedas de la Argentina
Billetes y monedas de la ArgentinaBilletes y monedas de la Argentina
Billetes y monedas de la ArgentinaFadri
 
Controle de planejamento
Controle de planejamentoControle de planejamento
Controle de planejamentobgfnogueira
 
Demanda de alimentos de soja, maiz entre otros...
Demanda de alimentos de soja, maiz entre otros...Demanda de alimentos de soja, maiz entre otros...
Demanda de alimentos de soja, maiz entre otros...Hector Mujica
 
1985 Michigan Journal writing sample
1985 Michigan Journal writing sample1985 Michigan Journal writing sample
1985 Michigan Journal writing sampleJoseph Cabadas
 
Apresentação MOBI360BSB
Apresentação MOBI360BSBApresentação MOBI360BSB
Apresentação MOBI360BSBfabricioc12
 
Mídia Kit Dia do Frete Grátis 2014
Mídia Kit Dia do Frete Grátis 2014Mídia Kit Dia do Frete Grátis 2014
Mídia Kit Dia do Frete Grátis 2014LeadMediaPublishing
 
Baocaothuctapketoannguyenvatlieu 121021220643-phpapp02
Baocaothuctapketoannguyenvatlieu 121021220643-phpapp02Baocaothuctapketoannguyenvatlieu 121021220643-phpapp02
Baocaothuctapketoannguyenvatlieu 121021220643-phpapp02Anh Dương
 
å Måle det som er vanskelig å måle 5
å Måle det som er vanskelig å måle 5å Måle det som er vanskelig å måle 5
å Måle det som er vanskelig å måle 5Eva Bratvold
 
ΓΕΩΡΓΙΑ ΑΡΤΕΜΙΣ ΟΔΥΣΣΕΙΑ
ΓΕΩΡΓΙΑ ΑΡΤΕΜΙΣ ΟΔΥΣΣΕΙΑΓΕΩΡΓΙΑ ΑΡΤΕΜΙΣ ΟΔΥΣΣΕΙΑ
ΓΕΩΡΓΙΑ ΑΡΤΕΜΙΣ ΟΔΥΣΣΕΙΑnikzoit
 
coping with diabetes mellitus in children
coping with diabetes mellitus in childrencoping with diabetes mellitus in children
coping with diabetes mellitus in childrenShewikar El Bakry
 
Multimedia pnf individual
Multimedia pnf individualMultimedia pnf individual
Multimedia pnf individualjakachen
 

Destaque (20)

내몽고 하이라얼 여행제안서(34 p 더존투어)
내몽고 하이라얼 여행제안서(34 p 더존투어)내몽고 하이라얼 여행제안서(34 p 더존투어)
내몽고 하이라얼 여행제안서(34 p 더존투어)
 
Tributação no setor comercial icms importação - marcelo - aula ibet
Tributação no setor comercial   icms importação - marcelo - aula ibetTributação no setor comercial   icms importação - marcelo - aula ibet
Tributação no setor comercial icms importação - marcelo - aula ibet
 
Script Case Amplificação - Vem pro Inferno
Script Case Amplificação - Vem pro InfernoScript Case Amplificação - Vem pro Inferno
Script Case Amplificação - Vem pro Inferno
 
Slides atividade grupo 4B
Slides atividade grupo 4BSlides atividade grupo 4B
Slides atividade grupo 4B
 
Muebles de madera
Muebles de maderaMuebles de madera
Muebles de madera
 
Ativ1 4 edinalva
Ativ1 4 edinalvaAtiv1 4 edinalva
Ativ1 4 edinalva
 
QUEM QUER APRENDER PHOTOSHOP?
QUEM QUER APRENDER PHOTOSHOP?QUEM QUER APRENDER PHOTOSHOP?
QUEM QUER APRENDER PHOTOSHOP?
 
Billetes y monedas de la Argentina
Billetes y monedas de la ArgentinaBilletes y monedas de la Argentina
Billetes y monedas de la Argentina
 
Controle de planejamento
Controle de planejamentoControle de planejamento
Controle de planejamento
 
4
44
4
 
Demanda de alimentos de soja, maiz entre otros...
Demanda de alimentos de soja, maiz entre otros...Demanda de alimentos de soja, maiz entre otros...
Demanda de alimentos de soja, maiz entre otros...
 
1985 Michigan Journal writing sample
1985 Michigan Journal writing sample1985 Michigan Journal writing sample
1985 Michigan Journal writing sample
 
Apresentação MOBI360BSB
Apresentação MOBI360BSBApresentação MOBI360BSB
Apresentação MOBI360BSB
 
Mídia Kit Dia do Frete Grátis 2014
Mídia Kit Dia do Frete Grátis 2014Mídia Kit Dia do Frete Grátis 2014
Mídia Kit Dia do Frete Grátis 2014
 
Una de actitudes
Una de actitudesUna de actitudes
Una de actitudes
 
Baocaothuctapketoannguyenvatlieu 121021220643-phpapp02
Baocaothuctapketoannguyenvatlieu 121021220643-phpapp02Baocaothuctapketoannguyenvatlieu 121021220643-phpapp02
Baocaothuctapketoannguyenvatlieu 121021220643-phpapp02
 
å Måle det som er vanskelig å måle 5
å Måle det som er vanskelig å måle 5å Måle det som er vanskelig å måle 5
å Måle det som er vanskelig å måle 5
 
ΓΕΩΡΓΙΑ ΑΡΤΕΜΙΣ ΟΔΥΣΣΕΙΑ
ΓΕΩΡΓΙΑ ΑΡΤΕΜΙΣ ΟΔΥΣΣΕΙΑΓΕΩΡΓΙΑ ΑΡΤΕΜΙΣ ΟΔΥΣΣΕΙΑ
ΓΕΩΡΓΙΑ ΑΡΤΕΜΙΣ ΟΔΥΣΣΕΙΑ
 
coping with diabetes mellitus in children
coping with diabetes mellitus in childrencoping with diabetes mellitus in children
coping with diabetes mellitus in children
 
Multimedia pnf individual
Multimedia pnf individualMultimedia pnf individual
Multimedia pnf individual
 

Semelhante a Verdade

A Perspetiva de T. Kuhn
A Perspetiva de T. KuhnA Perspetiva de T. Kuhn
A Perspetiva de T. KuhnJorge Barbosa
 
Desfazendo mitos sobre a pragmática
Desfazendo mitos sobre a pragmáticaDesfazendo mitos sobre a pragmática
Desfazendo mitos sobre a pragmáticaSilvana Lino
 
Argumentação e lógica formal
Argumentação e lógica formalArgumentação e lógica formal
Argumentação e lógica formalJoaquim Melro
 
Indeterminismo e a Metodologia da Economia Positiva: Uma abordagem com base n...
Indeterminismo e a Metodologia da Economia Positiva: Uma abordagem com base n...Indeterminismo e a Metodologia da Economia Positiva: Uma abordagem com base n...
Indeterminismo e a Metodologia da Economia Positiva: Uma abordagem com base n...Grupo de Economia Política IE-UFRJ
 
Reflexões em torno das novas retóricas sobre a ciência
Reflexões em torno das novas retóricas sobre a ciênciaReflexões em torno das novas retóricas sobre a ciência
Reflexões em torno das novas retóricas sobre a ciênciaCilmara Cristina Dos Santos
 
A verdade e seu contexto uma abordagem a partir de habermas e rorty
A verdade e seu contexto   uma abordagem a partir de habermas e rortyA verdade e seu contexto   uma abordagem a partir de habermas e rorty
A verdade e seu contexto uma abordagem a partir de habermas e rortyFrederico Garcia Brito
 
O que é cts, afinal ensaio
O que é cts, afinal   ensaioO que é cts, afinal   ensaio
O que é cts, afinal ensaioJailson Alves
 
APLICAR A “LETRA DA LEI” É UMA ATITUDE POSITIVISTA?
APLICAR A “LETRA DA LEI” É UMA ATITUDE POSITIVISTA?APLICAR A “LETRA DA LEI” É UMA ATITUDE POSITIVISTA?
APLICAR A “LETRA DA LEI” É UMA ATITUDE POSITIVISTA?Thaynara Martinelli
 
O que é cts, afinal? Ensaio
O que é cts, afinal? EnsaioO que é cts, afinal? Ensaio
O que é cts, afinal? EnsaioJailson Alves
 
Sobre a expressão corrente: Isto é correcto na teoria, mas não vale nada na p...
Sobre a expressão corrente: Isto é correcto na teoria, mas não vale nada na p...Sobre a expressão corrente: Isto é correcto na teoria, mas não vale nada na p...
Sobre a expressão corrente: Isto é correcto na teoria, mas não vale nada na p...Romario Moreira
 
Filosofia e método
Filosofia e métodoFilosofia e método
Filosofia e métodoAlan
 
Filosofia da Física Quântica 1_introducao
Filosofia da Física Quântica 1_introducaoFilosofia da Física Quântica 1_introducao
Filosofia da Física Quântica 1_introducaorauzis
 
Descartes e o realismo ciêntifico
Descartes e o realismo ciêntificoDescartes e o realismo ciêntifico
Descartes e o realismo ciêntificoEquipemundi2014
 
03 princípios, conceitos, teorias, leis
03 princípios, conceitos, teorias, leis03 princípios, conceitos, teorias, leis
03 princípios, conceitos, teorias, leisJoao Balbi
 
Eudaiminia na etic nociomano
Eudaiminia na etic nociomanoEudaiminia na etic nociomano
Eudaiminia na etic nociomanoEduardo Alves
 

Semelhante a Verdade (20)

A Perspetiva de T. Kuhn
A Perspetiva de T. KuhnA Perspetiva de T. Kuhn
A Perspetiva de T. Kuhn
 
Desfazendo mitos sobre a pragmática
Desfazendo mitos sobre a pragmáticaDesfazendo mitos sobre a pragmática
Desfazendo mitos sobre a pragmática
 
Argumentação e lógica formal
Argumentação e lógica formalArgumentação e lógica formal
Argumentação e lógica formal
 
Indeterminismo e a Metodologia da Economia Positiva: Uma abordagem com base n...
Indeterminismo e a Metodologia da Economia Positiva: Uma abordagem com base n...Indeterminismo e a Metodologia da Economia Positiva: Uma abordagem com base n...
Indeterminismo e a Metodologia da Economia Positiva: Uma abordagem com base n...
 
Reflexões em torno das novas retóricas sobre a ciência
Reflexões em torno das novas retóricas sobre a ciênciaReflexões em torno das novas retóricas sobre a ciência
Reflexões em torno das novas retóricas sobre a ciência
 
A verdade e seu contexto uma abordagem a partir de habermas e rorty
A verdade e seu contexto   uma abordagem a partir de habermas e rortyA verdade e seu contexto   uma abordagem a partir de habermas e rorty
A verdade e seu contexto uma abordagem a partir de habermas e rorty
 
O que é cts, afinal ensaio
O que é cts, afinal   ensaioO que é cts, afinal   ensaio
O que é cts, afinal ensaio
 
APLICAR A “LETRA DA LEI” É UMA ATITUDE POSITIVISTA?
APLICAR A “LETRA DA LEI” É UMA ATITUDE POSITIVISTA?APLICAR A “LETRA DA LEI” É UMA ATITUDE POSITIVISTA?
APLICAR A “LETRA DA LEI” É UMA ATITUDE POSITIVISTA?
 
O que é cts, afinal? Ensaio
O que é cts, afinal? EnsaioO que é cts, afinal? Ensaio
O que é cts, afinal? Ensaio
 
Sobre a expressão corrente: Isto é correcto na teoria, mas não vale nada na p...
Sobre a expressão corrente: Isto é correcto na teoria, mas não vale nada na p...Sobre a expressão corrente: Isto é correcto na teoria, mas não vale nada na p...
Sobre a expressão corrente: Isto é correcto na teoria, mas não vale nada na p...
 
Filosofia e método
Filosofia e métodoFilosofia e método
Filosofia e método
 
Argumentação e retórica
Argumentação  e retóricaArgumentação  e retórica
Argumentação e retórica
 
Russel cap 12
Russel cap 12Russel cap 12
Russel cap 12
 
Zetética x Dogmática
Zetética x DogmáticaZetética x Dogmática
Zetética x Dogmática
 
Argumentao
 Argumentao Argumentao
Argumentao
 
Filosofia da Física Quântica 1_introducao
Filosofia da Física Quântica 1_introducaoFilosofia da Física Quântica 1_introducao
Filosofia da Física Quântica 1_introducao
 
Descartes e o realismo ciêntifico
Descartes e o realismo ciêntificoDescartes e o realismo ciêntifico
Descartes e o realismo ciêntifico
 
03 princípios, conceitos, teorias, leis
03 princípios, conceitos, teorias, leis03 princípios, conceitos, teorias, leis
03 princípios, conceitos, teorias, leis
 
O problema da verdade
O problema da verdade O problema da verdade
O problema da verdade
 
Eudaiminia na etic nociomano
Eudaiminia na etic nociomanoEudaiminia na etic nociomano
Eudaiminia na etic nociomano
 

Mais de Cilmara Cristina Dos Santos

O trabalho como princípio educativo no projeto Frigotto
O trabalho como princípio educativo no projeto FrigottoO trabalho como princípio educativo no projeto Frigotto
O trabalho como princípio educativo no projeto FrigottoCilmara Cristina Dos Santos
 
História, trabalho e educação no Brasil - Nascimento
História, trabalho e educação no Brasil - NascimentoHistória, trabalho e educação no Brasil - Nascimento
História, trabalho e educação no Brasil - NascimentoCilmara Cristina Dos Santos
 
Educação, trabalho e mercado de trab no Br - Fogaça
Educação, trabalho e mercado de trab no Br - FogaçaEducação, trabalho e mercado de trab no Br - Fogaça
Educação, trabalho e mercado de trab no Br - FogaçaCilmara Cristina Dos Santos
 
Educação profissional e desenvolvimento Frigotto
Educação profissional e desenvolvimento FrigottoEducação profissional e desenvolvimento Frigotto
Educação profissional e desenvolvimento FrigottoCilmara Cristina Dos Santos
 
Carta de ernesto Che Guevara a sua filha (15 anos)
Carta de ernesto Che Guevara a sua filha (15 anos)Carta de ernesto Che Guevara a sua filha (15 anos)
Carta de ernesto Che Guevara a sua filha (15 anos)Cilmara Cristina Dos Santos
 
Visita domiciliar guia-para-uma-abordagem-complexa-sarita-amaro-2ª.edição
Visita domiciliar guia-para-uma-abordagem-complexa-sarita-amaro-2ª.ediçãoVisita domiciliar guia-para-uma-abordagem-complexa-sarita-amaro-2ª.edição
Visita domiciliar guia-para-uma-abordagem-complexa-sarita-amaro-2ª.ediçãoCilmara Cristina Dos Santos
 

Mais de Cilmara Cristina Dos Santos (20)

Mulheres rurais e autonomia
Mulheres rurais e autonomiaMulheres rurais e autonomia
Mulheres rurais e autonomia
 
Ploeg, j. peasants and the art of farming
Ploeg, j. peasants and the art of farmingPloeg, j. peasants and the art of farming
Ploeg, j. peasants and the art of farming
 
Textos sobre Educação e Ensino Marx e Engels
Textos sobre Educação e Ensino Marx e EngelsTextos sobre Educação e Ensino Marx e Engels
Textos sobre Educação e Ensino Marx e Engels
 
Pobreza no Meio Rural
Pobreza no Meio RuralPobreza no Meio Rural
Pobreza no Meio Rural
 
Trabalho e Educação Saviani
Trabalho e Educação SavianiTrabalho e Educação Saviani
Trabalho e Educação Saviani
 
O trabalho como princípio educativo no projeto Frigotto
O trabalho como princípio educativo no projeto FrigottoO trabalho como princípio educativo no projeto Frigotto
O trabalho como princípio educativo no projeto Frigotto
 
História, trabalho e educação no Brasil - Nascimento
História, trabalho e educação no Brasil - NascimentoHistória, trabalho e educação no Brasil - Nascimento
História, trabalho e educação no Brasil - Nascimento
 
Educacao e trabalho Pochman
Educacao e trabalho PochmanEducacao e trabalho Pochman
Educacao e trabalho Pochman
 
Educação, trabalho e mercado de trab no Br - Fogaça
Educação, trabalho e mercado de trab no Br - FogaçaEducação, trabalho e mercado de trab no Br - Fogaça
Educação, trabalho e mercado de trab no Br - Fogaça
 
Educação profissional e desenvolvimento Frigotto
Educação profissional e desenvolvimento FrigottoEducação profissional e desenvolvimento Frigotto
Educação profissional e desenvolvimento Frigotto
 
Educação e trabalho Segnini
Educação e trabalho SegniniEducação e trabalho Segnini
Educação e trabalho Segnini
 
Educação e trabalho - Coutinho
Educação e trabalho - CoutinhoEducação e trabalho - Coutinho
Educação e trabalho - Coutinho
 
Saúde em debate
Saúde em debateSaúde em debate
Saúde em debate
 
Lutas camponesas
Lutas camponesasLutas camponesas
Lutas camponesas
 
Carta de ernesto Che Guevara a sua filha (15 anos)
Carta de ernesto Che Guevara a sua filha (15 anos)Carta de ernesto Che Guevara a sua filha (15 anos)
Carta de ernesto Che Guevara a sua filha (15 anos)
 
Visita domiciliar guia-para-uma-abordagem-complexa-sarita-amaro-2ª.edição
Visita domiciliar guia-para-uma-abordagem-complexa-sarita-amaro-2ª.ediçãoVisita domiciliar guia-para-uma-abordagem-complexa-sarita-amaro-2ª.edição
Visita domiciliar guia-para-uma-abordagem-complexa-sarita-amaro-2ª.edição
 
Pobreza no meio rural
Pobreza no meio ruralPobreza no meio rural
Pobreza no meio rural
 
Juventudes rurais
Juventudes ruraisJuventudes rurais
Juventudes rurais
 
Estrutura das revoluções científicas
Estrutura das revoluções científicasEstrutura das revoluções científicas
Estrutura das revoluções científicas
 
Risco e Contingência
Risco e ContingênciaRisco e Contingência
Risco e Contingência
 

Verdade

  • 1. Verdade pragmática JAIR MINORO ABE N este artigo, fazemos um apanhado geral de algunsdesenvolvi- mentos técnicos que têm sido feitos nos últimos anos sobre a verdade pragmática, que também chamamosde 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 relevância parao filósofo que seocupa da Teoria da Ciência: 1ª) a Teoria da Correspondência, particularmente na forma que lhe conferiu A. Tarski; 2ª) a Teoria da Coerência; 3ª) a Teoria Pragmática; 4ª) a Teoria da Eliminação 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 aTeoria da Verdade como Correspondência, este conceito relaciona proposições, juízos ou sentenças a situações reais; e uma pro- posição, um juízo ou uma sentença é verdadeiro se, e somente se, reflete a realidade. Em outras palavras, uma proposição é verdadeira se ela corresponde à realidade, se o que ela afirma de fato é. Aristóteles, no Livro I'da Metafísica, define a verdade da seguinte maneira: "Dizer daquilo que é, que é, e daquilo que não é, que não é, é verdadeiro; dizer daquilo que não é, que é, e daquilo que é, que não é, é falso". Na Idade Média, os Escolásticos afirmavam que a verdade é a adequação entre pensamento e realidade. As definições anteriores são válidase não podem servir de basepara um tratamento lógico-matemático do conceito de verdade como corres- pondência. O grande mérito de Tarski foi o de ter desenvolvido uma formulação matematicamente tratável da Teoria da Correspondência. Com isso, elerevolucionou a Lógica e lançou as bases da Teoria Clássica de Modelos, uma das partes mais importantes da Lógica atual, não apenas relevante em si mesma, pelos seu notáveis resultados teóricos, como, também, pelas suas aplicações na Matemática, nas Ciências Em- píricas e na Tecnologia. A idéia central de Tarski foi a de considerar o conceito de verdade como consistindo numa relação entre sentenças de uma linguagem e a
  • 2. estrutura na qual esta linguagem está interpretada. Não há sentido falar de verdade ou de falsidade de uma sentença a não ser que se saiba exa- tamente a que linguagem essa sentença pertence e de que modo a lin- guagem está interpretada. A definição de Tarski pressupõe que a linguagem de base possui uma estrutura bem definida, pois ela deve ser tratada do ponto de vista matemático. Por conseguinte, a definição de Tarski se aplica principal- mente às linguagens artificiais, simbólicas, da Lógica e da Matemática. Não podemos apresentar, aqui, mesmo de modo informal, a Teoria de Tarski, dado que é demasiadamente técnica. No entanto, como ela é a base da Lógica tradicional, pode ser encontrada em bons livros de Lógica, como os de Shoenfield (1967) e de Mendelson (1979). Con- forme a linguagem estudada, a definição correspondente de verdade possui características 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 definição de verdade de Tarski satisfaz, garante que a relação é uma conexão entre linguagem e realidade (na Teoria Abstrata de Modelos é uma relação entre lingua- gens artificiais e certas estruturasmatemáticasque se chamam modelos). A Teoria da Coerência não considera a verdade como uma relação entre linguagem ou pensamento e realidade. Ao contrário, concebe a verdade como sendo uma propriedade eminentemente lingüística, de caráter sintático; vários autores, de uma maneira ou outra, defendema Teoria da Coerência, tais como G. Hegel, B. Bosanquet, F. Bradleye H. Joachim bem como alguns dos membros do Círculo de Viena, tais como O. Neurath e H. Hahn. Segundo os adeptos da Teoria da Coerência, não se pode comparar uma sentença à realidade, para sabermos se a sentença é verdadeira ou falsa. Com efeito, a realidade nos afeta e através de nossa experiência podemos testar uma sentença; porém, como nossa experiência,também, se reduz a sentenças de determinado tipo, segue-se que, afinal, só se pode comparar sentenças com certas sentenças. O cientista, enquanto tal, recebe um conjunto de sentenças que são aceitas como verdadeiras, que devem ser coerentes (não encerram contradições) e aspirar à maxi- malidade: isto é, o pesquisador sempre procura conjuntos coerentes
  • 3. maximais de sentenças. Sempre que uma parte de nosso sistema de. crenças não funciona bem, devemos procurar modificá-lo, comparan- do-se sentenças entre si, de modo a se obter um novo sistema que seja coerente e, se possível,maximal. Assim, Neurath diz que somos como um marinheiroque, no meio. do oceano, tem que reconstruir o próprio barco. A Teoria da Coerência é extremamente interessante e hoje a Lógica e a Matemática possuem meios para tratá-la de uma forma conveniente. Porém, como nosso objetivo é o estudo da verdade pragmática, não ampliamos mais nossa exposição da verdade como coerência. A Teoria da Eliminação da Verdade é a teoria cunhada por F. P. Ramsey, segundo a qual o conceito de verdade não apresenta aspectos teóricos de grande relevância, 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 filósofos e lingüistas que a têm aplicado nas mais variadas circunstâncias. Finalmente, a Teoria Pragmática da Verdade é a que tratamos com algum pormenor neste trabalho, por se ter convertido numa das mais importantes concepções de verdade, com significativas aplicações à Lógica, à Matemática e à Filosofia da Ciência. As concepções de Peirce, James e Dewey A concepção pragmática da verdade se deve basicamente a C. S. Peirce, um dos grandes lógicos e filósofos do século passado e do começo deste, o criador do pragmatismo. Peirce escreveu: "considere que efeitos práticos concebemos que o objeto de nossa concepção tem. Então, nossa concepção desses efeitos constitui o conteúdo total de nossa concepção desse objeto" (C. S. Peirce 1965, p. 31). A afirmação de Peirce pode ser claramente interpretada como sig- nificando que a verdade pragmática de uma proposição depende de seus efeitos práticos, 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 proposições básicas e, por-
  • 4. tanto, uma asserção (hipótese ou teoria) pode ser tida como pragmati- camente verdadeira se suas conseqüências básicas são verdadeiras, no sentido da Teoria da Correspondência. Para eles, esta interpretação do dictum de Peirce constitui a essência da Teoria da Verdade de Peirce. Assim, a verdade pragmática é fundada em suas conseqüências bá- sicas ou efeitos práticos, e não se mostra completamente independente no sentido de correspondência com a realidade. Como afirmam da Costa e Chuaqui: "Ao contrário, um enunciado —em geral, um enun- ciado teórico — é pragmaticamente verdadeiro somente quando os enunciados básicos que ele implica são verdadeiros no sentido da Teoria da Correspondência da Verdade. Mas, ainda, uma asserção básica é ver- dadeira, do ponto de vista pragmático, se, e somente se, ela é verdadeira de acordo com a Teoria da Correspondência. Assim, a verdade prag- mática não é inteiramente arbitrária" (Da Costa e Chuaqui, no prelo). Acrescentam da Costa e Chuaqui: "Em geral, pode-se manter que em Ciência sempre obtemos verdade pragmática, embora a verdade pragmática assim obtida se aproxime da verdade" (no sentido da Teoria da Correspondência). Tal idéia pode ser tornada rigorosa por meio da nossa definição de verdade pragmática... E esta parece ser, também, a posição de Peirce. Por exemplo, ele afirma: "Diferentes pessoas podem começar com os mais antagônicos pontos de vista, mas o progresso da investigação acaba por levá-los, forçosamente, para fora de si mesmos, à única e mesma conclusão. Essa atividade do pensamento por meio da qual somos levados, não aonde desejamos, mas a uma finalidade pré-fi- xada, é semelhante à questão do destino. Nenhuma modificação do ponto de vista inicial, nenhuma mudança natural de postura, pode fazer com que um homem escape da crença predestinada. Esta grande espe- rança é englobada na concepção da verdade e da realidade" (Peirce 1965). Os autores em questão desenvolvem as idéias anteriores da mesma forma que Tarski formalizou a Teoria Clássica da Correspondência. Antes, porém, de mostrarmos como se efetua isto, diremos algumacoisa sobre as concepções de James e de Dewey (consultar S. Haack 1974 e 1980). James reformula a definição de Peirce, levando em conta, especial- mente, questões não-científicas. Em particular, procura estabelecer uma Teoria da Verdade Pragmática que justifique as crenças religiosas. Fa- lando-se sem rigor, a crença em Deus, por exemplo, seria pragmatica- mente verdadeira se suas conseqüências, na vida de todos os dias, fossem interessantes, agradáveis e convenientes para a pessoa que crê.
  • 5. Muitas vezes se sustenta que a teoria de James é muito menos ri- gorosa que a de Peirce e que carece de valor científico. Nossa opinião é diferente: embora a teoria de W. James divirja da de Peirce, e muitas de suas teses não tenham sido aceitas por Peirce, seria deveras interessante formalizarmos os aspectos mais salientes da posição de James no tocante à verdade. Dewey sustentou uma Teoria da Verdade baseada na noção de as- sertabilidade garantida (warranted assertibility). Do ponto de vista atual, utilizando-senão apenas recursos lógicos e matemáticos usuais, como, também, métodos da Teoria dos Sistemas e do Cálculo de Pro- babilidade, talvez a teoria de Dewey pudesse ser matematizada. Formalização da Teoria Pragmática da Verdade Mikenberg, da Costa e Chuaqui nos apresentam, como já dissemos acima, uma matematização de uma concepção pragmática de verdade que eles denominaram de quase-verdade (cf. Mikenberg, da Costa e Chuaqui 1986). Embora não encarem sua definição como uma exegese da posição peirciana, o fato é que a definição dada por eles capta, sem dúvida 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 técnicas necessárias para sua formulação precisa, a de- finição de da Costa e Chuaqui. Porém, antes disso, seria interessante fazer um resumo geral do trabalho desses autores, que foi muito bem sumariado por J. Corcoran. "Filosofias Pragmáticas enfatizam a prioridade da experiência e da ação sobre o ser e o pensamento. Oponentes do pragmatismo são al- gumas vezes chamados de 'intelectualistas'. Característica das Filosofias Pragmáticas é o fato delas manterem pontos de vista claros sobre três questões: (1) significado, (2) verdade e (3) conhecimento. Devido a extensas variações entre tais filosofias, é simplista considerar qualquer combinação destes pontos de vista como típica (veja A. O. Lovejoy, J. Philos. 5 (1908), nº l, 5-12; ibid. 5 (1908), nº 2, 29-39). Todavia, a seguinte combinação pode ser tida como um exemplo. (1) O significado de uma proposição é identificado com seu significado experimental e prático, i.e., com a totalidade das experiências possíveis que ela prediz. (2) A verdade de uma proposição consiste na realização no decurso do tempo (passado, presente e futuro) de seu sentido. (3) A crença na verdade de uma proposição é garantida pelo grau com que ela tem sido
  • 6. testada na prática e semostrado satisfatória (pela pessoa ou comunidade que possui a crença)." A Teoria Pragmática da Natureza da Verdade (ponto de vista (2)) está intimamente relacionada com a Teoria Pragmática do Critério de Verdade (ponto de vista (3)), ainda que sempre é importante distinguir entre a Teoria da (a natureza da) Verdade e uma Teoria do Critério de Verdade. Esta distinção é familiar a matemáticos através dos trabalhos de Tarski, que enfatizou a correspondência como a natureza da verdade matemática e da provabilidade como o critério da verdade matemática. A demonstração de Tarski do teorema de Gödel explora esta distinção, notando que indefinibilidade aritmética da verdade aritmética (teorema da provabilidade aritmética), para implicar que verdade aritmética não é coextensiva com a provabilidade aritmética (A. Tarski, Logic, semantics, metamathematics, tradução inglesa, veja pp. 197-8, 246-54, Clarendon Press, Oxford, 1956; MR 17, 1171; segunda edição, Hackett, In- dianapolis, Ind., 1983; MR 85e: 01065; Sci.Amer. 220, 1969, 63-77, especialmente pp. 69-77).
  • 7. 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) propõe modificara noção tarskiana, model-theo- retic, de "uma sentença s é verdadeira em uma interpretação i"de modo que a noção resultante, matematicamente precisa, é fiel a uma das no- ções pragmáticas da verdade. De acordo com o artigo, o contexto com- pleto para o uso apropriado das frases "pragmáticamente verdadeiro" e "pragmáticamente falso" vai além do contexto acima do uso apropriado, clássico, de "verdadeiro" e "falso" sob dois aspectos: (a) a interpretação i é parcial (não necessariamente total) e (b) existe relativização a um conjunto P de sentenças "estabelecidas". Em conseqüência, a noção a ser definida é expressa por "uma sentença s é pragmaticamente verdadeira em uma interpretação parcial i relativa a um conjunto P de sentenças". A condição necessária e suficiente proposta como definitiva é "s e as sentenças em P são simultaneamente satisfeitas por uma extensão total de i" .Grosso modo, de acordo como artigo (p. 204), se uma sentença é pragmáticamente verdadeira, "ela salva as aparências".
  • 8. Os autores constroem um sistema formal de dedução à la Gentzen para acompanhar as semânticas acima. Eles obtêm um teorema de completude e alguns outros resultados matemáticos, incluindo uma demonstração de um teorema sobre extensões de grupos semi-ordena- dos, que originalmente foi enunciado, sem demonstração, por Tarski em 1948. Há, também, aplicações ao problema em Filosofia da Ciência de explicar a idéia de uma teoria anterior ser uma "aproximação" de uma posterior, maisadequada. O artigo não reivindica qualquer tentativa de erudição suficiente para mostrar que sua definição é fiel a uma idéia endossada por um filósofo pragmático. Seu objetivo definido é mostrar que idéias mate- maticamente rigorosas, refletindo o pensamento pragmático, possuem conseqüências matematicamente interessantes e construir uma extensão pragmática da Teoria Clássica de Modelos (J. Corcoran, MR 88c: 03006)". Mikenberg, da Costa e Chuaqui, seguindo Tarski, sublinham que a definição de verdade pragmática ou de quase-verdade, como eles a con- ceberam, só pode ser feita com relação a uma determinada linguagem, interpretada em uma estrutura conveniente. Uma das grandes novidades dessa concepção reside no fato de que as estruturas nas quais a lingua- gem é interpretada não são estruturas totais, como no caso da teoria de Tarski, mas sim estruturas parciais. Na Teoria Clássica de Verdade de Tarski, as linguagens são inter- pretadas em estruturas que, grosso modo, se compõem de um conjunto A, denominado universo da estrutura e de certo conjunto R de relações, envolvendo objetos de A. Essasrelações são sempre definidas para todos os objetos de A: por exemplo, se tivermos uma relação binaria, em R, então, dados dois objetos x e y quaisquer de A, eles estão ou não ligados por essa relação. Na teoria de da Costa e Chuaqui isso não ocorre, pelas razões que passamos a expor: os objetos x e y de A podem estar ligados por uma relação de R, podem não estar ligados pela relação ou, final- mente, podem não estar definidos se eles não possuem a relação entre si. A partir de estruturas parciais, como acabamos de descrever, e de conjuntos de sentenças básicas que expressam proposições de nossa ex- periência, verdadeiras ou falsas, de acordo com a Teoria da Correspon- dência, e de sentenças mais complexas, expressando proposições aceitas previamente, define-se o conceito de verdade pragmática de uma sen- tença por um processo parecido com o tarskiano e que se apoia no mes- mo. O resultado, então, é o seguinte: uma sentença s é quase-verdadeira
  • 9. ou pragmaticamente verdadeira numa determinada região do conheci- mento (ou numa estrutura) se tudo se passa nessa região (ou estrutura), como se s fosse verdadeira de acordo com a Teoria da Correspondência. Equivalentemente, uma sentença é quase-verdadeira num domínio se, e somente se, salvar as aparências desse domínio, ou seja, funciona. A definição de quase-verdade generaliza a definição de Tarski e seus autores constroem uma teoria generalizada de modelos que encontrou várias aplicações em Lógica e em Matemática (cf. da Costa e Chuaqui (no prelo) e Mikenberg, da Costa e Chuaqui 1986). O leitor facilmente percebe que a definição de quase-verdade satis- faz os principais requisitos a que uma definição de verdade pragmática parece condicionada. Especialmente notável é o fato de que a verdade pragmática é um processo de se salvar as aparências, quando não se conhece a verdade segundo a Teoria da Correspondência. Todavia, outras interpretações da Teoria da Quase-Verdade são possíveis, em- bora não tenhamos tempo para abordá-las aqui. Algumas aplicações da quase-verdade A quase-verdade, sobretudo em decorrência dos trabalhos de Mikenberg, da Costa e Chuaqui e French, encontrou variadas aplicações na Teoria da Ciência. Chuaqui, da Costa e Mikenberg mostraram como a quase-verdade pode ser usada para se definir o conceito de aproximação à verdade de teorias científicas, verdade sendo usada aqui no sentido da Teoria da Correspondência. As noções formuladas têm um significado matemá- tico intrínseco e podem ser aplicados, por exemplo, em Álgebra (Mikenberg, da Costa e Chuaqui 1986), etc. Outras aplicações, devidas a S. French e N. C. A. da Costa, são as seguintes: a edificaçãode uma nova Lógica Indutiva (consultar da Costa em Erkenntnis e da Costa e French (no prelo)) à estruturação 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 não se mostra apenas importante por formalizar e precisar uma Teoria da Ver- dade como a pragmática, mas encontra numerosas aplicações nos mais variados domínios. Isto é sinal, segundo pensamos, de que a Teoria da Quase-Verdade se converterá numa das mais importantes teorias da Lógica atual (o surpreendente é que a quase-verdade acha-secorrelacio-
  • 10. nada com a Lógica Paraconsistente (ver, por exemplo, da Costa 1989e da Costa e Chuaqui (no prelo)). Bibliografia Esta bibliografia contém não apenas os artigos citados no texto, como também todos os artigos publicados ou em vias de publicação 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. Thelogic ofpragmatic truth, a aparecer. DA COSTA, N. C. A. &S. FRENCH, Pragmatic truthandthelogic of induction, a aparecer. .The model-theoretic approach inphilosophy ofscience, a aparecer em Philosophy of Science. FRENCH, S. A note on constructive empiricism and pragmatic truth, a aparecer. GRAYLING, A. C. 1986. An Introduction toPhilosophical Logic. The Harverster Press. HAACK, S. DeviantLogic. Cambridge UniversityPress, Cambridge, 1974. . Philosophy ofLogics. CambridgeUniversityPress, Cambridge, 1980. MENDELSON, E. 1979. Introduction toMathematical Logic. D. Van Nostrand Company, New York MIKENBERG, I., N. C. A. DA COSTA & R. CHUAQUI. 1986. Pragmatic truth and approximation to truth. TheJournal 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 Philoso- phica, 1, 1935, pp. 261-405. Traduzido para o inglês em Logic, Semantics, Metamaihematics. Oxford University Press. . 1944.The semanticconception of truth. Philosophy and Phenome- nological Research. 4, pp. 341-376. Resumo Como se sabe existem, pelo menos, quatro teorias de verdade que se evidenciam de relevância para o filósofo que se ocupa da Teoria da Ciência: l) a Teoria da Correspondência, particularmente, na forma que lhe confiriu A. Tarski; 2) a Teoria da Coerência; 3) a Teoria Pragmática; e 4) a Teoria da Eliminação da Verdade (ou definibilidade da verdade). Neste artigo, de caráter expositivo, se apresenta um apanhado geral de alguns desenvolvimentos técnicos que têm sido feitos nos adimos anos sobre a verdade pragmática, que também é chamadade quase verdade. Abstract There are at least four theories of truth that are relevant for philosophers of science theory:
  • 11. 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 thisexpositor article, it ispresented ageneral aspect ofsome technicaldevelopments that have been done recentlyabout the PragmaticTruth, which isalso called "Quasi-Truth". Jair Minoro Abe é bacharel e mestre em Matemática Pura pelo Instituto de Matemática e Estatística da USP e doutorando em Lógica pela Faculdade de Filosofia, Letras e Ciências Humanas da USP. Foi professor-visitante da Uni- versidade de Shizuoka, no Japão, e atualmente é professor do IGCE-Unesp. É, também, membro e coordenador do Grupo de Lógica e Teoria da Ciência do IEA/USP.