On Rasmussen and Bailey's "How to build a thought"

[Revised 11/21/2025 to fix a few issues.]

Rasmussen and Bailey prove that under certain assumptions it follows that there are possible thoughts that are not grounded in anything physical.

I want to offer a version of the argument that is slightly improved in a few ways.

Start with the idea that an abstract object x is a “base” for types of thoughts. The bases might be physical properties, types of physical facts, etc. I assume that in all possible worlds exactly the same bases abstractly exist, but of course what bases obtain in a possible world can vary between worlds. I also assume that for objects, like bases, that are invariant between worlds, their pluralities are also invariant between worlds.

Consider these claims:

1. Independence: For any plurality xx of bases, there is a possible world where it is thought that exactly one of the xx obtains and there is no distinct plurality yy of bases such that it is thought that exactly one of the yy obtains.

2. Comprehension: For any formula ϕ(x) with one free variable x that is satisfied by at least one base, there is a plurality yy of all the bases that satisfy ϕ(x).

3. Plurality: There are at least two bases.

4. Basing: Necessarily, if there is a plurality xx of bases and it is thought that exactly one of the xx obtains, then there obtains a base z such that necessarily if z obtains, it is thought that exactly one of the xx obtains.

By the awkward locution “it is thought that p”, I mean that something or some plurality of things thinks that p, or there is a thinkerless thought that p. The reason for all these options is that I want to be friendly to early-Unger style materialists who think that there no thinkers. :-)

Theorem: If Independence, Comprehension, Plurality and S5 are true, Basing is false.

Here is how this slightly improves on Rasmussen and Bailey:

• RB’s proofs use the Axiom of Choice twice. I avoid this. (They could avoid it, too, I expect.)

• I don’t need a separate category of thoughts to run the argument, just a “it is thought that exactly one of the xx exists” predicate. In particular, I don’t need types of thoughts, just abstract bases.

• RB use the concept of a thought that at least one of the xx exists. This makes their Independence axiom a little bit less plausible, because one might think that, say, someone who thinks that at least one of the male dogs exists automatically also thinks that at least one of the dogs exists. One might also reasonably deny this, but it is nice to skirt the issue.

• I replace grounding with mere entailment in Basing.

• I think RB either forgot to assume Plurality or are working with a notion of plurality where empty collections are possible.

Some notes:

• RB don’t explicitly assume Comprehension, but I don’t see how to prove their Cantorian Lemma 2 without it.

• Independence doesn’t fit with the necessary existence of an omniscient being. But we can make the argument fit with theism by replacing “it is thought” with “it is non-divinely thought”.

• I think the materialist could just hold that there are pluralities xx of bases such that no one could think about them.

Proofs

Write G(z,xx) to mean that z is a base, the xx are a plurality of bases, and necessarily if z obtains it is thought that exactly one of the xx obtains.

The Theorem follows from the following lemmas.

Lemma 1: Given Independence, Basing and S5, for every plurality of bases xx there is a z such that G(z,xx) and for every other plurality of bases yy it is not the case that G(z,yy).

Proof: Let w be a possible world like in Independence. By Basing, at w there obtains a base z such that G(z,xx). By S5 and the bases and pluralities thereof being the same at all worlds, we have G(z,xx) at the actual world, too. Suppose now that we actually have G(z,yy) with yy other than xx. Then at w, it is thought that exactly one of yy exists. But that contradicts the choice of w. Thus, actually, we have G(z,xx) but not G(z,yy).

Lemma 2: Assume Comprehension and Plurality. Then there is no formula ϕ(z,xx) open only in z and xx such that for every plurality of bases xx there is a z such that ϕ(z,xx) while for every other plurality of bases yy it is not the case that ϕ(z,yy).

Proof: Suppose we have such a ϕ(z,xx). Say that z is an admissible base provided that there is a unique plurality of bases xx such that ϕ(z,xx). I claim that there is an admissible base z such that z is not among any xx such that ϕ(z,xx). For suppose not. Then for all admissible bases z, z is among all xx such that ϕ(z,xx). Let a and b be distinct bases. Let ff, gg and hh be the pluralities consisting of a, of b, and of both a and b respectively. Then the above assumptions show that we must have ϕ(a,ff), ϕ(b,gg) and either ϕ(a,hh) or ϕ(b,hh), and either of these options violates our assumptions on ϕ. By Comprehension, then, let yy be the plurality of all admissible bases z such that z is not among any xx such that ϕ(z,xx). Let z be an admissible base such that ϕ(z,yy). Is z among the yy? If it is, then it’s not. If it is not, then it is. Contradiction!

What plurals are there?

Plural quantification is meant to be a logical way of avoiding some technical and/or conceptual difficulties with sets and second-order quantification. Instead of quantifying over one thing, one quantifies over pluralities. Thus, a theist might say: For all xs, God thinks of the xs in their interrelationship.

What plurals are there? Intuitively, for any finite list of objects, there is a plurality of precisely those objects. After all, we can easily have a sentence about any finite plurality of things we have names for: Alice, Bob and Carl like each other. But what furthe pluralities are there?

An expansive proposal is plural comprehension: the axiom schema that says that for any formula F with free variables that include y, for any values of the free variables other than y, there are xs such that y is one of the xs iff F. Unlike the comprehension schema in naive set theory, there does not seem to be any direct Russell-type paradox for plural comprehension, because the xs are not in general an object, but multiple objects.

But plural comprehension on its own does not seem to quite settle what plurals there are. Suppose we have a plurality of nonempty disjoint sets. We can for instance ask: Is there a plurality of objects that includes exactly one object from each of these sets? If (a) there is a set of these disjoint sets, and (b) the Axiom of Choice holds for sets, then the answer is affirmative by plural comprehension. But of course whether the Axiom of Choice holds for sets is itself not philosophically settled, and further not every plurality of sets is such that there is a set of the sets in the plurality.

Observations of this sort show that plural quantification is not as metaphysically innocent as it may seem. You might have hoped that there is no further metaphysical commitment in allowing for plural quantification than in singular quantification. But we can now have substantive questions about what pluralities there are even after we have fixed what singular objects there are, even if we assume plural comprehension. For instance, suppose we think that the objects are the physical objects of the world plus the elements of a model of ZF set theory with ur-elements and with the negation of the Axiom of Choice. We can know what all the objects are, and it still not be decided what pluralities there are. For in the case of a set of disjoint nonempty sets that lacks a choice set, as far as I can tell, there still might be a "choice plurality" (a plurality that has exactly one object from each of the disjoint sets) or there might not be one. (And if you say, well, the Axiom of Choice is obviously true, I may try to come back with a similar issue regarding Choice for proper classes.)

Or I might make a similar point about the Continuum Hypothesis (CH). The following story seems quite coherent. Every uncountable subset of the real numbers is in a bijection with the set of reals (i.e., CH is true), but there is an uncountable plurality of real numbers not in bijection with the plurality of reals. (It's easy to define bijections of pluralities in terms of pluralities of pairs.) But it's also coherent that CH is true, but there is no such uncountable plurality of reals--i.e., that CH is true for sets but its analogue for pluralities is false.

We might try to get out of this by insisting that, necessarily, the right set theory has to have a stronger version of the Schema of Separation that allows for formulas free plural variables and for the plural-membership relation. But that's conceding that the theory of pluralities is metaphysically non-innocent, because now what pluralities there are will constrain what objects there are!

So the question of what restrictions we put on plurals is a really substantive question.

Next note that following point. There seem to be two particularly simple and non-arbitrary answers to the Special Composition Question which asks which pluralities compose a whole: nihilism (there are no non-trivial cases of composition) and universalism (every plurality composes a whole). But once we have realized that it is a substantive question what pluralities there are, it seems that what objects there are and affirming universalism, even with mereological essential thrown in, doesn't settle the question of what wholes there are. There is substantial metaphysics to be done to figure out what pluralities there are!

I say the above with a caution: there are various technicalities I am glossing over, and I wouldn't be surprised if some of them turned out to be really important.

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.

Properties, relations and functions

Many philosophical discussions presuppose a picture of reality on which, fundamentally, there are objects which have properties and stand in relations. But if we look to how science describes the world, it might be more natural to bring (partial) functions in at the ground level.

Objects have attributes like mass, momentum, charge, DNA sequence, size and shape. These attributes associate values, like 3.4kg, 15~kg m/s north-east, 5C, TTCGAAAAG, 5m and sphericity, to the objects. The usual philosophical way of modeling such attributes is through the mechanism of determinables and determinates. Thus, an object may have the determinable property of having mass and its determinate having mass 3.4kg. We then have a metaphysical law that prohibits objects from having multiple same-level determinates of the same determinable.

A special challenge arises from the numerical or vector structure of many of the values of the attributes. I suppose what we would say is that the set of lowest-level determinates of a determinable “naturally” has the mathematical structure of a subset of a complete ordered field (i.e., of something isomorphic to the set of real numbers) or of a vector space over such a field, so that momenta can be added, masses can be multiplied, etc. There is a lot of duplication here, however: there is one addition operator on the space of lowest-level momentum determinates and another addition operator on the space of lowest-level position determinates in the Newtonian picture. Moreover, for science to work, we need to be able to combine the values of various attributes: we need to be able to divide products of masses by squares of distances to make sense of Newton’s laws of gravitation. But it doesn’t seem to make sense to divide mass properties, or their products, by distance properties, or their squares. The operations themselves would have to be modeled as higher level relations, so that momentum addition would be modeled as a ternary relation between momenta, and there would be parallel algebraic laws for momentum addition and position addition. All this can be done, one operation at a time, but it’s not very elegant.

Wouldn’t it be more elegant if instead we thought of the attributes as partial functions? Thus, mass would be a partial function from objects to the positive real numbers (using a natural unit system) and both Newtonian position and momentum will be partial functions from objects to Euclidean three-dimensional space. One doesn’t need separate operations for the addition of positions and of momenta any more. Moreover, one doesn’t need to model addition as a ternary relation but as a function of two arguments.

There is a second reason to admit functions as first-class citizens into our metaphysics, and this reason comes from intuition. Properties make intuitive sense. But I think there is something intuitively metaphysically puzzling about relations that are not merely to be analyzed into a property of a plurality (such as being arranged in a ball, or having a total mass of 5kg), but where the order of the relata matters. I think we can make sense of binary non-symmetric relations in terms of the analogy of agents and patients: x does something to y (e.g. causes it). But ternary relations that don’t reduce to a property of a plurality, but where order matters, seem puzzling. There are two main technical ways to solve this. One is to reduce such relations to properties of tuples, where tuples are special abstract objects formed from concrete objects. The other is Josh Rasmussen’s introduction of structured mereological wholes. Both are clever, but they do complicate the ontology.

But unary partial functions—i.e., unary attributes—are all we need to reduce both properties and relations of arbitrary finate arity. And unary attributes like mass and velocity make perfect intuitive sense.

First, properties can simply be reduced to partial functions to some set with only one object (say, the number “1” or the truth-value “true” or the empty partial function): the property is had by an object provided that the object is in the domain of the partial function.

Second, n-ary relations can be reduced to n-ary partial functions in exactly the same way: x₁, ..., x_n stand in the relation if and only if the n-tuple (x₁, ..., x_n) lies in the domain of the partial function.

Third, n-ary partial functions for finite n > 1 can be reduced to unary partial functions by currying. For instance, a binary partial function f can be modeled as a unary function g that assigns to each object x (or, better, each object x such that f(x, y) is defined for some y) a unary function g(x) such that (g(x))(y)=f(x, y) precisely whenever the latter is defined. Generalizing this lets one reduce n-ary partial functions to (n − 1)-ary ones, and so on down to unary ones.

There is, however, an important possible hitch. It could turn out that a property/relation ontology is more easily amenable to nominalist reduction than a function ontology. If so, then for those of us like me who are suspicious of Platonism, this could be a decisive consideration in favor of the more traditional approach.

Moreover, some people might be suspicious of the idea that purely mathematical objects, like numbers, are so intimately involved in the real world. After all, such involvement does bring up the Benacerraf problem. But maybe we should say: It solves it! What are the genuine real numbers? It's the values that charge and mass can take. And the genuine natural numbers are then the naturals amongst the genuine reals.

Divine Belief Simplicity

Divine Belief Simplicity is the thesis that all of God's acts of belief are the same act of belief, the same belief token. While my belief that 2+2=4 seems distinct from my belief that the sky is blue, God's believings are all one. This is a special case of divine simplicity.

Here is an argument for Divine Belief Simplicity. The primary alternative to Divine Belief Simplicity is:

• Divine Belief Diversity: God's act of believing p is distinct from God's act of believing q whenever p and q are different.

But Divine Belief Diversity is false. The argument may be based on an anonymous referee's objection to a paper by Josh Rasmussen—I can't remember very well now—or to some comments by Josh Rasmussen. Here are some assumptions we'll need:

1. For any plurality, the Fs, there is a distinct proposition that the Fs exist or don't exist.

For instance, there is the proposition that the world's dogs exist or don't exist, and the proposition that the French exist or don't exist, and so on. Next:

2. Separation: Given any plurality, the Fs, and a predicate, P, that is satisfied by at least one of the Fs, there is a plurality of all and only the Fs satisfying P.
3. Plurality of Believings: If Divine Belief Diversity holds, then there is a plurality of all divine acts of believing.

But this is enough to run a Russell paradox.

Say that a divine believing b is settish provided that there is a plurality, the Fs, such that b is a believing that the Fs exist or don't exist. For any settish divine belief b, there is the plurality of things that b affirms the existence or nonexistence of. Say that a divine believing b is nonselfmembered provided that b is settish and is not in the plurality of things that b affirms the existence or nonexistence of. By (1), Separation and Plurality of Believings, let p be the proposition that affirms existence-or-nonexistence of the nonselfmembered believings. Now p is true. So there is a divine believing b in p. This is settish. Moreover, this b either is among the nonselfmembered believings or not. If it is, then it's not. If it's not, then it is. So we have a contradiction.

Moreover, this argument does not need to take propositions ontologically seriously. It only needs divine believings to be taken ontologically seriously.

Denying Divine Belief Diversity, however, denies that there is such a thing as the plurality of things that b affirms the existence or nonexistence of.