Are the traditional philosophies of mathematics really incompatible?
type: Item
instance of: scholarly article
title: Are the traditional philosophies of mathematics really incompatible?
zbMATH Open document ID: 0803.03002
DOI: 10.1007/BF03026617
published in: The Mathematical Intelligencer
publication date: 1994-05-10T00:00:00Z
review text: The paper argues that a view entitled `constructive nominalism' shows that (at least ``moderate'' versions of) the traditional foundationalist schools in the philosophy of mathematics (intuitionism, logicism, platonism and nominalism) are compatible. Constructive nominalism identifies truth with what holds in a certain topos, essentially, the finite-type category generated by certain linguistic terms. (For details, see the author and \textit{P. J. Scott}: Introduction to higher order categorical logic (1986; Zbl 0596.03002).) The view is an interesting one in its own right, and certainly includes some of the aspects of each traditional view; but it would seem to sacrifice central planks of each (as the paper -- mostly -- points out), and so cannot demonstrate their compatibility. (i) Though the mathematics delivered is intuitionist, a good deal more is required for non-elementary intuitionist mathematics. (ii) Against logicism, the natural numbers cannot be defined, but numerals have to be taken as primitive. (iii) The central claim of platonism, that mathematical structures are mind-independent, hardly seems to be respected: such mind-dependence would seem to entail both the law of excluded middle and the omega completeness of arithmetic, both of which fail in the construction. (iv) Finally, though the ontology of the theory is linguistic, the items would appear to be types, not tokens, and so traditional nominalism is not respected.
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 00A30
Mathematics Subject Classification ID: 18B25
zbMATH DE Number: 566369
zbMATH Keywords: intuitionism
zbMATH Keywords: philosophy of mathematics
zbMATH Keywords: logicism
zbMATH Keywords: platonism
zbMATH Keywords: nominalism
zbMATH Keywords: truth
zbMATH Keywords: topos
zbMATH Keywords: finite-type category
reviewed by: Graham Priest
MaRDI profile type: Publication
cites work: Elementary Particles in a Finite World Geometry
cites work: Completeness in the theory of types
cites work: The happy formalist
cites work: Q5571677
cites work: Q4040058
cites work: Q5812175
cites work: Q3803296
cites work: Q3727946
cites work: Adjointness in Foundations
cites work: Q3818261
cites work: Sixty years after Gödel
cites work: The L. E. J. Brouwer Centenary Symposium. Proceedings of the Conference held in Noordwijkerhout, 8--13 June, 1981
cites work: The war of the frogs and the mice, or the crisis of the Mathematische Annalen
Recommended article: Q3727946
Recommended article: Q3342573
Recommended article: Q3527483
Recommended article: La logique des topos
Recommended article: Q3605745
Recommended article: Q4511157
Recommended article: Q3527484
Recommended article: Category theory based on combinatory logic
Recommended article: Q5869563
author: J. Lambek
description: scientific article; zbMATH DE number 566369