Verdade e demonstrabilidade

Leon Henkin

O vocábulo ‘verdade’, como sucede com inúmeros outros, ‘beleza’ e ‘justiça’, por exemplo, refere-se a conceito de tal maneira amplo e flutuante que não causa espanto saber que muitos estudiosos dedicaram suas vidas a analisá-lo. Aqui, porém, nós nos limitaremos a um conceito bem mais restrito de verdade, entendendo-a como atributo de sentenças. Mais precisamente, trataremos de investigar a seguinte questão: que é que se pretende dizer ao afirmar que uma sentença é verdadeira?

Essa questão é antiga e pode ser encontrada nos primeiros trabalhos filosóficos. Desperta, em verdade, desde os tempos clássicos, a curiosidade dos filósofos, que a têm debatido sem cessar. Aqui, no entanto, vamos investigá-la sob um ângulo matemático. A solução matemática da questão, como sucede com as descobertas científicas, tem uma história longa e é possível traçar a evolução das idéias que culminaram com a resposta. Mas conceber e formular uma teoria matemática da verdade foi obra de Alfred Tarski, há mais ou menos 30 anos passados.
[...]

Fonte: Morgenbesser, S. org. 1979. Filosofia da ciência. SP, Cultrix.