Este documento discute la diferencia entre ciencia formal y ciencia fáctica. La ciencia formal incluye lógica y matemática y se ocupa de construir entes ideales en lugar de objetos del mundo real. La ciencia fáctica, como la física y la biología, se ocupa de objetos y procesos reales y usa la observación y experimentación para verificar hipótesis. Mientras la ciencia formal usa demostración lógica, la ciencia fáctica necesita confirmación empírica mediante observación y experimentación.