Lógica
Los orígenes de la lógica se remontan a la Edad Antigua, con brotes independientes en China, India y Grecia. Desde entonces, la lógica tradicionalmente se considera una rama de la filosofía, pero en el siglo XX la lógica ha pasado a ser principalmente la lógica matemática, y por lo tanto ahora también se considera parte de las matemáticas, e incluso una ciencia formal independiente.
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.