Lógica
La lógica es una rama de la filosofía de carácter interdisciplinario, entendida como la ciencia formal que estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas y la noción de verdad.
Materia
Las matemáticas y la lógica son ciencias formales porque no tienen ningún objeto material de estudio sino la “formas” válidas de inferencia. Por eso su mejor expresión es simbólica, sin contenido. Las demás ciencias en cuanto que tienen un objeto de estudio concreto son ciencias materiales.