Legendary since his own time as a universal genius, Gottfried Wilhelm Leibniz (1646-1716) contributed significantly to almost every branch of learning, from mathematics to ecumenical theology. But the part of his work that is most studied today is probably his writings in metaphysics, which have been the focus of particularly lively philosophical discussion in the last twenty years or so. 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).