Synthese 90 (3):349 - 378 (1992)

Authors
Michael Detlefsen
University of Notre Dame
Abstract
Poincaré was a persistent critic of logicism. Unlike most critics of logicism, however, he did not focus his attention on the basic laws of the logicists or the question of their genuinely logical status. Instead, he directed his remarks against the place accorded to logical inference in the logicist's conception of mathematical proof. Following Leibniz, traditional logicist dogma (and this is explicit in Frege) has held that reasoning or inference is everywhere the same — that there are no principles of inference specific to a given local topic. Poincaré, a Kantian, disagreed with this. Indeed, he believed that the use of non-logical reasoning was essential to genuinely mathematical reasoning (proof). In this essay, I try to isolate and clarify this idea and to describe the mathematical epistemology which underlies it. Central to this epistemology (which is basically Kantian in orientation, and closely similar to that advocated by Brouwer) is a principle of epistemic conservation which says that knowledge of a given type cannot be extended by means of an inference unless that inference itself constitutes knowledge belonging to the given type.
Keywords Poincaré  Brouwer  constructivism  intuitionism  mathematical proof  the role of logic in mathematical proof  logicism  Russell  rigor  mathematical architecture
Categories (categorize this paper)
DOI 10.1007/BF00500033
Options
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: 58,408
Through your library

References found in this work BETA

The Foundations of Arithmetic.Gottlob Frege - 1953 - Evanston: Ill., Northwestern University Press.
The Basic Laws of Arithmetic.Gottlob Frege - 1893 - Berkeley: University of California Press.
Prolegomena to Any Future Metaphysics.Immanuel Kant - 2007 - In Elizabeth Schmidt Radcliffe, Richard McCarty, Fritz Allhoff & Anand Vaidya (eds.), Journal of Philosophy. New York: Blackwell. pp. 507-508.

View all 15 references / Add more references

Citations of this work BETA

Why Do We Prove Theorems?Yehuda Rav - 1999 - Philosophia Mathematica 7 (1):5-41.
Mathematical Inference and Logical Inference.Yacin Hamami - 2018 - Review of Symbolic Logic 11 (4):665-704.
Towards a Theory of Mathematical Argument.Ian J. Dove - 2009 - Foundations of Science 14 (1-2):136-152.
Towards a Theory of Mathematical Argument.Ian J. Dove - 2013 - In Andrew Aberdein & Ian J. Dove (eds.), Foundations of Science. Springer. pp. 291--308.
Henri Poincaré.Gerhard Heinzmann - forthcoming - Stanford Encyclopedia of Philosophy.

View all 16 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
134 ( #73,927 of 2,420,735 )

Recent downloads (6 months)
3 ( #249,026 of 2,420,735 )

How can I increase my downloads?

Downloads

My notes