Tarski e a concepo semntica da verdade

O que significa dizer de um enunciado que ele verdadeiro? Responder a essa pergunta
, necessariamente, comprometer-se com algum tipo de teoria da verdade. Dentre as
diversas teorias da verdade elaboradas ao longo da histra da filosofia ocidental, a
chamada teoria da verdade por correspondncia , sem dvida, a mais conhecida !e
muito provavelmente a posi"#o mais conforme $s cren"as do que poder%amos chamar de
senso comum&. 'egundo ela, o que torna um enunciado verdadeiro !ou falso& uma
rela"#o de correspond(ncia !ou n#o& entre o que enunciado e certos fatos ou estados de
coisas realmente e)isentes no mundo. O enunciado *+ capital da ,hina -equim*, por
e)emplo verdadeiro se realmente h. uma cidade chamada *-equim* e se realmente
esta cidade a capital do pa%s que convencionalmente denominamos *,hina*/ 0. o
enunciado *+ capial do 1ap#o 'eul* falso, segundo essa teoria, porque, embora
realmente e)ista uma cidade chamada *'eul*, ela n#o a capital do pa%s a que
chamamos de *1ap#o*, mas sim do pa%s a que chamamos de *,oria do 'ul*. -ortanto,
segundo a teoria da correspond(ncia, a verdade ou a falsidade de um enunciado
determinada pela e)ist(ncia de fatos que correspondem inequivocamente ao contedo
que est. sendo enunciado. 2as, apesar de sua ampla aceita"#o e de sua aparente
corre"#o, essa teoria, 0. desde suas primeiras elabora"3es mais e)pl%citas
!provavelmente com +ristteles&, viu-se presa de dificuldades tericas bastante
contundentes. 4ma dessas dificuldades pode ser bem ilustrada por qualquer uma das
varia"3es do chamado paradoxo do mentiroso. ,onsideremos, por e)emplo, o seguinte
enunciado5 *6ste enunciado falso*. 'egundo a teoria da correspond(ncia, este
enunciado seria verdadeiro se e)istisse um fato que correspondesse ao que est. sendo
afirmado, ou se0a, ele seria um enunciado verdadeiro se realmente fosse um enunciado
falso/ mas se o enunciado fosse falso, isto , se nenhum fato correspondesse ao que ele
afirma, ent#o o enunciado *6ste enunciado falso* deveria ser verdadeiro. 7ada poderia
ser mais inc8modo para a teoria da correspond(ncia, ou para qualquer teoria que
pretendesse e)plicar em que consiste a verdade, do que ter em seu encal"o um parado)o
dessa natureza. 9 0ustamente como um meio claramente deliberado de se livrar das
dificuldades geradas pelo parado)o do metiroso !e outros semelhantes& que o lgico
polon(s +lfred :ars;i elaborou sua chamada teoria semntica da verdade. <nvestigar a
solu"#o apesentada por :ars;i em sua formula"#o do conceito sem=ntico de verdade a
tarefa a que se prop8s nosso pesquisador >elipe 2achado, estudante do curso de
>ilosofia. 6speramos que t#o logo sua pesquisa avance tenhamos o in%cio de uma
proveiosa discuss#o a respeito do conceito de verdade e de seus desdobramentos no seio
da tradi"#o anl%tica.