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 dialógica
Los nuevos resultados de la dialógica son el fruto del estudio de la "lógica", la "interacción", la "teoría de la argumentación" y la "teoría de juegos" en matemáticas, en los trabajos, entre otros tantos; de Samson Abramsky, Johan van Benthem, Andreas Blass, Nicolas Clerbout, Matthieu Fontaine, Dov Gabbay, R. Jagadessan, Giorgi Japaridze, Lauren Keiff, Erik Krabbe, Alain Leconte, Rodrigo López-Orellana, Sébasten Magnier, Matthieu Marion, Zöe McConaughey, Henry Prakken, Juan Redmond, Helge Ruckert, Gabriel Sandu, Douglas Walton y John Woods. Tales trabajos han contribuido a ubicar a la dialógica y más generalmente a la interacción, en el centro de una nueva perspectiva epistémica de la lógica, donde la lógica es definida como 'instrumento de inferencia dinámica'.