Este documento contrasta las verdades empíricas y formales. Las verdades empíricas, estudiadas por las ciencias naturales y sociales, deben comprobarse mediante la observación o experimentación. En cambio, las verdades formales de la lógica y las matemáticas son absolutamente ciertas solo por su forma lógica, sin necesidad de comprobación empírica. El documento proporciona ejemplos de cada tipo de verdad y explica cómo la lógica estudia las relaciones formales entre enunciados, más allá

1. VERDAD EMPÍRICA Y VERDAD FORMAL
Las verdades de las que tratan las ciencias fácticas, como son las ciencias naturales (la física, química, biología, entre
otras más) y las ciencias sociales (sociología, historia, antropología, etc.) son muy diferentes a las verdades de las que
tratan las ciencias formales como la lógica y la matemática.
A las verdades de las ciencias naturales se les llama empíricas (del griego empeiria=experiencia) porque tienen que
comprobarse en la experiencia, ya sea mediante la observación o la experimentación.
Ejemplos: el agua mojada, el fuego quema, el agua hierve a los 100º.C a nivel del mar.
A diferencia de las verdades empíricas, las formales ni pueden ni necesitan comprobarse en la experiencia, tan luego
como las comprendemos entendemos que son así y no pueden ser de otra manera: son verdades absolutamente
seguras, no dependen de un contenido que pueda ser comprobado o rechazado por la experiencia; su verdad depende
únicamente de la manera en que están estructuradas, son verdades absolutamente ciertas, pero vacías, no aumentan
nuestro conocimiento acerca del mundo.
Ejemplos de verdades formales:
1. Las hormigas son insectos o no insectos
2. Los metales son electropositivos o no son electropositivos
Hablar en sentido estricto, las cosas tienen que ser o no ser; lo que hace que estos dos enunciados son verdaderos es la
unión de o y no. Si cambiamos esta relación, cambiemos la o por la y, entonces pasamos de la verdad a la falsedad.
Ejemplo:
1. Las hormigas son insectos y no son insectos
2. Los metales son electropositivos y no son electropositivos.
Salta a la vista que nadie ni nada puede ser y no ser en sentido recto, al mismo tiempo y desde el mismo punto de vista.
La lógica trata de este tipo de verdades formales (o falsedades formales), si éstas siempre fueran tan evidentes, como en
los ejemplos dados, posiblemente no fuera necesario estudiar lógica, pero no siempre es así. Considérese los siguientes
ejemplos:
Siempre que llueve me mojo.
Ayer llovió
Por lo tanto, ayer me mojé
Siempre que llueve me mojo
Ayer me mojé
Por lo tanto, ayer llovió
El ejemplo de la izquierda, es un razonamiento correcto: es una verdad lógica. En el otro ejemplo, es un razonamiento
incorrecto, es una falsedad lógica, no obstante, cierta similitud con el primero. La razón por la que el segundo
razonamiento sea incorrecto, se debe a que no es necesario que llueva para mojarme, se puede mojar de muchas otras
maneras: bajo una regadera, caerse en una pileta, lanzarse a una alberca, etc.
En el siguiente cuadro comparativo resume las diferencias entre las verdades empíricas y las formales.
VERDADES EMPÍRICAS VERDADES FORMALES
Las valida la experiencia Son válidas solo por la forma
Tienen que comprobarse en la experiencia No pueden comprobarse en la experiencia
No son totalmente seguras Son absolutamente ciertas
Aumentan el conocimiento real Son vacías, no aumentan el conocimiento
Las estudian las ciencias fácticas Son objeto de estudio de la lógica
Texto obtenido en: Vázquez, G. (2017). Academia de Filosofía. Apuntes. Centro de Estudios Científicos y Tecnológicos No. 1.