In Ideas That Created the Future [1], a curated and edited set of influential computer science papers, the Leibniz contribution is "The True Method" [2], which I read more or less as "if we could formalize everything, we could use mathematical methods to find answers to all questions".
In the collection of papers, it's picked because of its ideas later formalized in Boolean logic, and logic programming in general.