Reference to numbers in natural language
- First Online:
- Cite this article as:
- Moltmann, F. Philos Stud (2013) 162: 499. doi:10.1007/s11098-011-9779-1
- 245 Views
A common view is that natural language treats numbers as abstract objects, with expressions like the number of planets, eight, as well as the number eight acting as referential terms referring to numbers. In this paper I will argue that this view about reference to numbers in natural language is fundamentally mistaken. A more thorough look at natural language reveals a very different view of the ontological status of natural numbers. On this view, numbers are not primarily treated abstract objects, but rather ‘aspects’ of pluralities of ordinary objects, namely number tropes, a view that in fact appears to have been the Aristotelian view of numbers. Natural language moreover provides support for another view of the ontological status of numbers, on which natural numbers do not act as entities, but rather have the status of plural properties, the meaning of numerals when acting like adjectives. This view matches contemporary approaches in the philosophy of mathematics of what Dummett called the Adjectival Strategy, the view on which number terms in arithmetical sentences are not terms referring to numbers, but rather make contributions to generalizations about ordinary (and possible) objects. It is only with complex expressions somewhat at the periphery of language such as the number eight that reference to pure numbers is permitted.
KeywordsNumbersAbstract objectsTropesFregeReferential termsAdjectival StrategyAbstraction
The number of planets is eight.
In this paper, I will argue that this view about reference to numbers in natural language is fundamentally mistaken. Natural language presents a very different view of the ontological status of natural numbers. On this view, numbers are not primarily abstract objects, but rather ‘aspects’ of pluralities of ordinary objects, namely number tropes, a view that in fact appears to have been the Aristotelian view of numbers. Natural language moreover provides support for another view of the ontological status of numbers, on which natural numbers do not act as entities, but rather have the status of plural properties, the meaning of numerals when acting like adjectives. This view matches contemporary approaches in the philosophy of mathematics of what Dummett called the Adjectival Strategy, the view on which number terms in arithmetical sentences are not terms referring to numbers, but rather make contributions to generalizations about ordinary (and possible) objects. It is only with complex expressions somewhat at the periphery of language that reference to pure numbers is permitted.
More specifically, I will argue that while the number of planets is in general a referential term, it is not a term referring to a number—and in fact in the particular context of (1) it is not a referential term at all. When occurring as a referential term, the number of planets does not refer to an abstract object, but rather to a number trope, the instantiation of a number property in a plurality of objects such as the property of being eight in the plurality of the planets.
I will also present some semantic and syntactic evidence that numerals like eight are not really referential terms at all, even though they may occur in apparently referential position and fulfil standard (Fregean or Neo-Fregean) criteria for referential terms. Numerals behave in a number of respects differently from truly referential terms such as the number eight, that is, explicit number-referring terms. Numerals are better considered quasi-referential terms. As a quasi-referential term, a numeral has the syntactic status of a full noun phrase, but it retains the semantic value it has when acting as a determiner or noun modifier. While this view coincides with that of Hofweber (2005a), the motivations are new, and unlike in Hofweber (2005a), numerals are sharply distinguished semantically from explicit number-referring terms like the number eight as well as terms like the number of planets.
English does have terms referring to pure numbers, namely explicit number-referring terms like the number eight. The entity that the number eight refers to appears to have a derivative ontological status, though, going along with the compositional semantics of the complex term. In the number eight, eight occurs nonreferentially and number itself, I will argue, is not a mere sortal but has a reifying function, introducing a pure number on the basis of the role of the numeral in arithmetical contexts.
This paper not only argues against the Fregean view according to which terms like the number of planets and numerals are number-referring terms; it also undermines the linguistic motivation for Frege’s specific view of pure numbers. Frege took the form of number-referring terms like the number of planets to be indicative of the nature of pure numbers. For Frege, the number of in the construction the number of planets expresses a function that applies to a concept (denoted by planets) and maps it onto a pure number. It appears that natural language reflects a very different view of the nature of numbers. On the one hand, natural language reflects an older notion of abstraction, according to which numbers are abstractions from pluralities of objects (number tropes). At the same time, natural language treats numerals, with their adjectival meanings, as quasi-referential terms and thus reflects the Adjectival Strategy.
I will first focus on number tropes as referents of terms like the number of planets and discuss certain other, question-related uses of such terms, as in fact in (1). I then present some new linguistic observations about simple numerals and indicate how the ‘Adjectival Strategy’ can be applied to the semantics of natural language. Finally, I will outline an account of explicit number-referring terms like the number eight and the ontology that they, as I will argue, go along with.
1 The number of planets and number tropes
1.1 The number of planets as a referential, but not a number-referring term
At least since Frege (1884), it has been taken for granted that terms like the number of planets are referential terms referring to numbers. Let me call such terms ‘the number of-terms’. It was Frege’s view that since the number of-terms are referential terms, they must have the function of standing for objects, and since Frege thought that only numbers could be the right objects of reference, numbers are objects.1
I will argue that in many (though not all) contexts, the number of planets has indeed the status of a referential term, but it does not refer to a pure number. Rather it refers to a number trope, a particularized property which is the instantiation of a number property (the property of being eight) in a plurality (the plurality of the planets).
Let me make a few remarks about tropes in general. Tropes are generally characterized as ‘particularized properties’. They are particulars just like the individuals that are their bearers; yet they also play the role of properties: they constitute one aspect of an individual, in abstraction from all the other properties the individual may have (hence they are ‘abstract particulars’, to use Campbell’s (1990) term).2 Tropes have also been viewed as the instances of properties. Given that view, two tropes that instantiate the same property are similar or exactly similar—the latter in case the property is ‘natural’.3 Standard examples of tropes are those that are instances of qualitative properties, such as ‘Socrates’ wisdom’ or ‘the redness of the apple’. If the apple and the tomato are both red, then there are two tropes, ‘the redness of the apple’ and ‘the redness of the tomato’, which are similar; if the apple exhibits the very same shade of redness as the tomato, then the redness of the apple and the redness of the tomato are exactly similar. Alternatively, properties themselves may be identified with classes of similar or exactly similar tropes (Williams 1953; Campbell 1990). Tropes are ontologically dependent on their bearer: in general two tropes are identical only if they have the same bearer, and a trope can exist in a world at a time only if its bearer exists in the world at the time. Two tropes are identical just in case they are exactly similar and have the same bearer. There are also relational tropes, such as the love of John toward Mary. Moreover there are tropes that have pluralities as bearers, for example the love among the people or the similarity among the proposals.
A number trope differs from standard examples of tropes in that it is a quantitative trope, in fact a quantitative trope whose bearer is a plurality. Other quantitative tropes are, for example, John’s weight, Mary’s height, the amount of water in the container, or the direction of the line.4 Psychologically speaking, a number trope involves abstracting from all the qualitative aspects of a plurality and attending to just how many individuals the plurality consists in. Ontologically speaking, a number trope is that particular feature of a plurality that exactly matches that of any equally numbered plurality.
A range of semantic evidence indicates that noun phrases of the sort the number of planets (the number of-terms for short) do not refer to pure numbers, but rather to number tropes. Not all occurrences of the number of-terms are referential terms referring to tropes, though.
First of all, the number of-terms can be used as terms referring to entities with ‘variable manifestations’ (as different tropes in different circumstances).
a. John kissed a great number of babies.
b. John made a small number of mistakes.
Mary counted the number of mistakes she had made.
a. The number of women is small.
b. The number eight is small.
1.2 Predicates of causation and perception
John noticed the number of the women / ?? the number fifty.7
a. The number of infections / ?? The number ten caused Mary’s immune system to break down.
b. John’s outbursts of anger were the cause of the high number of complaints / ?? the number twenty.
a. John noticed Mary’s height.
b. Mary’s weight caused the bream to break.
One might try to maintain the view that the number of-terms stand for pure numbers by appealing to a secondary use of such terms as ‘concealed facts’, descriptions that instead of referring to their usual referent refer to suitable facts corresponding to the description (Grimshaw 1997). Facts after all can be ‘noticed’ and can enter relations of causal explanation (if not perhaps relations of causal explanation). However, such an account could not give justice to the number of-terms in general, as I will discuss in the next section, in particular the way the referents of the number of-terms can be evaluated quantitatively, display particular identity or similarity conditions, and can undergo mathematical operations or have mathematical properties.
Another common criterion for concreteness is that of being located in space and time. Spatio-temporal location is a problematic criterion of concreteness for number tropes, however—as it is in fact for tropes in general.8 A location in time as well as a temporal extension can perhaps be attributed to qualitative tropes (as in John’s happiness today, John’s happiness lasted only two years). But attributing a spatial extension or location to tropes is quite problematic. The length of the table’s blackness is hardy possible and so for the table’s blackness in the room or the stone’s heaviness on the table. Similarly, the location of the number of Mary’s children is impossible, as is the number of children in the garden on an understanding on which in the garden modifies number, rather than children. Also other predicates involving spatial relations are hardly applicable to number tropes (??? the parents surrounded the number of children). Tropes are ontologically dependent on a bearer which itself may be located and extended in space, but it appears that tropes are not themselves located or extended in space.
1.3 Evaluative predicates
a. The number of women exceeds / equals the number of men.
b. ?? The number fifty exceeds / equals the number forty.
c. The women exceed / equal the men in number.
a. The number of animals is negligible / significant.
b. The animals are negligible / significant in number.
c. ?? The number 10 is negligible / significant. (different understanding of the predicate).
a. The number of deaths is high / low.
b. The deaths are high / low in number.
c. ??? The number ten is high / low.
a. The number of women is unusual.
b. The number fifty is unusual.
a. John compared the number of women to the number of men.
b. John compared the number fifty to the number forty.
a. The women are unusual in number.
b. John compared the women to the men in number.
a. John’s height exceeds Mary’s height.
b. John exceeds Mary in height.
c. ? Two meters exceed one and a half meters.
1.4 Number tropes
They may have properties of perception and causation as long as the corresponding plurality consists of concrete entities.
They share properties of neutral evaluation with the corresponding plurality when ascribed to the latter with the qualification ‘in number’.
John’s anger is the same as Mary’s anger.
a. John’s weight is the same as Mary’s.
b. The number of women is the same as the number of men.
a. John’s weight is identical to Mary’s weight.
b. The number of women is identical to the number of men.
a. ?? John’s anger is Mary’s anger.
b. ?? John’s weight is Mary’s weight.
c. ?? The number of women is the number of men.
1.5 The semantics of number trope terms
For the semantics of number trope terms, it is important to distinguish a relational noun number as it occurs in the number of-terms from the homophonic nonrelational noun as it occurs in explicit number-referring terms such as the number eight.12
There are two fundamentally different approaches to plurals, which go along with two different ways of conceiving of number tropes. On the first approach, plurals are taken to refer to single entities which are collections of some sort, for example mereological sums or sets. Let me call this the reference-to-a-plurality view. The alternative to taking pluralities to be single objects of reference is to analyse plural terms as referring plurally to various individuals at once (Booles 1984; Yi 1998, 1999, 2006; Oliver and Smiley 2004). Let me call this the plural-reference view. On the plural-reference view, the children plurally refers to the various individual children at once.
On the reference-to-a plurality view, there are no entities that are ‘pluralities’; thus when using the term ‘plurality’ in discussing that view, I will simply mean all the referents of a plurally referring term.
What is the semantic status of numerals like two? Two can occur as what looks like a quantifier as in two children as well as in the function of an adjectival modifier as in the two children. In the latter case, two obviously expresses a property of pluralities, and this property can also be used to analyse two in the other function, by adding an existential quantifier ranging over pluralities of ‘two’.
For individuals ww,
two(ww) = 1 iff ∃x∃y(x ≤ ww & y ≤ ww & x ≠ y → ∀z(z ≤ ww → z = x v z = y)).
The two views of plural terms, reference to a plurality and plural reference, correspond to two different ways of conceiving of number tropes. On the first conception, number tropes have a single collective entity as their bearer and are instances of properties of collective entities. On such a view, the number of planets stands for the instantiation of the property of having eight members in the collection that consists of all the planets. On the second conception, number tropes have one or more bearers and instantiate a property that can hold of several individuals at once, that is, a plural property. On that view, the number of planets stands for the instantiation of the plural property that holds of eight and only of eight individuals at once.
a. John compared his children.
b. ?? John compared the set (sum / collection) of his children.
a. John counted his children.
b. ?? John counted the set (sum / collection) of his children.
a. the number of children
b. ?? the number of the set (sum / collection) of children
For entities dd, number(dd) = f(P, dd) for some number property P such that P(dd).
In some languages, ‘the number of’ is followed by a definite plural (or a specific indefinite), for example in German (die Anzahl der Planeten / * von Planeten ‘the number of the planets / of planets’). In English, though, the number of is not followed by a standard plural term, that is, a definite plural NP, but rather by a bare (that is, determiner-less) plural. While there are different views about the semantic function of bare plurals, it is generally agreed that bare plurals can act as kind-referring terms (as in lions are rare) (Carlson 1977). Kind terms in fact might themselves be considered plurally referring terms, referring plurally to the various instances in the various possible circumstances at once. Some predicates such as rare will then take into account actual and possible instances, while in other contexts (such as that of the functor the number of or the predicate kill) only actual instances will matter (that is, the same entities that a definite plural noun phrase such as the lions would refer to).
[the number of planets]w,i = [number](P, [planets]w,i), for some number property P that holds of [planets]w,i.
1.6 Functional number trope terms
a. The beauty of the landscape has changed.
b. The amount of corruption in this administration has become more noticeable.
a. The number of students has changed.
b. the increasing number of students
a. The number of students is getting higher and higher.
b. The number of teachers sometimes exceeds the number of students.
c. The increasing number of students causes problems for the current availability of class rooms.
The functional use of trope terms is in fact just a case of the functional use of functional descriptive NPs more generally. Thus, thepresident of the US can be used to refer to a function-like entity that manifests itself as different individuals at different times (in sentences such as the president of the US is elected every four years).
There are two possible views regarding the ontological status of the semantic values of such functionally used terms. First, following Montague (1973), they may be viewed as higher-level semantic values, intensions of the non-functional use of the term or individual concepts, and thus in the case of (24a, b) and (25a, b) functions from times (and perhaps worlds) to tropes.16 Alternatively, they may be viewed as entities sui generis, entities that manifest themselves as possibly different tropes at different times, just as individuals have different material manifestations at different times.
a. the constancy of the number of students
b. the impact of the increasing number of students
1.7 Intensional number trope terms
a. the number of people that fit into the car
b. the number of books John has to write
c. the number of assistants John needs
d. the number of screws that are missing
Mary counted the number of screws that are missing.
a. The number of people that fit into the bus exceeds / equals the number of people that fit into the car.
b. The people that fit into the bus exceed / equal the people that fit into the car in number.
a. John compared the number of books Mary wants to write to the number of books Sue wants to write.
b. John compared the books Mary wants to write to the books Sue wants to write in number.
a. The number of people that fit into the bus is high.
b. The number of screws that are missing is negligible.
a. Mary noticed the number of screws that are missing.
b. The number of people that would fit into the car astonished Mary.
c. The number of screws that were missing caused the door to fall off.
a. The number of women in the room is the same as the number of men in the room.
b. ?? The number of women in the room is the number of men in the room.
a. The number of books Mary wants to write is the same as the number of books Sue wants to write
b. ?? The number of books Mary wants to write is the number of books Sue wants to write.
a. the height of the desk John needs
b. the length of the time John might be away
a. the originality of the book John wants to write
b. the simplicity of the dress Mary needs for the occasion
a. Mary was astonished at the length of the time John might be away.
b. The height of the desk John needs exceeds by far the height of the desk John is using right now.
The elegance of the dress that the bridesmaid needs should not exceed the elegance of the dress that the bride will wear.
a. The number of books John wants to write is constantly changing.
b. The number of books that we need is increasing every day.
c. The number of screws that are missing becomes more and more noticeable.
But how can intensional terms refer to tropes when there is no actual bearer? Note that the bearer could not be an intentional object (or a collection of them). Intentional objects may be the arguments of verbs like think about, plan, or want, but no intentionality is involved with predicates like is missing or need. Intensional verbs arguably take intensional quantifiers arguments (Montague 1973; Moltmann 1997), not intentional ‘objects of thought’.
a. The book John has to write will have to be 200 pages long.
b. The desk John needs does not have to be very high.
1.8 Mathematical operations on number tropes
Number tropes have not only the kinds of properties that are characteristic of tropes in general. They also have certain kinds of mathematical properties, even though they do not display the full range of mathematical behavior that pure numbers display. I will argue that the more limited range of mathematical properties of number tropes (in contrast to pure numbers) follows from the nature of number tropes, as tropes that have pluralities as bearers.17
a. Mary was puzzled by the uneven / even number of guests.
b. Given the only finite number of possibilities,…
c. John pointed out the infinite number of possibilities.
??? the natural / rational / real number of women
a. ??? the successor / predecessor / root / exponent of the number of planets
b. ??? the smallest common denominator of the number of men and the number of women
a. the sum of the number of men and the number of women
b. The number of children plus the number of adults is more than a hundred.
What distinguishes the mathematical predicates or functors that are applicable to number tropes from those that are not? To answer this question, it suffices to think of the kinds of mathematical properties pluralities of objects can have and the kinds of operations that can apply to them.
First of all, there is a sense in which pluralities can be even or uneven: to see whether a plurality is even or uneven, it just needs to be checked whether or not the plurality can be divided into two equal subpluralities. Similarly, in order to see whether a plurality is finite or infinite it simply needs to be seen whether or not a 1–1 mapping can be established from the members of the plurality onto the members of a proper sub-plurality of the plurality. A number trope will then be even, uneven, finite, or infinite simply because the plurality that is its bearer is. We can then state the following generalization: a mathematical predicate is applicable to one or more number tropes just in case its application conditions can be formulated in terms of hypothetical operations on the pluralities that are the bearers of the number tropes.
Addition of Number Tropes
For two number tropes t and t′, sum(t, t′) = f(P, dd) for individuals dd such that ∀d(d ≤ dd ↔ d ≤ ee v d ≤ ff) and some number property P such that P(dd), provided that ¬∃d(d ≤ ee & d ≤ ff) for individuals ee such that t = f(P1, ee) and individuals ff such that t′ = f(P2, ff), for number properties P1 and P2.
Why isn’t the successor function applicable to number tropes? The reason is simply that the successor function cannot be viewed as an operation on concrete pluralities. The successor function as a function applying to a concrete plurality would require adding an entity to the plurality. However, given a ‘normal’ universe, there is not just one single object that could be added, but rather there are many choices as to what object could be added to the plurality to yield its successor. Thus, no uniqueness is guaranteed, which means as an operation on pluralities, the successor function is just not a function. Similar considerations rule out the predecessor, root, and exponent functions as operations on number tropes.
Condition on arithmetical properties of and functions on number tropes
If P is an n-place arithmetical property of number tropes, then for some n-place property Q of pluralities, for any number tropes t1,…, tn: P(t1,…, tn) iff Q(pp1,…, ppn) for the bearers pp1,…, ppn of t1,…, tn.19
If f is an n-place function on number tropes, then for some n-place function on pluralities g, for any number tropes t1,…,tn : g(pp1,…,ppn) = f(t1,…,tn) for the bearers pp1,…,ppn of t1,…,tn.
What about the predicates natural, rational, and real? These are technical predicates that already at the outset are defined just for the domain of all numbers, rather than only the natural numbers. They will therefore not be applicable to number tropes, which are outside the domain of their application.20
a. John added the number of children to the number of adults, and found there were too many people to fit into the bus.
b. John subtracted the number of children from the number of invited guests.
a. ?? John subtracted the number of planets from the number of invited guests.
b. John subtracted the number of passports from the number of applicants.
a. ?? John divided the number of invited guests by the number of planets.
b. John divided the number of invited guests by two.
c. ?? John divided eighteen by the number of invited guests.
John divided the number of invited guests by the number of tables.
a. John doubled the number of invited guests.
b. Three times the number of children can fit into the bus.
John has three times the strength of Mary.
Multiplication of tropes thus proceeds by adding quantitative copies of tropes, an operation that is itself indicated by the expression times. There are two kinds of quantitative copies of tropes: quantitatively equivalent copies of a qualitative trope, as in (53), and copies of a number trope (which is inherently quantitative).
The use of times for the purpose of multiplying number tropes gives further support for the view that the number of-terms do in fact refer to number tropes: number tropes require an additional operation of abstracting measuring units (quantitative copies of a given trope) in order to allow for multiplication.21
a. ??? John subtracted the number ten from the number of children.
b. ??? John added the number twenty to the number of children.
a. John investigated the number 888.
b. John investigated the number of women.
a. the properties / behaviour of the number 888
b. the properties / behaviour of the number of women
Reference to number tropes with their particular arithmetical behavior thus plays a rather important role in natural language. Number tropes hardly figure in contemporary mathematics or philosophy of mathematics; but they recall pre-twentieth-century mathematical writing about quantities (Schubrig 2005). Moreover, if Mayberry (2000, Chap. 2) is correct, then number tropes also correspond well to ancient views of numbers, in particular that of Aristotle (Metaphysics M). For Aristotle, numbers were not special abstract objects, but pluralities viewed ‘in the manner appropriate to mathematicians’, pluralities consisting of normal objects but viewed only ‘qua single countable things’.
Number tropes are particulars that approximate natural numbers. In fact, there is a 1–1 correspondence between natural numbers and classes of number tropes, namely classes of exactly similar number tropes. Thus, 2 corresponds to the class of number tropes instantiating the property of being two. While number tropes are abstractions from pluralities of particulars, the result is still a particular, but one that establishes a new resemblance class of particulars matching a natural number.
One might then ask whether natural language allows for reference to such a resemblance class as a way of referring to a pure number. A class of exactly similar number tropes would hardly be a plausible object of reference for a natural language term, though a kind, that is, a kind of number trope, would. However, while natural language does allow reference to kinds (with terms like lions) and kinds of tropes in particular (with terms like wisdom (Moltmann 2003b)), at least English does not seem to have a device for referring to a kind of number trope.
a. ?? Two is rare.
b. ?? John likes two.
There is another kind of abstraction conceivable by which a natural number could be obtained from a plurality of individuals. It would consist in abstraction from the particularity of the individuals making up the plurality so that the result would be a plurality of ‘pure units’. This would be Cantorian abstraction (see Fine 1998 for a reconstruction and discussion of this notion). Setting aside the problems and limits of Cantorian abstraction itself, one might ask the question whether natural language makes use of Cantorian abstraction to refer to pure numbers. Given Fine’s reconstruction, this would mean that we should find reference to number tropes with ‘arbitrary’ pluralities as bearers. Natural language does not seem to provide any such construction, though, that would make reference to a pure number. The closest one might get is a construction like the number of any three children (where any three children should stand for an arbitrary plurality of three objects), but this does not get close to what the number three refers to. We will see later that the strategy that natural language uses to obtain pure numbers as objects of reference is rather different. This strategy involves a quasi-referential use of numerals, namely in explicit number-referring terms such as the number eight.
1.9 The number of-terms as concealed questions and as subjects of specificational sentences
a. I do not know John’s address.
b. I do not know the number of women.
a. The number of planets is eight.
b. ?? The number of planets is the number eight.
c. ?? Which number is the number of planets?
d. ?? The number of planets is the same number as eight.
a. What John did is kiss himself.
b. What every man is is proud of his son.
c. John’s weight is a hundred kilo.
d. The best player is John.
(59a) clearly can qualify as a specificational sentence, and in fact Higgins (1973), one of the earliest major works on specificational sentences, classifies sentences like (59a) as sentences of this sort.24 Given the question–answer analysis of specificational sentences, the number of planets in (59a) would then not be a referential term standing for an object, but rather would in this context stand for the question ‘how many planets are there?’ or perhaps for the question ‘how many are the planets?’ In both forms of answers, eight can be taken to express a plural property (so that the two answers would have the logical forms ‘∃xx(eight(xx) & planets(xx))’ and ‘eight([the planets])’ respectively). Also eight in (59a) would not be a referential term standing for an object, but rather it would be elliptical for an answer of the sort ‘there are eight planets’, or perhaps ‘The planets are eight’.25,26
I am surprised at the number of women. It was zero.
The next question to address then is, how is the NP the number of planets able to denote a question? It is not obvious how this is possible if the number of planets is a term whose literal denotation is a number trope. Recall, however, that the number of can also have the function of a numeral replacement. With the number of acting as a numeral replacement, a concealed-question analysis becomes straightforwardly available. The number of in the number of planets in (59a) will then the same semantic function as how many, thus naturally allowing for a question-denotation of the right type. (Of course the number of and how many have different syntactic functions, the former serving to form a complex definite NP, the latter a wh-clause.)
What is the biggest problem? That / It certainly is John.
a. Die Zahl der Planeten ist acht. Frueher dachte man, es waeren neun.
‘The number of planets is eight. Before it was thought that it was (plural) nine’.
b. * Die Zahl der Planeten ist acht. Frueher dachte man, sie waere neun.
‘The number of planets (fem) is eight. Before it was thought that she was nine.’
c. Maria ist nicht Susanne, ? sie / *es ist Anna.
‘Mary is not Sue, she / * it is Ann.’
a. John is honest.
b. * Honest is John.
a. Eight is the number of planets.
b. Kiss Mary is what John did.
There are eight planets.
a. The number of bagels I have is five.
b. I have five bagels.
2 Numerals and the Adjectival Strategy
2.1 The Adjectival Strategy
In this section, I will turn somewhat briefly to simple numerals. I will present both theoretical and empirical support for the view that simple numerals retain their meaning as determiners or noun modifiers, rather than referring to abstract objects.
a. Eight women were invited.
b. Eight is divisible by two.
a. The sum of two and six is eight.
b. Eight is the sum of two and six.
c. If eight is divisible by two, then there is something that is divisible by two.
a. Two and two is four.
b. Two things and two things are four things.
c. If there are (were) two things and two other things, then there would be four things.
□ (∃xx∃yy(P1(xx) & P1(yy) & ¬∃z(z ≤ xx & z ≤ yy) → ∀xx∀yy(P1(xx) & P1(yy) & ¬∃z(z ≤ xx & z ≤ yy) → ∃ww(P2(ww) & xx ≤ ww & yy ≤ ww & ¬∃z(z ≤ ww & ¬ z ≤ xx & ¬ z < yy))))
trans(and, is) = λPP′P″[□ (∃xx∃yy(P(xx) & P′(yy) & ¬∃z(z ≤ xx & z ≤ yy) → ∀xx∀yy(P(xx) & P′(yy) & ¬∃z(z ≤ xx & z ≤ yy) → ∃ww(P″(ww) & xx ≤ ww & yy ≤ ww) & ∃z(z ≤ ww & ¬ z ≤ xx & ¬ z ≤ yy)))]
trans(successorof t) = λxx[∃yy ∃z(trans(t)(yy) & ¬z ≤ yy & z < xx & ∀w(w ≤ xx → w = z v w ≤ yy))]
It is clear that if the Adjectival Strategy is applied to natural language, a predicate or expression acting as a functor (or functor + predicate) will have a different meaning with numerals than with referential noun phrases. Thus, natural language predicates and functional expressions that can apply to simple numerals as well as referential noun phrases will be polysemous and have a special, derivative meaning in arithmetical statements involving simple numerals.
2.2 Linguistic evidence for the Adjectival Strategy
The Adjectival Strategy provides a way of analysing simple numerals as contributing not an abstract object to the meaning of a sentence, but rather a plural property, the kind of meaning numerals have when they occur as noun modifiers. In this section, I will present some linguistic support for the Adjectival Strategy applied to simple numerals in natural language—apart from the fact that simple numerals occur both as noun modifiers and as singular terms. One kind of evidence is semantic and concerns restrictions on the predicates with which simple numerals can occur; another kind of evidence, from German, is syntactic, involving differences in the syntactic properties of simple numerals and singular terms. They indicate that the (Neo-)Fregean syntactic criteria for singular terms are not conclusive as to the semantic role of such terms and that a distinction needs to be drawn between ordinary referential terms and what I call quasi-referential terms.
2.2.1 Predicates selecting simple numerals, explicit number-referring terms, or both
The Adjectival Strategy obviously can apply only to mathematical predicates and functors and not to non-mathematical ones: non-mathematical predicates, for example think of or write about, cannot be analysed as contributing logical notions to a formula involving only plural properties and no abstract objects. In fact, it appears that in natural language simple numerals are much less tolerated with non-mathematical predicates. Moreover, the ‘syncategorematic’ meaning of the connective + copula combination is as such not applicable to pure numbers, which again matches the linguistic intuitions.
a. Four is even.
b. The number four is even.
a. John added two to four.
b. John added the number two to the number four.
a. ?? Twelve, which interests me a lot, is an important number in religious and cultural contexts.
b. The number twelve, which interests me a lot, is an important number in religious and cultural contexts.
a. ?? twelve, which I thought about a lot / which God created on the third day / which I like to write my dissertation about / whose significance in geometry is well-known,…
b. the number twelve, which interests me a lot / which God created on the third day / which I like to write my dissertation about / whose significance in geometry is well-known,…
a. Twelve, which is divisible by two, is not a prime number.
b. Twelve, which is smaller than fifteen, is greater than ten.
a. ?? twelve, which is divisible by two, three, four, and six and is very interesting
b. the number twelve, which is divisible by two, three, four, and six and is very interesting
twelve, which is a number that interests me a lot
a. Two and two is four.
b. ?? The number two and the number two is the number four.
a. Two plus two is four.
b. ? The number two plus the number two is the number four.
a. Two times two is four.
b. ? The number two times the number two is the number four.
a. Four minus two is two.
b. ? The number four minus the number two is the number two.
a. ?? The first number and the second number is the third number.
b. ? The first number times the second number is the third number.
c. ? The first number minus the second number is the third number.
a. ?? Two plus two is the same number as four.
b. The number four is the same number as the number four.
a. ?? Four is two and two.
b. ?? Four is two times two.
a. Two plus two makes four.
b. ?? The number two plus the number two makes the number four.
c. ??? Four makes two plus two.
a. John added two to four.
b. John added the number two to the number four.
a. Mary subtracted four from ten.
b. Mary subtracted the number four from the number ten.
To conclude, the acceptability of simple numerals and explicit number-referring terms with the various predicates and functors in natural language appears just like the Adjectival Strategy predicts.
2.2.2 Syntactic evidence for the quasi-referential status of simple numerals
a. Hans wurde weise, was / * das Maria bereits war.
‘John became wise, which Mary already was.’
b. Hans hat die Eigenschaft, weise zu sein, die / * was Maria auch hat.
‘John has the property of being wise, which Mary has too.’
a. zwoelf, was / * das / *? die eine Zahl ist, die mich sehr interessiert, …
‘twelve, which is a number that interests me a lot, …’
b. zwoelf, was / * das / * die durch zwei teilbar ist, …
‘twelve, which is divisible by two, …’
c. die Zahl zwoelf, die / * was durch zwei teilbar ist, …
‘the number twelve, which divisible by two, …’
German provides another test for the non-referentiality of simple numerals, and that is support of plural anaphora (for some reason the data are much less clear in English).
a. Hans addierte zehn und zwanzig. Maria addierte diese Zahlen / ?? sie auch.
‘John added ten and twenty. Mary added them / those numbers too.’
b. Hans addierte die Zahlen zehn und zwanzig. Maria addierte sie auch.
‘John added the numbers ten and twenty. Mary added them too.’
a. John erwähnte, dass Maria weinte und dass Anna lachte. Bill bemerkte das / *sie / diese Tatsachen auch.
‘John mentioned that Mary cried and that Ann laughed. Bill noticed that / them / those facts too.’
b. John erwahnte die Tatsache, dass Maria weinte, und die Tatsache, dass Anna lachte. Bill erwahnte sie auch.
‘John mentioned the fact that Mary cried and the fact that Ann laughed. Bill mentioned them too.’
3 Explicit number-referring terms
Explicit number-referring terms such as the number eight are truly referential NPs referring to objects. Therefore, there is no reason to expect that they should be acceptable with predicates that require non-referential subjects or objects. One question then is: why are at least some mathematical predicates (such as even) acceptable with explicit number-referring terms? More important even is the question, given the non-referential status of simple numerals, what is the ontological status of the pure numbers that explicit number-referring terms make reference to? In what follows, I will give a mere outline of a semantic account of explicit number-referring terms. What guides that account is the linguistic structure and the linguistic properties of explicit number-referring terms, which is taken to be indicative of the nature of pure numbers itself.
The generalizations established in the preceding sections present the following picture of the status of natural numbers in the ontology of natural language. At a primary level, that of basic arithmetical operations on natural numbers, numbers have ‘adjectival status’, as properties of pluralities; they do not occur as objects. At a next level, that of certain one-place mathematical properties as well as agent-related mathematical operations, numbers may still have adjectival status, but also reference to numbers as objects is permitted. Finally, at a third level, that of nonmathematical properties, numbers have the status of objects of reference only.
This picture suggests an account that treats pure numbers on a par with fictional characters. The parallels with fictional characters are in fact striking, given a view of fictional entities such as that of Kripke (1973), Searle (1979), or Van Inwagen (2000). On that view, within the story the author engages only in pretend reference with a given referential term. The story itself attributes certain properties, ‘nuclear’ properties, to the individual the author pretends to refer to with that term. However, reference to a fictional character takes place as soon as properties are predicated externally of the individual the author pretends to refer to within the story. These are properties predicated from outside the context of the story or ‘extranuclear’ properties. ‘Living on Baker Street’ and ‘being a detective’ are nuclear properties of Sherlock Holmes; properties such as ‘being a frequently cited fictional character’ or ‘being created by Sir Arthur Conan Doyle’ are extranuclear properties.39 Nuclear properties can be attributed also to fictional characters, but fictional characters do not really ‘have’ the properties attributed to them in the story (otherwise conflicts may arise with certain extranuclear properties they may have), but rather they ‘hold’ the properties, as Van Inwagen (2000) puts it.
Given the Adjectival Strategy, purely mathematical contexts involve neither reference nor pretend reference to numbers. But the nuclear—extranuclear distinction makes sense for numbers as well: mathematical properties certainly side with nuclear properties on the nuclear—extranuclear distinction, and nonmathematical properties with extranuclear properties. Pure numbers as objects of reference, and only they, allow the attribution of nonmathematical predicates—just as only reference to fictional characters allowed the attribution of extranuclear properties. Pure numbers also can have (or rather ‘hold’) at least certain mathematical properties, namely certain one-place properties as well as agent-related properties.
Fictional characters depend entirely for their existence and identity on the story and its context. However, this does not mean that fictional characters themselves are ‘created’. Rather, as Schiffer (1996) has argued, once the story exists in a world, the fictional character exists there as well, whether or not anyone has conceived of it or referred to it. The same would apply to numbers: once there are the mathematical contexts in which numbers have ‘adjectival status’, numbers as objects can be ‘read off’ those contexts and can act as objects of reference of explicit number-referring terms.40
a. the fictional character Hamlet
b. the number ten
a. the color red
b. the direction north
c. the truth value true
a. Twelve is a number that interests me a lot.
b. Red is a color that I like.
c. North is a direction that we should not take.
d. True is a truth value.
a. ιy [y = trans(number)(trans(twelve), C)]
b. λxC[∃y (y = trans(number)(x, C) & trans(interests me a lot)(y)] (trans(twelve), C)
The remaining question concerning explicit number-referring terms is, why do the pure numbers they refer to have (or rather ‘hold’) some mathematical properties at all, such as ‘being even’? Such properties generally are defined in terms of a mathematical operation, requiring number properties. But since their content (unlike that of plus or times) is derivative with respect to that operation, the definition can equally well be given for pure numbers: the pure number n has (or ‘holds’) a property P just in case the number property corresponding to n plays such and such a role in a particular mathematical operation in terms of which P is defined.
Pure numbers will not obtain all their properties from the corresponding numeral, though. Rather, like fictional characters, they have properties of their own. Some of them may be definable by using the corresponding numeral; others are simply supervenient on the role that the content of the numeral plays in various possible mathematical contexts and in various mathematical and nonmathematical uses of it.
The approach of this paper was to take a closer look at the linguistic data involving natural numbers and to see what sort of ontological view about them natural language presents. The view it presents in fact differs greatly from what philosophers usually take for granted. Natural language does not easily allow for reference to numbers as objects. Rather it allows primarily for reference to number tropes and for a quasi-referential use of numerals, a use on which numerals in ‘referential position’ retain their meaning as noun modifiers. Only the use of the complex syntactic construction of explicit number-referring terms makes reference to pure numbers possible. The latter, I suggested, naturally goes along with an account of numbers treating them like fictional characters, as objects of reference derived from the nonreferential use of numerals in arithmetical contexts.
The paper also has pointed at directions that are of independent interest. First, it has shown the importance of reference to tropes in the semantics of natural language. Second, it has introduced a notion of quasi-referentiality which will have wider applications than just to number-referring terms. Quasi-referential terms require not only a revision of the standard semantics of ‘singular terms’ (or rather the equivalent category in natural language), but also of lexical meaning. With a quasi-referential term a predicate cannot just express a property of objects, but rather it will need to interact in more complex ways with the semantic contribution of the quasi-referential term.
This is a consequence of Frege’s context principle, on one reading of it (Wright 1983; Hale 1987). If an expression has a meaning (‘Bedeutung’) only in the context of a sentence and the contribution of a singular terms to the truth conditions of a sentence is that of reference to an object, then there is no further question that if an expression is in fact a singular term, it refers to an object.
The term ‘trope’ is due to Williams (1953). Other recent references on tropes are Bacon (1995), Campbell (1990), Lowe (2006), and Woltersdorff (1970). Tropes already played an important role as ‘accidents’ or ‘modes’ in ancient philosophy (Aristotle) as well medieval Aristotelian philosophy. They also play an important role in early modern philosophy (Locke, Berkeley, Hume).
For the notion of a quantitative trope see Campbell (1990), who calls such tropes ‘instances of quantities’. On the topic of reference to quantitative tropes in natural language in general see Moltmann (2009).
See Kayne (2007) for a recent discussion of phrases like a large number of people. Kayne in fact assumes that the plural determiners several, few, and many are modifiers of an unpronounced noun number (of course on the amount-specification reading).
A great number of women were arrested.
Of course John noticed the number fifty is possible on a non-perceptual reading of notice or else when the object of the noticing is in fact an inscription of the numeral. Unlike that sentence, though, John noticed the number of women can naturally describe a perceptual situation of John looking at the women and counting them.
This is despite the fact that it is a standard assumption in the recent philosophical literature on tropes that tropes come with two fundamental relations: similarity and co-location (Williams 1953; Campbell 1990).
a. The number of bathrooms in this house is average.
b. ?? Three is average.
a. The number of women is unusually high.
b. The number of students is unusually high.
a. This gymnast is unusually tall.
b. This basketball player is unusually tall.
a. The women are large.
b. The number of women is large.
a. Die Zahl/Anzahl der Planeten ist acht.
‘The number of the planets is eight’.
b. die Zahl/* Anzahl acht
‘the number/number eight’
c. diese Zahl/* diese Anzahl
d. Er addierte die Zahlen/* die Anzahlen.
‘He added the numbers/the numbers’.
Bigelow (1988) takes numerals to express relations of distinctness. Thus two expresses the relation that holds of two entities x and y in case x and y are distinct. The most plausible version of such an approach would take numerals to be multigrade predicates (since a numeral like two can also take three distinct arguments of which it would then be false). The multigrade predicate view as such is discussed at length in Oliver and Smiley (2004). In general there are two criteria for taking a predicate to be multigrade rather than a plural predicate (a predicate that can be true of several individuals at one). If the order of the arguments matters and if an individual can occur as an argument more than once, then the predicate must be multigrade rather than a plural predicate. This is obviously not the case for numerals, and thus numerals should better be regarded plural predicates. For further discussion of the two views and a defence of the plural-predicate view of numerals, see Yi (1998).
a. The number of students is high. It had increased a lot over the last years.
b. The president of the US is a democrat. He is not always a democrat of course.
a. The number of students, which has increased a lot in the last few years, is very high.
b. The president of the US, who is elected every four years, is currently a democrat.
Montague (1973) took the temperature in the temperature is rising to stand for a function from times to numbers (which on the present view would rather be temperature tropes).
I have become aware that the intuitions discussed in this section do not hold in the same way for speakers accustomed to the way the number of is used in parts of mathematics. As an anonymous referee has pointed out, in a number of areas of mathematics, such as elementary cominatorics, ‘the number of Xs’, is explicitly defined as a pure number, thus not as a number trope. It is likely that that use influences the way the data in this section are judged.
(46) presupposes that the bearers of two number tropes to which addition applies are non-overlapping pluralities. This may not seem entirely adequate since it seems not impossible to add ‘the number of students’ to ‘the number of girls’, with the students including some of the girls. What happens in this case, I suggest, is the use of a certain operation that is available to facilitate the application of arithmetical operations to number tropes. This is an operation of copying which creates hypothetical tropes that are distinct from, though quantitatively equivalent to a given actual trope. That is, in a case in which tropes with overlapping bearers are added, addition actually applies to hypothetical copies of the tropes. I will return to this operation of copying again later.
‘Property’ in (47a) must be understood in a sufficiently restricted, intensional sense: if there is a corresponding property for every set of sets, (47a) would be trivial. It would be fulfilled by any property of number tropes, since there would always a plural property that holds just of the bearers of a trope of which a number trope property is true.
* This number is natural.
There is in principle a different way in which multiplication could be defined on the basis of particular pluralities, namely by making use of quantification over higher-order pluralities. Mayberry (2000), who also pursues a reduction of arithmetical operations to operations on pluralities, proposes hat ‘2 × 3 = 6’ be analysed as ‘two (non-overlapping) pluralities of three (distinct) entities is six entities’. On the present account, quantification over pluralities is avoided because two in two times the number of N is taken to range over number tropes that ‘measure’ two copies of the number trope ‘the number of N’. Measurement of tropes thus replaces higher-order plural quantification. Natural language appears to give evidence for that way of doing multiplication rather than the way Mayberry suggests.
More generally, even though the trope-copying operation appears rather ‘theoretical’, it gains significant plausibility from the fact that it appears to correspond to a natural language construction. There should in fact be a general constraint on what one might posit as ‘theoretical’ operations on number tropes. Certainly, in the context of ‘natural language ontology’, only those operations should be posited for which some form of evidence can be obtained from natural language itself.
?? Die Anzahl der Planeten ist die Acht.
‘The number of planets is the eight.’
There is an alternative view pursued in the literature, using higher-order equations (Jacobson 1994; Sharvit 1999). On that view, specificational sentences express an identity of semantic values, possibly of higher type if nonreferential expressions are involved.
See Higgins (1973, p. 199). Higgins is worth citing in the present context: ‘Many philosophers have tended to treat sentences of the specificational variety as if they were identity sentences, and have then proceeded to build theories that rest on shaky foundations. The most impressive of such a misconstrual, which has spawned an enormous literature, is the following sentences: (1) The number of planets is nine’ (Higgins 1973, p. 199). Higgins then remarks ‘[…] it is doubtful whether the number of planets has any […] referential use at all—it seems rather to be akin to nouns such as defect and to have at most a kind of obscure referentiality associated with indirect questions’ (Higgins 1973, p. 200). Higgins then goes on citing substitution issues as a crucial argument against the view of (1) as an identity statements, such as the non-equivalence of sentences such ‘I counted up to nine’ with (the unacceptable) ‘I counted up to the number nine’, or ‘nine is the square root of eighty-one’ with (the unacceptable) ‘the number of planets is the square root of the number of eighty-one’.
If specificational sentences are not analysed as question–answer structures, but as involving higher-order equations (footnote 23), the numeral in postcopula position would come out as nonreferential only as long the subject is taken to be non-referential. The latter is hard to maintain for the case of (59a), though; that is, it is hard to maintain that the number of planets is of the semantic type of a numeral.
Brogaard (2007) argues against treating the sentence ‘The number of moons of Jupiter is four’ as a specificational sentence. She argues that analysing such sentences as specificational sentences by deriving them from sentences like ‘Jupiter has four moons’ or by considering them as expressing question–answer pairs is problematic in general since such analyses could not in fact account for what they originally aimed to account for, namely connectivity, a characteristic feature of specificational sentences (Higgins 1973). Connectivity consists, for example, in the unusual binding of the anaphor himself by John in The person John admires most is himself, where himself is not c-commanded by John. Brogaard argues that the failure of a syntactic treatment of connectivity (and certain other wrong predictions that such treatments would make) requires viewing The number of moons of Jupiter is four ‘as is’, that is, as an identity statement involving two referential terms, and thus treating numbers as objects. The problem with Brogaard’s argument is that she disregards the various other criteria for specificational sentences besides connectivity that have been established in the literature since Higgins (1973). What is crucial about specificational sentences is that neither the subject nor the postcopula NP need to be referential, whatever the right syntactic or semantic treatment of such sentences may turn out to be.
Hofweber (2005a) takes numerals to have a quantifier meaning in all contexts. This would not account for ‘adjectival’ occurrences though, as in the eight planets.
∀F ∀G (∃2x Fx & ∃2x Gx & ¬ ∃x(Fx & Gx) → ∃4x (Gx v F x))
a. John added something to something else, namely he added ten to twenty.
b. John added something to the number of children: he added two.
a. Twelve interests me more than eleven.
b. Twelve is very interesting; five is not.
Twelve, that number is very interesting.
a. ?? eins, was den Mathematiker Hans sehr interessiert.
‘one which interests the mathematician John a lot
b. eins, was eine Primzahl ist
‘one which is a prime number’
c. die Zahl eins, die den Mathematiker Hans sehr interessiert
‘the number one which interests the mathematician John a lot’
a. The number of women plus the number of men is greater than the number of children.
b. The number of women times the number of dresses is over a hundred.
a. Sue’s weight plus Mary’s weight is more than that of Joe.
b. John’s height is greater than three times the height of Mary.
I would like to thank Per Martin-Loef for pointing out the connection to statements of calculation to me.
Zehn ist nicht groesser als die Summe seines Vorgaengers mit eins.
‘Ten is not greater than the sum of its (neut.) predecessor with one.’
a. Drei und fuenf sind beides Primzahlen. Sie sind nicht durch zwei teilbar.
‘Three and five are both prime numbers. They are not divisible by two.’
b. Drei und fuenf sind nicht durch zwei teilbar. ?? Sie sind beide(s) Primzahlen.
‘Three and five are not divisible by two. They are both prime numbers.’
It remains, of course, to be explained why the generalization seems much less strong in English than in German.
The distinction between nuclear and extranuclear predicates is generally considered problematic as a distinction between types of predicates: the relevant distinction does not so much reside in a difference between types of predicates, but in a difference between a predicate predicated of an entity internally (within the story) and a predicate predicated of it externally. Some predicates, for example influential, can be predicated both internally and externally of an entity.
This account faces important challenges that a proper development needs to address, such as clarifying and justifying the strategy by which a context, fictional or mathematical, individuates objects of the relevant sort.
I would like to thank the audiences of presentations of earlier versions of this paper at the University of St Andrews, the University of Geneva, Hong Kong University, the IHPST (Paris), Kyoto University, Oxford University, the University of Venice, and the University of St Petersburg for very stimulating discussions. The paper has also greatly benefited from comments by Kit Fine, Matti Eklund, Thomas Hofweber, and Richard Kayne. This research was partly supported by the Chaire d’Excellence Semantic Structure and Ontological Structure (Agence Nationale de la Recherche ANR-06-EXC-012-0).