Chapter

The Local Conception of Mathematical Evidence: Proof, Computation, and Logic

Michael D. Resnik

in Mathematics as a Science of Patterns

Published in print December 1999 | ISBN: 9780198250142
Published online November 2003 | e-ISBN: 9780191598296 | DOI: http://dx.doi.org/10.1093/0198250142.003.0008
 The Local Conception of Mathematical Evidence: Proof, Computation, and Logic

Show Summary Details

Preview

The fact that mathematics is ordinarily practised as an autonomous science with its own, peculiar type of evidence constituted mainly by deductive reasoning (proofs and computations) is often taken as evidence that mathematics and science have specifically different evidential supports and specifically different subject matters. I argue against this conclusion by first analysing deductive proofs, and the type of evidence that is usually required for axioms, and claiming that most of the evidence for the most elementary and fundamental parts of mathematics is empirical. I then appeal to the role of computation to argue that non‐deductive inference from empirical premises is part of the contemporary methodology of mathematics, and so some of our proofs turn out not to be purely logical deductions. Finally, I discuss the relation between mathematics and logic and argue against logical realism by denying that statements attributing logical properties or relations are true independently of our holding them to be true, our psychology, our linguistic and inferential conventions, or other facts about human beings. In the end, both mathematics and logic turn out to be a priori only in the sense that some mathematical and logical truths are obtained through deductive proofs, and for pragmatic reasons, are insulated from experience; but neither mathematics nor logic are a priori in the sense of being immune to empirical revision.

Keywords: a priori; axioms; computation; deduction; deductive reasoning; empirical; inference; logic; logical realism; mathematics; proof; revision

Chapter.  14811 words. 

Subjects: Philosophy of Mathematics and Logic

Full text: subscription required

How to subscribe Recommend to my Librarian

Buy this work at Oxford University Press »

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.