What about the mathematical objects that, according to the platonist, exist independently of any description one may offer of them in terms of comprehension principles? Do these objects exist on the fictionalist view? Now, the fictionalist is not committed to the existence of such mathematical objects, although this doesn’t mean that the fictionalist is committed to the non-existence of these objects. The fictionalist is ultimately agnostic about the issue. Here is why.
There are two types of commitment: quantifier commitment and ontological commitment. We incur quantifier commitment to the objects that are in the range of our quantifiers. We incur ontological commitment when we are committed to the existence of certain objects. However, despite Quine’s view, quantifier commitment doesn’t entail ontological commitment. Fictional discourse (e.g. in literature) and mathematical discourse illustrate that. Suppose that there’s no way of making sense of our practice with fiction but to quantify over fictional objects. Still, people would strongly resist the claim that they are therefore committed to the existence of these objects. The same point applies to mathematical objects.
This move can also be made by invoking a distinction between partial quantifiers and the existence predicate. The idea here is to resist reading the existential quantifier as carrying any ontological commitment. Rather, the existential quantifier only indicates that the objects that fall under a concept (or have certain properties) are less than the whole domain of discourse. To indicate that the whole domain is invoked (e.g. that every object in the domain have a certain property), we use a universal quantifier. So, two different functions are clumped together in the traditional, Quinean reading of the existential quantifier: (i) to assert the existence of something, on the one hand, and (ii) to indicate that not the whole domain of quantification is considered, on the other. These functions are best kept apart. We should use a partial quantifier (that is, an existential quantifier free of ontological commitment) to convey that only some of the objects in the domain are referred to, and introduce an existence predicate in the language in order to express existence claims.
By distinguishing these two roles of the quantifier, we also gain expressive resources. Consider, for instance, the sentence:
(∗) Some fictional detectives don’t exist.
Can this expression be translated in the usual formalism of classical first-order logic with the Quinean interpretation of the existential quantifier? Prima facie, that doesn’t seem to be possible. The sentence would be contradictory! It would state that ∃ fictional detectives who don’t exist. The obvious consistent translation here would be: ¬∃x Fx, where F is the predicate is a fictional detective. But this states that fictional detectives don’t exist. Clearly, this is a different claim from the one expressed in (∗). By declaring that some fictional detectives don’t exist, (∗) is still compatible with the existence of some fictional detectives. The regimented sentence denies this possibility.
However, it’s perfectly straightforward to express (∗) using the resources of partial quantification and the existence predicate. Suppose that “∃” stands for the partial quantifier and “E” stands for the existence predicate. In this case, we have: ∃x (Fx ∧¬Ex), which expresses precisely what we need to state.
Now, under what conditions is the fictionalist entitled to conclude that certain objects exist? In order to avoid begging the question against the platonist, the fictionalist cannot insist that only objects that we can causally interact with exist. So, the fictionalist only offers sufficient conditions for us to be entitled to conclude that certain objects exist. Conditions such as the following seem to be uncontroversial. Suppose we have access to certain objects that is such that (i) it’s robust (e.g. we blink, we move away, and the objects are still there); (ii) the access to these objects can be refined (e.g. we can get closer for a better look); (iii) the access allows us to track the objects in space and time; and (iv) the access is such that if the objects weren’t there, we wouldn’t believe that they were. In this case, having this form of access to these objects gives us good grounds to claim that these objects exist. In fact, it’s in virtue of conditions of this sort that we believe that tables, chairs, and so many observable entities exist.
But recall that these are only sufficient, and not necessary, conditions. Thus, the resulting view turns out to be agnostic about the existence of the mathematical entities the platonist takes to exist – independently of any description. The fact that mathematical objects fail to satisfy some of these conditions doesn’t entail that these objects don’t exist. Perhaps these entities do exist after all; perhaps they don’t. What matters for the fictionalist is that it’s possible to make sense of significant features of mathematics without settling this issue.
Now what would happen if the agnostic fictionalist used the partial quantifier in the context of comprehension principles? Suppose that a vector space is introduced via suitable principles, and that we establish that there are vectors satisfying certain conditions. Would this entail that we are now committed to the existence of these vectors? It would if the vectors in question satisfied the existence predicate. Otherwise, the issue would remain open, given that the existence predicate only provides sufficient, but not necessary, conditions for us to believe that the vectors in question exist. As a result, the fictionalist would then remain agnostic about the existence of even the objects introduced via comprehension principles!