Respostas
As teorias da verdade-como-correspondência estão baseadas na idéia de que “verdade é correspondência com a realidade”, ou seja, um portador-de-valor-de-verdade é verdadeiro quando as coisas no mundo são como os portadores de valor de verdade dizem que são. As teorias correspondenciais estão entre as teorias robustas da verdade; isto é, aquelas teorias que consideram que a verdade tem uma natureza. Além disso, constituem, em geral, segundo Lynch (2001, p. 5), uma visão realista objetiva: se algo é verdadeiro, isso não depende daquilo em que cada um acredita; a verdade depende do mundo e não de nós. Mas dizer apenas “Verdade é correspondência com a realidade” não expressa adequadamente a essência dessas teorias. Será necessário esclarecermos três aspectos da idéia de verdade como correspondência (LYNCH, 2001, p. 9):
1. O quê tem a propriedade de ser verdadeiro (qual é o portador-de-valor-de-verdade).
2. A “realidade” à qual corresponde o portador-de-valor-de-verdade.
3. A correspondência (ou seja, qual a relação entre o portador-de-valor-de-verdade e a realidade).
Teorias da verdade-como-correspondência têm utilizado os seguintes como portadores-de-valor-de-verdade: crenças, pensamentos, idéias, juízos, sentenças, asserções, expressões vocais e proposições. Contudo, é de costume usar a expressão “portadores-de-valor-de-verdade” sempre que queremos assumir uma postura neutra dentre essas opções.