Numbers and Propositions Versus Nominalists: Yellow Cards for Salmon & Soames

Salmon and Soames argue against nominalism about numbers and sentence types. They employ (respectively) higher-order and first-order logic to model certain natural language inferences and claim that the natural language conclusions carry commitment to abstract objects, partially because their renderings in those formal systems seem to do that. I argue that this strategy fails because the nominalist can accept those natural language consequences, provide them with plausible and non-committing truth conditions and account for the inferences made without committing themselves to abstract objects. I sketch a modal account of higher-order quantification, on which instead of ranging over sets, higher order quantifiers are used to make (logical) possibility claims about which predicate tokens can be introduced. This approach provides an alternative account of truth conditions for natural language sentences which seem to employ higher-order quantification, thus allowing the nominalist to evade Salmon’s argument. I also show how the nominalist can account for the occurrence of apparently singular abstract terms in certain true statements. I argue that the nominalist can achieve this by, first, dividing singular terms into real singular terms (referring to concrete objects) and only apparent singular terms (called onomatoids), introduced for the sake of brevity and simplicity, and then providing an account of nominalistically acceptable truth conditions of sentences containing onomatoids. I develop such an account in terms of modally interpreted abstraction principles and argue that applying this strategy to Soames’s argument allows the nominalists to defend themselves.

One would hope and perhaps conjecture that the whole general set theory, however beautiful it is, will in the future disappear. With the higher types Platonism begins. The tendencies of Chwistek and others ('Nominalism') of speaking only of what can be named are healthy. [Alfred Tarski] 1 1 Introduction Salmon in his argument against nominalism about numbers (Salmon 2008) and Soames in his argument for the existence of sentence types (Simons 1987;Soames 1999) employ (respectively) higher-order and first-order logic to model certain natural language inferences. In both cases, the conclusions of those natural language inferences are supposed to carry commitment to abstract objects, partially because their renderings in those formal systems seem to do that.
I argue that this is not a compelling strategy. The nominalist can accept those natural language consequences as long as he provides them with sensible and noncommitting truth conditions and is able to account for the validity of the inferences made without conjuring abstract objects.
In particular, I sketch a modal account of higher-order quantification, on which instead of ranging over sets, higher order quantifiers are used to make possibility claims about which predicate tokens can be introduced. This approach provides an alternative account of truth conditions for natural language sentences which seem to employ higher-order quantification. I also explain how this approach allows the nominalist to undermine Salmon's argument.
Another phenomenon that needs to be accounted for is the occurrence of apparently singular abstract terms in certain true statements. I argue that the nominalist can explain this fact by, first, dividing singular terms into real singular terms (referring to concrete objects) and only apparent singular terms (called onomatoids), introduced for the sake of brevity and simplicity. Then I provide an account of nominalistically acceptable truth conditions of sentences containing onomatoids. I do so in terms of modally interpreted abstraction principles and argue that applying this strategy to Soames's argument allows the nominalists to defend themselves.
For most of the paper I focus on the argument about numbers. As I proceed, it becomes clear that the two anti-nominalistic arguments are similar enough for the considerations to apply, mutatis mutandis, to both of them.
I first describe Salmon's argument for the existence of numbers and Soames's argument for the existence of sentence types. Then, I discuss in general terms what I consider the weak point of both arguments and sketch a nominalistic way to use this weakness. In Sect. 6 I describe the nominalist's response to Salmon's argument. In Sect. 7 I provide more details of a nominalistic strategy of handling both arguments. In Sect. 8 I explain how it can be used against Soames's argument.
2 Exhibit One: Salmon on the Existence of Numbers Salmon (2008) argues that nominalists cannot plausibly deny the inference from [A] to [B]: [A] There are exactly two Martian moons. [B] Something is such that it is number two and there are exactly that many Martian moons.
He insists that [B] commits one to the existence of numbers, and thus the nominalist is committed to the existence of numbers as soon as they accept [A].
As Salmon observes, the standard nominalist response to the claim that [B] follows from [A] is that existential generalization introducing a variable replacing 'two' in [A] is illegitimate, since this word, as it stands in [A], is an adjective, not a noun.
To circumvent this response, Salmon concedes that 'two' doesn't occur in [A] as a singular term, and yet argues that [B] still can be derived from [A]. The argument starts from a symbolic, arguably nominalistically acceptable, formulation of [A]: ] says that exactly two objects are M. On the assumption that higherorder logic is available, we can apply second-order k-expansion to [A 0 ] and obtain a formula which says that M has the property of being a property F such that there are exactly two objects falling under F: If 3-rd order quantification is available, [1] entails the claim that there is some n which is identical with the property of being a property F such that there are exactly two objects falling under F, and that M has this n:  [. . .] [n]umber deniers unintentionally commit themselves, through inconsistency, to there being things of every sort whatsoever, even round squares. Score another goal for the numbers. (Salmon 2008, 180-1) Salmon agrees that the nominalist may simply reject higher-order logic for ontological reasons (he cites Quine as having done so). Still, he insists, it's enough that the argument sounds convincing for neutral agnostics about abstracta who have no bias ''concerning the validity of natural language arguments'' [181].
Keeping this argument in mind, let's take a look at another anti-nominalistic argument. Both arguments rely on taking certain natural language utterances at face value, and both arguments can be dealt with in a similar manner.
3 Exhibit Two: Soames on the Existence of Sentence Types Soames (1999;Simons 1987) starts his argument for the existence of propositions by first considering an argument for distinguishing sentence types and tokens. 2 Imagine that two people, x and y, utter the same sentence. Now, x's utterance (U x ) is composed of different sounds than y's utterance (U y ). Thus we get: On the other hand, we already assumed that the sentence uttered by x (S x ) is the same as the sentence uttered by y (S y ): [P2] S x = S y This entails that it is not the case that both x's utterance is identical to the sentence x uttered and y's utterance is identical to the sentence y uttered: which is equivalent to: [C1a] U x 6 ¼ S x _ U y 6 ¼ S y To obtain the more general claim that none of the sentences involved is identical to an utterance, Soames adds another premise: 3 [P3] 8u; s½uRs ! 8u 0 ðs ¼ u 0 ! s ¼ uÞ [P3] says that for any u and s, if u is an utterance of s, then if s is identical with any utterance, it is also identical with u. 4 [P1], [P2] and [P3], Soames claims, jointly entail that none of the utterances is identical to the sentence whose utterance it is: The argument isn't of course extremely new, but I'm not interested in identifying the first person who formulated it. Suffice it to say, Soames's formulation is commendable for its clarity. 3 He is not explicit about how R should be read, but the context indicates that 'xRy' means 'x is an utterance of y'. 4 Soames's formulation is semi-formalized, I'm giving a slightly more formalized version. Also, it is worth emphasizing that the variables involved have to be interpreted as two-sorted, s ranging over sentences and u ranging over utterances. Otherwise, [P3] on its own would entail that any sentence is identical with all its utterances. For suppose uRs. By [P3] we get: 8u 0 ðs ¼ u 0 ! s ¼ uÞ. If we are allowed to ''mix'' variables, by universal instantiation this yield s ¼ s ! s ¼ u. But the antecedent is trivially satisfied, so s = u. Rather, the premise says that a sentence is identical to all its utterances if it is identical to any utterance at all.
Strictly speaking, what is needed is not only the addition of (P3), but also assuming that U x RS x and U y RS y . For only then (P3) will allow us detach 8u 0 ðS x ¼ u 0 ! S x ¼ U x Þ and 8u 0 ðS y ¼ u 0 ! S y ¼ U y Þ. Then, proof by cases from (C1a) allows to apply modus tollens and prove that either :9u 0 S x ¼ u 0 or :9u 0 S y ¼ u 0 : Then, one more step is needed in which one says that if one of the sentences is not an utterance, neither is the other one.
Soames claims that this strategy can be generalized to distinguish propositions from utterances, propositions from sentence types, and propositions expressed by sentences from the meanings of those sentences. 5 Although, perhaps, some of the steps in such generalizations can be plausibly challenged by a nominalist, I will put this issue aside. Instead, I will argue that the initial argument about sentence types and tokens fails. If Soames's initial argument successfully generalizes, so does my criticism. 6

Natural Language, Formalization and Ontological Commitment
There is a difference between natural language phenomena and mathematical theories meant to capture them. It is one thing to accept a certain inference as it is formulated in natural language, it is another to claim that its rendering in a particular formal system preserves ontological commitment and that validity in a formal system of our choice corresponds to the validity of natural language arguments.
These are two separate issues: the formalization might capture valid natural language arguments in extenso without getting the ontological commitment right. Even if we assume that Salmon's or Soames's formal apparatus achieves the former (which I grant), it by no means follows that it also does the latter.
There is a difference between accepting the natural language inference from [A] to [B], thinking that the formal framework employed by Salmon or Soames captures in extenso the valid arguments 7 and assuming that [A 0 ] and [B 0 ] are in all respects adequate renderings of [A] and [B]. Salmon, without any further argument, moves from the claim that the nominalist should make the first two moves to the claim that they also should make the last one. 5 ''The reason for considering this argument in some detail is that it generalizes. For example, to distinguish statements (propositions) from utterances, imagine a case in which x and y assert the same proposition. Since their utterances are different but their statements are the same, either x's utterance is not identical with what x stated or y's utterance is not identical with what y stated or both. To complete the argument, one may note the implausibility of claiming that the statement asserted by one of the speakers was a sequence of sounds (marks) that the speaker did not produce. [. . .] The same arguments can be made for distinguishing statements from sentences. Just as the same statement can be made by different utterances, so utterances of different sentences can result in assertion of the same statement [. . .] Although there is a close relationship between the meanings of sentences and the propositions they express, the two cannot always be identified. To see why, we need to consider two different kids of cases: those in which utterances of sentences with different meanings express the same proposition and those in which utterances of sentences with the same meaning express different propositions.'' (Soames 1999). 6 Perhaps a nominalist can be happy with reconstructing sentence types as equivalence classes of sentence tokens. In what follows, however, I will not assume that a nominalist is happy with classes, whether they are equivalence classes or not. 7 That is, it correctly diagnoses valid natural language arguments modulo representation in the formal system.
If the nominalist can account for the validity of the natural language argument (which involves what appears to be higher-order quantification) without relying on Salmon's rendering, they won't have to be committed to whatever [B 0 ] seems committed to. The nominalist, however, needs to tell a sensible story about the natural language argument from [A] to [B], and one of my main goals is to sketch such a story.
This point applies to Soames as well. He also makes his formalization do the heavylifting. Once you interpret sentence-terms as real singular terms and the sameness predicate as applicable only to genuine singular terms, you've fixed the outcome: accepting the claim that x and y made different utterances but uttered literally the same sentence will, in this rendering, force you to take sentence types to be objects distinct from the tokens. But if the nominalist can say a sensible story about the behavior of what prima facie seems like singular terms without taking them to be referring singular terms, they don't have to be committed to whatever Soames's formalization is committed to. Another goal of this paper is to sketch such a story.
The anti-nominalist might try to prevent this move by claiming that Salmon's and Soames's renderings are default interpretations of the relevant natural language sentences, and the onus probandi of showing their inadequacy belongs to the nominalist. One problem is that this strategy will lead nowhere. The anti-nominalist will insist on and the nominalist will deny such claims. There seems to be no clear procedure for deciding what the default formalization is, and there are no obvious reasons to think that what's default is right. 8 Another issue is that even among logicians and philosophers of language there is no univocally accepted approach to abstract terms and the platonist interpretation of abstract terms in natural language is not commonly accepted. 9 For this reason, I will not devote any more attention to this 8 Suppose even that the objectual reading is the default one. Still, it might have become default in virtue of its capturing the arguments in extenso and its simplicity, despite its ignored ontological inadequacy. 9 Let's skip a rather long history of nominalism before the XXth century and ignore the fact that from a larger perspective first-order and higher-order logics were developed quite recently and so by no means are tools that naturally come to mind. Even among prominent representatives of modern logic naive trust in the reference of apparently abstract terms hasn't been that common.
Just to give a few examples: Frege didn't settle with Hume's Principle, didn't take natural numbers to be objects sui generis, but tried to define them as composed objects whose nature was by no means immediately obvious to generations of mathematicians rather familiar with arithmetic. Dedekind and structuralists also put forward a rather elaborate theory of how the language of arithmetic works, rather avoiding simplistic objectual interpretations of natural number terms. Russell decided not to take class terms to refer to anything and developed his no-class theory (Whitehead and Russell 1910, vol. I, Introduction, ch. III, section (2), p. 75). Tadeusz Kotarbiński, Tarski's teacher, had an even more general view about singular terms. For him, the only genuine singular terms were those singular terms which referred to spatio-temporal objects and the truth conditions of sentences containing other apparent singular terms were to be reduced to sentences containing only genuine singular terms (Kotarbiński 1929). More recently, Boolos's (1998) approach to plural quantification suggests that plural quantification in natural language does not commit one to the existence of sets just because standard-second order translations of certain true sentences do. (Boolos himself was rather concerned with plural quantifiers in set theory, so he assumed the existence of sets; still, he didn't think that it is plural quantification that carries ontological commitment.) In general, various nominalistic approaches are being recently developed (Chihara 1990;Hellman 1989;Lewis 1991;Goodman 1966;Goodman and Leonard 1940;Simons 1987;Martin 1988Martin , 1992 and to claim that the platonist reading of mathematical statements is the default reading that almost everyone accepts (even only among logicians, philosophers, and perhaps mathematicians) is to ignore evidence. issue and move on to sketching philosophical stories that nominalists can develop to account for the validity of the relevant natural language arguments.

Choice of Strategy
Let's grant that the nominalist should accept the natural language inference from [A] to [B]. This is not only because an unbiased observer might still buy into Salmon's argument, but also because arguments whose higher-order formal renderings are valid are abundant in mathematics, and a nominalist who would deny their correctness would set themselves against a legion of working mathematical theories (Lewis 1991). Putting the issue of making nominalistic sense of all mathematical theories, I will focus on sketching a way the nominalist can accept the natural language inference discussed by Salmon without ontological guilt.
The first thing to observe is that going merely substitutional about higher-order quantification doesn't seem viable for the nominalist. If they think that the admissible substituents, predicate tokens, are finite sequences over a finite alphabet and only actually existing things can be quantified over, they run out of tokens when they try to emulate higher-order quantification over infinite domains. 10 Another stab would be to go inferentialist about higher-order quantification in the vein of (Rossberg and Cohnitz 2009). On this approach, the meaning of logical constants and the logic itself are specified by means of purely syntactic rules of inference. All there is to second-order logic is the notion of second-order derivability and standard rules for handling Boolean connectives, identity and firstand second-order quantifiers. While Rossberg and Cohnitz convincingly argue that the resources used on this approach are nominalistically acceptable, I choose not to employ this strategy.
A wider discussion of inferentialism is beyond the scope of this paper, but my dissatisfaction with the inferentialist approach in this case stems roughly from the following intuition. Natural language claims containing prima facie higher-order quantification not only occur in inferences, but also can be true or false. The task of the nominalist is not only to explain how such claims can be successfully used in inferences, but also to account for this ability. Some account of how such prima facie higher-order contingent claims are related to the world is needed. Perhaps the inferentialist could insist that such contingent claims are true in virtue of being derivable from some first-order contingent claims. I'm not sure how successful this strategy would be, especially in light of independence phenomena. I cannot pursue 10 Rossberg and Cohnitz (2009) describe a certain interesting strategy of avoiding this problem while still going substitutional. Roughly, the idea is that all the needed substituents are there, in the world. They exist as proof-or token-shaped configurations of, say, particles, yet to be discovered or pointed at. My worry about this strategy is that, slight eccentricity of this proposal aside, application to infinite domains still requires assuming that there are uncountably many such configurations. This suggests going modal and speaking about possible configurations or the possibility of world containing more matter than it currently does; but if that's the case, going modal without the additional eccentricity of the proposal might be preferred. these issues in this paper and I find a more direct account of such a relation between sentences and the world preferable to the one which proceeds via derivation.
One way out of this quandary for the nominalist is to go modal. In this setting, the second order 'For some F, /' reads 'it is possible to introduce a predicate token F such that /' rather than 'there is a set F such that /'. Thus, the general strategy is to take natural language claims about which predicate tokens it is possible to introduce as intuitively clear, to accept the modality involved as primitive. Then, the truthconditions of natural language claims containing prima facie higher-order quantification are to be given in terms of such ''nameability'' claims, and the validity of prima facie higher-order natural language arguments is to be explained in terms of truth preservation modulo such translation.
This deals with the problem faced by going merely substitutional. Given a predicate token P and a set A say that P captures A iff P is true of all and only those objects which are in A. While there might be not enough predicate tokens to mimic quantification over all subsets of an infinite domain (it is not true that for each subset there exists a predicate token which captures it), there are sufficiently many ways predicates could be to do the job.
One important intuition about nameability, which will allow us to avoid paradoxes, is that the approach is typed. The initial domain of extralinguistic objects (which is the domain of first-order quantification) doesn't change with the introduction of new predicate tokens. Predicate tokens are at specific levels and can apply to objects one level below only. (Typing can be weakened to obtain something more resembling a cumulative hierarchy. I will briefly discuss this move at some point.) A crucial move here is the assumption that the possibility involved is sufficiently clear and can be taken as a primitive. One can challenge it by requesting a more formal truth theory. This is a tricky challenge, because once the nominalist tries to accommodate this request, the truth theory is bound to employ some set-theoretic apparatus, and the nominalist is asked to explain why this apparatus should be available to them. But the claim that a formal truth theory is needed should not be accepted without argument. For the sake of brevity and simplicity, in this paper I will simply assume that a formal semantics is not needed and the nameability-speak is clear enough. However, a more detailed formal approach is developed in Urbaniak (2010). Notice that even if the philosophical viability of the nominalist approach described here needs further defence, sketching the approach suffices as a challenge to Salmon or Soames: as long as they do not provide further reasons to prefer their frameworks over the nominalist reading, their initial arguments are not satisfactory. Let's now see in more detail how this approach allows the nominalist to handle the arguments in question.

The Nominalist Story About Moving from [A] to [B]
The symbols of the formal language are: standard brackets, Boolean connectives (:;^; _; !; ), first-order individual variables (x; y; x 1 ; . . .), second-order predicate variables (F; G; . . .), third-order predicate variables (F 3 ; G 3 ; . . .), first-, second-and third-order identity (=, = 2 , = 3 ), lambda operator (k), first-order quantifiers (A, V), modal second-order and third-order existential and universal quantifiers (R; P; R 3 ; P 3 ). The formation rules are standard. 11 The language is devised to speak of extra-linguistic objects and possible predicate tokens. First-order identity and Boolean connectives are understood in a standard way. Higher-order identity is coextensiveness (e.g. P = 2 Q is true just in case predicate tokens associated with P and Q apply to the same things). The first-order quantifiers have their standard meaning: they quantify over the initial domain of extra-linguistic objects. The second-order quantifier 'RF' is read as 'it is possible to introduce a firstorder predicate token such that' (the universal 'PF' is understood analogously and so are third-order quantifiers). The lambda operator constructs a third-order predicate: 'kF½. . . Now, if the natural language higher-order existential quantifier is interpreted as R, the nominalists can safely accept the second-order inference from [A] to [B]. They will accept A 0 (which they will interpret in a standard manner and take to be a correct reading of [A]) and (1).
Their interpretation of the lambda operator in the latter, however, will be different, for [1] will have the interpretation on which it is quite easily deflated back to [A 0 ]. But instead of [B 0 ] (which, they will insist, doesn't follow from [1] for it embraces literal commitment to sets, which is not present in [A]) they will rather accept: Let's see what [B N ] says in the nominalistic reading described above.
• To start with, 'R 3 G 3 ' says that it is possible to introduce a predicate token G 3 . • The first conjunct in the scope of the quantifier boils down to saying that the third-order predicates on both sides of 00 = 3 00 apply to the same lower-order predicates: 11 While I mentioned that the approach is rather cumulative than typed, I here follow the standard firstand second-order typing, mostly for the sake of simplicity and because this yields a system most similar to the one used in the original argument.

Numbers and Propositions Versus Nominalists 389
• For any H; kF½9x9yðFx^Fy^x 6 ¼ y^8zðFz ! x ¼ z _ y ¼ zÞÞðHÞ boils down to 9x9yðHx^Hy^x 6 ¼ y^8zðHz ! x ¼ z _ y ¼ zÞÞ which simply says that H applies to exactly two objects. • The last conjunct says that G 3 applies to M.
Thus, the formula reads: It is possible to introduce a third-order predicate token G 3 , such that G 3 would apply to the same predicate tokens as the lambda expression which applies to a predicate just in case this predicate applies to exactly two objects, and such G 3 would apply to M.
As far as commitment goes, this is just a long-winded way of saying: It is possible to introduce a predicate token G 3 , which would apply to all and only those lower-order predicate tokes which apply to exactly two objects, and such G 3 would apply to M.
Which seems like an elaborate way of saying: M applies to exactly two objects.
Thus, prima facie, [B N ] is non-committing, for it only says that it is possible to introduce a certain predicate-token satisfying a certain condition, rather than saying that a certain set exists.
What Perhaps things are not as they seem and there are reasons to think the approach sketched in this section is not nominalistically acceptable. 12 But even if this is the case, Salmon's original argument needs to be supplemented with an argument against the nominalistic acceptability of alternative accounts of higher-order quantification. 13,14 12 A more detailed discussion of the nominalistic acceptability of the theoretical devices employed in this strategy lies beyond the scope of this paper. 13 One might feel tempted to think that introduction of predicates itself is not nominalistically acceptable, because each predicate has to have a set at its denotation. Thinking that natural language predicates are best construed as referring to sets is just a bias. Equally well one can think of predicates as applying directly to (perhaps multiple) objects (and third-order predicate tokens to apply to multiple second-order predicate tokens). 14 The approach, so far, is similar to that of (Chihara 1990) who takes existential quantifiers to be constructibility quantifiers (thus, existential higher-order quantifier is read 'it is possible to construct a formula'). Some differences arise when we look at more formal details (Urbaniak 2010), especially when cumulative approach is chosen over the typed one. More important differences arise when abstraction principles are brought in. These are the subject of sections to follow.

Numerical ''Singular'' Terms and Abstraction
The nominalist should be able to explain how numerical terms can function in true sentences not only as adjectives, but seemingly also as singular terms. One way to start is to say that since there are no abstract objects (or at least, since it is preferable to account for the truth of mathematical statements without appealing to abstract objects), apparently singular abstract terms don't refer: terms that pretend to refer to such objects are introduced for brevity and simplicity of our discourse. On philosophical grounds, such nominalists divide prima facie singular terms into those that really refer to objects and those which only pretend to do that and syntactically behave like singular terms, but in fact don't refer to anything (let's call the latter onomatoids). 15 Thus, such a nominalist says that most of those sentences in which no abstract terms occur have literal truth-conditions, whereas truth-conditions of sentences containing abstract terms are more elaborate and don't require realism about the reference of such terms.
One way to handle onomatoids is to say that their introduction and the truthconditions of sentences containing them are determined by appropriate abstraction principles interpreted linguistically. For instance Hume's Principle, which says: [HP] The number of Fs is the same as the number of Gs if and only if some R establishes the equinumerosity of Fs and Gs.
when introduced above a certain fixed domain tells us (in this nominalistic interpretation) that for each possible predicate token r over our fixed domain we can introduce an onomatoid 'N(r)' ('the number of r'). Moreover, it tells us that insofar as truth-conditions of sentences containing such terms are concerned, we are supposed to ignore all differences between onomatoids N(r) and N(s) if r and s are equinumerous (that is, if it is possible to introduce a binary predicate token which satisfies the obvious conditions). 16 For heuristic purposes and to avoid lengthy informal description, here's a slightly more formal account of how this approach can be developed. First, since the nominalist doesn't believe in concepts, instead of using Fregean comprehension with concepts, they rather speak of possible predicates, along the lines outlined above.
Definition 1 hD; P; Di is an infinite naming structure (INS), if D is an infinite domain of objects, D P Â D, and for any A D, there is a r 2 P such that 8x 2 D½x 2 A Dðr; xÞ. 17 h 15 This approach is inspired by certain ideas of Kotarbiński (1929), a Polish logician and Tarski's teacher, who held this view and dubbed such apparent singular terms onomatoids. 16 Thus, to introduce equinumerosity we have to talk also about possible binary second-order predicate tokens which apply to two objects in a certain order. Then, given a fixed domain, F and G are equinumerous iff it is possible to introduce a binary predicate token R such that (1) for any x with Fx there is a y with Rxy and Gy, (2) for any y with Gy there is an x with Fx and Rxy, (3) if Fx, Fz, Gy, Rxy and Rzy, then x = z and (4) if Gx, Gz, Fy, Ryx and Ryz, then x = z. 17 A more nominalistically kosher description would go: Consider a situation in which there are infinitely many objects and for any selection of those a predicate token can be introduced which applies exactly to them.
We are putting the issue of actual infinity aside and don't worry about the assumption that the domain of objects is infinite. 18 P is the intended assembly of possible predicate tokens over D satisfying comprehension and D is the 'satisfaction' or 'true predication' relation. 19 If an account of how second-order quantification is understood over such structures is needed, here's a sketch of one. A valuation function v would map individual variables into D and predicate variables to possible predicate tokens P. On a more informal and nominalistic description, this reads: [2] Fx is satisfied (given an association of predicate variables with predicate tokens and of individual variables with individuals) iff the predicate token (associated with) F applies to the object associated with x.
[3] RF/ is satisfied (given an association of predicate variables with predicate tokens and of individual variables with individuals) iff it is possible to associate F with a possible predicate token (leaving the association of other variables unchanged) so that / comes out satisfied.
So the satisfaction of a quantified phrase depends on whether certain possible predicate tokens are available. Now (since we are heading to a nominalist interpretation of the language of arithmetic) a slightly more h N can be seen as belonging to the model and being a function from P onto N M . Equally well one can simply speak of P and N M being just sets such that the conditions built into the definition are satisfied. The equivalence relation is the ''identification'' relation between apparent singular terms, and the definition above can be easily seen as embracing Hume's Principle. We also say that N(s) is the 18 For a few strategies the nominalist can employ to avoid that see (Urbaniak 2010). 19 One worry about this approach is whether a nominalist can legitimately use semantics formulated in set-theoretic terms. Again, this issue lies beyond the scope of current considerations, but the main moves described in this paper can be described without the set-theoretic apparatus, in the spirit of footnote 17. It is also worth mentioning that even Quine didn't think that using first-order logic commits one to sets just because the semantics of first-order logic is set-theoretic. 20 An F-variant of an assignment is an assignment which differs from the original at most in what it assigns to F. successor of N(r) (i.e. S(r, s)) iff s is equinumerous to a possible predicate that applies to all those objects which r applies to, and one more object). 21 Here's one way to interpret the language of first-order Peano Arithmetic (PA 1 ) within this setting. First, we define the range of first-order quantification in the language of PA 1 : • If r 2 P; :ð9x 2 DÞDðr; xÞ, then N(r) is a natural numerical term (NNT) and all elements of N M [ N A &-related to it are NNTs. • If r is an NNT and S(r, s), s is an NNT.
• Nothing else is an NNT.
The first clause ensures that any numerical term corresponding to an unsatisfied predicate is an NNT. The second one postulates that every successor term of an NNT is NNT. The third one requires that nothing else is.
The language of PA 1 contains individual constants: 0; Sð0Þ; SðSð0ÞÞ; . . .; individual variables x; y; . . .; Boolean connectives, brackets and quantifiers binding individual variables. Formation rules are standard. To interpret such a language over a minimal HP-model we have to: • Associate individual constants with elements of N M . This is straightforward: '0' is associated with N(s) for some unsatisfied possible predicate token s. 22 • Associate St for any term s with the successor of the NNT associated with t.
• Interpret identity in the language of PA 1 as &, the ''fake identity'' relation.
• Understand the Boolean connectives, addition and multiplication in the standard manner. 23 • Interpret quantification in PA 1 as ranging over N M .
On this approach, numerical constants do not really refer: they correspond with natural numerical terms which also do not refer. However, they can occur in true (or false) ''fake'' identity statements, because their systematic behavior is governed by Hume's Principle. Quantification is understood modally: 'Ax' is read as 'it is possible to introduce a natural numerical term such that'. A few examples of translations of arithmetical statements into the modal nominalist language: 24 [SS0 ? SS0 = S0 ? SSS0] The possible NNT associated with 'SS0?SS0' bears & to the possible NNT associated with 'S0?SSS0'.
It is possible to introduce an NNT r such that the NNT associated with '0' added-within-model to r yields a possible NNT which bears & to the NNT associated with 'SSS0'. 21 Minimal HP-models allow us to introduce numerical terms of a very specific form: 'the number of r'. However, nothing prohibits us from introducing other numerical terms; they don't have to be all of the form 'N(r)'. Such an extension can be easily accounted for by a slight modification of the notion of an HP model. For the sake of simplicity, we skip it. 22 That such predicate token is possible follows from the comprehension principle built into the notion of INS. 23 Given that NNT are an x-structure ordered by the (transitive closure of) successor relation, this is pretty straightforward. 24 'Added within the model'-this just refers to the function on N M which does the job of addition in the x sequence generated by N M and the successor relation.
On the account described above, identities between numerical terms (which syntactically behave like singular terms) can be true, but are not grounded in the existence of numbers. We could consider a language in which also mixed identities (identities whose one argument is a real singular term and another argument is an onomatoid) are well-formed. Such mixed identities would always come out false, because no real object is the referent of an abstract term on this view.
How does this relate to Salmon's argument? Recall the problematic sentence together with its two readings: [B] Something is such that it is number two and there are exactly that many Martian moons.
Framework sketched in this section (a modal interpretation of second-order quantification and of apparently singular numerical terms) allows for something I consider a more natural reading: 25 How to decipher its nominalistic reading? Quantification is the modal quantification over possible NNT. So we start: It is possible to introduce a natural numerical term. . .
Then we have an identity between numerical terms, so we continue: . . . which bears & (the fake identity introduced by [HP]) to the natural numerical term corresponding to a predicate which applies to exactly two objects. . .
(This easily boils down to saying: 'It is possible to introduce a natural numerical term which corresponds to predicate which applies to exactly two objects'). The last bit of [B S ] requires that this possible numerical term should bear & to the numerical term corresponding to 'is a Martian moon'. So we continue: . . . and this newly introduced NNT bears & also to the NNT 'N(Martian Moon)'.
After a rather straightforward simplification this says: It is possible to introduce a natural numerical term corresponding to predicates satisfied by exactly two objects, and such numerical term would also correspond to the predicate 'is a Martian moon'. which, I submit, commitment-wise, says nothing more than 'there are exactly two Martian moons'.
One worry about this approach might be that it is typed, and (if the system is extended to other higher-orders) there are separate numbers at each level, so that there is no unique number two etc. While this is true for the typed approach (which I followed for the sake of simplicity), the issue does not arise if a cumulative hierarchy is used instead. On this approach, introducing predicate tokens proceeds in stages, pretty much mimicking the (initial steps of) the iterative hierarchy of sets. First there are extra-linguistic individuals and predicate tokens can be introduced which apply to those individuals. Then, predicate tokens can be introduced which apply to such first-order predicate tokens or extra-linguistic individuals, and so on. (It is important that the hierarchy is rather cumulative than typed: predicates can have ''mixed'' reference.) After each level of predicates the numerical onomatoids are expanded and associated with equinumerous predicates from below (even if those predicates belong to different levels). On this approach, the number of Martian moons is the same as the number of 'x = 0 _ x = 1', and so on. More details on the cumulative approach are available in Urbaniak (2010).

Nominalistic Abstraction and Sentence Types
The strategy employed to account for the behavior of numerical singular terms can be generalized. In particular, the nominalist can take terms referring to utterances to be real singular terms but interpret ''sentence type'' terms as onomatoids introduced by means of modally interpreted abstraction principles.
When we look at Soames's argument from this perspective, [P1] which says that x's utterance is not identical to y's utterance, is understood literally and true. 'U x ' and 'U y ', unlike 'S x ' and 'S y ', are genuine singular terms. Sentence-type onomatoids, on the other hand, are introduced by means of an abstraction principle, perhaps of the following form: [ST] The sentence uttered by x is the same as the sentence uttered by y if and only if the utterances made by x and y are sufficiently similar not to make a linguistic difference.
(If you find the notion of sufficient similarity problematic, say because you think it isn't transitive, replace it with any nominalistically acceptable appropriate equivalence relation on sentence tokens.) This abstraction principle, on the nominalistic reading, tells us that given that x and y make two utterances, onomatoids 'S x ' and 'S y ' can be introduced.
[ST] gives us also truth-conditions for formulas in which sentence-terms occur: mixed identities are false by default and the well-formed claim 'S x = S y ' is true just in case U x and U y remain in an appropriate equivalence relation.
Thus, also Soames's [P2], which says that S x = S y , comes out true (given the assumption that the relevant conditions on U x and U y are satisfied). Since mixed identities are false by default, the nominalist can also safely accept Soames's conclusion [C2]: U x 6 ¼ S x^Uy 6 ¼ S y There is an important difference between Soames and the nominalist. Soames seems to think that it is enough to establish [C2] to accept the existence of sentence types. Our nominalist doesn't think the truth of [C2] carries commitment to such objects. Soames would accept, as a consequence of [P2], 'Axx = S y '. The nominalist, on the other hand, would accept 'Rxx ¼ S y ' instead, where Rx means 'it is possible to introduce a sentence-type term x such that' and identity is understood as in [ST]. For the nominalist, [P2] is true not in virtue of 'S x ' and 'S y ' referring to one and the same object, but rather because other, non-committing truth conditions of [P2] (determined by the right-hand side of [ST]) are satisfied. And just because [C2] tells us that sentences are not to be identified with utterances it doesn't follow that sentence terms are genuine singular terms.
Perhaps, the relevant notion of sufficient similarity employed in [ST] requires more explication and perhaps its nominalistic acceptability needs to be additionally defended. On the other hand, claiming that shape and sound similarity recognition, available even to not very well developed animals, clearly requires the existence of abstract objects is a bit of a stretch. 26 Whatever your view on the nominalistic acceptability of [ST] is, issues like these have to be seriously considered before taking sentence-type terms to be genuine singular terms.

Final Remarks
Salmon's and Soames's arguments rely on specific formal interpretations of certain natural language sentences. They take those interpretations to be a guide to the ontological commitment of natural language sentences in question. Even if their formal interpretation captures the natural language arguments adequately, it does not follow that it also gets the ontological commitments right. I argued that the nominalist can provide an alternative account of the validity of the arguments in question, on which the conclusions do not have the commitments Salmon and Soames would like them to have. The conclusions are true, but for quite different reasons.
The differences between philosophers sympathetic to Salmon's and Soames's arguments and the kind of nominalist we were talking about are deeper than it might initially seem and often result from certain meta-theoretic convictions. The former are inclined to think that most of philosophical questions about existence are trivial and can be answered just by looking at what natural language existence claims people accept. The latter tend to believe that apart from a weak interpretation of quantifiers (or a weak notion of an object) on which mathematical existential claims 26 Would we also require that for any bunch of sufficiently similar sounds or shapes there is an abstract objects (abstract coconut-look, abstract dog-bark, etc.) in virtue of which they are similar? If yes, the doctrine seems to be neither parsimonious nor helpful. Parsimony considerations aside, no one doing research on how certain animals recognize, say, the sound of a dog, seriously tries to solve the problem by proposing that there is an abstract object, the ultimate bark in whose barkhood all barks participate and that it is in virtue of accessing this abstract object and comparing the sounds they hear against it, squirrels know that a dog is nearby. come out true (and on which, presumably, existence claims about correctly introduced onomatoids come out true), a more robust quantifier or notion of an object is available, and answering what exists in this robust sense is not easy. Arguing for the plausibility of one of these meta-theoretic approaches or finding a sensible alternative to both of them is a challenge I will not address in this paper. 27 Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.