Citations of:
Add citations
You must login to add citations.




This essay argues that, with his muchmaligned “infinite analysis” theory of contingency, Leibniz is onto something deep and important – a tangle of issues that wouldn’t be sorted out properly for centuries to come, and then only by some of the greatest minds of the twentieth century. The first two sections place Leibniz’s theory in its proper historical context and draw a distinction between Leibniz’s logical and metalogical discoveries. The third section argues that Leibniz’s logical insights initially make his “infinite (...) 

Leibniz's conceptual containment theory says that singular propositions of the form a is F are true when the complete concept of being a contains the concept of being F. In this paper, I provide a new semantics for firstorder logic built around this idea. The semantics resolves longstanding problems for Leibniz's theory and can represent, without possible worlds, both hyperintensional distinctions among properties and a certain kind of presumably impossible situation that standard approaches cannot represent. The semantics also captures the (...) 