Leibniz et l'inhérence : diu multumque investigavi generalem notionem tuo inesse

Far from having simply blurred logic and ontology in his interpretation of inherence in the Discourse metaphysics, Leibniz never ended up inquiring about this fundamental relation. Thus, he tried to work out a unified theory of inesse, being able to give an account of its different interpretations: the logical, phenomenological, mathematical or properly ontological ones. This theory turns out to be a sort of general mereology, also bound to a theory of conditions. It contemplates the possibility of several applications, going from the foundation of geometry concepts to the monadological explanation of bodies. Within its context Leibniz tries to provide a final clarification of the ontological background of predication.