O projeto semântico na definição de verdade de Tarski

Resumo

Nosso objetivo é apresentar o projeto semântico de definição da verdade de Tarski presente nos artigos ‘O conceito de verdade nas linguagens formalizadas’ (1933) e ‘A concepção semântica da verdade e os fundamentos da semântica’ (1944). Ao definir a noção de verdade Tarski considera somente as linguagens formalmente especificáveis, isto é, partindo da distinção entre sistemas formais dedutivos (linguagem artificial) e linguagem natural, bem como da premissa que esta última não possui estrutura sintática determinável. A partir disso podemos estabelecer as condições de adequação que possibilitam definir verdade (lógica) de modo satisfatório: a adequação material e a correção formal. A definição é dada em termos de satisfação, isto é, da relação entre sentenças abertas (como “x<y”) e objetos, pares ordenados ou ternos de objetos, os quais se resumirão em sequências infinitas de n itens.