Archiv für Geschichte der Philosophie 93 (2):222-236 (2011)
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)|
References found in this work BETA
No references found.
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.
Similar books and articles
Leibniz and the Possibility of God's Existence.David Werther - 1996 - Religious Studies 32 (1):37 - 48.
A Tale of Two Thinkers, One Meeting, and Three Degrees of Infinity: Leibniz and Spinoza (1675–8).Ohad Nachtomy - 2011 - British Journal for the History of Philosophy 19 (5):935-961.
Moore's Proof of an External World and the Problem of Skepticism.Charles Landesman - 1999 - Journal of Philosophical Research 24:21-36.
.[author unknown] - unknown
And so On...: Reasoning with Infinite Diagrams.Solomon Feferman - 2012 - Synthese 186 (1):371 - 386.
Proof Theory: A Selection of Papers From the Leeds Proof Theory Programme, 1990.Peter Aczel, Harold Simmons & S. S. Wainer (eds.) - 1992 - Cambridge University Press.
A (Leibnizian) Theory of Concepts.Edward N. Zalta - 2000 - Logical Analysis and History of Philosophy 3:137-183.
Added to index2011-06-06
Total downloads206 ( #18,108 of 2,146,213 )
Recent downloads (6 months)12 ( #56,498 of 2,146,213 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.