Infinite Analysis, Lucky Proof, and Guaranteed Proof in Leibniz
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 &...
| Main Authors: | , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
2011
|