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.