Plural quantification and the continuum hypothesis

Some people, including myself, are concerned that plural quantification may be quantification over sets in logical clothing rather than a purely logical tool or a free lunch. Here is a somewhat involved argument in this direction. The argument has analogues for mereological universalism and second-order quantification (and is indeed a variant of known arguments in the last context).

The Continuum Hypothesis (CH) in set theory says that there is no set whose cardinality is greater than that of the integers and less than that of the real numbers. In fact, due to the work of Goedel and Cohen, we know that CH is independent of the axioms of Zermelo-Fraenkel-Choice (ZFC) set theory assuming ZFC is consistent, and indeed ZFC is consistent with a broad variety of answers to the question of how many cardinalities there are between the integers and the reals (any finite number is a possible answer, but there can even be infinitely many). While many of the other axioms of set theory sound like they might be just a matter of the logic of collections, neither CH nor its denial seems like that. Indeed, these observations may push one to think that there many different universes of sets, some with CH and others with an alternative to CH, rather than a single privileged concept of “true sets”.

Today I want to show that plural quantification, together with some modal assumptions, allow one to state a version of CH. I think this pushes one to think analogous things about plural quantification as about sets: plural quantification is not just a matter of logic (vague as this statement might be) and there may even be a plurality of plural quantifications.

This is well-known given a pairing function. But I won’t assume a pairing function, and instead I will do a bunch of hard work.

The same approach will give us a version of CH in Monadic Second Order logic and in a mereology with arbitrary fusions.

Let’s go!

Say that a possible world w is admissible provided that:

1. w is a multiverse of universes

2. for any two universes u and v and item a in u, there is a unique item b in v with the same mass as a

3. the items in each universe are well-ordered by mass

4. for each item in each universe there is an item in the same universe with bigger mass

5. for each item c in a universe u if a is not of the least mass in u, a has an immediate predecessor with respect to mass in u.

The point of (3)–(5) is to ensure that each universe has a least-mass item and that there are only countably many items. If we assumed that masses are real numbers, we would just need (3) and (4).

Say that pluralities of items xx in a universe u and yy in a universe v of an admissible world correspond provided that for all natural numbers i, if a is in u and b is in v and a and b have equal mass, then a is among xx if and only if b is among yy. Two individual items correspond provided that they have equal mass.

Say that an admissible possible world w is big provided that:

6. at w: there is a plurality xx of items such that (a) for any universe u and any plurality yy of items in u, there is a universe v such that the subplurality of items from xx that are in v corresponds to yy and (b) there are no distinct universes u and v each with an item in common with xx such that the subpluralities of xx consisting of items in u and v, respectively, correspond to each other.

The bigness condition ensures that we have at least continuum-many universes.

Say that the head of a universe u is the item u in the universe that has least mass. Say that two items are neighbors provided that they are in the same universe. We can identify universes with their heads.

Say that a plurality hh of heads of universes is countable provided that:

• There is a plurality xx of items such that each of the hh has exactly one neighbor among the xx and no two items of xx correspond.

The plurality xx defines a mapping of each head in hh to one of its neighbors, and the above condition ensures each distinct pair of heads is mapped to non-corresponding neighbors, and that ensures there are countably many hh.

Say that a plurality hh of heads of universes is continuum-sized provided that:

• There is a plurality xx of items such that each head z among the hh has a neighbor among the xx, and for any universe u and any plurality yy of the items of u, there is a unique head z among the hh such that the plurality of its neighbors corresponds to z.

The plurality xx basically defines a bijection between hh and the subpluralities of any fixed universe.

Given pluralities gg and hh of heads of universes, say pluralities xx and yy of items define a mapping from gg to hh provided that:

• There are pluralities xx and yy of items such that for each item a from gg, if uu is the plurality of a’s neighbors among the xx, then there is a unique item b among the hh such that the plurality vv of b’s neighbors among the yy corresponds to uu.

If a and b are as above, we say that b is the value of a under the mapping defined by xx and yy. Here’s how this works: xx defines a map of heads in gg to pluralities of their respective neighbors and yy defines a map of some of the heads in hh to pluralities of their respective neighbors, and then the correspondence relation can be used to match up heads in gg with heads in hh.

We now say that the mapping defined by xx and yy is injective provided that distinct items in gg never have the same value under the mapping. (This is only going to be possible if gg is continuum-sized.)

If there are xx and yy that define an injective mapping from gg to hh, then we say that |gg| ≤ |hh|. If we have |gg| ≤ |hh| but not |hh| ≤ |gg|, we say that |gg| < |hh|.

The rest is easy. The Continuum Hypothesis for the heads in big admissible w says that there aren’t pluralities of heads gg and hh such that gg is not countable, hh is continuum-sized, and |gg| < |hh|.

We can also get analogues of the finite alternatives to the Continuum Hypothesis. For instance, an analogue to 2^ℵ₀ = ℵ₃ says that there are pluralities bb, cc and dd of heads such that bb is not countable, dd is continuum sized and |bb| < |cc| < |dd|, but there are not pluralities aa, bb, cc and dd with aa not countable, dd continuum-sized and |aa| < |bb| < |cc| < |dd.

Megethology as mathematics and a regress of structuralisms

In his famous “Mathematics is Megethology”, Lewis gives a brilliant reduction of set theory to mereology and plural quantification. A central ingredient of the reduction is a singleton function which assigns to each individual a singleton of which the individual is the only member. Lewis shows that assuming some assumptions on the size of reality (namely, that it’s very big) there exists a singleton function, and that different singleton functions will yield the same set theoretic truths. The result is that the theory is supposed to be structuralist: it doesn’t matter which singleton function one chooses, just as on structuralist theories of natural numbers it doesn’t matter if one uses von Neumann ordinals or Zermelo ordinals or anything else with the same structure. The structuralism counters the obvious objection to Lewis that if you pick out a singleton function, it is implausible that mathematics is the study of that one singleton function, given that any singleton function yields the same structure.

It occurs to me that there is one hole in the structuralism. In order to say “there exists a singleton function”, Lewis needs to quantify over functions. He does this in a brilliant way using recently developed technical tools where ordered pairs of atoms are first defined in terms of unordered pairs and an ordering is defined by a plurality of fusions, relations on atoms are defined next, and so on, until finally we get functions. However, this part can also be done in a multiplicity of ways, and it is not plausible that mathematics is the study of singleton functions in that one sense of function, given that there are many sense of function that yield the same structure.

Now, of course, one might try to give a formal account of what it is for a construction to have the structure of functions, what it is to quantify not over functions but over function-notions, one might say. But I expect a formal account of quantification over function-notions will presumably suffer from exactly the same issue: no one function-notion-notion will appear privileged, and a structuralist will need to find a way to quantify over function-notion-notions.

I suspect this is a general feature with structuralist accounts. Structuralist accounts study things with a common structure, but there are going to be many accounts of common structure that by exactly the same considerations that motivate structuralism require moving to structuralism about structure, and so on. One needs to stop somewhere. Perhaps with an informal and vague notion of structure? But that is not very satisfying for mathematics, the Queen of Rigor.

Fusion and the Axiom of Choice

Assume classical mereology. Then for any formula that has a satisfier, there is a fusion of all of its satisfiers. More precisely, if ϕ is a formula with z not a free variable in ϕ, then the universal closure of the following under all free variables is true:

1. ∃xϕ → ∃zF_ϕ, x(z)

where F_ϕ, x(z) says that z is a fusion of the satisfiers of ϕ with respect to the variable x (there is more than one account of what exactly the “fusion” is). This is the fusion axiom schema.

Stipulate that a region of physical space is a fusion of points.

Question: Is there a nonmeasurable region of (physical) space?

Assuming the language for formulas in our classical mereology is sufficiently rich, the answer is positive. For simplicity, suppose that physical space is Euclidean (the non-Euclidean case is handled by working in a small neighborhood which is diffeomorphic to a neighborhood of a Euclidean space). Let ψ be the isomorphism between the points of physical space and the mathematical space R³. Let ϕ be the formula ψ(x) ∈ y. Applying (1), we conclude that for any subset a of R³, there is a set of points of physical space that correspond to a under ψ. If we let a be one of the standard nonmeasurable subsets of R³, we get an affirmative answer to our question.

But now we have an interesting question:

2. What grounding or explanatory relation is there between the existence of a nonmeasurable region of physical space and the existence of a nonmeasurable subset of mathematical space?

The two simplest options are that one is explanatorily prior to the other. Let’s explore these.

Suppose the existence of a nonmeasurable physical region depends on the existence of the nonmeasurable set. Well, it is a bit strange to think of a concrete object—a region of physical space—as partly grounded in the existence of a set. This doesn’t sound quite right to me.

What about the other way around? This challenges the fairly popular doctrine that complex things entities are a free lunch given simples. For if the existence of the nonmeasurable region is prior to the existence of an abstract set, it seems that we actually have quite a significant metaphysical “effect” of this complex object.

Moreover, if the existence of the nonmeasurable region is not grounded in the existence of nonmeasurable set, whether or not there is grounding running the other way, we have a difficult question of why there is in fact a nonmeasurable region. Without relying on nonmeasurable sets, it doesn’t seem we can get the nonmeasurable region out of the axioms of classical mereology. It seems we need some sort of a mereological Axiom of Choice. How exactly to formulate that is difficult to say, but one version that is enough for our purposes would be that given any formula ρ(x,y) that expresses a non-empty equivalence relation on the simples satisfying ϕ, there is an object z such that if ϕ(x) then there is exactly one simple x′ such that ρ(x,x′) and x′ is a part of z, and every object that meets z meets some simple satsifying ϕ.

But my intuition is that a mereological Axiom of Choice would badly violate the doctrine that complex objects are a free lunch. If all we had in the way of complex-object-forming axioms were reflexivity, transitivity and fusion, then it would not be crazy to say that complex objects are a fancy way of talking about simples. But the “indeterministic” nature of the Axiom of Choice does not, I think, allow one to say that.

Plural and singular grounding

Here’s a tempting principle:

1. If x and y ground z, then the fusion of x and y grounds z.

In other words, we don’t need proper pluralities for grounding—their fusions do the job just as well.

But the principle is false. For the principle is only plausible if any two things have a fusion. But if x and y do not overlap, then x and y ground their fusion. And then (1) would say that the fusion grounds itself, which is absurd.

This makes it very plausible to think that plural objectual grounding does not reduce to singular objectual grounding.

Do all positive truths have truthmakers?

Consider this thesis:

1. Every positive true proposition has a truthmaker.

This seems plausible. But I think it is only reasonable to accept (1) if one accepts:

2. Any plurality of objects has a mereological sum or fusion which essentially has the members of the plurality as parts.

To see this, consider some plurality, the xs of existing things. Then, surely:

3. The proposition, E!xx, that the xs exist is positive.

But what object is suited to be the truthmaker of E!xx? The truthmaker of E!xx will have to be some object o with the property that, necessarily, if o exists, so do all the xs. Our best candidate for that object is some object that has all the xs as essential parts. But we also don’t want to include irrelevancies in the truthmaker, so we shouldn’t include in o anything that overlaps none of the xs. In other words, o will very plausibly be the mereological sum of the xs.

Since I don’t believe in fusions, I have to deny (1). But at least I may be able to accept:

4. Every positive true proposition has a plural truthmaker,

where a plural truthmaker of p is a plurality of objects that collectively make p true. Note that pluralities need not in general be objects themselves, so we do not have the same problem as above.