The Leibniz Review 22:9-36 (2012)

Giovanni Merlo
University of Geneva
According to Leibniz’s infinite-analysis account of contingency, any derivative truth is contingent if and only if it does not admit of a finite proof. Following a tradition that goes back at least as far as Bertrand Russell, several interpreters have been tempted to explain this biconditional in terms of two other principles: first, that a derivative truth is contingent if and only if it contains infinitely complex concepts and, second, that a derivative truth contains infinitely complex concepts if and only if it does not admit of a finite proof. A consequence of this interpretation is that Leibniz’s infinite-analysis account of contingency falls prey to Robert Adams’s Problem of Lucky Proof. I will argue that this interpretation is mistaken and that, once it is properly understood how the idea of an infinite proof fits into Leibniz’s circle of modal notions, the problem of lucky proof simply disappears
Keywords Leibniz  infinite analysis  complexity
Categories No categories specified
(categorize this paper)
ISBN(s) 1524-1556
DOI 10.5840/leibniz2012222
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Add more references

Citations of this work BETA

Logic Through a Leibnizian Lens.Craig Warmke - 2019 - Philosophers' Imprint 19.
Leibniz’s Formal Theory of Contingency.Jeffrey McDonough & Zeynep Soysal - 2018 - History of Philosophy & Logical Analysis 21 (1):17-43.
Messeri on the Lucky Proof.Stephen Steward - 2017 - The Leibniz Review 27:21-30.

Add more citations

Similar books and articles


Added to PP index

Total views
156 ( #74,203 of 2,499,776 )

Recent downloads (6 months)
29 ( #30,225 of 2,499,776 )

How can I increase my downloads?


My notes