Leibniz's writings in metaphysics contain one of the great classic systems of modern philosophy, but the system must be pieced together from a vast and miscellaneous array of manuscripts, letters, articles, and books, in a way that makes especially strenuous demands on scholarship. This book presents an in-depth interpretation of three important parts of Leibniz's metaphysics, thoroughly grounded in the texts as well as in philosophical analysis and critique. The three areas discussed are the metaphysical part of Leibniz's philosophy of logic, his essentially theological treatment of the central issues of ontology, and his theory of substance (the theory of monads).