Lógica
Los orígenes de la lógica se remontan a la Edad Antigua, con brotes independientes en China, India y Grecia. Desde entonces, la lógica tradicionalmente se considera una rama de la filosofía, pero en el siglo XX la lógica ha pasado a ser principalmente la lógica matemática, y por lo tanto ahora también se considera parte de las matemáticas, e incluso una ciencia formal independiente.
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.