On the status of proofs by contradiction in the seventeenth century
Synthese 88 (1):15 - 41 (1991)
| Abstract | In this paper I show that proofs by contradiction were a serious problem in seventeenth century mathematics and philosophy. Their status was put into question and positive mathematical developments emerged from such reflections. I analyse how mathematics, logic, and epistemology are intertwined in the issue at hand. The mathematical part describes Cavalieri's and Guldin's mathematical programmes of providing a development of parts of geometry free of proofs by contradiction. The logical part shows how the traditional Aristotelean doctrine that perfect demonstrations are causal demonstrations influenced the reflection on proofs by contradiction. The main protagonist of this part is Wallis. Finally, I analyse some epistemological developments arising from the Cartesian tradition. In particular, I look at Arnauld's programme of providing an epistemologically motivated reformulation of Geometry free of proofs by contradiction. The conclusion explains in which sense these epistemological reflections can be compared with those informing contemporary intuitionism. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJohn W. Dawson Jr (2006). Why Do Mathematicians Re-Prove Theorems? Philosophia Mathematica 14 (3).
Mark McEvoy (2008). The Epistemological Status of Computer-Assisted Proofs. Philosophia Mathematica 16 (3):374-387.
Edwin Coleman (2009). The Surveyability of Long Proofs. Foundations of Science 14 (1-2):27-43.
Kenny Easwaran (2009). Probabilistic Proofs and Transferability. Philosophia Mathematica 17 (3):341-362.
Imre Lakatos (1976). Proofs and Refutations: The Logic of Mathematical Discovery. Cambridge University Press.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads21 ( #58,654 of 548,984 )Recent downloads (6 months)1 ( #63,327 of 548,984 )How can I increase my downloads? |
My notes
Discussion
