Verdade
Índice [esconder]
1 Filosofia
2 O portador da verdade
3 Tipos de verdade
4 Teorias metafísicas da verdade
4.1 Verdade como correspondência ou adequação
4.2 Verdade por correspondência
4.3 Desmenção
4.4 Deflacionismo
4.5 Desvelamento
4.6 Pragmatismo
5 Teorias formais
5.1 Verdade lógica
5.2 Verdade em matemática
5.3 Teoria semântica da verdade
6 Referências
7 Bibliografia
8 Ver também
9 Ligações externas
Filosofia[editar | editar código-fonte]
O primeiro problema para os filósofos é estabelecer que tipo de coisa é verdadeira ou falsa, qual o portador da verdade (em inglês truth-bearer). Depois há o problema de se explicar o que torna verdadeiro ou falso o portador da verdade. Há teorias robustas que tratam a verdade como uma propriedade. E há teorias deflacionárias, para as quais a verdade é apenas uma ferramenta conveniente da nossa linguagem. Desenvolvimentos da lógica formal trazem alguma luz sobre o modo como nos ocupamos da verdade nas linguagens naturais e em linguagens formais.
Para Nietzsche, por exemplo, a verdade é um ponto de vista. Ele não define nem aceita definição da verdade, porque não se pode alcançar uma certeza sobre a definição do oposto da mentira. Daí seu texto "como filosofar com o martelo".1
Mas para a filosofia de René Descartes a certeza é o critério da verdade.