Tarski anotado: estudo dos §2 e §3 do artigo O Conceito de Verdade nas Linguagens Formalizadas

Em 1929 Alfred Tarski escreveu o artigo O Conceito de Verdade nas Linguagens For-mais o qual apresenta a questão sobre a atribuição de ‘verdade’. Sua hipótese é que ‘verdade’ ou ‘falso’ não são predicados de coisas, mas atributos de expressões – mais precisamente de sentenças. Por isso Tarski constrói um modo de predicar esses atributos sem chegar a uma auto-referência contraditória em que a ‘verdade’, ou o ‘falso’, é e não é predicado ao mesmo tempo: o uso de uma linguagem formal e da metalinguagem para essa linguagem formal. O presente trabalho tem o objetivo de explicitar a Teoria Tarski-ana de Verdade. Uma geral exposição prévia na introdução desta dissertação mostra a limitação da definição para as linguagens naturais. O corpo central deste trabalho é de-dicado uma análise cuidadosa, minuciosa e exaustiva do corpo principal do artigo O Conceito de Verdade nas Linguagens Formalizadas, §2 e §3 (até o Teorema 7), esclare-cendo os pontos principais, para situar-se com rigor diante do que era para Tarski o sig-nificado semântico da palavra ‘verdade’