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.
Filosofía renacentista
Sobre todo a partir de la recuperación de gran parte de los escritos aristotélicos en los siglos XII y XIII, quedó claro que, además de los escritos de Aristóteles sobre lógica, que ya se conocían, había otros numerosos que tenían que ver aproximadamente con la filosofía natural, la filosofía moral y la metafísica. Estas áreas proporcionaron la estructura para el plan de estudios de filosofía de las universidades emergentes. En general, se suponía que las ramas más "científicas" de la filosofía eran las más teóricas y, por tanto, de mayor aplicación. También durante el Renacimiento, muchos pensadores consideraban que éstas eran las principales áreas filosóficas, y que la lógica proporcionaba un entrenamiento de la mente para abordar las otras tres.