Este documento clasifica las ciencias en formales y fácticas. Las ciencias formales incluyen la lógica y se basan en objetos ideales y la deducción. Las ciencias fácticas incluyen las ciencias naturales y sociales, se basan en objetos materiales y la observación y experimentación, y buscan la verificación en lugar de la demostración.