Tipos de verdades
Cuando alguien se refiere a una 'verdad' o afirma que alguna afirmación es 'verdadera', ¿a qué tipo de verdad se está refiriendo? 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 de hecho hay diferentes categorías de verdad que deben tenerse en cuenta.
Verdades aritméticas
Entre las más simples y obvias se encuentran las verdades aritméticas, aquellas declaraciones que expresan con precisión relaciones matemáticas. Cuando decimos que 7 + 2 = 9, estamos haciendo una afirmación sobre una verdad aritmética. Esta verdad también se puede expresar en lenguaje corriente: 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 ocurre con el enunciado en el lenguaje ordinario. Aunque estas pueden verse 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 afirmaciones sobreespacialrelaciones. 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 ocurre 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 denominadas verdades analíticas, las verdades lógicas son declaraciones que son verdaderas simplemente por definición de los términos que se utilizan. 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 utilizan; si entendemos el enunciado, también debemos saber que es cierto. Un ejemplo de esto sería 'ningún soltero está casado' - 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 un enunciado sintético, el predicado se ofrece como una adición de nueva información que aún no está contenida en el sujeto.
Así, por ejemplo, 'los hombres son altos' es una afirmación sintética porque el concepto 'alto' no forma ya parte de 'hombres'. Es posible que la declaración sea verdadera o falsa; si es verdadera, entonces es una verdad sintética. Estas 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 nos equivoquemos.
Verdades éticas
El caso de las verdades éticas es algo inusual porque no está del todo claro que tal cosa exista. Es cierto que muchas personas creen en la existencia de verdades éticas, pero ese es un tema muy controvertido 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 + 2deberíanigual 9. Decimos que 'los solteros no están casados' en lugar de 'es inmoral que los solteros estén casados'. Otra característica de las declaraciones éticas es que tienden a expresar algo sobre la forma en que el mundopodríaser, no como es el mundo actualmente. Por lo tanto, incluso si las declaraciones éticas pudieran calificar como verdades, son verdades muy inusuales.
