On the status of proofs by contradiction in the seventeenth century

Synthese 88 (1):15 - 41 (1991)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Proofs and refutations: the logic of mathematical discovery.Imre Lakatos (ed.) - 1976 - New York: Cambridge University Press.
Probabilistic proofs and transferability.Kenny Easwaran - 2009 - Philosophia Mathematica 17 (3):341-362.
The surveyability of long proofs.Edwin Coleman - 2009 - Foundations of Science 14 (1-2):27-43.
The epistemological status of computer-assisted proofs.Mark McEvoy - 2008 - Philosophia Mathematica 16 (3):374-387.
Essays on the foundations of mathematics.Moritz Pasch - 2010 - New York: Springer. Edited by Stephen Pollard.
Why do mathematicians re-prove theorems?John W. Dawson Jr - 2006 - Philosophia Mathematica 14 (3):269-286.

Analytics

Added to PP
2009-01-28

Downloads
91 (#171,724)

6 months
3 (#439,232)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Paolo Mancosu
University of California, Berkeley

References found in this work

Elements of Intuitionism.Michael Dummett - 1977 - New York: Oxford University Press. Edited by Roberto Minio.
Elements of Intuitionism.Michael Dummett - 1980 - British Journal for the Philosophy of Science 31 (3):299-301.
The Method of Analysis.J. Hintikka & U. Remes - 1977 - Mind 86 (341):133-136.
Problems in the philosophy of mathematics.Imre Lakatos (ed.) - 1967 - Amsterdam,: North-Holland Pub. Co..

View all 19 references / Add more references