Poincaré vs. Russell on the rôle of logic in mathematicst

Philosophia Mathematica 1 (1):24-49 (1993)
  Copy   BIBTEX


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.



    Upload a copy of this work     Papers currently archived: 84,292

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

Mathematical logic.Heinz-Dieter Ebbinghaus - 1996 - New York: Springer. Edited by Jörg Flum & Wolfgang Thomas.
Poincaré against the logicians.Michael Detlefsen - 1992 - Synthese 90 (3):349 - 378.
Russell's completeness proof.Peter Milne - 2008 - History and Philosophy of Logic 29 (1):31-62.
The mathematical philosophy of Giuseppe peano.Hubert C. Kennedy - 1963 - Philosophy of Science 30 (3):262-266.
Poincaré: Mathematics & logic & intuition.Colin Mclarty - 1997 - Philosophia Mathematica 5 (2):97-115.


Added to PP

78 (#175,085)

6 months
1 (#510,180)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Michael Detlefsen
Last affiliation: University of Notre Dame

References found in this work

The Foundations of Science.G. B. Halsted - 1914 - Journal of Philosophy, Psychology and Scientific Methods 11 (12):333-334.
Les Mathématiques et la Logique. [REVIEW]W. H. Sheldon - 1906 - Journal of Philosophy, Psychology and Scientific Methods 3 (9):246-248.

Add more references