9/05/2015

Ontological Commitment, "To be is to be the value of a bound variable," and Schematic Letters in Quine

I am currently working on a paper on Quine's shifting ontological thoughts. Something occurred to me while reading some of his stuff from the late 1930s and 40s, which probably won't make it into the paper, but that I wanted to try to get clear for myself.

Most readers of this blog have heard Quine's famous ontological dictum "To be is to be the value of a bound variable." This is a criterion of ontological commitment for a theory: what the theory says exists is whatever the values of its bound variables are.

Quine includes 'bound', I take it, so that (what he calls) schematic letters do not have existential import. For example, in the expression (x)(P(x) --> P(x)), the P cannot be bound by a quantifier (P) without the language being committed to the existence of properties (or traits, or sets, or whatever you think predicate letters signify). The P is instead a 'dummy letter': the full expression (x)(P(x) --> P(x)) is a schema, not a full sentence in first-order logic, but the schema allows us to say that any sentence that results from substituting an actual predicate for P is a theorem.

Now I can get to what's bothering me. Consider a theory+language, such as primitive recursive arithmetic (PRA), that has (what normally would be called) variables, but does not have any explicitly written-down quantifiers. In such a language, when we see a sentence like x=y = y+x, we can say ‘If we were expressing this in first-order logic, we would understand a pair of universal quantifiers ‘(x)(y)’ out front to make this a sentence,’ but there are actually no quantifier-symbols as part of the language we are considering. So what I’m wondering is: if someone accepts Quine’s line of thought about the difference between (ontologically-committing) variables vs. (ontologically-innocent) schematic letters, then should [/can] that person also say that the x’s and y’s of PRA are schematic letters, not variables? And thus that PRA does not [/need not] commit its users to the existence of the natural numbers -- or to anything else for that matter?

Here is a first potential problem for the Quinean. Let's call Language 1 (L1) the quantifier-free PRA described just above. And let L2 be the first-order logic translation of L1, i.e. L2 just puts the appropriate universal quantifiers in front of every sentence of L1 which contains variables. Now if to be is to be the value of a bound variable, L1 is not committed to numbers (or something number-like enough to satisfy the axioms of PRA), but L2 is. Yet L1 and L2 constitute a paradigm case of ‘merely notational variants’: the same theory, expressed using different notations. So L1 and L2 should either both be committed to the existence of numbers, or neither should.

Now, I can imagine a dedicated Quinean at this point could grasp the second option: we can consistently take the view that L2 is somehow not 'really' ontologically committed to numbers, because we can translate L2 back into (bound-variable-free) L1 (by just erasing every universal quantifier in every L2 sentence). The general principle underlying this is something like: a theory is committed to X just in case X is a value of a bound variable in every adequate formalization of that theory.

This position strikes me as unintuitive. But I think there is a further reason to reject it. For now consider language L3, which is just L2 + the standard definition (x) = ~(∃x)~. We will then clearly have some ontological commitments (albeit negative ones, i.e. commitments that such-and-such does NOT exist). So perhaps the Quinean will say that "To be is to be the value of a bound variable" is only a recipe for finding the positive ontological commitments of a theory. I'm not sure about that move; perhaps it can be made to work.

So in sum, this makes me wonder whether Quine’s contrast between schematic letters on the one hand, vs. genuine variables on the other, may not be as sharp as he needs it to be. In other words, it is not clear to me that schematic letters can be made ontologically innocent in the way Quine wants them to be.

At 17/9/15,  Ansten Klev said...

The language L2 would have to be obtained from L1 by the mere decoration of the formulas of the latter with what has the shape of universal quantifiers. The question is whether in L2 we can speak about a binding of the free variables in L1. For instance, we cannot negate the `quantified' formulas of L2; e.g. something like ~(x)Px is not well-formed in L2 (~Px is well-formed in L1, but its counterpart in L2 is (x)~Px). Likewise, we do not have existentially quantified formulas in L2.

What Quine could say, therefore, is that by the binding of variables he means a process the outcome of which is either a universally *or* an existentially quantified formula, and which in turn may be negated. In L2 there is no such binding.

At 17/9/15,  Greg Frost-Arnold said...

Hi Ansten --

Thanks for that comment! Certainly, on your proposal, neither L1 nor L2 would necessarily have ontological commitments.

I guess your proposal prompts a few further questions for me:

1. (Quine interpretation) Does Quine ever say PRA has no ontological commitments?

2. (Defense of this line) Should we say that believing PRA entails no ontological commitments?

3. Is there any independent motivation/ justification for your proposal, besides 'It saves the Quinean position from this particular problem'?

Those are just the thoughts that occurred to me. Thanks again for stopping by!

At 18/9/15,  Ansten said...

A relevant question is precisely how Quine reads formulas (or whatever he calls them) containing schematic letters. There are several options here. In your L1 free variables are taken to endow the formula in which they occur with generality (Frege in his ideography used Latin letters for this purpose; cf also the generality of axiom schemes). But the letters may also be so read that the formulas they occur in are taken to display a certain form; for instance, I can say that, in predicate logic an atomic formula has the form Fa or Fab or Fabc..., thus using letters (this is one way of understanding Frege's use of the Greek letters xi and zeta in the exposition of his ideography).

I would be quite happy to say that the generality reading above, and so PRA, entails an ontological commitment to individuals in the domain of the variables (though maybe not to `all individuals', since this is a notion we assume not to grasp). But this can then not be ontological commitment quite in the sense of `to be is to be etc', since there is no binding here, as explained in the previous comment.

As for independent motivation for the reading, one could point to Hilbert. In `On the infinite' he is quite clear that e.g. m + n = n + m (on the generality reading) is a finitistically meaningful statement of the commutative law, but he emphasizes that we cannot hope to make sense in general of negating such schematic generalities.