A.c. Paseau
Oxford University
Mathematicians do not claim to know a proposition unless they think they possess a proof of it. For all their confidence in the truth of a proposition with weighty non-deductive support, they maintain that, strictly speaking, the proposition remains unknown until such time as someone has proved it. This article challenges this conception of knowledge, which is quasi-universal within mathematics. We present four arguments to the effect that non-deductive evidence can yield knowledge of a mathematical proposition. We also show that some of what mathematicians take to be deductive knowledge is in fact non-deductive. 1 Introduction2 Why It Might Matter3 Two Further Examples and Preliminaries4 An Exclusive Epistemic Virtue of Proof?5 Analyses of Knowledge6 The Inductive Basis of Deduction7 Physical to Mathematical Linkages8 Conclusion.
Keywords mathematical proof  mathematical knowledge  mathematical justification  deductive knowledge  non-deductive knowledge  nondeductive knowledge  non deductive knowledge  inductive knowledge  empiricism in mathematics
Categories (categorize this paper)
DOI 10.1093/bjps/axu012
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,214
Through your library

References found in this work BETA

Epistemology and Cognition.Alvin Ira Goldman - 1986 - Cambridge, MA, USA: Harvard University Press.
Knowledge and Its Limits.Timothy Williamson - 2000 - Philosophy 76 (297):460-464.
Knowledge and Its Limits.Timothy Williamson - 2003 - Philosophical Quarterly 53 (210):105-116.

View all 45 references / Add more references

Citations of this work BETA

Groundwork for a Fallibilist Account of Mathematics.Silvia De Toffoli - 2021 - Philosophical Quarterly 7 (4):823-844.
Does Homotopy Type Theory Provide a Foundation for Mathematics?James Ladyman & Stuart Presnell - 2016 - British Journal for the Philosophy of Science:axw006.
Non-Deductive Methods in Mathematics.Alan Baker - 2010 - Stanford Encyclopedia of Philosophy.

View all 10 citations / Add more citations

Similar books and articles

Non-Deductive Logic in Mathematics.James Franklin - 1987 - British Journal for the Philosophy of Science 38 (1):1-18.
Proof-Analysis and Continuity.Michael Otte - 2004 - Foundations of Science 11 (1-2):121-155.
The Surveyability of Long Proofs.Edwin Coleman - 2009 - Foundations of Science 14 (1-2):27-43.
Mathematical Deduction by Induction.Christy Ailman - 2013 - Gratia Eruditionis:4-12.
Proof in Mathematics: An Introduction.James Franklin - 1996 - Sydney, Australia: Quakers Hill Press.
Argumentative Aspects of Indirect Proof.James Gasser - 1992 - Argumentation 6 (1):41-49.


Added to PP index

Total views
180 ( #65,215 of 2,507,651 )

Recent downloads (6 months)
12 ( #63,610 of 2,507,651 )

How can I increase my downloads?


My notes