If materialism is true, we can't die in constant pain

Here is an unfortunate fact:

1. The last minute of your life can consist of constant conscious pain.

Of course, I think all pain is conscious, but I might as well spell it out. The modality of the “can” in this post will be something fairly ordinary, like some sort of nomic possibility.

Now say that a reference frame is “ordinary for you” provided that it is a reference frame corresponding to something moving no more than 100 miles per hour relative to your center of mass.

Next, note that switching between reference frames should not turn pain into non-pain: consciousness is not reference-frame relative. Thus:

2. If the last minute of your life consists of constant conscious pain, then in every reference frame that is ordinary for you, in the last half-minute of your life you are in constant conscious pain.

Relativistic time-dilation effects of differences between “ordinary” frames will very slightly affect how long your final pre-death segment of pain is, but will not shorten that segment by even one second, and certainly not by 30 seconds.

Next add:

3. If materialism is true, then you cannot have a conscious state when you are the size of a handful of atoms.

Such a small piece of the human body is not enough for consciousness.

But now (1)–(3) yield an argument against materialism. I have shown here that, given the simplifying assumption of special relativity, in almost every reference frame, and in particular in some ordinary frames, your life will end with you being the size of a handful of atoms. If materialism is true, in those frames towards the very end of your life you will have to exist without consciousness by (3), and in particular you won’t be able to have constant conscious pain (or any other conscious state) for your last half-minute.

Second-order awareness

Here is a plausible Cartesian thesis:

1. There is a kind of second-order awareness of first-order conscious states that is never mistaken: whenever you have the awareness, then you have the first-order conscious state.

I don’t mean this to be true by packing factiveness into awareness.

But also plausibly:

2. A veridical awareness of an event is caused by the event it is the awareness of.

And:

3. Causation always involves a time-delay.

Given (1)–(3), suppose that you are having the second-order awareness, which is being caused byt he first-order conscious states, and then suddenly the first-order conscious state ends. Since causation always involves a time-delay, it follows that the second-order awareness lags after the end of the first-order conscious state—that there is a time at which you have the second-order awareness even though the first-order conscious state has ended. And this contradicts (1).

I am inclined to deny (1).

But there are other paths out. One could deny (2) and say that in some cases, awareness is not caused but partly constituted by the event it is the awareness of. That’s how God’s awareness of the world has to work by divine simplicity. So the argument provides a tiny bit of evidence for that picture of divine awareness.

Or one might deny (3). Apart from some phenomena like collapse of entangled quantum states or a particle’s position causing a field at the precise position of the particle, which phenomena don’t seem relevant to the case at hand, the best way out here would be to deny naturalism, allowing that a non-physical first-order awareness could instantly cause a non-physical second-order awareness.

Consciousness and plurality

One classic critique of Descartes’ “cogito ergo sum” is that perhaps there can be thought without a subject. Perhaps the right thing to say about thought is feature-placing language like “It’s thinking”, understood as parallel to “It’s raining” or “It’s sunny”, where there really is no entity that is raining or sunny, but English grammar requires a subject so we through in an “it”.

There is a more moderate option, though, that I think deserves a bit more consideration. Perhaps thought has an irreducibly plural subject, and in a language that expresses the underlying metaphysics better, we should say “The neurons are (collectively) thinking” or maybe even “The particles are (collectively) thinking.” On this view, thought is a relation that holds between a plurality of objects, without these objects making up a whole that thinks. This, for instance, is a very natural view for physicalist who is a compositional nihilist (i.e., thinks that only simples exists).

It seems to me that it is hard to reject this view if one’s only data is the fact of consciousness, as it is for Descartes. What kills the three-dimensionalist version of this view, in my opinion, is that it cannot do justice to the identity of the thinker over time, since there would be different pluralities of neurons or particles engaged in the thinking over time. And a four-dimensionalist version cannot do justice to the identity of the thinker in counterfactual scenarios. However, this data isn’t quite as self-evident as what Descartes wants.

In any case, I think this is a view that non-naturalists like me need to take pretty seriously.

Unifying Separation and Choice

Let's round out Axiom of Choice Week. :-)

It’s occurred to me that there is a somewhat pleasant way to integrate the Axioms of Separation and Choice into one axiom schema.

Let’s say that a formula F(x,y) is a partial equivalence (is that the right term?) provided that it’s symmetric and transitive. Now consider this schema (understood to be universally closed over all free variables in F other than x and y):

• If F(x,y) is a partial equivalence, then for any set a there is a subset b such that for every x ∈ b we have F(x,x), and for any x ∈ a such that F(x,x), there is a unique y ∈ b such that F(x,y).

We might call this the Axiom (Schema) of Representatives.

To get the Axiom of Separation, given a formula G(x), let F(x,y) be the formula G(x) ∧ y = x. To get the Axiom of Choice, if c is a set of nonempty disjoint sets, let F(x,y) be ∃d ∈ c(x∈d∧y∈d) and let a = ⋃c (so we need the Union Axiom).

So what?

Nothing earthshaking.

But, first, while there is an advantage to keeping axioms separate for purposes of proving independence results, the more unified our axiomatic system is, the less ad hoc it looks. Unifying Separation and Choice can make us less suspicious about Choice, for instance.

Second, the Axiom Schema of Representatives has nice analogues in some other contexts than set theory. It seems to directly generalize to classes, for instance. Moreover, it extends very nicely to plural quantification to integrate Plural Comprehension with a version of Choice:

• If F(x,y) is a partial equivalence, then there are bs such that (i) for every x among the bs we have F(x,x), and (ii) for any x such that F(x,x), there is a unique y among the bs such that F(x,y).

I don’t know if there is a natural way to extend this to mereology.

One might complain that partial equivalence is less natural than equivalence. I don’t think so. First, it is defined by two instead of three conditions, which makes it seem more natural. Second, examples of partial equivalence relations tend to be more natural than examples of full equivalence relations if our domain is all of reality. For instance, “same color”, “same shape”, “same size”, “same species”, etc., are all partial equivalence relations, since only things with color are the same color as themselves, only things with shape are the same shape as themselves, etc. To form full equivalences, one needs to stipulate awkward relations like “same color or both colorless”.

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.

Modality and the Axiom of Choice

Suppose that the set theory of our world is a Solovay model, where we don’t have the Axiom of Choice (AC), and where every subset of the reals is Lebesgue measurable. Now imagine that God picks out a line in space, and defines the Vitali equivalence relation for points on that line (where two points are equivalent if and only if the distance between them is a rational number). It is then surely within God’s power to create a particle of some unexemplified type T at exactly one point in every equivalence class. There is nothing incoherent about that! But if God did that, then there would surely be a set of the points containing a particle of type T. And that set would be a nonmeasurable Vitali set.

So what?

Well, prima facie, there are three possibilities about the existence of nonmeasurable sets:

1. Necessarily, there are no nonmeasurable sets.

2. Necessarily, there are nonmeasurable sets.

3. It is contingent whether there are nonmeasurable sets.

My argument strongly suggests that if there are no nonmeasurable sets, it is nonetheless possible that there are nonmeasurable sets. Hence, (1) is ruled out.

So we have an argument for the disjunction of (2) and (3).

Now, I think a lot of people have the intuition that mathematical facts are necessary. If so, then (3) is ruled out. They will see this as an argument for (2).

I don’t see it that way myself: I am quite open to contingent mathematical truths.

More generally, the argument shows that:

4. For any set of disjoint nonempty subsets of the reals, it is possible that there is a choice function.

Again, if the existence of pure sets is not a contingent matter, we conclude AC is true for all subsets of the reals.

An odd thought about ZFC

The axioms of ZFC set theory can be divided into (a) the positive axioms, that say that a set with certain properties exist, and (b) two negative axioms that deny the existence of certain sets (Extensionality: given any set, there is no other set with the same members; Regularity: no irregular sets).

The positive axioms divide further into two classes: (i) those that are obvious special cases of naive set theory’s Axiom of Comprehension, and (ii) the Axiom of Choice.

Here is an alternate intellectual history thought experiment. Suppose we never discovered the contradiction in naive set theory or anything like it, maybe because we had a psychological block against thinking about non-self-membered sets, applying Cantor’s Theorem to the universal set, etc. The Axiom of Choice would continue to have an intuitive plausibility, and the “mathematical need” for it, say in the case of the Hahn-Banach Theorem, would likely still arise. And so we would be pulled to adopt it.

This makes me think this. The other positive axioms of ZFC (i.e., the positive axioms of ZF) have an ad hoc feel to them. They are special cases of Comprehension, carefully chosen to both give enough applications of Comprehension and to avoid contradiction (we hope). I feel that much of the plausibility of the other positive axioms of ZFC comes from their being special cases of the highly intuitive—but incoherent—Axiom of Comprehension. And that’s a little suspicious.

Normally one thinks of the Axiom of Choice as the most suspicious of ZFC’s axioms. But here we have a source of suspicion for axioms of ZFC that does not affect Choice.

Well, maybe. Maybe an enemy of Choice could say that both Choice and Comprehension are the fruit of the poisonous tree of principles of plenitude.

Pressuring people to violate conscience

If you pressure someone to act against their deeply-set moral beliefs, then your pressure is an action which, if successful, results in:

1. the person’s changing their deeply-set moral beliefs, or

2. the person’s acting against their deeply-set moral beliefs.

Our experience of life shows that (2) is rather more likely than (1). People rarely change their deeply-set moral beliefs, but they act against them all too frequently.

But it is wrong to act against one’s moral beliefs. Moreover, acting against one’s moral beliefs is more likely to be culpable than other wrongdoings. For in other wrongdoings, there is always the possibility of being inculpable due to ignorance. But when one acts against one’s moral beliefs, that excuse isn’t available. There is still the possibility that one is insane or that fear of the pressure has taken away one’s free will, but it seems very plausible that most of the time when someone acts against their deeply-set moral beliefs, they are culpable.

Thus, if you pressure someone to act against their deeply-set moral beliefs, there is a very significant chance—bigger than 25%, it is reasonable to estimate—that if you succeed, you will do so by having gotten them to act culpably wrongly. But we should have learned from Socrates that there is nothing worse in life than culpable wrongdoing. Thus the pressure risks a greater than 25% chance of imposing a harm worse than death on the person being pressured.

There are times when it is permissible to impose on someone a 25% risk of death, but that requires very grave reasons indeed, and one should go to great lengths to avoid such an imposition if at all possible. One requires even graver reasons to pressure someone to go against their deeply-set moral beliefs, and one should go to greater lengths to avoid such an imposition.

Remark 1: Here is a kind of a case where it is easier to justify pressure. The harm in violating a mistaken conscience is two-fold: (i) doing wrong, and (ii) culpably so. But now suppose that in fact the person is objectively morally obligated to perform the action they are being pressured to. In fact, let’s suppose the following: the person has a particularly grave objective obligation to ϕ, but they mistakenly believe they have a mild or moderate obligation not to ϕ. Then we may imagine that if they ϕ, they culpably violate a moderate moral obligation, but if they refuse to ϕ, they inculpably violate a grave moral obligation. Which is better? Is it more destructive of one’s moral character to inculpably violate a grave obligation or to culpably violate a moderate one? This is not clear. So in a case like that, pressure is a lot easier to justify.

Conversely, where pressure is hardest to justify is where there is no objective moral duty for the person to perform the action they are being pressured to.

Remark 2: Does it make any difference whether the deeply-set moral beliefs are religious in nature or not? My initial thought is that it does not. In both cases, we have the grave harm of being pressured to wrongdoing, and likely culpable wrongdoing. But on reflection, there can be a difference. Our lives as persons revolve around significant interpersonal relationships. Damaging the deepest relationships between persons requires extremely strong justification. That is why, for instance, we do not (with some exceptions) require spouses to testify against each other in court. But in the fact the deepest relationship in a person’s life is their relationship with God. And to go not only against morality but against what one takes to be the will of God imposes particularly nasty damage on that relationship. Thus when the person cognizes the action they are being pressured to take as not only wrong but contrary to the will of God, the harm that befalls them in doing the action is especially grave. Note that for this harm, it is not necessary that the action be contrary to the will of God—it is enough that the agent believes that it is.

I mean the argument in the previous paragraph to depend on the fact that the person really is in a relationship with God, and in particular that God really exists. I am not talking of the merely subjective harm of thinking that an imaginary relationship is harmed. The extent to which that argument can be extended to people whose religion is non-theistic takes thought. One might hope that these people are still having a relationship with God in and through their religion, and then a version of the point may well apply.

Measure screen latency

Last weekend, I spent a while measuring screen latency (for gaming purposes) on our TV, using a Raspberry PI, a photodiode and an oscilloscope. Instructions are here.

Counting with plural quantification

I’ve been playing with the question of what if anything we can say with plural quantification that we can’t say with, say, sets and classes.

Here’s an example. Plural quantification may let us make sense of cardinality comparisons that go further than standard methods. For instance, if our mathematical ontology consists only of sets, we can still define cardinality comparisons for pluralities of sets:

1. Suppose the xx and the yy are pluralities of sets. Then |xx| ≤ |yy| iff there are zz that are an injective function from the xx to the yy.

What is an injective function from the xx to the yy? It is a plurality, the zz, such that each of the zz is an ordered pair of classes, and such that for any a among the xx there is unique b among the yy such that (a,b) is among the zz and for any b among the yy there is at most one a among the xx such that [a,b] is among the zz.

This lets us say stuff like:

2. There are more sets than members of any set.

Or if our mathematical ontology includes sets and classes, we can compare the cardinalities of pluralities of classes using (1), as long as we can define an ordered pair of classes—which we can, e.g., by identifying the ordered pair of a and b with the class of all ordered pairs (i,x) where i = 0 and x ∈ a or where i = 1 and x ∈ b.

This would then let us say (and prove using a variant of Cantor’s diagonal argument, assuming Comprehension for pluralities):

3. There are more classes than sets.

The authority of game rules

I just set myself this task: Without moving my middle and index fingers, I would wiggle the ring finger of my right hand twenty times in ten seconds. I then fulfilled this task (holding the middle and index fingers still with my left hand). What was I doing by fulfilling my intention? I think I was playing and winning a game, albeit not a very fun one.

Here are four ways of describing a game fitting my intentions:

1. Victory condition: Wiggle ring finger 20 times in 10 seconds. Rules: Don’t move middle and index fingers.

2. Victory condition: Wiggle ring finger 20 times in 10 seconds without moving middle finger. Rules: Don’t move index finger.

3. Victory condition: Wiggle ring finger 20 times in 10 seconds without moving index finger. Rules: Don’t move middle finger.

4. Victory condition: Wiggle ring finger 20 times in 10 seconds without moving middle and index fingers. Rules: None.

Each of these generates the same gameplay: exactly the same things count as victory, since cheaters never win, and so you win only if you follow the rules. Ockham’s Razor suggests that they are all the same game. In other words, whether we put some constraints as rules or build them into the victory condition is just a matter of descriptive convenience.

If this is right, then here is a first attempt at a simple account of what we are doing when we play a game:

5. To play a game is to try to achieve the game’s victory condition without breaking the rules.

This gives a neat, simple and reductive account of the authority of the rules: Their authority comes from the fact that according with them is a necessary condition for achieving an end that one has adopted. It is simply the authority of instrumental rationality.

Of course, all sorts of complications come up. One is that games sometimes have score instead of a victory condition. In that case, what you are doing is aiming at higher scores rather than trying to achieve a specific victory condition, with some sort of an understanding of how breaking the rules affects the score (maybe it sets the score to zero, or maybe it you get whatever score you had just before you broke the rules). This tricky, and I explored these kinds of directional aiming in my ACPA talk last fall.

A bigger problem is this. My story started with a single player game. But things are more complicated in a two player game.

Problem 1: According to (5), if you plan to cheat, then you aren’t trying to achieve the victory condition without breaking the rules, and hence you aren’t playing the game. But to cheat at a game you have to play it! So in fact you never cheated!

Response: I think this is the right result for a single player game you play on your own. By planning to cheat in some particular way, I am simply the changing what game I am playing—and I can do that mid-game if I so choose. For instance, speedrunners of video games sometimes set themselves rules for what kind of “cheating” they are allowed to do: Can one use emulation and save states? Can one use glitches? Can one use automation, and where? If they are playing solely on their own, none of that is really cheating, because it is allowed by the rules they set themselves: their goal is to complete the game faster within such-and-such parameters.

But if you are playing against another or there is an audience to the game, things are different. We could just say this: You are cheating in the sense that you are deceiving the audience and the other player into thinking you are playing the game. Or we could say that there are two senses of playing a game: the first is simply to try to achieve the victory condition without breaking the rules, and the second is an implicit or explicit agreement with other persons to be playing a game in the first sense (e.g., indicated by signing up for the game).

Problem 2: Suppose I plan to beat you at chess while following the rules. To that end I drive to your house. Then my driving to your house is an attempt to achieve chess victory without breaking the rules, and hence by (5) the driving appears to be a part of the gameplay.

Response: This seems to me to be a pretty serious problem for the account actually. There seems to be an intuitive distinction between an action according with the rules that promotes victory and a move in the game. Another example is taking a drink of water while playing chess and doing so with the intention of improving one’s mental functioning and hence chances at victory. In taking the drink, one isn’t playing.

Or is one? When I think about it, the distinction seems kind of arbitrary and without normative significance. Take an athlete who is training for the big game. We want to say that they aren’t playing yet. But notice that in most modern sports the training itself falls under rules—specifically, rules about performance enhancing drugs. We could easily say that the training is basically a part of the game, a part that is much more loosely regulated than the rest. Similarly, many sports regulate the breaks that players can take, and deciding how to apportion the allowed break time (e.g., to take a drink of water, to relax, to stretch, or to refrain from taking it in order to make the other player think one isn’t tired) seems like a part of the game. Or take bodybuilding. It seems quite a distortion of the game to think only of the time in front of the judges as the gameplay.

What about the drive? That sure doesn’t seem to be a part of the game. But is that so clear? First, in a number of settings not showing up yields a forfit, a kind of loss. So you can lose by failing to drive! Second, you can choose how to drive—in restful or a stressful way, for instance—based on how this will affect the more formal gameplay.

Note that in chess, thinking is clearly a part of the gameplay. But you can start to think however early you like! You can be planning your first move should you end up winning the toss and playing white, for instance, while driving. Or not. The decision whether to engage in such planning is a part of your competency as a player.

Problem 3: It seems possible to play games with small children without trying to win, hoping that they will win.

Response: Maybe in such a case, one is pretending to play the game the child is playing, while one is playing a different game, say one whose victory condition is: “My child will checkmate me after I have made it moderately difficult for them to do so.” This is deceitful (the child will typically be unhappy if they figure out they were allowed to win), and deceit is defeasibly wrong. Is there a defeater here? I have my doubts.

Problem 4: I can try to run to my office in five minutes as a game or in order to be in time for office hours. There is a difference between the two: only in the first case am I playing. But in both cases the definition of (5) is satisfied.

Response: Maybe not. In (5), we have an ambiguity: it is not clear whether the fact that the victory condition is the victory condition of a game is a part of the content of one’s intention. If it is a part of the content of one’s intention, then the problem disappears: when I run in order to be on time, I am not aiming to get there in time as a game. But if we require the ludic component to be itself a part of the intention, however, then we lose some of the reductive appeal of (5) absent an account of games.

Should we require a thought of a game to be a part of the intention? Maybe. Suppose you find an odd game machine that dispenses twenty dollar bills if you tap a button 16 times in a second (quite an achievement). You try to do this just to get the money. Are you playing a game? I suspect not. For suppose a friend on a lark took your driver’s license and loaded it into the machine, and the only way to get it back is to tap the button 16 times in a second. You aren’t playing a game!

Perhaps we could say this. Instead of requiring the game part of (5) to be in the content of the intentions, we can require that something about the victory part be a part of the intentions. And perhaps what makes something a victory for you in the relevant sense is that in addition to whatever instrumental and intrinsic value it has, it is in part being pursued simply to achieve a goal one has set oneself as such. That’s what makes it not entirely serious. A game is a kind of whim: you just decided to pursue a goal, and off you go, because you decided to do so. (Of course, you might have good reason to have whims!)

Problem 5: Doesn’t the story violate the guise of the good thesis, since the victory need have no good in it apart from your setting it to yourself as an end, and hence your setting it to yourself as an end can’t be justified by its good.

Response: The case here is similar to one of my favorite family of edge cases for action theory, such as when you get a prize if you can induce electrical activity in the nerves from your brain to your arm, so you raise your arm. The raising of your arm has no value to you. But you have reason to set the rising of your arm as an end, since setting the raising of your arm as an end is a means to inducing the electrical activity in the nerves. In this case, the rising of the arm is worthless, either as an end or as a means, but aiming at it has value, since it causes the electrical activity in the nerves. (Depending on how one understands the response to Problem 4, it may be that one is then playing a simple little game with oneself.)

Similarly, if something is purely played as a game, the end has no value prior to its being set. But there are two values that you can aim at in setting victory-by-the-rules as your end: the value of achieving ends and the value of striving for achievable ends, to both of which the setting of achievable ends is a means. And maybe there is the good of play (which may or may not be subsumed under the values of striving for and achieving ends). So you have the guise of the good in an extended way: the end itself is not an independent good, but the adoption of the end is a good. That’s how it is in the electrical activity case.

Final remarks: The difficulties do not, I think, affect the basic account that the fundamental normative force of the rules of a game simply come from instrumental rationality: following the rules is necessary for the achievement of your goal. And there is a secondary normative force in multiplayer games, coming from general moral rules about compacts and deceit.

But perhaps we shouldn’t even say that there is normative force in the rules. They simply yield necessary conditions for achievement of one’s end. Perhaps they have no more, but no less, normative force than the fact that I need to exert energy to get to my office is.

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 I need to be aware of what I am intending if I am to be responsible?

I am going to argue that one doesn’t need to be conscious of intending to ϕ in order to be responsible for intending to ϕ.

The easiest version of the argument supposes time is discrete. Let t₁ be the very first moment at which I have already intended to ϕ. My consciousness of that intending comes later, at some time t₂: there is a time delay in our mental processing. So, at t₁, I have already intended to ϕ. When I have intended to ϕ, I am responsible for ϕ. But now suppose that God annihilates me before t₂. Then I never come to be aware that I intended to ϕ, but yet I was already responsible for it.

Here are three ways out:

1. I am not yet responsible at t₁, but only come to be responsible once I come to be aware of my intention, namely at t₂.

2. My awareness is simultaneous with the intention, and doesn’t come from the intention, but from the causal process preceeding the intention. During that causal process I become more and more likely to intend to ϕ, and so my awareness is informed by this high probability.

3. My awareness is a direct simultaneous seeing of the intention, partially constituted by the intention itself, so there is no time delay.

Unconscious aliens

Lately I’ve been starting my philosophy of mind course with Carolyn Gilman’s short story about unconscious but highly intelligent aliens.

We can imagine such aliens having thoughts, beliefs, concepts, representational and motivational states. After all, we have beliefs even when totally unconscious, and we have subconscious thoughts, concepts, as well as representational and motivational states.

I’ve wondered what unconscious aliens would think about our philosophical arguments about physicalism and consciousness. They might not have the concept of consciousness or of an experiential state, but they could have the concept of “that special mode of representing reality that humans have and we don’t”. And so now I ask myself: Would these aliens have any reason to think that consciousness-based arguments for dualism have any force? Would they have any reason to think that “special mode” is a non-physical mode?

Of course, the aliens might be convinced of dualism on the basis of intentionality arguments. But would something about humans give them additional evidence of dualism about humans?

The aliens shouldn’t be surprised to discover that humans when awake have some ways of processing inputs that they themselves don’t, nor should that give any evidence for dualism. Neither should the presence of some special “phenomenological” vocabulary in humans for describing such processing.

But I think what should give the aliens some evidence is the conviction that many humans have that their “experiences” lack physical properties, that they are categorically different from physical properties and things. If someone describes an object of sensory perception as lacking color, that gives one reason to think the object indeed lacks color. If someone describes the object of introspective perception as lacking charge or mass, that gives one reason to think the object indeed lacks charge or mass.

The aliens would need to then consider the fact that some people have the conviction and others do not, and try to figure out which ones are doing a better job learning from their introspection.

The hyperreals and the von Neumann - Morgenstern representation theorem

This is all largely well-known, but I wanted to write it down explicitly. The von Neumann–Morgenstern utility theorem says that if we have a total preorder (complete transitive relation) ≾ on outcomes in a mixture space (i.e., a space such that given members a and b and any t ∈ [0,1], there is a member (1−t)a + tb satisfying some obvious axioms) and satisfying:

• Independence: For any outcomes a, b and c and any t ∈ (0, 1], we have a ≾ b iff ta + (1−t)c ≾ tb + (1−t)c, and

• Continuity: If a ≾ b ≾ c then there is a t ∈ [0,1] such that b ≈ (1−t)a + tc (where x ≈ y iff x ≾ y and y ≾ x)

the preorder can be represented by a real-valued utility function U that is a mixture space homomorphism (i.e., U((1−t)a+tb) = (1−t)U(a) + tU(b)) and such that U(a) ≤ U(b) if and only a ≾ b.

Clearly continuity is a necessary condition for this to hold. But what if we are interested in hyperreal-valued utility functions and drop continuity?

Quick summary:

• Without continuity, we have a hyperreal-valued representation, and

• We can extend our preferences to recover continuity with respect to the hyperreal field.

More precisely, Hausner in 1971 showed that in a finite dimensional case (essentially the mixture space being generated by the mixing operation from a finite number of outcomes we can call “sure outcomes”) with independence but without continuity we can represent the total preorder by a finite-dimensional lexicographically-ordered vector-valued utility. In other words, the utilities are vectors (u₀,...,u_n − 1) of real numbers where earlier entries trump later ones in comparison. Now, given an infinitesimal ϵ, any such vector can be represented as u₀ + u₁ϵ + ... + u_n − 1ϵ^n − 1. So in the finite dimensional case, we can have a hyperreal-valued utility representation.

What if we drop the finite-dimensionality requirement? Easy. Take an ultrafilter on the space of finitely generated mixture subspaces of our mixture space ordered by inclusion, and take an ultraproduct of the hyperreal-valued representations on each of these, and the result will be a hyperreal-valued utility representing our preorder on the full space.

(All this stuff may have been explicitly proved by Richter, but I don’t have easy access to his paper.)

Now, on to the claim that we can sort of recover continuity. More precisely, if we allow for probabilistic mixtures of our outcomes with weights in the hyperreal field F that U takes values in, then we can embed our mixing space M in an F-mixing space M_F (which satisfies the axioms of a mixing space with respect to members of the larger field F), and extend our preference ordering ≾ to M_F such that we have:

• F-continuity: If a ≾ b ≾ c then there is a t ∈ F with 0 ≤ t ≤ 1 such that b ≈ (1−t)a + tc (where x ≈ y iff x ≾ y and y ≾ x).

In other words, if we allow for sufficiently fine-grained probabilistic mixtures, with hyperreal probabilities, we get back the intuitive content of continuity.

To see this, embed M as a convex subset of a real vector space V using an embedding theorem of Stone from the middle of the last century. Without loss of generality, suppose 0 ∈ M and U(0) = 0. Extend U to the cone C_M = {ta : t ∈ [0, ∞), a ∈ M} generated by M by letting U(ta) = tU(a). Note that this is well-defined since U(0) = 0 and if ta = ub with 0 ≤ t < u, then b = (1−s) ⋅ 0 + s ⋅ a, where s = t/u, and so U(b) = sU(a). It is easy to see that the extension will be additive. Next extend U to the linear subspace V_M generated by C_M (and hence by M) by letting U(a−b) = U(a) − U(b) for a and b in C_M. This is well-defined because if a − b = c − d, then a + d = b + c and so U(a) + U(d) = U(b) + U(c) and hence U(a) − U(b) = U(c) − U(d). Moreover, U is now a linear functional on V_M. If B is a basis of V_M, then let V_M^F be an F-vector space with basis B, and extend U to an F-linear functional from V_M^F to F by letting U(t₁a₁+...+t_na_n) = t₁U(a₁) + ... + t_nU(a_n), where the a_i are in B and the t_i are in F. Now let M^F be the F-convex subset of V_M^F generated by M. This will be an F-mixing space (i.e., it will satisfy the axioms of a mixing space with the field F in place of the reals). Let a ≾ b iff U(a) ≤ U(b) for a and b in M^F. Then if a ≾ b ≾ c, we have U(a) ≤ U(b) ≤ U(c). Let t between 0 and 1 in F be such that (1−t)U(a) + tU(c) = U(b). By F-linearity of U, we will then have U((1−t)a+tc) = U(b).