Monday, July 21, 2008

Parsons's Mathematical Thought: Sec 13, Nominalism and second-order logic

A general comment before proceeding. Parsons himself says that this book has been a very long time in the writing. And I suspect that what we are reading is in fact a multi-layered text with different passages added at different times, without the whole being finally reorganized and rewritten from beginning to end. This does make for a bumpy read, with the to-and-fro of argument not always ideally well signalled.

Anyway, Sec. 13 falls into two parts, both related to nominalist takes on second-order logic. First, Parsons offers some remarks on the Fieldian project of using mereology to do the work of second-order logic. The key thought is this. For mereology to do all the work Field wants, it needs an (impredicative) comprehension principle: "Given a predicate of individuals that is true of at least one individual, there is a sum of just the individuals of which the predicate is true, and moreover, the admissible predicates will be closed under quantification over all individuals, including those very sums." (Cf. the principle "Cs" in Field's "On Conservativeness and Incompleteness".) But what entitles Field to such a strong comprehension principle? Well, Parsons notes that it's not clear that Field can offer any direct a priori argument (but then, I wonder, would he want to?). The justification will be that "the comprehension principle is a hypothesis justified by its consequences in systematizing the geometrical basis of physics". But then "Field's view, on this reading, puts him in a position in which we have found other formulations of nominalism: making the justification of mathematics turn on some hypothesis about the physical world, which is more vulnerable to refutation than the mathematics."

But how troubled will a Fieldian be by that complaint? Suppose we decide that our physical theory of the world doesn't require such a strong comprehension principle (we can get away with recognizing a less wide-ranging plurality of regions). That's not at all implausible, actually, given that (nearly) all the mathematics required for physics can be reconstructed in a weak second-order arithmetic like ACA_0 with only predicative comprehension. Then the Fieldian response will (surely?) be just to demote the full mathematical apparatus of the classical reals from its status in Science without Numbers as a supposedly justified tool for getting more nominalistically acceptable consequences out of our best physics. It is no longer so justified. In that sense, for the Fieldian, the "justification" of a bit of mathematics is wrapped up with our hypotheses about the physical world, and Parsons's complaint will seem question-begging. [Or am I missing something here?]

The second part of Sec. 13 considers Boolos's attempt to make second-order logic ontologically tame by giving a plural reading to the second-order quantifiers. The thought under scrutiny is that plural quantification is ontologically innocent because, in plurally quantifying over Fs, we are just committing ourselves to Fs (not to sets or to Fregean concepts). Parsons's discussion [or again, am I missing something here?] initially advances familiar sorts of worries about this claim of innocence. But Parsons does make one point towards the end of the section that I find very congenial (i.e. I've argued similarly myself!).

Consider (say) the range of second-order arithmetics that Simpson discusses in SOSOA. As we advance through theories with stronger and stronger comprehension principles, then -- on a standard platonist construal -- we are countenancing more and more sets of numbers. If we reconstrue the second-order quantifiers plural-wise, then, as we go from theory to theory, we are countenancing more and more .... well, more what? It is tempting to say "pluralities". And indeed it is convenient to give an informal gloss of the plural reading using talk of pluralities. But -- if this isn't to smuggle back reference to pluralities-as-single-entities, i.e. sets -- this convenient way of talking needs to be eliminable (cf. Linnebo's nice article on plural logic). So how do we eliminate it here? We might, I suppose, trade in talk of countenancing more and more pluralities for talk of allowing more and more different ways we can take numbers together: but this seems tantamount to re-instating Fregean concepts as the values of the second-order variables -- which is fine by me, but then the supposed ontological gain of interpreting the second-order quantifiers via plurals is lost.

The question then is this: if we accept the pluralist's contention that we can treat second-order numerical quantifiers as ontologically committing just us to numbers, period, then how are we to think of the surely varying commitments we take on with varying strengths of comprehension principle. As Parsons puts it, "If there is no enlargement of ontological commitment [my emphasis] as one passes to less restricted versions of the comprehension schema, then perhaps that speaks against the importance of the notion."


Ocham said...

Interesting, and ties in with your previous question about whether we simply have to agree 'which sentences [containing a grammatically singular term] are true', or whether we need to decide whether an object corresponds to the singular term or not. I suggest the latter. Consider 'there are only a dozen things'. Does the grammatically singular 'a dozen' denote a thing? We can't decide this from the structure of the sentence alone. We have to agree that the sentence is logically equivalent to 'there are only twelve things', from which it immediately follows that 'a dozen' is not logically singular, even though grammatically singular. (Argument: clearly the dozen, if singular, is not identical with any of the twelve things, therefore if it is singular it must be a thirteenth thing, therefore 'there are only twelve things' is false, therefore 'a dozen' is not logically singular). But note this nominalist argument does not involve examining objects. Rather, it involves translating some true sentence p into a sentence p* which does not have the existential commitment that p apparently has, proving that the existential commitment is in fact apparent, not real.

The question is whether words like 'way' or 'combination' are like 'dozen' or not. E.g. we agree there are six possible ways of combining three objects a, b and c. Does the term 'the combination a and b' or ''the combination a and c' refer to some singular object different from a b or c? Or is it like 'a dozen'?

Ocham said...

PS. You say "but then the supposed ontological gain of interpreting the second-order quantifiers via plurals is lost"

Shouldn't 'gain' be 'lost' :-)

Anonymous said...

What happens to your logic when you enter the state of deep dreamless (formless) sleep?

Such a state being the very essence of what or who you are, before you identify with the body-mind and all of its automaticities and its never-ending thinkety-think thinking. with its yes-no-maybe "possibilities".