Abstract
This article was written jointly by a philosopher and a mathematician. It has two aims: to acquaint mathematicians with some of the philosophical questions at the foundations of their subject and to familiarize philosophers with some of the answers to these questions which have recently been obtained by mathematicians. In particular, we argue that, if these recent findings are borne in mind, four different basic philosophical positions, logicism, formalism, platonism and intuitionism, if stated with some moderation, are in fact reconcilable, although with some reservations in the case of logicism, provided one adopts a nominalistic interpretation of Plato's ideal objects. This eclectic view has been asserted by Lambek and Scott (LS 1986) on fairly technical grounds, but the present argument is meant to be accessible to a wider audience and to provide some new insights.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Barr, M.: 1986, ‘Fuzzy Set Theory and Topos Theory’, Can. Math. Bull. 29, 501–508.
Bell, J. L.: 1988, Toposes and Local Set Theories, Oxford Logic Guides 14, Clarendon Press, Oxford.
Benacerraf, P. and H., Putnam (eds.): 1984, Philosophy of Mathematics: Selected Readings, 2nd edn., Cambridge University Press, Cambridge Massachusetts.
Bishop, E.: 1967, Foundations of Constructive Analysis, McGraw-Hill, New York.
Buszkowski, W. et al. (eds.): 1988, Categorial Grammar, John Benjamins, Amsterdam.
Couture, J.: 1985, Analyticité et complétude, Cahiers d'épistémologie, Dépt. de philosophie de UQAM 8510, also in R. Nadeau (ed.), Contingence et Raison, Vrin-Bellarnin (to appear).
Couture, J.: 1989, ‘Are Substitutional Quantifiers a Solution to the Problem of Elimination of Classes in Principia Mathematica?’, in I., Winchester and K., Blackwell (eds.), Antinomies and Paradoxes, McMaster University Press, Hamilton.
Curry, H.: 1963, Foundations of Mathematical Logic, McGraw-Hill, New York.
Girard, J. Y.: 1987, ‘Linear Logic’, J. Theoretical Computer Science 50, 1–102.
Goldblatt, R. 1979, Topoi, the Categorial Analysis of Logic, Studies in the Foundations of Mathematics 98, North-Holland, Amsterdam.
Goodstein, R. L.: 1970, Recursive Number Theory, Academic Press, New York.
Hintikka, J.: 1969, The Philosophy of Mathematics, Oxford University Press.
Kleene, S. C.: 1952, Introduction to Metamathematics, Van Nostrand Reinhold, New York.
Kripke, S.: 1976, ‘Is There a Problem about Substitutional Quantification?’, in Evans and MacDowell (eds.), Truth and Meaning, Clarendon Press, Oxford, pp. 325–419.
Lambek, J. and P. J., Scott: 1986, Introduction to Higher Order Categorical Logic, Cambridge University Press, Cambridge.
Lawvere, F. W.: 1975, ‘Continuously Variable Sets: Algebraic Geometry = Algebraic Logic’, in H. E., Rose and J. C., Sheperdson (eds.), Proc. A.S.L. Logic Coll. Bristol, 1974, North-Holland Publishers Amsterdam pp. 135–156.
Martin-Löf, P.: 1984, Intuitionistic Type Theory, Bibliopolis, Naples.
Prawitz, D.: 1965, Natural Deduction, Almquist and Wiksell, Stockholm.
Quine, W.: 1958, Mathematical Logic, Harvard University Press, Cambridge Mass.
van, Heijenoort, J. (ed.): 1967, From Frege to Gödel, Harvard University Press, Cambridge Massachusetts.
Goodman, N. D.: 1978, ‘Mathematics as an Objective Science’, Amer. Math. Monthly 86, 540–555.
Kneale, W. and M., Kneale: 1971, The Development of Logic, Oxford University Press, Oxford.
Lambek, J.: 1989, ‘On the Sheaf of Possible Worlds’, in J., Adamek and S., Mac Lane (eds.), Categorial Topology, World Scientific, Singapore.
MacLane, S.: 1981, ‘Mathematical Models: A Sketch for the Philosophy of Mathematics’, Amer. Math. Monthly 88, 462–472.
Russell, B. and A. N., Whitehead: 1910–1913, Principia Mathematica I–III, Cambridge University Press, Cambridge.
Tait, W. W.: 1986, ‘Truth and Proof: the Platonism of Mathematics’, Synthese 69, 341–370.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Couture, J., Lambek, J. Philosophical reflections on the foundations of mathematics. Erkenntnis 34, 187–209 (1991). https://doi.org/10.1007/BF00385720
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/BF00385720