Las ciencias que estudian las leyes de lógica en sí, y sacan conclusiones de ellas para crear más leyes, son las llamadas ciencias formales, porque su materia de estudio son objetos y formas ideales o abstractas, que no existen en el mundo y por ende, no se pueden comprobar empíricamente, sino que sólo lógicamente.