A TEORIA DA CORRESPONDNCIA COMO MEIO DE SE CHEGAR VERDADE

(2012) 1

SIQUEIRA, Grgori Lopes2; SILVA, Mitieli Seixas da3

1
Trabalho de Pesquisa _UNIFRA.
2
Acadmico do Curso de Filosofia do Centro Universitrio Franciscano (UNIFRA), Santa Maria, RS.
3
Professora orientadora do Curso de Filosofia da Universidade Federal do Rio Grande do Sul
(UFRGS), Porto Alegre, RS, Brasil.
E-mail: gregsiqueira@yahoo.com.br; mitieli@yahoo.com.br.

RESUMO

Importa salientar a diferena entre o que significa a definio da verdade e o que seria um
critrio para a verdade. Ao definir alguma coisa d-se o significado da palavra verdadeiro, enquanto
que um critrio fornece um teste por meio do qual se diz se uma sentena verdadeira ou falsa. Para
se chegar ao ato de conhecer alguma coisa verdadeiramente necessrio passar pelo crivo da
comprovao. A isto se d o nome de teorias da verdade. Uma das teorias da verdade existentes a
teoria da correspondncia que tem procedncia em Aristteles, mas que se fundamenta com Russell
e Wittgenstein, e mais tarde reformulada ou reinterpretada por Austin. Mesmo tendo em vista que
qualquer teoria da verdade tem limitaes quanto a afirmar se algo verdadeiro ou falso, elas
constituem um mtodo de comprovao que a lgica e a filosofia da linguagem investiga.

Palavras-chave: Filosofia da linguagem; Teoria da correspondncia; Teorias da verdade.

1. INTRODUO

A partir do texto de Susan Haack, esta abordagem tem por objetivo investigar sobre
o que se entende por definio de uma verdade e a distino quanto ao que fornece um
critrio para a verdade. No sentido de definir-se alguma coisa estar-se- dando o
significado da palavra verdadeiro (HAACK, 2002, p.130), enquanto que um critrio fornece
um teste por meio do qual se diz se uma sentena (ou o que quer que seja) verdadeira ou
falsa (HAACK, 2002, p.130), para assim chegar ao ato de conhecer alguma coisa
verdadeiramente.
A importncia do conceito de verdade e de definir algo como comprovadamente
verdadeiro fundamental tanto para a epistemologia quanto para a filosofia da lgica
(HAACK, 2002, p.133). A busca pela verdade algo inerente no homem que pretende
conhecer e ter certeza a respeito do mundo. Nesse sentido, surgem as teorias de verdade
que para Murcho (2004) tm por objetivo esclarecer a natureza dos fenmenos a partir de
questes como: o que faz uma sentena ser verdadeira? Que propriedade esta que se fala
quando se infere a verdade a uma afirmao?
Um dos primeiro filsofos a formular uma teoria de verdade foi Aristteles ao dizer

1
que verdadeiro dizer do que que ele , ou do que no que ele no (HAACK, 2002,
p.129). Desta teoria aristotlica se desmembraram ao longo da histria diversas outras,
como as teorias da coerncia, pragmtica, da correspondncia, semntica e da
redundncia.
A pretenso aqui ser investigar a teoria da correspondncia como meio de se
chegar verdade. A teoria da correspondncia diz que X verdadeiro se e somente se X
corresponde a algo, ou seja, a verdade de uma proposio consiste no em suas relaes
com outras proposies, mas em relao com o mundo (HAACK, 2002, p.127). Assim,
parte-se da ideia de que a verdade de uma proposio sua correspondncia com alguma
coisa palpvel e existente. Ou, ainda, pode ser dito como Simor (2009) que a verdade uma
propriedade do enunciado ou de nossas crenas sobre o mundo, por isso ela
correspondente.

2. DESENVOLVIMENTO

Enquanto Hegel defendia uma lgica monista, onde a aparente multiplicidade do

mundo consiste meramente em fases e divises irreais de uma s realidade indivisvel
(absoluta), Russell e mais tarde Wittgenstein defenderam o atomismo lgico, onde o mundo
aparece como uma multiplicidade infinita de elementos separados, que so denominados de
tomos lgicos, no fsicos.

O atomismo lgico pretendia ser uma filosofia emergente da simbiose entre

um empirismo radical e uma lgica perspicaz. A lgica oferece as formas-
padro do raciocnio correto e o empirismo oferece premissas, que so
proposies atmicas ou proposies complexas, construdas a partir das
primeiras. (REALE, 2005, p.297)

Para Wittgenstein, a realidade consta de fatos que se resumem em fatos atmicos

[...] (REALE, p.309-310). O atomismo lgico de Russell e Wittgenstein deu definies de
verdade como correspondncia de uma proposio com um fato. Tal correspondncia trata-
se de um isomorfismo estrutural conforme descreve Haack (2002), onde as proposies
moleculares (Fa v Gb) so compostos funcionais capazes de se verificar a partir das suas
proposies atmicas (Fa) e (Gb). Reale (2005) exemplifica ao afirmar que a proposio
Scrates ateniense (As) uma proposio atmica, pois descreve apenas um fato
atmico, a saber, que Scrates um cidado ateniense; j a proposio Scrates
ateniense e mestre de Plato (As ^ Msp) uma proposio molecular, pois descreve dois
fatos atmicos, e para ser considerado vlido deve ser analisado pelas menores entidades

2
lingsticas, ou seja, suas proposies atmicas.
Simor (2009) apresenta trs requisitos fundamentais para se chegar verdade pela
teoria correspondentista de Russell, que so: a verdade oposta falsidade, a verdade e a
falsidade como propriedades de crenas ou enunciados e a verdade e a falsidade
dependentes de algo externo crena. Assim, a partir do terceiro requisito acima, pode-se
dizer que o que torna a sentena verdadeira ou falsa sua correspondncia com algo no
mundo.
Algumas implicaes lgicas so possveis de se verificar na teoria da
correspondncia, conforme Haack (2002), como: - p ser verdadeiro apenas no caso de
p no ser, ou p q ser verdadeiro apenas no caso de p ser verdadeiro ou de q ser
verdadeiro.
Haack (2002) expe que os dados dos sentidos para Russell so os objetos do
conhecimento direto, de forma que este conhecimento possvel por direta familiaridade. ,
no entanto, a significatividade de uma proposio que derivada da composio de nomes
de objetos, os quais so conhecidos por familiaridade. Russell reconheceu as dificuldades
para considerar todas as proposies moleculares, em especial proposies de crenas e
proposies quantificadas, como funes de verdade de proposies atmicas (HAACK,
2002, p.134).
Russell admite fatos tanto negativos como positivos, conforme Haack (2002), e isto
acarreta que dizer a verdade da negao de p consiste em correspondncia com o fato de
que no p ou da falha de p, o que gera certa ambigidade. o caso da afirmao no
h um urso nesta sala, pois isto implica dizer apenas a no existncia do urso na sala, mas
no responde ao fato do que h na sala (GHIRALDELLI, 2001). Porm, isso geraria uma
ambigidade pelo fato da proposio ser negativa, o que destruiria o fundamento da teoria
correspondentista.
Crticos da teoria da correspondncia disseram que falta clareza na verificao da
proposio com os fatos correspondentes, como no caso o gato est esquerda do
homem (HAACK, 2002, p.135), pois o fato tem dois componentes (gato e homem), mas a
proposio tem pelo mesmos trs componentes (gato, esquerda e homem). Mais difcil
ainda seria investigar uma proposio molecular do tipo: a vermelho; a casado com b
(HAACK, 2002, p.135), pois praticamente impossvel interpretar tal proposio como um
isomorfismo que o atomismo lgico de Russell prescreve.
Para Russell, a verdade de p consiste em sua correspondncia com o fato de que
p, mas o problema aqui que a relao entre p e o fato de que p est prxima demais,
pois no poderia deixar de corresponder a este fato (HAACK, 2002, p.136). Como no caso
da proposio o gato (p) est no tapete (q), que pela experincia se consegue provar a
correspondncia da relao entre p e q. Por isto, a verdade como correspondncia no

3
necessariamente provaria a verdade, mas apenas diria algo que bvio e redundante,
passvel apenas empiria lgica, e neste sentido torna-se uma teoria inoperante quanto a
questes mais complexas como a existncia de Deus ou infinitude do universo que
transcendem nossa capacidade e possibilidade emprica..
Mais tarde, conforme Haack (2002), Austin reinterpreta a teoria da correspondncia,
no mais pelo isomorfismo estrutural, mas pela conveno entre palavras e o mundo, a
partir da juno das convenes descritivas e demonstrativas. As convenes descritivas
consistem nas palavras se correlacionarem com tipos de situao. Como no exemplo dado
por Haack (2002): estou com pressa (s em t), onde para ser verdadeiro deve haver
correlao entre as palavras desta proposio com as situaes referente a algum que
est com pressa (s em t).
As convenes demonstrativas consistem na correlao das palavras com situaes
especficas, como no exemplo acima, as palavras da proposio (eu) estou com pressa
com o estado de s em t. Assim, conforme Haack (2002), para ser verdadeiro, o enunciado
tem de se correlacionar entre as duas convenes.
Uma limitao da teoria de Austin nas convenes demonstrativas que se referem
a situaes diferentes, como no caso: Jlio Cezar era calvo ou Todas as mulas so
estreis (HAACK, 2002, p. 136), pois parece no ser possvel fazer a conveno sem poder
verificar a calvcie de Jlio Cezar (no passado) e todas as mulas do universo.

3. CONSIDERAES FINAIS

Pelo que se inferiu acima, pode-se dizer que a teoria da correspondncia serve no
sentido de explicar determinadas proposies quanto veracidade ou falsidade em alguns
casos, porm apresenta falhas em outros. Mesmo assim, esta teoria tem a pretenso de
definir alguns critrios para a verdade e assim poder definir o que uma proposio
verdadeira ou falsa, que fora nosso problema levantado.
As contribuies de Russel, Wittgenstein e Austin para a filosofia da linguagem e
para a lgica se referem principalmente ao fato de a teoria da correspondncia ser mais
uma teoria que busca desvendar a verdade, mas que muito embora no consiga abarcar o
todo, inegvel que capaz de contribuir para se chegar veracidade e a constatao do
falso, pelo menos naqueles casos onde temos possibilidade de verificao.

REFERNCIAS

GHIRALDELLI, Paulo Jr. Teorias de Verdade brevssima introduo. 24 abr. 2001. Disponvel em:

4
<http://www.consciencia.net/filosofia/verdade1.html>. Acesso em: 21 jun. 2012.

HAACK, Susan. Teorias da verdade. In: Filosofia das lgicas. Traduo de Cezar Augusto Mortari e
Luis Henrique de Arajo Dutra. So Paulo: UNESP, 2002. p.127-184.

MURCHO, Desidrio. Lgica e teorias da verdade. 10 abr. 2004. Disponvel em:

<http://criticanarede.com/log_logverdade.html>. Acesso em 21 jun. 2012.

REALE, Giovanni; ANTISERI, Dario. Histria da filosofia: de Nietzsche Escola de Frankfurt. v.6.
Traduo de Ivo Storniolo. So Paulo: Paulus, 2005.

SIMOR, Fabiano Lima. Teoria da correspondncia em B. Russell. 10 set. 2009. Disponvel em:
<http://lifephilosophic.blogspot.com.br/2009/09/teoria-da-correspondencia-em-b-russell. html>. Acesso
em: 21 jun. 2012.