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.
Similar content being viewed by others
References
Aristotle: 1975, Posterior Analytics, trans. with notes by Jonathan Barnes, Clarendon Press, Oxford.
Bolzano, B.: 1973, Theory of Science, ed. with an introd. by Jan Berg, English trans. by Burnham Terrell, D. Reidel, Dordrecht.
Detlefsen, M.: 1990, ‘Brouwerian Intuitionism’, Mind 99, 501–34.
Frege, G.: 1884, Die Grundlagen der Arithmetik, in The Foundations of Arithmetic, trans. by J. L. Austin, Basil Blackwell, Oxford [reprint 1950].
Frege, G.: 1893, Grundgesetze der Arithmetik, Vol. I, H. Pohle, Jena.
Frege, G.: 1967, The Basic Laws of Arithmetic. English trans. by M. Furth of parts of Frege 1893, University of California Press, Los Angeles.
Goldfarb, W.: 1988, ‘Poincaré Against the Logicists’, in Kitcher and Aspray, pp. 61–81.
Halsted, G.: 1946, The Foundations of Science, authorized trans. of Poincaré's Science and Hypothesis, The Value of Science, and Science and Method; special preface by Poincaré with introd. by Josiah Royce; The Science Press, Lancaster PA.
Kant, I.: 1974, Logic, English trans. with introd. by R. Hartman and W. Schwarz, Bobbs-Merrill, Indianapolis.
Kant, I.: 1977, Prolegomena to any Future Metaphysics, Carus trans., revised by J. W. Ellington, Hackett, Indianapolis.
Kitcher, P. and W. Aspray (eds.): 1988, History and Philosophy of Modern Mathematics, University of Minnesota Press, Minneapolis.
Leibniz, G.: 1982, New Essays on Human Understanding, trans. and ed. by P. Remnant and Jonathan Bennett, Cambridge University Press, Cambridge.
Poincaré, H.: 1902, La Science et l'hypothèse, Ernest Flammarion, Paris.
Poincaré, H.: 1905, La valeur de la science, Ernest Flammarion, Paris.
Poincaré, H.: 1906, ‘M. Poincaré's Science et hypothèse’, Mind 15, 141–43. (This is a reply to Russell 1905.)
Poincaré, H.: 1908, Science et méthode, Ernest Flammarion, Paris.
Poincaré, H.: 1913, Dernières pensées, Ernest Flammarion, Paris [trans. by J. W. Bolduc as Mathematics and Science: Last Essay, Dover, New York, 1963].
Russell, B.: 1903, The Principles of Mathematics, George Allen and Unwin, London.
Russell, B.: 1905, ‘Review of Science and Hypothesis by H. Poincaré’, Mind 14, 412–18.
Russell, B.: 1906, ‘Rejoinder to Poincaré [1906]’, Mind 15, 143.
Author information
Authors and Affiliations
Additional information
The author would like to thank the Alexander von Humboldt Foundation for its generous financial support. Thanks also to Dick Foley for useful comments on an earlier draft.
Rights and permissions
About this article
Cite this article
Detlefsen, M. Poincaré against the logicians. Synthese 90, 349–378 (1992). https://doi.org/10.1007/BF00500033
Issue Date:
DOI: https://doi.org/10.1007/BF00500033