Infinite analysis, lucky proof, and guaranteed proof in Leibniz

Download Edit this record How to cite View on PhilPapers
Abstract
According to one of Leibniz's theories of contingency a proposition is contingent if and only if it cannot be proved in a finite number of steps. It has been argued that this faces the Problem of Lucky Proof , namely that we could begin by analysing the concept ‘Peter’ by saying that ‘Peter is a denier of Christ and …’, thereby having proved the proposition ‘Peter denies Christ’ in a finite number of steps. It also faces a more general but related problem that we dub the Problem of Guaranteed Proof . We argue that Leibniz has an answer to these problems since for him one has not proved that ‘Peter denies Christ’ unless one has also proved that ‘Peter’ is a consistent concept, an impossible task since it requires the full decomposition of the infinite concept ‘Peter’. We defend this view from objections found in the literature and maintain that for Leibniz all truths about created individual beings are contingent
Keywords
No keywords specified (fix it)
Categories
(categorize this paper)
PhilPapers/Archive ID
LODIAL
Revision history
First archival date: 2011-06-09
Latest version: 1 (2015-11-21)
View upload history
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
Leibniz and the Necessity of the Best Possible World.Martin Pickup - 2014 - Australasian Journal of Philosophy 92 (3):507-523.

Add more citations

Added to PP index
2011-06-06

Total views
424 ( #9,320 of 47,276 )

Recent downloads (6 months)
42 ( #19,272 of 47,276 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.