Quando alguém se refere a uma "verdade" ou afirma que alguma afirmação é "verdadeira", a que tipo de verdade eles estão se referindo? Isso pode parecer uma pergunta estranha a princípio, porque raramente pensamos na possibilidade de haver mais de um tipo de verdade por aí, mas na verdade existem diferentes categorias de verdade que precisam ser mantidas em mente.
Verdades aritméticas
Entre as mais simples e mais óbvias estão as verdades aritméticas - aquelas declarações que expressam com precisão as relações matemáticas. Quando dizemos que 7 + 2 = 9, estamos reivindicando uma verdade aritmética. Essa verdade também pode ser expressa na linguagem comum: sete coisas adicionadas a duas coisas nos dão nove coisas.
As verdades aritméticas são freqüentemente expressas em abstrato, como na equação acima, mas normalmente há um pano de fundo da realidade, como na afirmação da linguagem comum. Embora estas possam ser vistas como simples verdades, elas estão entre as mais certas verdades que temos - podemos estar mais certos disso do que podemos de qualquer outra coisa.
Verdades Geométricas
Muito intimamente relacionado com verdades aritméticas são verdades geométricas. Frequentemente expressos em forma numérica, as verdades geométricas são afirmações sobre relações espaciais . A geometria é, afinal, o estudo do espaço físico ao nosso redor - seja diretamente ou através de representações idealizadas.
Como nas verdades aritméticas, elas também podem ser expressas como abstrações (por exemplo, o Teorema de Pitágoras) ou na linguagem comum (a soma dos ângulos internos de um quadrado é de 360 graus). E, como nas verdades aritméticas, as verdades geométricas também estão entre as mais certas verdades que podemos ter.
Verdades Lógicas (Verdades Analíticas)
Também às vezes referidas como verdades analíticas, verdades lógicas são declarações verdadeiras simplesmente por definição dos termos usados. O rótulo de "verdade analítica" é derivado da idéia de que podemos dizer que a afirmação é verdadeira apenas analisando as palavras que estão sendo usadas - se entendermos a afirmação, também devemos saber que ela é verdadeira. Um exemplo disso seria "nenhum solteirão é casado" se sabemos o que significa "solteirão" e "casado", então sabemos que a afirmação é exata.
Pelo menos, esse é o caso quando as verdades lógicas são expressas na linguagem comum. Tais afirmações também podem ser expressas mais abstratamente, como acontece com a lógica simbólica - nesses casos, a determinação de se uma afirmação é verdadeira ou não será muito semelhante a fazer tal determinação de uma equação aritmética. Por exemplo: A = B, B = C, portanto, A = C.
Verdades sintéticas
Muito mais comuns e interessantes são as verdades sintéticas: estas são afirmações que não podemos conhecer como verdadeiras simplesmente em virtude de fazer alguns cálculos matemáticos ou uma análise dos significados das palavras. Quando lemos uma declaração sintética, o predicado é oferecido como adição de novas informações que ainda não estão contidas no assunto.
Assim, por exemplo, "os homens são altos" é uma afirmação sintética porque o conceito "alto" já não faz parte de "homens". É possível que a afirmação seja verdadeira ou falsa - se for verdadeira, então é uma verdade sintética. Tais verdades são mais interessantes porque nos ensinam algo novo sobre o mundo ao nosso redor - algo que não sabíamos antes. O risco, no entanto, é que podemos estar errados.
Verdades Éticas
O caso das verdades éticas é algo incomum, porque não é de modo algum claro que tal coisa exista. É certamente o caso de muitas pessoas acreditarem na existência de verdades éticas, mas esse é um assunto muito disputado na filosofia moral. No mínimo, mesmo que existam verdades éticas, não está claro como podemos conhecê-las com algum grau de certeza.
Ao contrário de outras declarações de verdade, as declarações éticas são expressas de maneira normativa. Dizemos que 7 + 2 = 9, não 7 + 2, deve ser igual a 9. Dizemos que "solteirões não são casados" em vez de "é imoral que solteiros se casem". Outra característica das declarações éticas é que elas tendem a expressar algo sobre o modo como o mundo poderia ser, não o mundo atual. Assim, mesmo que declarações éticas possam se qualificar como verdades, elas são verdadeiras muito incomuns.
