Lógica
Históricamente, la lógica se ha estudiado principalmente en filosofía desde la antigüedad, en matemáticas desde mediados del siglo XIX y en informática desde mediados del siglo XX. Más recientemente, la lógica también se ha estudiado en lingüística y en ciencias cognitivas. En general, la lógica sigue siendo un área de estudio fuertemente interdisciplinaria.
Filosofía de la lógica
El filósofo y matemático alemán Gottfried Wilhelm Leibniz (Leipzig, 1646 - Hannover, 1716) - cabe considerar el creador de la lógica matemática - desarrolló la idea de un "calculus ratiocinator", mediante el cual se aplicaría un sistema de reglas a algunos conceptos generales precisamente definidos, lo que habilitaría a operar en el campo de las cuestiones filosóficas con los mismos procedimientos del razonamiento matemático. Esta idea tenía implícito el concepto de crear un método equivalente al de las ciencias exactas para alcanzar la certeza en cuanto a las cuestiones filosóficas; pero precisamente por su estrecha vinculación con especulaciones filosóficas sobre numerosos temas como la metafísica y la teodicea, el concepto quedó largo tiempo olvidado.