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 informal
Algunos sostienen la opinión de que la lógica informal no es una rama o subdisciplina de la lógica, o incluso de que no puede existir tal cosa como la lógica informal. Massey critica la lógica informal sobre la base de que no tiene una teoría que la sustente. La lógica informal, dice, requiere esquemas de clasificación detallada que la organice, como la teoría subyacente que es proporcionada en otras disciplinas. Sostiene que no existe un método para establecer la invalidez de una discusión aparte del método formal, y que el estudio de las falacias puede ser más de interés para otras disciplinas como la psicología que para la filosofía y lógica.