Contemporary philosopher John Searle has characterized Gottfried Wilhelm Leibniz (1646-1716) as "the most intelligent human being who has ever lived." The German philosopher, mathematician, and logician invented calculus (independently of Sir Isaac Newton), topology, determinants, binary arithmetic, symbolic logic, rational mechanics, and much more. His metaphysics bequeathed a set of problems and approaches that have influenced the course of Western philosophy from Kant in the eighteenth century until the present day. On Leibniz examines many aspects of Leibniz's work and life. This expanded edition adds new chapters that explore Leibniz's revolutionary deciphering machine; his theoretical interest in cryptography and its ties to algebra; his thoughts on eternal recurrence theory; his rebuttal of the thesis of improvability in the world and cosmos; and an overview of American scholarship on Leibniz. Other chapters reveal Leibniz as a substantial contributor to theories of knowledge. Discussions of his epistemology and methodology, its relationship to John Maynard Keynes and Talmudic scholarship, broaden the traditional view of Leibniz. Rescher also views Leibniz's scholarly development and professional career in historical context. As a "philosopher courtier" to the Hanoverian court, Leibniz was associated with the leading intellectuals and politicians of his era, including Spinoza, Huygens, Newton, Queen Sophie Charlotte, and Tsar Peter the Great. Rescher extrapolates the fundamentals of Leibniz's ontology: the theory of possible worlds, the world's contingency, space-time frameworks, and intermonadic relationships. In conclusion, Rescher positions Leibniz as a philosophical role model for today's scholars. He argues that many current problems can be effectively addressed with principles of process philosophy inspired by Leibniz's system of monadology.

Originally published in 1966. Professor Rescher's aim is to develop a logic of commands in exactly the same general way which standard logic has already developed a logic of truth-functional statement compounds or a logic of quantifiers. The object is to present a tolerably accurate and precise account of the logically relevant facets of a command, to study the nature of inference in reasonings involving commands, and above all to establish a viable concept of validity in command inference, so that the logical relationships among commands can be studied with something of the rigour to which one is accustomed in other branches of logic.