Cuando alguien se refiere a una "verdad" o afirma que alguna afirmación es "verdadera", ¿a qué tipo de verdad se refieren? Esto puede parecer una pregunta extraña al principio porque rara vez pensamos en la posibilidad de que pueda haber más de un tipo de verdad, pero en realidad hay diferentes categorías de verdad que deben tenerse en cuenta.
Verdades Aritmeticas
Entre las más simples y obvias se encuentran las verdades aritméticas: las declaraciones que expresan con precisión las relaciones matemáticas. Cuando decimos que 7 + 2 = 9, estamos reclamando una verdad aritmética. Esta verdad también se puede expresar en lenguaje ordinario: siete cosas sumadas a dos cosas nos dan nueve cosas.
Las verdades aritméticas a menudo se expresan en abstracto, como con la ecuación anterior, pero normalmente hay un trasfondo de realidad, como con la declaración en lenguaje ordinario. Si bien estas pueden ser vistas como verdades simples, se encuentran entre las verdades más ciertas que tenemos; podemos estar más seguros de ellas que de cualquier otra cosa.
Verdades Geométricas
Muy estrechamente relacionadas con las verdades aritméticas están las verdades geométricas. A menudo expresadas en forma numérica, las verdades geométricas son declaraciones sobre relaciones espaciales . Después de todo, la geometría es el estudio del espacio físico que nos rodea, ya sea directamente o mediante representaciones idealizadas.
Al igual que con las verdades aritméticas, estas también se pueden expresar como abstracciones (por ejemplo, el teorema de Pitágoras) o en lenguaje ordinario (la suma de los ángulos internos de un cuadrado es de 360 grados). Y, como con las verdades aritméticas, las verdades geométricas también se encuentran entre las verdades más ciertas que podemos tener.
Verdades lógicas (verdades analíticas)
También a veces referidas como verdades analíticas, las verdades lógicas son afirmaciones que son verdaderas simplemente por definición de los términos que se usan. La etiqueta "verdad analítica" se deriva de la idea de que podemos decir que el enunciado es verdadero simplemente analizando las palabras que se usan si entendemos el enunciado, entonces también debemos saber que es verdadero. Un ejemplo de esto sería "no hay solteros casados" si sabemos lo que significa "soltero" y "casado", entonces sabemos con certeza que la afirmación es precisa.
Al menos, ese es el caso cuando las verdades lógicas se expresan en lenguaje ordinario. Tales declaraciones también se pueden expresar de manera más abstracta como con la lógica simbólica en esos casos, la determinación de si una declaración es verdadera o no será muy similar a hacer tal determinación de una ecuación aritmética. Por ejemplo: A = B, B = C, por lo tanto A = C.
Verdades Sintéticas
Mucho más comunes e interesantes son las verdades sintéticas: son declaraciones que no podemos conocer como verdaderas simplemente en virtud de hacer algunos cálculos matemáticos o un análisis de los significados de las palabras. Cuando leemos una declaración sintética, el predicado se ofrece como la adición de nueva información que no está contenida en el tema.
Así, por ejemplo, "los hombres son altos" es una declaración sintética porque el concepto "alto" ya no forma parte de "hombres". Es posible que el enunciado sea verdadero o falso si es verdadero, entonces es una verdad sintética. Tales verdades son más interesantes porque nos enseñan algo nuevo sobre el mundo que nos rodea, algo que no sabíamos antes. Sin embargo, el riesgo es que podríamos estar equivocados.
Verdades Eticas
El caso de las verdades éticas es algo inusual porque no está nada claro que tal cosa exista. Es cierto que muchas personas creen en la existencia de verdades éticas, pero ese es un tema muy discutido en la filosofía moral. Por lo menos, incluso si existen verdades éticas, no está del todo claro cómo podemos llegar a conocerlas con algún grado de certeza.
A diferencia de otras declaraciones de verdad, las declaraciones éticas se expresan de manera normativa. Decimos que 7 + 2 = 9, no 7 + 2 debería ser igual a 9. Decimos que "los solteros no están casados" en lugar de "es inmoral que los solteros se casen". Otra característica de las declaraciones éticas es que tienden a expresar algo acerca de cómo podría ser el mundo, no como es actualmente. Por lo tanto, incluso si las declaraciones éticas pudieran calificar como verdades, son verdades muy inusuales.
