Lógica matemática
En el último tercio del siglo XIX la lógica va a encontrar su transformación más profunda de la mano de las investigaciones matemáticas y lógicas, junto con el desarrollo de la investigación de las estructuras profundas del lenguaje, la lingüística, convirtiéndose definitivamente en una ciencia formal. Es una ciencia formal, ya que estudia las ideas y constituye una herramienta conceptual para todas las otras ciencias y áreas del conocimiento. y forma parte de un conjunto sistemático de conocimientos racionales y coherentes, que se ocupan del estudio de los procesos lógicos y matemáticos,
Lógica empírica
Aristóteles considera que la ciencia en cuanto tal, en la explicación de las causas, sigue un camino ascendente hacia una Filosofía Primera o Metafísica, hacia un Primer Motor Inmóvil, causa del movimiento, por vía de la finalidad de las formas, según una deducción de causas y efectos a través del movimiento, según un orden de las formas esenciales, el orden jerárquico de las ideas platónicas, como orden fundamental; distinguiendo por ello un mundo sub-lunar, imperfecto y azaroso y un mundo supralunar perfecto que se revela en el orden (filosofía) de los movimientos circulares celestes perfectos y sujetos a leyes.