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á