O que faz verdadeiras as verdades necessárias? Defendo que qualquer verdade sobrevém das coisas como elas são, e que as verdades necessárias não são exceções. O que as faz verdadeiras são provas. Mas, se assim for, a noção de prova precisa ser generalizada para incluir provas de verificação-transcendente, provas cuja correção extrapola a nossa própria habilidade de verificação. Além disso, tenho a incumbência de mostrar que argumentos, como o de Dummett, segundo o qual a verdade em termos de verificação não é compatível com a teoria do significado, não procedem. A resposta consiste no fato de que aquilo que podemos conceber e construir ultrapassa nossas habilidades efetivas. Concluo propondo um tratamento das modalidades em termos de teoria da prova, rejeitando a afirmação de Armstrong de que modalidades podem residir em fazedores de verdade não modais.
Fazedores de verdade; Modalidades; Verdade; Prova
