Parts and Parmenides

Much of the difficulty of the topic of the previous post simply results from the difficulty of understanding the idea of part and whole. In our original discussion of these concepts, I noted that in order to be a whole, a thing must be itself, but also in a certain way other things which it simply speaking is not.

There is a temptation to say that this is a contradiction: since we admit that the whole is not its part, it cannot be that part in any way, and therefore it cannot satisfy our definition of a whole. And thus it would be impossible to have a whole and parts.

Parmenides attempts to resolve this problem in a simplistic manner, namely by denying the reality of distinction. Since it is impossible for one thing to be distinct from another, it is impossible to for there to be many things which could be made into a whole. There is only one thing, and consequently no need to make anything out of parts.

A more sophisticated and more common solution is to admit the reality of distinction, but to continue to deny the possibility of forming wholes from parts. By confusing the idea of “fundamental” as the primary material cause with the idea of “fundamental” as most real, Sean Carroll accepts this solution.

Both proposed solutions are contrary to common sense, and both effectively deny the reality of all the things of our common experience. Parmenides makes this denial openly, Carroll by implication, although he at least wishes to avoid it.

There is an additional inconsistency in Carroll’s view insofar as we cannot avoid thinking of the universe as a kind of whole. In other words, just as Parmenides wished to say, “there is only one thing,” Carroll wishes to say, “there are only many things.” But this cannot be done: for there cannot be many things, unless those many are in some way one.

Alexander Pruss attempts to formulate a still more sophisticated solution, which to some extent we have already discussed:

Some people are attracted to nihilism about proper parthood: no entity has proper parts. I used to be rather attracted to that myself, but I am now finding that a different thesis fits better with my intuitions: no entity is (fully) grounded. Or to put it positively: only fundamental entities exist.

This has some of the same consequences that nihilism about proper parthood would. For instance, on nihilism about proper parthood, there are no artifacts, since if there were any, they’d have proper parts. But on nihilism about ontological grounding, we can also argue that there are no artifacts, since the existence of an artifact would be grounded in social and physical facts. Moreover, nihilism about ontological grounding implies nihilism about mereological sum: for the existence of a mereological sum would be grounded in the existence of its proper parts. However, nihilism about ontological grounding is compatible with some things having parts–but they have to be things that go beyond their parts, things whose existence is not grounded in the existence and relations of their parts.

Note that he states that he was formerly attracted to the view that “no entity has proper parts.” This would assert, like the views of Parmenides and Sean Carroll, that wholes and parts are impossible. Since this seems too opposed to common sense, he formulates a new view, where it is possible for a thing to have parts, but the thing must “go beyond” its parts in some way. The existence of the whole “is not grounded” in the existence and relations of its parts.

It is not clear to me precisely what he means by grounding here, and his position could be true, if this is understood in some ways, and not true, if it is understood in others. It could be taken in a fairly tautological sense: something with parts is real if it is really one thing, and not merely many things. But we could just as well say that many things cannot exist without being in some way one. And this does not seem to be Pruss’s intended meaning, since he denies the reality of artifacts, even in this text, which would not be necessary on this understanding.

In any case there does seem to be some remaining desire to deny in some way the possibility of whole and part, indicated for example in the statement that “only fundamental entities exist.” Of course if we understand “fundamental” to mean “real,” then the statement is that only real things exist, and this is obviously true. But like in the case of Carroll, it is evident that fundamental here is meant to refer in some way to what things are made from, namely to material causes. The difference is that rather than saying that the fundamental things are particles of some kind, Pruss would say that some fundamental things are particles, while others are human beings and so on.

Zeal for Form, But Not According to Knowledge

Some time ago I discussed the question of whether the behavior of a whole should be predictable from the behavior of the parts, without fully resolving it. I promised at the time to revisit the question later, and this is the purpose of the present post.

In the discussion of Robin Hanson’s book Age of Em, we looked briefly at his account of the human mind. Let us look at a more extended portion of his argument about the mind:

There is nothing that we know of that isn’t described well by physics, and everything that physicists know of is well described as many simple parts interacting simply. Parts are localized in space, have interactions localized in time, and interactions effects don’t move in space faster than the speed of light. Simple parts have internal states that can be specified with just a few bits (or qubits), and each part only interacts directly with a few other parts close in space and time. Since each interaction is only between a few bits on a few sides, it must also be simple. Furthermore, all known interactions are mutual in the sense that the state on all sides is influenced by states of the other sides.

For example, ordinary field theories have a limited number of fields at each point in space-time, with each field having a limited number of degrees of freedom. Each field has a few simple interactions with other fields, and with its own space-time derivatives. With limited energy, this latter effect limits how fast a field changes in space and time.

As a second example, ordinary digital electronics is made mostly of simple logic units, each with only a few inputs, a few outputs, and a few bits of internal state. Typically: two inputs, one output, and zero or one bits of state. Interactions between logic units are via simple wires that force the voltage and current to be almost the same at matching ends.

As a third example, cellular automatons are often taken as a clear simple metaphor for typical physical systems. Each such automation has a discrete array of cells, each of which has a few possible states. At discrete time steps, the state of each cell is a simple standard function of the states of that cell and its neighbors at the last time step. The famous “game of life” uses a two dimensional array with one bit per cell.

This basic physics fact, that everything is made of simple parts interacting simply, implies that anything complex, able to represent many different possibilities, is made of many parts. And anything able to manage complex interaction relations is spread across time, constructed via many simple interactions built up over time. So if you look at a disk of a complex movie, you’ll find lots of tiny structures encoding bits. If you look at an organism that survives in a complex environment, you’ll find lots of tiny parts with many non-regular interactions.

Physicists have learned that we only we ever get empirical evidence about the state of things via their interactions with other things. When such interactions the state of one thing create correlations with the state of another, we can use that correlation, together with knowledge of one state, as evidence about the other state. If a feature or state doesn’t influence any interactions with familiar things, we could drop it from our model of the world and get all the same predictions. (Though we might include it anyway for simplicity, so that similar parts have similar features and states.)

Not only do we know that in general everything is made of simple parts interacting simply, for pretty much everything that happens here on Earth we know those parts and interactions in great precise detail. Yes there are still some areas of physics we don’t fully understand, but we also know that those uncertainties have almost nothing to say about ordinary events here on Earth. For humans and their immediate environments on Earth, we know exactly what are all the parts, what states they hold, and all of their simple interactions. Thermodynamics assures us that there can’t be a lot of hidden states around holding many bits that interact with familiar states.

Now it is true that when many simple parts are combined into complex arrangements, it can be very hard to calculate the detailed outcomes they produce. This isn’t because such outcomes aren’t implied by the math, but because it can be hard to calculate what math implies. When we can figure out quantities that are easier to calculate, as long as the parts and interactions we think are going on are in fact the only things going on, then we usually see those quantities just as calculated.

The point of Robin’s argument is to take a particular position in regard to the question we are revisiting in this post: everything that is done by wholes is predictable from the behavior of the parts. The argument is simply a more extended form of a point I made in the earlier post, namely that there is no known case where the behavior of a whole is known not to be predictable in such a way, and many known cases where it is certainly predictable in this way.

The title of the present post of course refers us to this earlier post. In that post I discussed the tendency to set first and second causes in opposition, and noted that the resulting false dichotomy leads to two opposite mistakes, namely the denial of a first cause on one hand, and to the assertion that the first cause does or should work without secondary causes on the other.

In the same way, I say it is a false dichotomy to set the work of form in opposition with the work of matter and disposition. Rather, they produce the same thing, both according to being and according to activity, but in different respects. If this is the case, it will be necessarily true from the nature of things that the behavior of a whole is predictable from the behavior of the parts, but this will happen in a particular way.

I mentioned an example of the same false dichotomy in the post on Robin’s book. Here again is his argument:

But consider a key question: Does this other feeling stuff interact with the familiar parts of our world strongly and reliably enough to usually be the actual cause of humans making statements of feeling like this?

If yes, this is a remarkably strong interaction, making it quite surprising that physicists have missed it so far. So surprising in fact as to be frankly unbelievable. If this type of interaction were remotely as simple as all the interactions we know, then it should be quite measurable with existing equipment. Any interaction not so measurable would have be vastly more complex and context dependent than any we’ve ever seen or considered. Thus I’d bet heavily and confidently that no one will measure such an interaction.

But if no, if this interaction isn’t strong enough to explain human claims of feeling, then we have a remarkable coincidence to explain. Somehow this extra feeling stuff exists, and humans also have a tendency to say that it exists, but these happen for entirely independent reasons. The fact that feeling stuff exists isn’t causing people to claim it exists, nor vice versa. Instead humans have some sort of weird psychological quirk that causes them to make such statements, and they would make such claims even if feeling stuff didn’t exist. But if we have a good alternate explanation for why people tend to make such statements, what need do we have of the hypothesis that feeling stuff actually exists? Such a coincidence seems too remarkable to be believed.

I am currently awake and conscious, hearing the sounds of my keyboard as I type and the music playing in the background. Robin’s argument is something like this: why did I type the previous sentence? Is it because I am in fact awake and conscious and actually heard these sounds? If in principle it is predictable that I would have typed that, based on the simple interactions of simple parts, that seems to be an entirely different explanation. So either one might be the case or the other, but not both.

We have seen this kind of argument before. C.S. Lewis made this kind of argument when he said that thought must have reasons only, and no causes. Similarly, there is the objection to the existence of God, “But it seems that everything we see in the world can be accounted for by other principles, supposing God did not exist.” Just as in those cases we have a false dichotomy between the first cause and secondary causes, and between the final cause and efficient causes, so here we have a false dichotomy between form and matter.

Let us consider this in a simpler case. We earlier discussed the squareness of a square. Suppose someone attempted to apply Robin’s argument to squares. The equivalent argument would say this: all conclusions about squares can be proved from premises about the four lines that make it up and their relationships. So what use is this extra squareness? We might as well assume it does not exist, since it cannot explain anything.

In order to understand this one should consider why we need several kinds of cause in the first place. To assign a cause is just to give the origin of a thing in a way that explains it, while explanation has various aspects. In the linked post, we divided causes into two, namely intrinsic and extrinsic, and then divided each of these into two. But consider what would happen if we did not make the second division. In this case, there would be two causes of a thing: matter subject to form, and agent intending an end. We can see from this how the false dichotomies arise: all the causality of the end must be included in some way in the agent, since the end causes by informing the agent, and all the causality of the form must be included in some way in the matter, since the form causes by informing the matter.

In the case of the square, even the linked post noted that there was an aspect of the square that could not be derived from its properties: namely, the fact that a square is one figure, rather than simply many lines. This is the precise effect of form in general: to make a thing be what it is.

Consider Alexander Pruss’s position on artifacts. He basically asserted that artifacts do not truly exist, on the grounds that they seem to be lacking a formal cause. In this way, he says, they are just a collection of parts, just as someone might suppose that a square is just a collection of lines, and that there is no such thing as squareness. My response there was the same as my response about the square: saying that this is just a collection cannot explain why a square is one figure, nor can the same account explain the fact that artifacts do have a unity of some kind. Just as the denial of squareness would mean the denial of the existence of a unified figure, so the denial of chairness would mean the denial of the existence of chairs. Unlike Sean Carroll, Pruss seems even to recognize that this denial follows from his position, even if he is ambivalent about it at times.

Hanson’s argument about the human mind is actually rather similar to Pruss’s argument about artifacts, and to Carroll’s argument about everything. The question of whether or not the fact that I am actually conscious influences whether I say that I am, is a reference to the idea of a philosophical zombie. Robin discusses this idea more directly in another post:

Carroll inspires me to try to make one point I think worth making, even if it is also ignored. My target is people who think philosophical zombies make sense. Zombies are supposedly just like real people in having the same physical brains, which arose the through the same causal history. The only difference is that while real people really “feel”, zombies do not. But since this state of “feeling” is presumed to have zero causal influence on behavior, zombies act exactly like real people, including being passionate and articulate about claiming they are not zombies. People who think they can conceive of such zombies see a “hard question” regarding which physical systems that claim to feel and otherwise act as if they feel actually do feel. (And which other systems feel as well.)

The one point I want to make is: if zombies are conceivable, then none of us will ever have any more relevant info than we do now about which systems actually feel. Which is pretty much zero info! You will never have any info about whether you ever really felt in the past, or will ever feel in the future. No one part of your brain ever gets any info from any other part of your brain about whether it really feels.

These claims all follow from our very standard and well-established info theory. We get info about things by interacting with them, so that our states become correlated with the states of those things. But by assumption this hypothesized extra “feeling” state never interacts with anything. The actual reason why you feel compelled to assert very confidently that you really do feel has no causal connection with whether you actually do really feel. You would have been just as likely to say it if it were not true. What could possibly be the point of hypothesizing and forming beliefs about states about which one can never get any info?

We noted the unresolved tension in Sean Carroll’s position. The eliminativists are metaphysically correct, he says, but they are mistaken to draw the conclusion that the things of our common experience do not exist. The problem is that given that he accepts the eliminativist metaphysics, he can have no justification for rejecting their conclusions. We can see the same tension in Robin Hanson’s account of consciousness and philosophical zombies. For example, why does he say that they do not “make sense,” rather than asking whether or not they can exist and why or why not?

Let us think about this in more detail. And to see more clearly the issues involved, let us consider a simpler case. Take the four chairs in Pruss’s office. Is it possible that one of them is a zombie?

What would this even mean? In the post on the relationship of form and reality, we noted that asking whether something has a form is very close to the question of whether something is real. I really have two hands, Pruss says, if my hands have forms. And likewise chairs are real chairs if they have the form of a chair, and if they do not, they are not real in the first place, as Pruss argues is the case.

The zombie question about the chair would then be this: is it possible that one of the apparent chairs, physically identical to a real chair, is yet not a real chair, while the three others are real?

We should be able to understand why someone would want to say that the question “does not make sense” here. What would it even be like for one of the chairs not to be a real chair, especially if it is posited to be identical to all of the others? In reality, though, the question does make sense, even if we answer that the thing cannot happen. In this case it might actually be more possible than in other cases, since artifacts are in part informed by human intentions. But possible or not, the question surely makes sense.

Let us consider the case of natural things. Consider the zombie oak tree: it is physically identical to an oak tree, but it is not truly alive. It appears to grow, but this is just the motion of particles. There are three positions someone could hold: no oak trees are zombie oaks, since all are truly alive and grow; all oak trees are zombies, since all are mere collections of particles; and some are alive and grow, while others are zombies, being mere collections of particles.

Note that the question does indeed make sense. It is hard to see why anyone would accept the third position, but if the first and second positions make sense, then the third does as well. It has an intelligible content, even if it is one that we have no good arguments for accepting. The argument that it does not make sense is basically the claim that the first and second positions are not distinct positions: they do not say different things, but the same thing. Thus the the third would “not make sense” insofar as it assumes that the first and second positions are distinct positions.

Why would someone suppose that the first and second positions are not distinct? This is basically Sean Carroll’s position, since he tries to say both that eliminativists are correct about what exists, but incorrect in denying the existence of common sense things like oak trees. It is useful to say, “oak trees are real,” he says, and therefore we will say it, but we do not mean to say something different about reality than the eliminativists who say that “oak trees are not real but mere collections of particles.”

But this is wrong. Carroll’s position is inconsistent in virtually the most direct possible way. Either oak trees are real or they are not; and if they are real, then they are not mere collections of particles. So both the first and second positions are meaningful, and consequently also the third.

The second and third positions are false, however, and the meaningfulness of this becomes especially clear when we speak of the human case. It obviously does make sense to ask whether other human beings are conscious, and this is simply to ask whether their apparent living activities, such as speaking and thinking, are real living activities, or merely apparent ones: perhaps the thing is making sounds, but it is not truly speaking or thinking.

Let us go back to the oak tree for a moment. The zombie oak would be one that is not truly living, but its activities, apparently full of life, are actually lifeless. In order to avoid this possibility, and out of a zeal for form which is not according to knowledge, some assert that the activities of an oak cannot be understood in terms of the activities of the parts. There is a hint of this, perhaps, in this remark by James Chastek:

Consciousness is just the latest field where we are protesting that something constitutes a specific difference from some larger genus, but if it goes the way the others have gone, in fifty years no one will even remember the controversy or bother to give the fig-leaf explanations of it being emergent or reductive. No one will remember that there is a difference to explain. Did anyone notice in tenth-grade biology that life was explained entirely in terms of non-living processes? No. There was nothing to explain since nothing was noticed.

Chastek does not assert that life cannot be “explained entirely in terms of non-living processes,” in the manner of tenth-grade biology, but he perhaps would prefer that it could not be so explained. And the reason for this would be the idea that if everything the living thing does can be explained in terms of the parts, then oak trees are zombies after all.

But this idea is mistaken. Look again at the square: the parts explain everything, except the fact that the figure is one figure, and a square. The form of a square is indeed needed, precisely in order that the thing will actually be a whole and a square.

Likewise with the oak. If an oak tree is made out of parts, then since activity follows being, it should be unsurprising that in some sense its activities themselves will be made out of parts, namely the activities of its parts. But the oak is real, and its activities are real. And just as oaks really exist, so they really live and grow; but just as the living oak has parts which are not alive in themselves, such as elements, so the activity of growth contains partial activities which are not living activities in themselves. What use is the form of an oak, then? It makes the tree really an oak and really alive; and it makes its activities living activities such as growth, rather than being merely a collection of non-living activities.

We can look at human beings in the same way, but I will leave the details of this for another post, since this one is long enough already.

Statistical Laws of Choice

I noted in an earlier post the necessity of statistical laws of nature. This will necessarily apply to human actions as a particular case, as I implied there in mentioning the amount of food humans eat in a year.

Someone might object. It was said in the earlier post that this will happen unless there is a deliberate attempt to evade this result. But since we are speaking of human beings, there might well be such an attempt. So for example if we ask someone to choose to raise their right hand or their left hand, this might converge to an average, such as 50% each, or perhaps the right hand 60% of the time, or something of this kind. But presumably someone who starts out with the deliberate intention of avoiding such an average will be able to do so.

Unfortunately, such an attempt may succeed in the short run, but will necessarily fail in the long run, because although it is possible in principle, it would require an infinite knowing power, which humans do not have. As I pointed out in the earlier discussion, attempting to prevent convergence requires longer and longer strings on one side or the other. But if you need to raise your right hand a few trillion times before switching again to your left, you will surely lose track of your situation. Nor can you remedy this by writing things down, or by other technical aids: you may succeed in doing things trillions of times with this method, but if you do it forever, the numbers will also become too large to write down. Naturally, at this point we are only making a theoretical point, but it is nonetheless an important one, as we shall see later.

In any case, in practice people do not tend even to make such attempts, and consequently it is far easier to predict their actions in a roughly statistical manner. Thus for example it would not be hard to discover the frequency with which an individual chooses chocolate ice cream over vanilla.

Form and Reality

In a very interesting post Alexander Pruss discusses realism and skeptical scenarios:

The ordinary sentence “There are four chairs in my office” is true (in its ordinary context). Furthermore, its being true tells us very little about fundamental ontology. Fundamental physical reality could be made out of a single field, a handful of fields, particles in three-dimensional space, particles in ten-dimensional space, a single vector in a Hilbert space, etc., and yet the sentence could be true.

An interesting consequence: Even if in fact physical reality is made out of particles in three-dimensional space, we should not analyze the sentence to mean that there are four disjoint pluralities of particles each arranged chairwise in my office. For if that were what the sentence meant, it would tell us about which of the fundamental physical ontologies is correct. Rather, the sentence is true because of a certain arrangement of particles (or fields or whatever).

If there is such a broad range of fundamental ontologies that “There are four chairs in my office” is compatible with, it seems that the sentence should also be compatible with various sceptical scenarios, such as that I am a brain in a vat being fed data from a computer simulation. In that case, the chair sentence would be true due to facts about the computer simulation, in much the way that “There are four chairs in this Minecraft house” is true. It would be very difficult to be open to a wide variety of fundamental physics stories about the chair sentence without being open to the sentence being true in virtue of facts about a computer simulation.

But now suppose that the same kind of thing is true for other sentences about physical things like tables, dogs, trees, human bodies, etc.: each of these sentences can be made true by a wide array of physical ontologies. Then it seems that nothing we say about physical things rules out sceptical scenarios: yes, I know I have two hands, but my having two hands could be grounded by facts about a computer simulation. At this point the meaningfulness of the sceptical question whether I know I am not a brain in a vat is breaking down. And with it, realism is breaking down.

I am not completely sure what Pruss means by “realism is breaking down,” but he is looking at something important here. One question that needs to be addressed, however, is what counts as a skeptical scenario in the first place. In the rest of the post, Pruss makes an interesting suggestion about this:

In order for the sceptical question to make sense, we need the possibility of saying things that cannot simply be made true by a very wide variety of physical theories, since such things will also be made true by computer simulations. This gives us an interesting anti-reductionist argument. If the statement “I have two hands” is to be understood reductively (and I include non-Aristotelian functionalist views as reductive), then it could still be literally true in the brain-in-a-vat scenario. But if anti-reductionism about hands is true, then the statement wouldn’t be true in the brain-in-a-vat scenario. And so I can deny that I am in that scenario simply by saying “I have two hands.”

But maybe I am moving too fast here. Maybe “I have two hands” could be literally true in a brain-in-a-vat scenario. Suppose that the anti-reductionism consists of there being Aristotelian forms of hands (presumably accidental forms). But if, for all we know, the form of a hand can inform a bunch of particles, a fact about a vector or the region of a field, then the form of a hand can also inform an aspect of a computer simulation. And so, for all we know, I can literally and non-reductively have hands even if I am a brain in a vat. I am not sure, however, that I need to worry about this. What is important is form, not the precise material substrate. If physical reality is the memory of a giant computer but it isn’t a mere simulation but is in fact informed by a multiplicity of substantial and accidental forms corresponding to people, trees, hands, hearts, etc., and these forms are real entities, then the scenario does not seem to me to be a sceptical scenario.

A skeptical scenario, according to Pruss, is a situation where the things we normally talk about do not have forms. If they do have forms, we are not in a skeptical scenario at all, even if in some sense we are in a computer simulation or even if someone is a brain in a vat. On the face of it this seems a very odd claim: “form” seems to be a technical philosophical explanation, while asking if we are in a skeptical scenario seems to be asking if our everyday common sense understanding of things is mistaken.

Nonetheless, there is a lot of truth in his explanation. First let us consider what is meant by a skeptical scenario in the first place. In terms of his example, it is supposed to go something like this: “Is it possible that you are a brain in a vat without realizing it? If so, then almost everything you believe is false, since you do not have hands, the people you speak to are not real, and so on.”

In the post Pruss is pointing out a problem with the skeptical question. The skeptical question is like a skeptic in the remote past asking, “Is it possible that the earth is spinning without us realizing it? If so, then our everyday opinion that the sun rises every morning is false, since the sun does not move.”

The response to the second skeptic is evident: our everyday opinion that the sun rises every morning is not false, not even if the earth turns out to be spinning, because “the sun rises every morning,” is to be understood in whatever way is needed in order for it to be true. It refers to what happens every morning, whatever that actually happens to be.

Pruss is pointing out that we can answer the first question in the same way: our everyday opinion that we have hands is not false, not even if we are in a computer simulation or in a vat, because “I have two hands” is to be understood in whatever way is needed in order for it to be true. It refers to these two things in front of me right now, whatever they actually are.

Let’s suppose the skeptic tries to come up with a response. He might say, “Look, computer programs do not have hands, and brains do not have hands. So if you are a computer program or a brain in a vat, then you just do not have hands, period. So those scenarios do indeed mean that your common understanding would be false.”

It is certainly true that according to our common understanding, brains in vats do not have hands. So there is a tension here: the argument that it would be true to say we have hands even in that situation seems like a good argument, but so does the argument that it would be false that we have hands.

The answer to the difficulty is that we need to consider the meaning of “I am a brain in a vat.” Just as the word “hands” should refer to these two things in front of me, whatever they are, so the word “brain” refers to things inside of people’s heads, whatever they are, and the word “vat” refers to other things we sometimes experience in real life, at occasionally, or something very like them. But this means that just as “I have two hands” is to be understood in whatever way is needed to make it true, so also “I am not a brain in a vat,” is understood in whatever way is needed to make it true.

This means that correct answer to the original question was simply, “No, it isn’t possible that I will turn out to be a brain in a vat, regardless of any later discoveries, and it isn’t possible that the sun will turn out not to rise, regardless of discoveries about the motion of the sun and of the earth.”

The skeptic will want to insist. Surely events like those of The Matrix are at least conceivable. And if some such situation turned out to be true, then wasn’t it true that you were in a skeptical scenario and that your beliefs about hands and brains and vats were all false, and especially would it not be the case that your belief that you weren’t in a situation like that was false?

The correct answer, again, is that your original beliefs were not false. But in view of your new knowledge of the world, you might well want to adopt a new mode of speaking, and say things that would sound opposed to your original beliefs. They would not be opposed, however, but would simply be speaking about things you did not originally speak about.

Note however that “your belief that you weren’t in a situation like that” could now be taken in two ways. It could mean my belief that I am not a brain in a vat, and this belief will never turn out to have been false. Or it could mean a belief that there is not some larger view of reality where “he was a brain in a vat” would be a reasonable description, in the way that someone coming out of the Matrix would acquire a larger view. In reality I have the latter belief as well, as I consider it improbable that any intelligent beings would behave in such a way as to make that scenario probable. But I don’t think it is impossible for this belief to be falsified; and if it were, I would not say that my previous common sense beliefs had been false. This corresponds to what Pruss says at the end of his post, where he says that as long as things have forms, it is not really a skeptical scenario, even if in some sense he is in a computer simulation or whatever.

Why the insistence on form? This is related to what we called the Semi-Parmenidean Heresy. There we discussed Sean Carroll’s view, and noted that his position in essence is this: Metaphysically, the eliminativists are right. But it is useful to talk as though they are wrong, so we’re going to talk as though they are wrong, and even say they are wrong, by saying that common sense things are real.

This is ultimately incoherent: if the eliminativists are mistaken, they are mistaken in their metaphysics, since the position is just a certain metaphysical position.

It is not difficult to see the connection. According to a strict eliminativist, it would be literally true that we do not have hands, because there is no such thing as “we” or as “hands” in the first place. There are just fundamental particles. In other words, eliminativism would be even more of a skeptical scenario than the Matrix; the Matrix would not imply that your common sense beliefs are false, while eliminativism simply says that all of your beliefs are false, including your belief that you have beliefs.

And on the other hand, no scenario will be truly skeptical, even one like the Matrix, if it admits that our common sense beliefs are true. And as I said at the end of the post on Carroll’s view, this requires a metaphysics that allows those beliefs to be true, and this requires formal causes.

Alexander Pruss, however, seems to me to interpret this in a rather narrow way in his concluding remark:

If physical reality is the memory of a giant computer but it isn’t a mere simulation but is in fact informed by a multiplicity of substantial and accidental forms corresponding to people, trees, hands, hearts, etc., and these forms are real entities, then the scenario does not seem to me to be a sceptical scenario.

It is not clear what it means to be “real entities” rather than being unreal, given that you acknowledge them in the first place, and it isn’t clear to me what he means by a “mere simulation.” But this sounds a lot to me like, “If the world isn’t Aristotelian, understood in a very narrow way, then that would be a skeptical scenario.” This seems to me a kind of stubbornness much like that of James Larson. Disagreeing with you is not a war against being, and believing that your account of form and matter didn’t get every detail right, is not saying that our common sense beliefs are not true.

As an illustration of the narrowness in question, consider Pruss’s position on artifacts:

Suppose I am a plumber, and I take a section of pipe, insert a blowgun dart, and blow.  I just shot a dart out of a blowgun.  When did the pipe turn into a blowgun, though?

Did it happen when I formed the intention to use the pipe as a blowgun?  No: I do not have the power to make new material objects come into existence just by thinking about it.

When I picked up the pipe?  There are at least there is contact.  But surely it’s not the right kind of contact.  It would be magic if I could make a new material object come into existence by just picking up a material object with a certain thought in mind.

When I inserted the dart?  Presumably, not any insertion will do, but one with a plan to blow.  For I could just be doing plumbing, using the outer diameter of the dart to measure the inner diameter of the pipe, and that shouldn’t turn the pipe into a dart.  Again, we have some magic here–thinking about the pipe in one way while inserting the dart creates a blowgun while thinking about it another way leaves it a boring pipe.  Moreover, putting the dart into the pipe seems to be an instance of loading a blowgun rather than making a blowgun.

The solution to all this is to deny that there are pipes and blowguns.  There is just matter (or fields) arranged pipewise and blowgunwise.  And for convenience we adopt ways of speaking that make it sound like such objects are among the furniture of the universe.

Pruss is not simply putting out a position for discussion; this is what he believes to be true, as is easily confirmed elsewhere on his blog. Note that he is falling into the Semi-Parmenidean heresy here, except that he is even going farther than Carroll, and suggesting that “there are no pipes and blowguns” is a true statement, which Carroll would rightly deny. In this way Pruss is almost a pure eliminativist about artifacts. (He does also speak elsewhere more in the manner of Sean Carroll about them.)

To the degree that he is eliminativist about artifacts, he contradicts common sense in the same kind of way that someone contradicts common sense who says, “You do not have hands.” He just contradicts it about different things. And why about these things, and not others? I suggest that it is because under the ordinary Aristotelian account, it is likely that a man or a horse has a substantial form, but unlikely that a pipe has one. And although a pipe would have various accidental forms, the idea of a unified form of “pipeness” seems pretty unlikely. If this is actually his reason or part of it, then he is identifying skepticism with disagreeing with his philosophical opinions, even though his own opinions actually contain the skepticism: namely, disagreement with common sense.

My own response to this question would be different: being is said in many ways, and consequently also form and unity. And I reject any disagreement with common sense: men and horses are real, but so also are pipes. If I am not mistaken, all of these will have being and form in the way that is appropriate to them.

Mind and Matter

In Book III of On the Soul, Aristotle argues that the intellect does not have a bodily organ:

Therefore, since everything is a possible object of thought, mind in order, as Anaxagoras says, to dominate, that is, to know, must be pure from all admixture; for the co-presence of what is alien to its nature is a hindrance and a block: it follows that it too, like the sensitive part, can have no nature of its own, other than that of having a certain capacity. Thus that in the soul which is called mind (by mind I mean that whereby the soul thinks and judges) is, before it thinks, not actually any real thing. For this reason it cannot reasonably be regarded as blended with the body: if so, it would acquire some quality, e.g. warmth or cold, or even have an organ like the sensitive faculty: as it is, it has none. It was a good idea to call the soul ‘the place of forms’, though (1) this description holds only of the intellective soul, and (2) even this is the forms only potentially, not actually.
Observation of the sense-organs and their employment reveals a distinction between the impassibility of the sensitive and that of the intellective faculty. After strong stimulation of a sense we are less able to exercise it than before, as e.g. in the case of a loud sound we cannot hear easily immediately after, or in the case of a bright colour or a powerful odour we cannot see or smell, but in the case of mind thought about an object that is highly intelligible renders it more and not less able afterwards to think objects that are less intelligible: the reason is that while the faculty of sensation is dependent upon the body, mind is separable from it.

There are two arguments here, one from the fact that the mind can understand at all, and the other from the effect of thinking about highly intelligible things.

St. Thomas explains the first argument:

The following argument may make this point clear. Anything that is in potency with respect to an object, and able to receive it into itself, is, as such, without that object; thus the pupil of the eye, being potential to colours and able to receive them, is itself colourless. But our intellect is so related to the objects it understands that it is in potency with respect to them, and capable of being affected by them (as sense is related to sensible objects). Therefore it must itself lack all those things which of its nature it understands. Since then it naturally understands all sensible and bodily things, it must be lacking in every bodily nature; just as the sense of sight, being able to know colour, lacks all colour. If sight itself had any particular colour, this colour would prevent it from seeing other colours, just as the tongue of a feverish man, being coated with a bitter moisture, cannot taste anything sweet. In the same way then, if the intellect were restricted to any particular nature, this connatural restriction would prevent it from knowing other natures. Hence he says: ‘What appeared inwardly would prevent and impede’ (its knowledge of) ‘what was without’; i.e. it would get in the way of the intellect, and veil it so to say, and prevent it from inspecting other things. He calls ‘the inwardly appearing’ whatever might be supposed to be intrinsic and co-natural to the intellect and which, so long as it ‘appeared’ therein would necessarily prevent the understanding of anything else; rather as we might say that the bitter moisture was an ‘inwardly appearing’ factor in a fevered tongue.

This is similar to St. Thomas’s suggestion elsewhere that matter and understanding are intrinsically opposed to one another. I cautioned the reader there about taking such an argument as definitive too quickly, and I would do the same here. Consider the argument about sensation: it is true enough that the pupil isn’t colored, and that perception of temperature is relative to the temperature of the organ of touch, or some aspects of it, which suggests that heat in the organ impedes the sensation of heat. On the other hand, the optic nerve and the visual cortex are arguably even more necessary to the sense of sight than the pupil, and they most certainly are not colorless. Taking this into consideration, the facts about the pupil, and the way touch functions, and so on, seem like facts that should be taken into consideration, but do not even come to close to establishing as a fact that the intellect does not have an organ.

Likewise, with the second argument, Aristotle is certainly pointing to a difference between the intellect and the senses, even if this argument might need qualification, since one does tire even of thinking. But saying that the intellect is not merely another sense is one thing, and saying that it does not have an organ at all is another.

We previously considered Sean Collins’s discussion Aristotle and the history of science. Following on one of the passages quoted in the linked post, Collins continues:

I said above that Aristotle thinks somewhat Platonically “despite himself.” He himself is very remarkably aware that matter will make a difference in the account of things, even if the extent of the difference remains as yet unknown. And Aristotle makes, in this connection, a distinction which is well known to the scholastic tradition, but not equally well understood: that, namely, between the “logical” consideration of a question, and the “physical” consideration of it. Why make that distinction? Its basis lies in the discovery that matter is a genuine principle. For, on the one hand, the mind and its act are immaterial; but the things to be known in the physical world are material. It becomes necessary, therefore, for the mind to “go out of itself,” as it were, in the effort to know things. This is precisely what gives rise to what is called the “order of concretion.”

But how much “going out of itself” will be necessary, or precisely how that is to be done, is not something that can be known without experience — the experience, as it turns out, not merely of an individual but of an entire tradition of thought. Here I am speaking of history, and history has, indeed, everything to do with what I am talking about. Aristotle’s disciples are not always as perspicacious as their master was. Some of them suppose that they should follow the master blindly in the supposition that history has no significant bearing on the “disciplines.” That supposition amounts, at least implicitly, to a still deeper assumption: the assumption, namely, that the materiality of human nature, and of the cosmos, is not so significant as to warrant a suspicion that historical time is implicated in the material essence of things. Aristotle did not think of time as essentially historical in the sense I am speaking of here. The discovery that it was essentially historical was not yet attainable.

I would argue that Sean Collins should consider how similar considerations would apply to his remark that “the mind and its act are immaterial.” Perhaps we know in a general way that sensation is more immaterial than growth, but we do not think that sensation therefore does not involve an organ. How confident should one be that the mind does not use an organ based on such general considerations? Just as there is a difference between the “logical” consideration of time and motion and their “physical” consideration, so there might be a similar difference between two kinds of consideration of the mind.

Elsewhere, Collins criticizes a certain kind of criticism of science:

We do encounter the atomists, who argue to a certain complexity in material things. Most of our sophomore year’s natural science is taken up with them. But what do we do with them? The only atomists we read are the early ones, who are only just beginning to discover evidence for atoms. The evidence they possess for atoms is still weak enough so that we often think we can take refuge in general statements about the hypothetical nature of modern science. In other words, without much consideration, we are tempted to write modern science off, so that we can get back to this thing we call philosophy.

Some may find that description a little stark, but at any rate, right here at the start, I want to note parenthetically that such a dismissal would be far less likely if we did not often confuse experimental science with the most common philosophical account of contemporary science. That most common philosophical account is based largely on the very early and incomplete developments of science, along with an offshoot of Humean philosophy which came into vogue mainly through Ernst Mach. But if we look at contemporary science as it really is today, and take care to set aside accidental associations it has with various dubious philosophies, we find a completely wonderful and astonishing growth of understanding of the physical structure not only of material substances, but of the entire cosmos. And so while some of us discuss at the lunch table whether the hypothesis of atoms is viable, physicists and engineers around the world make nanotubes and other lovely little structures, even machines, out of actual atoms of various elements such as carbon.

And likewise during such discussions, neuroscientists discuss which parts of the brain are responsible for abstract thought.

When we discussed the mixing of wine and water, we noted how many difficulties could arise when you consider a process in detail, which you might not notice simply with a general consideration. The same thing will certainly happen in the consideration of how the mind works. For example, how am I choosing these words as I type? I do not have the time to consider a vast list of alternatives for each word, even though there would frequently be several possibilities, and sometimes I do think of more than one. Other times I go back and change a word or two, or more. But most of the words are coming to me as though by magic, without any conscious thought. Where is this coming from?

The selection of these words is almost certainly being done by a part of my brain. A sign of this is that those with transcortical motor aphasia have great difficulty selecting words, but do not have a problem with understanding.

This is only one small element of a vast interconnected process which is involved in understanding, thinking, and speaking. And precisely because there is a very complex process here which is not completely understood, the statement, “well, these elements are organic, but there is also some non-organic element involved,” cannot be proved to be false in a scientific manner, at least at this time. But it also cannot be proved to be true, and if it did turn out to be true, there would have to be concrete relationships between that element and all the other elements. What would be the contribution of the immaterial element? What would happen if it were lacking, or if that question does not make sense, because it cannot be lacking, why can it not be lacking?


The Practical Argument for Free Will

Richard Chappell discusses a practical argument for free will:

1) If I don’t have free will, then I can’t choose what to believe.
2) If I can choose what to believe, then I have free will [from 1]
3) If I have free will, then I ought to believe it.
4) If I can choose what to believe, then I ought to believe that I have free will. [from 2,3]
5) I ought, if I can, to choose to believe that I have free will. [restatement of 4]

He remarks in the comments:

I’m taking it as analytic (true by definition) that choice requires free will. If we’re not free, then we can’t choose, can we? We might “reach a conclusion”, much like a computer program does, but we couldn’t choose it.

I understand the word “choice” a bit differently, in that I would say that we are obviously choosing in the ordinary sense of the term, if we consider two options which are possible to us as far as we know, and then make up our minds to do one of them, even if it turned out in some metaphysical sense that we were already guaranteed in advance to do that one. Or in other words, Chappell is discussing determinism vs libertarian free will, apparently ruling out compatibilist free will on linguistic grounds. I don’t merely disagree in the sense that I use language differently, but in the sense that I don’t agree that his usage correspond to the normal English usage. [N.B. I misunderstood Richard here. He explains in the comments.] Since people can easily be led astray by such linguistic confusions, given the relationships between thought and language, I prefer to reformulate the argument:

  1. If I don’t have libertarian free will, then I can’t make an ultimate difference in what I believe that was not determined by some initial conditions.
  2. If I can make an ultimate difference in what I believe that was not determined by some initial conditions, then I have libertarian free will [from 1].
  3. If I have libertarian free will, then it is good to believe that I have it.
  4. If I can make an ultimate difference in my beliefs undetermined by initial conditions, then it is good to believe that I have libertarian free will. [from 2, 3]
  5. It is good, if I can, to make a difference in my beliefs undetermined by initial conditions, such that I believe that I have libertarian free will.

We would have to add that the means that can make such a difference, if any means can, would be choosing to believe that I have libertarian free will.

I have reformulated (3) to speak of what is good, rather than of what one ought to believe, for several reasons. First, in order to avoid confusion about the meaning of “ought”. Second, because the resolution of the argument lies here.

The argument is in fact a good argument as far as it goes. It does give a practical reason to hold the voluntary belief that one has libertarian free will. The problem is that it does not establish that it is better overall to hold this belief, because various factors can contribute to whether an action or belief is a good thing.

We can see this with the following thought experiment:

Either people have libertarian free will or they do not. This is unknown. But God has decreed that people who believe that they have libertarian free will go to hell for eternity, while people who believe that they do not, will go to heaven for eternity.

This is basically like the story of the Alien Implant. Having libertarian free will is like the situation where the black box is predicting your choice, and not having it is like the case where the box is causing your choice. The better thing here is to believe that you do not have libertarian free will, and this is true despite whatever theoretical sense you might have that you are “not responsible” for this belief if it is true, just as it is better not to smoke even if you think that your choice is being caused.

But note that if a person believes that he has libertarian free will, and it turns out to be true, he has some benefit from this, namely the truth. But the evil of going to hell presumably outweighs this benefit. And this reveals the fundamental problem with the argument, namely that we need to weigh the consequences overall. We made the consequences heaven and hell for dramatic effect, but even in the original situation, believing that you have libertarian free will when you do not, has an evil effect, namely believing something false, and potentially many evil effects, namely whatever else follows from this falsehood. This means that in order to determine what is better to believe here, it is necessary to consider the consequences of being mistaken, just as it is in general when one formulates beliefs.

Alien Implant: Newcomb’s Smoking Lesion

In an alternate universe, on an alternate earth, all smokers, and only smokers, get brain cancer. Everyone enjoys smoking, but many resist the temptation to smoke, in order to avoid getting cancer. For a long time, however, there was no known cause of the link between smoking and cancer.

Twenty years ago, autopsies revealed tiny black boxes implanted in the brains of dead persons, connected to their brains by means of intricate wiring. The source and function of the boxes and of the wiring, however, remains unknown. There is a dial on the outside of the boxes, pointing to one of two positions.

Scientists now know that these black boxes are universal: every human being has one. And in those humans who smoke and get cancer, in every case, the dial turns out to be pointing to the first position. Likewise, in those humans who do not smoke or get cancer, in every case, the dial turns out to be pointing to the second position.

It turns out that when the dial points to the first position, the black box releases dangerous chemicals into the brain which cause brain cancer.

Scientists first formed the reasonable hypothesis that smoking causes the dial to be set to the first position. Ten years ago, however, this hypothesis was definitively disproved. It is now known with certainty that the box is present, and the dial pointing to its position, well before a person ever makes a decision about smoking. Attempts to read the state of the dial during a person’s lifetime, however, result most unfortunately in an explosion of the equipment involved, and the gruesome death of the person.

Some believe that the black box must be reading information from the brain, and predicting a person’s choice. “This is Newcomb’s Problem,” they say. These persons choose not to smoke, and they do not get cancer. Their dials turn out to be set to the second position.

Others believe that such a prediction ability is unlikely. The black box is writing information into the brain, they believe, and causing a person’s choice. “This is literally the Smoking Lesion,” they say.  Accepting Andy Egan’s conclusion that one should smoke in such cases, these persons choose to smoke, and they die of cancer. Their dials turn out to be set to the first position.

Still others, more perceptive, note that the argument about prediction or causality is utterly irrelevant for all practical purposes. “The ritual of cognition is irrelevant,” they say. “What matters is winning.” Like the first group, these choose not to smoke, and they do not get cancer. Their dials, naturally, turn out to be set to the second position.