Condições teórico-significativas e verificação: uma defesa de Dummett contra Alfred Tarski

Examinaremos uma crítica negligenciada ou subestimada de Dummett a Tarski neste artigo. O anti-realismo verificacionista de Dummett serve de base para a crítica. Segundo este autor, uma teoria do significado para uma determinada língua – que se encontra numa teoria da harmonia – determina as circunstâncias nas quais o significado de uma frase da língua pode ser teorizado, ou apresentado em uma representação teórica estratégica e não derrotista de sua possível asserção. Esses pré-requisitos criam uma ponte mediadora entre o enunciado de uma sentença e suas consequências, definindo as circunstâncias em que a incompatibilidade de “p” e “não-p” pode ser projetada como um conhecimento lógico. Tarski é criticado pela sua teoria semântica formal e material da verdade, que esconde ou mascara as circunstâncias epistêmicas, apresentando-as de maneira direta e codificada em princípios indutivos.