Lógica (plan aprendizaje)
Así como el objeto de estudio tradicional de la química es la materia, y el de la biología la vida, el de la lógica es la inferencia. La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas. La lógica investiga los fundamentos por los cuales algunas inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su estructura lógica, y no por el contenido específico del argumento o el lenguaje utilizado. Por esta razón la lógica se considera una ciencia formal, como la matemática, en vez de una ciencia empírica. La lógica tradicionalmente se consideró una rama de la filosofía. Pero desde finales del siglo XIX, su formalización simbólica ha demostrado una íntima relación con las matemáticas, y dio lugar a la lógica matemática. En el siglo XX la lógica ha pasado a ser principalmente la lógica simbólica, un cálculo definido por símbolos y reglas de inferencia, lo que ha permitido su aplicación a la informática.
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.