Notadamente o paradoxo do mentiroso que em sua formulacaoclassica consiste na proposicao eu estou mentindo e verdadeira ou falsa?,ou, de uma forma mais ilustrativa, se o Pinoquio dizer que esta mentindo, seunariz ira crescer ou nao? e de fato o mais famoso dos problemas logicos esemanticos, sobretudo por ser um paradoxo formado pelo auto-referenciamento emlinguagens semanticamente fechadas. Assim, o auto-referenciamento nestes tiposde linguagens constituem bases para a formacao de outros tipos de paradoxos, epor isso o paradoxo do mentiroso e o mais inquietante para os logicos efilosofos. Com efeito, foi Alfred Tarski que ficou encarregado detentar resolver essa aporia semantica para determinados tipos de linguagens,principalmente para linguagens formalizadas. O objetivo de Tarski, expresso emseu celebre e importante A Concepcao Semantica da Verdade, era o dedesenvolver uma definicao materialmente adequada e formalmente correta do termosentenca verdadeira. Isto e, Tarski tinha em mente tentar formular umadefinicao da expressao sentenca verdadeira quando acompanhada de umaproposicao, exemplo: esta chovendo la fora e uma sentenca verdadeira. O quequer dizer o termo e uma sentenca verdadeira? Contudo, e possivel notar quetal sentenca implica no paradoxo do mentiroso, caso a proposicao eu estoumentindo venha acompanhada da expressao semantica e uma sentenca verdadeira.Tarski achava, portanto, inconcebivel a ideia de construir linguagensformalizadas ou linguagens matematicas sem antes resolver essa aporia. A definicao da verdade, segundo Tarski, deveria ser umadefinicao semantica, na medida em que sua concepcao pudesse recuperar, de certaforma, a verdade como correspondencia com a realidade. Para resolver o paradoxodo mentiroso, o nosso filosofo toma um posicionamento deflacionista, queconsiste na concepcao que defende a ideia de que nao ha um problema filosofico,em um sentido estrito, acerca da natureza da verdade. Em outras palavras, odeflacionismo sustenta a ideia de que a verdade nao consiste em algosubstancial, cuja essencia esta oculta (o deflacionismo e uma posicao oposta daconcepcao tradicional da verdade, cuja origem encontra-se nos gregos antigos, eque consiste em desvelamento de algo esquecido, isto e, a verdade designaalgo que estava obscuro e escondido, e por isso a verdade, no viestradicional, pode ser concebida como a propria realidade aletheia). Portanto,Tarski toma a posicao de que a verdade e equivalente a atribuicao do predicadode verdade a uma sentenca e a afirmacao da propria sentenca; isto e o quechamei acima de auto-referenciamento. Esta concepcao pode ser expressa noesquema T: (T) a sentenca x everdadeira se, e somente se, p. Assim,Tarski ira dizer que instancias do esquema T podem ser obtidas quandosubstituimos x pelo nome de umasentenca e p pela propria sentenca,por ex: a sentenca Socrates e filosofo e verdadeira se, e somente se, Socratese filosofo. Dessa forma, a definicao da verdade e parcialmente satisfeita,enquanto a definicao e relativa a sentencas particulares, como ocorre em nossoexemplo. Ja exposto a perspectiva deflacionista de Tarki, e possivel expor oparadoxo do mentiroso pelas instancias T da seguinte maneira: a sentenca x naoe e verdadeira se, e somente se, a sentenca x nao e verdadeira; a sentenca x everdadeira se, e somente se, a sentenca x nao e verdadeira; a sentenca x everdadeira ou a sentenca x nao e verdadeira (de acordo com o principio doterceiro excluido); a sentenca