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.
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'.