Lógica proposicional
La lógica es conocida como una de las ciencias más antiguas, tanto es así que se le atribuye a Aristóteles la paternidad de esta disciplina. Partiendo de que corresponde a Aristóteles haber sido el primero en tratar con todo detalle la lógica, se le considera su fundador. En un principio se llamó Analítica, en virtud del título de las obras en que trató los problemas lógicos. Más tarde los escritos de Aristóteles relativos a estos eventos fueron recopilados por sus discípulos con el título de Órganon, por considerar que la lógica era un instrumento para el conocimiento de la verdad.
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.