Gottfried Wilhelm Leibniz (Lipsia, 1646-Hannover, 1716) può essere considerato il precursore della moderna logica matematica. Lascia un’enorme quantità di saggi di carattere scientifico e filosofico, una parte dei quali ancora inedita. L’edizione critica dei suoi scritti, a cura dell’Accademia delle scienze di Berlino, è tuttora in corso di pubblicazione e si prevede che sarà conclusa solo fra molti anni. Fra i suoi lavori ricordiamo: Discorso di metafisica (1686), Nuovi saggi sull’intelletto umano (1704), Saggi di Teodicea (1710), Monadologia (1714).