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.
Lógica filosófica
La lógica filosófica trata de las descripciones formales de lo ordinario, lenguaje natural no especificado, que es estrictamente único sobre los argumentos dentro de las ramas de otras filosofías. La mayoría de los filósofos suponen que la mayor parte del razonamiento cotidiano se podría capturar en la lógica si se pudiera encontrar un método o métodos para traducir el lenguaje ordinario a esa lógica. La lógica filosófica es esencialmente una continuación de la disciplina tradicional llamada "lógica" antes de la invención de la lógica matemática. La lógica filosófica tiene un mayor interés con la conexión entre el lenguaje natural y la lógica. Como resultado, los lógicos filosóficos han contribuido al desarrollo de lógica no convencional (por ejemplo lógicas libres, lógica temporal, etc) al igual que varias extensiones de la lógica clásica (por ejemplo, la lógica modal) y la semántica no convencional para tales lógicas (por ejemplo, el supervaluacionismo de Kripke en la semántica de la lógica).