Switch to: References

Add citations

You must login to add citations.
  1. Messeri on the Lucky Proof.Stephen Steward - 2017 - The Leibniz Review 27:21-30.
    Marco Messeri offers a new solution to the problem of lucky proof (an influen­tial objection to Leibniz’s infinite-analysis theory of contingency. Messeri claims that contingent truths like “Peter denies Jesus” cannot be proved by a finite analysis because predicates like “denies Jesus” are infinitely complex. I argue that infinitely complex predicates appear in some necessary truths, and that some contingent truths have finitely complex predicates. Messeri’s official account is disjunctive: a truth is contingent just in case either it contains an (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Leibniz’s Principle of Identity of Indiscernibles. [REVIEW]Stephen Steward - 2015 - The Leibniz Review 25:105-119.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • Leibniz’s Formal Theory of Contingency.Jeffrey McDonough & Zeynep Soysal - 2018 - History of Philosophy & Logical Analysis 21 (1):17-43.
    This essay argues that, with his much-maligned “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 meta-logical discoveries. The third section argues that Leibniz’s logical insights initially make his “infinite (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • Logic Through a Leibnizian Lens.Craig Warmke - 2019 - Philosophers' Imprint 19.
    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 first-order 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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation