David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Philosophia Mathematica 1 (1):24-49 (1993)
In the early years of this century, Poincaré and Russell engaged in a debate concerning the nature of mathematical reasoning. Siding with Kant, Poincaré argued that mathematical reasoning is characteristically non-logical in character. Russell urged the contrary view, maintaining that (i) the plausibility originally enjoyed by Kant's view was due primarily to the underdeveloped state of logic in his (i.e., Kant's) time, and that (ii) with the aid of recent developments in logic, it is possible to demonstrate its falsity. This refutation of Kant's views consists in showing that every known theorem of mathematics can be proven by purely logical means from a basic set of axioms. In our view, Russell's alleged refutation of Poincaré's Kantian viewpoint is mistaken. Poincaré's aim (as Kant's before him) was not to deny the possibility of finding a logical ‘proof’ for each theorem. Rather, it was to point out that such purely logical derivations fail to preserve certain of the important and distinctive features of mathematical proof. Against such a view, programs such as Russell's, whose main aim was to demonstrate the existence of a logical counterpart for each mathematical proof, can have but little force. For what is at issue is not whether each mathematical theorem can be fitted with a logical ‘proof’, but rather whether the latter has the epistemic features that a genuine mathematical proof has.
|Keywords||Poincaré Russell Kant proof role of logical reasoning in proof intuition intuitionism constructivism non-logical character of mathematical proof|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Sébastien Gandon (2009). Toward a Topic-Specific Logicism? Russell's Theory of Geometry in the Principles of Mathematics. Philosophia Mathematica 17 (1):35-72.
Ian J. Dove (2009). Towards a Theory of Mathematical Argument. Foundations of Science 14 (1-2):136-152.
Stephen Pollard (2010). 'As If' Reasoning in Vaihinger and Pasch. Erkenntnis 73 (1):83 - 95.
Similar books and articles
Michael Detlefsen (1992). Poincaré Against the Logicians. Synthese 90 (3):349 - 378.
Peter Milne (2008). Russell's Completeness Proof. History and Philosophy of Logic 29 (1):31-62.
Terry F. Godlove Jr (2009). Poincaré, Kant, and the Scope of Mathematical Intuition. Review of Metaphysics 62 (4):779-801.
Hubert C. Kennedy (1963). The Mathematical Philosophy of Giuseppe Peano. Philosophy of Science 30 (3):262-266.
Ronny Desmet (2008). How Did Whitehead Become Einstein's Antagonist? Process Studies 37 (2):5-23.
David Stump (1991). Poincaré's Thesis of the Translatability of Euclidean and Non-Euclidean Geometries. Noûs 25 (5):639-657.
Colin Mclarty (1997). Poincaré: Mathematics & Logic & Intuition. Philosophia Mathematica 5 (2):97-115.
Added to index2009-01-28
Total downloads42 ( #56,699 of 1,696,514 )
Recent downloads (6 months)1 ( #342,645 of 1,696,514 )
How can I increase my downloads?