Dicionário de Termos Linguísticos

Teoria segundo a qual uma proposição só é verdadeira se (e só se) denota ou refere um estado-de-coisas que de facto existe no mundo que a proposição se propõe descrever. A verdade das proposições é assim determinada em função da correspondência destas com a realidade: é verdadeira se estiver em correspondência, falsa se não estiver. A definição da noção de verdade proposta por Tarski pretende captar e tornar mais precisa esta concepção.