# Infinity

I discussed this topic previously, but without coming to a definite conclusion. Here I will give what I think is the correct explanation.

In his book Infinity, Causation, and Paradox, Alexander Pruss argues for what he calls “causal finitism,” or the principle that nothing can be affected by infinitely many causes:

In this volume, I will present a number of paradoxes of infinity, some old like Thomson’s Lamp and some new, and offer a unified metaphysical response to all of them by means of the hypothesis of causal finitism, which roughly says that nothing can be affected by infinitely many causes. In particular, Thomson’s Lamp story is ruled out since the final state of the lamp would be affected by infinitely many switch togglings. And in addition to arguing for the hypothesis as the best unified resolution to the paradoxes I shall offer some direct arguments against infinite regresses.

Thomson’s Lamp, if the reader is not familiar with it, is the question of what happens to a lamp if you switch it on and off an infinite number of times in a finite interval, doubling your velocity after each switch. At the end of the interval, is it on or off?

I think Pruss’s account is roughly speaking correct. I say “roughly speaking” because I would be hesitant to claim that nothing can be “affected” by infinitely many causes. Rather I would say that nothing is one effect simultaneously of infinitely many causes, and this is true for the same reason that there cannot be an infinite causal regress. That is, an infinite causal regress removes the notion of cause by removing the possibility of explanation, which is an intrinsic part of the idea of a cause. Similarly, it is impossible to explain anything using an infinite number of causes, because that infinity as such cannot be comprehended, and thus cannot be used to understand the thing which is the supposed effect. And since the infinity cannot explain the thing, neither can it be the cause of the thing.

What does this imply about the sorts of questions that were raised in my previous discussion, as for example about an infinite past or an infinite future, or a spatially infinite universe?

I presented an argument there, without necessarily claiming it to be correct, that such things are impossible precisely because they seem to imply an infinite causal regress. If there an infinite number of stars in the universe, for example, there seems to be an infinite regress of material causes: the universe seems to be composed of this local portion plus the rest, with the rest composed in a similar way, ad infinitum.

Unfortunately, there is an error in this argument against a spatially infinite world, and in similar arguments against a temporally infinite world, whether past or future. This can be seen in my response to Bertrand Russell when I discuss the material causes of water. Even if it is possible to break every portion of water down into smaller portions, it does not follow that this is an infinite sequence of material causes, or that it helps to explain water. In a similar way, even if the universe can be broken down into an infinite number of pieces in the above way, it does not follow that the universe has an infinite number of material causes: rather, this breakdown fails to explain, and fails to give causes at all.

St. Thomas gives a different argument against an infinite multitude, roughly speaking that it would lack a formal cause:

This, however, is impossible; since every kind of multitude must belong to a species of multitude. Now the species of multitude are to be reckoned by the species of numbers. But no species of number is infinite; for every number is multitude measured by one. Hence it is impossible for there to be an actually infinite multitude, either absolute or accidental.

By this argument, it would be impossible for there to be “an infinite number of stars” because the collection would lack “a species of multitude.” Unfortunately there is a problem with this argument as well, namely that it presupposes that the number is inherently fixed before it is considered by human beings. In reality, counting depends on someone who counts and a method they use for counting; to talk about the “number of stars” is a choice to break down the world in that particular way. There are other ways to think of it, as for example when we use the word “universe”, we count everything at once as a unit.

According to my account here, are some sorts of infinity actually impossible? Yes, namely those which demand an infinite sequence of explanation, or which demand an infinite number of things in order to explain something. Thus for example consider this story from Pruss about shuffling an infinite deck of cards:

Suppose I have an infinitely deep deck of cards, numbered with the positive integers. Can I shuffle it?

Given an infinite past, here is a procedure: n days ago, I perfectly fairly shuffle the top n cards in the deck.

This procedure is impossible because it makes the current state of the deck the direct effect of what I did n days ago, for all n. And the effect is a paradox: it is mathematically impossible for the integers to be randomly shuffled, because any series of integers will be biased towards lower numbers. Note that the existence of an infinite past is not the problem so much as assuming that one could have carried out such a procedure during an infinite past; in reality, if there was an infinite past, its contents are equally “infinite,” that is, they do not have such a definable, definite, “finite” relationship with the present.

# Structure of Explanation

When we explain a thing, we give a cause; we assign the thing an origin that explains it.

We can go into a little more detail here. When we ask “why” something is the case, there is always an implication of possible alternatives. At the very least, the question implies, “Why is this the case rather than not being the case?” Thus “being the case” and “not being the case” are two possible alternatives.

The alternatives can be seen as possibilities in the sense explained in an earlier post. There may or may not be any actual matter involved, but again, the idea is that reality (or more specifically some part of reality) seems like something that would be open to being formed in one way or another, and we are asking why it is formed in one particular way rather than the other way. “Why is it raining?” In principle, the sky is open to being clear, or being filled with clouds and a thunderstorm, and to many other possibilities.

A successful explanation will be a complete explanation when it says “once you take the origin into account, the apparent alternatives were only apparent, and not really possible.” It will be a partial explanation when it says, “once you take the origin into account, the other alternatives were less sensible (i.e. made less sense as possibilities) than the actual thing.”

Let’s consider some examples in the form of “why” questions and answers.

Q1. Why do rocks fall? (e.g. instead of the alternatives of hovering in the air, going upwards, or anything else.)

A1. Gravity pulls things downwards, and rocks are heavier than air.

The answer gives an efficient cause, and once this cause is taken into account, it can be seen that hovering in the air or going upwards were not possibilities relative to that cause.

Obviously there is not meant to be a deep explanation here; the point here is to discuss the structure of explanation. The given answer is in fact basically Newton’s answer (although he provided more mathematical detail), while with general relativity Einstein provided a better explanation.

The explanation is incomplete in several ways. It is not a first cause; someone can now ask, “Why does gravity pull things downwards, instead of upwards or to the side?” Similarly, while it is in fact the cause of falling rocks, someone can still ask, “Why didn’t anything else prevent gravity from making the rocks fall?” This is a different question, and would require a different answer, but it seems to reopen the possibility of the rocks hovering or moving upwards, from a more general point of view. David Hume was in part appealing to the possibility of such additional questions when he said that we can see no necessary connection between cause and effect.

Q2. Why is 7 prime? (i.e. instead of the alternative of not being prime.)

A2. 7/2 = 3.5, so 7 is not divisible by 2. 7/3 = 2.333…, so 7 is not divisible by 3. In a similar way, it is not divisible by 4, 5, or 6. Thus in general it is not divisible by any number except 1 and itself, which is what it means to be prime.

If we assumed that the questioner did not know what being prime means, we could have given a purely formal response simply by noting that it is not divisible by numbers between 1 and itself, and explaining that this is what it is to be prime. As it is, the response gives a sufficient material disposition. Relative to this explanation, “not being prime,” was never a real possibility for 7 in the first place. The explanation is complete in that it completely excludes the apparent alternative.

Q3. Why did Peter go to the store? (e.g. instead of going to the park or the museum, or instead of staying home.)

A3. He went to the store in order to buy groceries.

The answer gives a final cause. In view of this cause the alternatives were merely apparent. Going to the park or the museum, or even staying home, were not possible since there were no groceries there.

As in the case of the rock, the explanation is partial in several ways. Someone can still ask, “Why did he want groceries?” And again someone can ask why he didn’t go to some other store, or why something didn’t hinder him, and so on. Such questions seem to reopen various possibilities, and thus the explanation is not an ultimately complete one.

Suppose, however, that someone brings up the possibility that instead of going to the store, he could have gone to his neighbor and offered money for groceries in his neighbor’s refrigerator. This possibility is not excluded simply by the purpose of buying groceries. Nonetheless, the possibility seems less sensible than getting them from the store, for multiple reasons. Again, the implication is that our explanation is only partial: it does not completely exclude alternatives, but it makes them less sensible.

Let’s consider a weirder question: Why is there something rather than nothing?

Now the alternatives are explicit, namely there being something, and there being nothing.

It can be seen that in one sense, as I said in the linked post, the question cannot have an answer, since there cannot be a cause or origin for “there is something” which would itself not be something. Nonetheless, if we consider the idea of possible alternatives, it is possible to see that the question does not need an answer; one of the alternatives was only an apparent alternative all along.

In other words, the sky can be open to being clear or cloudy. But there cannot be something which is open both to “there is something” and “there is nothing”, since any possibility of that kind would be “something which is open…”, which would already be something rather than nothing. The “nothing” alternative was merely apparent. Nothing was ever open to there being nothing.

Let’s consider another weird question. Suppose we throw a ball, and in the middle of the path we ask, Why is the ball in the middle of the path instead of at the end of the path?

We could respond in terms of a sufficient material disposition: it is in the middle of the path because you are asking your question at the middle, instead of waiting until the end.

Suppose the questioner responds: Look, I asked my question at the middle of the path. But that was just chance. I could have asked at any moment, including at the end. So I want to know why it was in the middle without considering when I am asking the question.

If we look at the question in this way, it can be seen in one way that no cause or origin can be given. Asked in this way, being at the end cannot be excluded, since they could have asked their question at the end. But like the question about something rather than nothing, the question does not need an answer. In this case, this is not because the alternatives were merely apparent in the sense that one was possible and the other not. But they were merely apparent in the sense that they were not alternatives. The ball goes both goes through the middle, and reaches the end. With the stipulation that we not consider the time of the question, the two possibilities are not mutually exclusive.

The above considerations about the nature of “explanation” lead to various conclusions, but also to various new questions. For example, one commenter suggested that “explanation” is merely subjective. Now as I said there, all experience is subjective experience (what would “objective experience” even mean, except that someone truly had a subjective experience?), including the experience of having an explanation. Nonetheless, the thing experienced is not subjective: the origins that we call explanations objectively exclude the apparent possibilities, or objectively make them less intelligible. The explanation of explanation here, however, provides an answer to what was perhaps the implicit question. Namely, why are we so interested in explanations in the first place, so that the experience of understanding something becomes a particularly special type of experience? Why, as Aristotle puts it, do “all men desire to know,” and why is that desire particularly satisfied by explanations?

In one sense it is sufficient simply to say that understanding is good in itself. Nonetheless, there is something particular about the structure of a human being that makes knowledge good for us, and which makes explanation a particularly desirable form of knowledge. In my employer and employee model of human psychology, I said that “the whole company is functioning well overall when the CEO’s goal of accurate prediction is regularly being achieved.” This very obviously requires knowledge, and explanation is especially beneficial because it excludes alternatives, which reduces uncertainty and therefore tends to make prediction more accurate.

However, my account also raises new questions. If explanation eliminates alternatives, what would happen if everything was explained? We could respond that “explaining everything” is not possible in the first place, but this is probably an inadequate response, because (from the linked argument) we only know that we cannot explain everything all at once, the way the person in the room cannot draw everything at once; we do not know that there is any particular thing that cannot be explained, just as there is no particular aspect of the room that cannot be drawn. So there can still be a question about what would happen if every particular thing in fact has an explanation, even if we cannot know all the explanations at once. In particular, since explanation eliminates alternatives, does the existence of explanations imply that there are not really any alternatives? This would suggest something like Leibniz’s argument that the actual world is the best possible world. It is easy to see that such an idea implies that there was only one “possibility” in the first place: Leibniz’s “best possible world” would be rather “the only possible world,” since the apparent alternatives, given that they would have been worse, were not real alternatives in the first place.

On the other hand, if we suppose that this is not the case, and there are ultimately many possibilities, does this imply the existence of “brute facts,” things that could have been otherwise, but which simply have no explanation? Or at least things that have no complete explanation?

Let the reader understand. I have already implicitly answered these questions. However, I will not link here to the implicit answers because if one finds it unclear when and where this was done, one would probably also find those answers unclear and inconclusive. Of course it is also possible that the reader does see when this was done, but still believes those responses inadequate. In any case, it is possible to provide the answers in a form which is much clearer and more conclusive, but this will likely not be a short or simple project.

# Earth By Earth

In an earlier post I quoted Empedocles:

For ’tis by Earth we see Earth, by Water Water,

By Ether Ether divine, by Fire destructive Fire,

By Love Love, and Hate by cruel Hate.

I argued in that post that the mind does have something in common with what is known, and that this common thing is the form of the thing known. However, I took for granted that Empedocles is mistaken in assuming that the thing itself must be in common in order to be known.

I did not directly say why he is mistaken. If form makes a thing what it is, and the form of a thing known is in the mind, why does the mind not become that thing? If the form of earth is in your mind, then why is your mind not literally earth?

We will naturally be inclined to say that the form in your mind is apart from its proper matter, and that you need both form and matter to make a thing. And there is nothing wrong with this answer, as far as it goes, but it seems insufficient. Suppose you have a gold coin: what is its matter? The gold coin is presumably made out of atoms of gold, and since these atoms are not in your head, you do not see gold by gold. The problem is that atoms of gold also have some form, since this is just to say there is an answer when we ask, “What is this?”, and this will be true of anything whatever that you call matter. And there is nothing to prevent you from knowing that thing as well. There is nothing to prevent you from knowing the nature of gold atoms. And thus it seems that the matter will be present, and thus there should be actual gold in your mind.

Perhaps an Aristotelian will suggest that it is prime matter that is missing. But this answer will not work, because humans have this sort of matter in common with other things. And in any case, nothing is meant by “matter” in this sense except the ability to have the form. And since the knower can have the form, they have the ability to have the form, and thus matter. So nothing is missing, and the thing known should be literally in the knower.

Thus it appears that we have a reductio. Either my account of knowledge is mistaken, or earth should actually by known by earth, which it obviously is not.

The conclusion is only apparent, however. We can resolve it by going back to what I said about form in that post and the following one. Form is a network of relationships apt to make something one. But being one not only includes internal unity, but also separation from other things. For example, suppose we now have three gold coins, instead of one: each coin is one coin, and this depends on its parts being together, rather than in a loose heap of gold dust. But the fact that the coins are three depends on their separation from one another, and thus also the fact that each coin is “one” depends on that separation.

In other words, the form of a thing includes not only internal relationships, but also external relationships. This implies that to know the nature of a thing, one must know its external relationships. And to know a thing perfectly would require knowing both its internal and external relationships perfectly.

Now one of the things to which it is related is the very one who knows it. Thus, if the knower is to know the thing perfectly, they must perfectly understand the relationships between themselves and the thing. But this is not possible, for reasons explained in the post on self-reference. The person who attempts to know something perfectly is in the situation of someone attempting to draw a picture of themselves drawing a picture: to make a perfect copy of the gold coin, it is necessary to copy its context, which includes the knower. But this cannot be done; therefore perfect knowledge of the coin is impossible.

A different way to state the same analysis: “perfect copy” is a contradiction in terms, because such perfection would imply identity with the original, and thus not being a copy at all. In other words, perfect knowledge of a thing is impossible because perfect knowledge would imply, as in the argument of Empedocles, that one’s knowledge would literally be the thing known, and thus not knowledge at all.

# Replies to Objections on Form

This post replies to the objections raised in the last post.

Reply 1. I do not define form as “many relations”, in part for this very reason. Rather, I say that it is a network, and thus is one thing tied together, so to speak.

Nonetheless, the objection seems to wish to find something absolutely one which is in no way many and which causes unity in other things which are in some way lacking in unity. This does not fit with the idea of giving an account, which necessarily involves many words and thus reference to many aspects of a thing. And thus it also does not fit with the idea of form as that which makes a thing what it is, because it is evident that when we ask what a thing is, we are typically asking about things that have many aspects, as a human being has many senses and many body parts and so on.

In other words, form makes a thing one, but it also makes it what it is, which means that it also makes a thing many in various ways. And so form is one in some way, and thus called a “network,” but it also contains various relations that account for the many aspects of the thing.

Someone might extend this objection by saying that if a form contains many relations, there will need to be a form of form, uniting these relations. But there is a difference between many material parts, which might need a form in order to be one, and relations, which bind things together of themselves. To be related to something, in this sense, is somewhat like being attached to it in some way, while a number of physical bodies are not attached to each other simply in virtue of being a number of bodies. It is true that this implies a certain amount of complexity in form, but this is simply the result of the fact that there is a certain amount of complexity in what things actually are.

Reply 2. “Apt to make something one” is included in the definition in order to point to the relationships and networks of relationships that we are concerned with. For example, one could discuss the idea of a mereological sum, for example the tree outside my window together with my cell phone, and talk about a certain network of relationships intrinsic to that “sum.” This network would have little share in the idea of form, precisely because it is not apt to make anything one thing in any ordinary sense. However, I say “little share” here rather than “no share”, because this is probably a question of degree and kind. As I said here, “one thing” is said in many ways and with many degrees, and thus also form exists in many ways and with many degrees. In particular, there is no reason to suppose that “one” has one true sense compared to which the other senses would be more false than true.

Reply 3. A network of relationships could be an accidental form. Thus the form that makes a blue thing blue would normally be an accidental form. But there will be a similar network of relationships that make a thing a substance. If something is related to other things as “that in which other things are present,” and is not related to other things as “that which is present in something else,” then it will exist as substance, and precisely because it is related to things in these ways. So the definition is in fact general in comparison to both substance and accident.

Reply 4. This objection could be understood as asserting that everything relative depends on something prior which is absolute. Taken in this sense, the objection is simply mistaken. The existence of more than one thing proves conclusively that relationship as such does not need to depend on anything absolute.

Another way to understand the objection would be as asserting that whatever we may say about the thing in relation to other things, all of this must result from what the thing is in itself, apart from all of this. Therefore the essence of the thing is prior to anything at all that we say about it. And in this way, there is a truth here and an error here, namely the Kantian truth and the Kantian error. Certainly the thing is the cause of our knowledge, and not simply identical with our knowledge. Nonetheless, we possess knowledge, not ignorance, of the thing, and we have this knowledge by participation in the network of relationships that defines the thing.

Reply 5. The objection gratuitously asserts that our definition is reductionist, and this can equally well be gratuitously denied. In fact, this account includes the rejection of both reductionist and anti-reductionist positions. Insofar as people suppose that these positions are the only possible positions, if they see that my account implies the rejection of their particular side of the argument, they will naturally suppose that my account implies the acceptance of the other side. This is why the 10th objection claims the opposite: namely that my account is mistaken because it seems to be anti-reductionist.

Reply 6. I agree, in fact, that we are mostly ignorant of the nature of “blue,” and likewise of the natures of most other things. But we are equally ignorant of the network of relationships that these things share in. Thus in an earlier post about Mary’s Room, I noted that we do not even come close to knowing everything that can be known about color. Something similar would be true about pretty much everything that we can commonly name. We have some knowledge of what blue is, but it is a very imperfect knowledge, and similarly we have some knowledge of what a human being is, but it is a very imperfect knowledge. This is one reason why I qualified the claim that the essences of things are not hidden: in another way, virtually all essences are hidden from us, because they are typically too complex for us to understand exhaustively.

An additional problem, also mentioned in the case of “blue,” is that the experience of blue is not the understanding of blue, and these would remain distinct even if the understanding of blue were perfect. But again, it would be an instance of the Kantian error to suppose that it follows that one would not understand the nature of blue even if one understood it (thus we make the absurdity evident.)

Reply 7. God is not an exception to the claim about hidden essences, nor to this account of form, and these claims are not necessarily inconsistent with Christian theology.

The simplicity of God should not be understood as necessarily being opposed to being a network of relationships. In particular, the Trinity is thought to be the same as the essence of God, and what is the Trinity except a network of relations?

Nor does the impossibility of knowing the essence of God imply that God’s essence is hidden in the relevant sense. Rather, it is enough to say that it is inaccessible for “practical” reasons, so to speak. For example, consider St. Thomas’s argument that no one knows all that God can do:

The created intellect, in seeing the divine essence, does not see in it all that God does or can do. For it is manifest that things are seen in God as they are in Him. But all other things are in God as effects are in the power of their cause. Therefore all things are seen in God as an effect is seen in its cause. Now it is clear that the more perfectly a cause is seen, the more of its effects can be seen in it. For whoever has a lofty understanding, as soon as one demonstrative principle is put before him can gather the knowledge of many conclusions; but this is beyond one of a weaker intellect, for he needs things to be explained to him separately. And so an intellect can know all the effects of a cause and the reasons for those effects in the cause itself, if it comprehends the cause wholly. Now no created intellect can comprehend God wholly, as shown above (Article 7). Therefore no created intellect in seeing God can know all that God does or can do, for this would be to comprehend His power; but of what God does or can do any intellect can know the more, the more perfectly it sees God.

St. Thomas argues that if anyone knew all that God can do, i.e. everything that can be God’s effect, he would not only know the essence of God, but know it perfectly. This actually supports our position precisely: if you have an exhaustive account of the network of relationships between God and the world, actual and potential, according to St. Thomas, this is to know the essence of God exhaustively.

Reply 8. I concede the objection, but simply note that the error is on the part of Christian theology, not on the part of this account.

In this case, someone might ask why I included this objection, along with the previous, where even if I consider the theology defensible, I do not consider it authoritative. The reason is that I included objections that I expected various readers to hold in one form or another, and these are two of them. But what is the use of addressing them if I simply reject the premise of the objection?

There is at least one benefit to this. There is an important lesson here. Religious doctrines are typically defined in such a way that they have few or no undue sensible implications, as I said for example about the Real Presence. But philosophy is more difficult, and shares in much of the same distance from the senses that such religious claims have. Consequently, even if you manage to avoid adopting religious doctrines that have false scientific implications (and many don’t manage to avoid even this), if you accept any religious doctrines at all, it will be much harder to avoid false philosophical implications.

In fact, the idea of an immortal soul probably has false scientific consequences as well as false philosophical consequences, at least taken as it is usually understood. Thus for example Sean Carroll argues that the mortality of the soul is a settled issue:

Adam claims that “simply is no controlled, experimental[ly] verifiable information” regarding life after death. By these standards, there is no controlled, experimentally verifiable information regarding whether the Moon is made of green cheese. Sure, we can take spectra of light reflecting from the Moon, and even send astronauts up there and bring samples back for analysis. But that’s only scratching the surface, as it were. What if the Moon is almost all green cheese, but is covered with a layer of dust a few meters thick? Can you really say that you know this isn’t true? Until you have actually examined every single cubic centimeter of the Moon’s interior, you don’t really have experimentally verifiable information, do you? So maybe agnosticism on the green-cheese issue is warranted. (Come up with all the information we actually do have about the Moon; I promise you I can fit it into the green-cheese hypothesis.)

Obviously this is completely crazy. Our conviction that green cheese makes up a negligible fraction of the Moon’s interior comes not from direct observation, but from the gross incompatibility of that idea with other things we think we know. Given what we do understand about rocks and planets and dairy products and the Solar System, it’s absurd to imagine that the Moon is made of green cheese. We know better.

We also know better for life after death, although people are much more reluctant to admit it. Admittedly, “direct” evidence one way or the other is hard to come by — all we have are a few legends and sketchy claims from unreliable witnesses with near-death experiences, plus a bucketload of wishful thinking. But surely it’s okay to take account of indirect evidence — namely, compatibility of the idea that some form of our individual soul survives death with other things we know about how the world works.

Claims that some form of consciousness persists after our bodies die and decay into their constituent atoms face one huge, insuperable obstacle: the laws of physics underlying everyday life are completely understood, and there’s no way within those laws to allow for the information stored in our brains to persist after we die. If you claim that some form of soul persists beyond death, what particles is that soul made of? What forces are holding it together? How does it interact with ordinary matter?

Everything we know about quantum field theory (QFT) says that there aren’t any sensible answers to these questions. Of course, everything we know about quantum field theory could be wrong. Also, the Moon could be made of green cheese.

Among advocates for life after death, nobody even tries to sit down and do the hard work of explaining how the basic physics of atoms and electrons would have to be altered in order for this to be true. If we tried, the fundamental absurdity of the task would quickly become evident.

Even if you don’t believe that human beings are “simply” collections of atoms evolving and interacting according to rules laid down in the Standard Model of particle physics, most people would grudgingly admit that atoms are part of who we are. If it’s really nothing but atoms and the known forces, there is clearly no way for the soul to survive death. Believing in life after death, to put it mildly, requires physics beyond the Standard Model. Most importantly, we need some way for that “new physics” to interact with the atoms that we do have.

Very roughly speaking, when most people think about an immaterial soul that persists after death, they have in mind some sort of blob of spirit energy that takes up residence near our brain, and drives around our body like a soccer mom driving an SUV. The questions are these: what form does that spirit energy take, and how does it interact with our ordinary atoms? Not only is new physics required, but dramatically new physics. Within QFT, there can’t be a new collection of “spirit particles” and “spirit forces” that interact with our regular atoms, because we would have detected them in existing experiments. Ockham’s razor is not on your side here, since you have to posit a completely new realm of reality obeying very different rules than the ones we know.

There are certainly different ways to think about this, but this is in fact a common way of thinking about the soul in relation to the body. For example, consider this discussion by James Chastek:

Objection: Conservation laws require that outcomes be already determined. By your own admission, life has to be able to “alter what would happen by physical causes alone” and therefore violates conservation laws.

Response: Again, laws and initial conditions do not suffice to explain the actual world. Life only “alters” physical causes under the counterfactual supposition that physical causes could act alone, i.e. in a way that could suffice to explain outcomes in the actual world.

Objection: It is meaningless to describe life acting on physical laws and conditions when we can’t detect this. Life-actions are vacuous entities about which we can say nothing at all. What’s their Hamiltonian?

Response: Physical laws and conditions as physical are instrumental or partial accounts of the actual world. The interactive mechanisms and measurement devices appropriate to establishing the existence of physical causes are not appropriate tools for describing all causes of the actual world.

Chastek is deliberately ignoring the question that he poses himself. But we know his opinion of the matter from previous discussions. What physics would calculate would be one thing; what the human being will do, according to Chastek, is something different.

This almost certainly does imply a violation of the laws of physics in the sense of the discussion in Chastek’s post, as well as in the sense that concerns Sean Carroll. In fact, it probably would imply a violation of conservation of energy, very possibly to such a degree that it would be possible in principle to exploit the violation to create a perpetual motion machine, somewhat along the lines of this short story by Scott Alexander. And these violations would detectable in principle, and very likely in practice as well, at least at some point.

Nonetheless, one might think about it differently, without suggesting these things, but still suppose that people have immortal souls. And one might be forgiven for being skeptical of Sean Carroll’s arguments, given that his metaphysics is wrong. Perhaps there is some implicit dependence of his argument on this mistaken metaphysics. The problem with this response is that even the correct metaphysics has the same implications, even without considering Carroll’s arguments from physics.

It is easy to see that there still loopholes for someone who wishes to maintain the immortality of the soul. But such loopholes also indicate an additional problem with the idea. In particular, the idea that the soul is subsistent implies that it is a substantial part of a human being: that a human is a whole made of soul and body much as the body is a whole made of various parts such as legs and arms. If this were the case, the soul might not be material in a quantitative sense, but it would be “matter” in the sense that we have argued that form is not matter. In this case, it would be reasonable to suppose that an additional substantial form would be necessary to unify soul and body, themselves two substantial parts.

Reply 9. There in fact is an implicit reference to matter in the definition. “Apt to make something one” refers to what is made, but it also refers to what it is made out of, if there is anything out of which it is made. The form of a chair makes the chair one chair, but it also makes the stuff of the chair into one chair.

There is more to say about matter, but my intention for now was to clarify the concept of form.

Reply 10. The network of relationships is most certainly not a construct of the mind, if one places this in opposition to “real thing.” You cannot trace back relationships to causes that do not include any relationships, if only because “cause” is in itself relative.

I have argued against reductionism in many places, and do not need to repeat those arguments here, but in particular I would note that the objection implies that “mind” is a construct of the mind, and this implies circular causality, which is impossible.

Reply 11. The objection is not really argued, and this is mainly because there cannot be a real argument for it. There is however a rough intuition supporting it, which is that applying this idea of form to immaterial things seems unfair to reality, as though we were trying to say that the limits of reality are set by the limits of the human mind. Once again, however, this is simply a case of the usual Kantian error, mixed together with choosing something that would be especially unknown to us. An immaterial thing could not exist without having some relationship with everything else. As we have suggested elsewhere, “there is an immaterial thing,” cannot even be assigned a meaning without the implied claim that I stand in some relation with it, and that it stands in some relation to me. But evidently I know very little about it. This does not mean that we need some new definition of what it is to be something; it simply means I do not know much of what that thing is, just as I do not know much of anything about it at all.

# Nature of Form

We add one final claim to the list in the last post:

(8) Form is a network of relationships apt to make something one.

I will approach this in the manner of a disputed question, first raising a number of objections, then giving my explanation and replies to the objections.

Objection 1. According to this definition, form consists of many relations. But form makes a thing one. Thus form should not be in itself many, such as many relationships are, since many things are composed of units.

Objection 2. The definition begs the question by saying “apt to make something one.” Form is supposed to make things one, but if we want to say something about the nature of form, we should explain exactly how and why it does this.

Objection 3. A “network of relationships” might be some kind of form, but it seems to be an accidental form, not a substantial form, while the definition of form should be general enough to include both.

Objection 4. A thing can have the relations it has because of its particular nature. Therefore its nature cannot be defined by its relationships, since this would be circular. Thus form cannot be a network of relationships.

Objection 5. The definition is implicitly reductionist, and therefore opposed to thesis (4). For a composite thing, whether animal or artifact or anything else, will have many relations among its parts which define it, but it can be looked at and considered in many ways, while what appears to be most real must be its most basic parts, such as atoms or quarks or whatever.

Objection 6. Form seems to be unknown to us in a way in which the content of this definition is not, and therefore they must be somehow distinct. For example, whatever might be said about the definitions of blue proposed in the last post, it is clear that something is lacking there. There is something about the nature of blue that is quite unknown to us. So it seems unlikely that blue can be defined in the way proposed, and similarly unlikely that form can be defined as a network of relationships.

Objection 7. Christians, at least, must reject this definition, along with thesis (3), since the essence of God cannot be naturally known by human beings. Therefore God has a hidden essence, and since it is entirely simple, it cannot be a network of relationships.

Objection 8. This definition implies that the human soul is like a harmony, with all the consequences suggested by Simmias in the Phaedo, namely that the soul is mortal. So again Christians, at least, must reject this definition.

Objection 9. Composite things are made of both form and matter, so a relationship to matter should be included in the definition of form.

Objection 10. The network of relationships seems to be a construct of the mind more than a real thing. So one should reject this definition together with rejecting thesis (4), since what a thing really is, is something more basic that causes these relationships.

Objection 11. The definition might be true of material things, but if there are any immaterial things, it will not apply to them. Instead, they might well exist in themselves, without relation to other things, or at least not being defined by such relations. Likewise thesis (3) should probably be denied in relation to such things.

But let us go on to the explanation of this definition. If we consider the question, “what is form?”, one might immediately see a problem. Form is supposed to provide us the answer to the question about what a thing is, so if we ask what form is, we would seem to need a form of form. And even if this is possible, it is a process that cannot possibly go on forever, and therefore we will reach a point where we cannot find a form of form, and therefore we will not be able to answer the question. This is a complex issue which I will set aside for now, simply remarking for now that the question “what is this” needs to be answered in different ways for different things, including for form itself.

At the same time, however, the arguments of the previous post imply that form is accessible to us, and that we can know it both specifically and in general. Essences are not hidden from us, and it is form that both gives a thing the essence it has and that makes us understand. And since it is the very thing that is present in our mind when we understand the thing, it should be just as accessible to us as the contents of our own mind. In other words, we can say what a form is by answering the question, “What does my mind have in common with this thing when I understand it?” And thus we can answer the general question about form by noticing what our minds have in common with things they understand in general.

This answer is implicit in the discussion of thesis (7) in the last post. We noted in the case of “blue” that what both the senses and the mind have in common with things is a certain relation or network of relationships, namely those that correspond to the relations possessed by things apt to be seen by the sight as blue. And this will always be the case whenever we understand anything, since our understanding will always produce a sort of “model” of the thing understood. This is necessary since the understanding does not become an actual copy of the thing; such a becoming would in fact exclude understanding. If your mind literally became a tree when it attempted to understand it, you would understand nothing, since trees do not understand.

This applies at many levels. For example, not only does it apply to meaning and understanding, in some way it applies even to our language on the level of syntax. For example, Word2vec is famously capable of producing analogies which somewhat reflect analogies between the things signified, even though the meanings of the words are absent from its analysis. We should not stress this too much, however, since this takes a very small subset of relationships, even a small subset of relationships found in language, and shows how they will have a structural similarity to their causes. In a sense this does mean that the forms of things are present in linguistic syntax, but it is a very attenuated sense. In contrast, the forms of things are fully present in our understanding to the precise degree that we understand them. The qualification is important: we don’t understand anything perfectly, and consequently no form should be expected to be found perfectly in our understanding.

Others have suggested similar ideas about the natures of things. For example, Sean Collins says:

But for now I will set that aside and come to what I should like to propose as the heart of my thesis. I mentioned a moment ago that Scholastic thought has always acknowledged a dependence of the qualitative on the quantitative. There are many things, nevertheless, which we may recognize without really grasping their full implications. This brings me to what my son Liam wanted to say about form. He proposed, seemingly rather starkly, that there is no such thing as form in material things. But I believe what he meant is that there is cannot be a form in the manner frequently assumed; and I think he is absolutely right. What do I mean by “the manner frequently assumed”? What I mean is that we can cheerfully assert that quality, and therefore also substance, depends on quantity, but yet not see what this really means. What it means – what science proves over and over again – is not just that quality and substance depend on form externally as it were, but that they depend on it much more internally, which is to say structurally. In other words, in material things, form turns out not only to be compatible with an internal structure and heterogeneity, but to depend on it profoundly. I want to say in effect that in material things, to a surprisingly large extent, form IS structure. And so a conception of form which unifies things to the exclusion of a structure is a false conception.

You will perhaps recognize that this solves some problems, but raises others. The biggest problem that it solves is that very Scholastic principle that I have been referring to, which is that quality and substance, the more formal principles, depend on quantity. Now we can start to affirm that we know a little better what that really means. What it means is not just that things have to “be the right size,” but rather that quality and substance depend on quantity internally, because it is quantity that makes structure possible; and structure is, if you will, the intermediary between matter and whatever more abstract kind of form we may have yet to consider. And what I want to insist on again is that this structure is not a negligible thing; in fact it is so important that scientists spend a very large portion of their time examining it. Without it we could know, did know, only the first rudiments of how material things are made. And so this is why the metric part of scientific investigation acquires such a prominent aspect; it isn’t because that is all that the scientists are interested in or that they arbitrarily restrict themselves to it; on the contrary, it is because that is the very condition upon which an understanding of material forms hinges. In various places, Aristotle notes that there is a real difference between a mere dialectical or logical investigation of physical reality, and a truly physical one. The latter, as Aristotle understands it, depends on a sufficient accounting of the material aspects of things so that we can begin to see how forms are truly materialized. Now we can see perhaps a little better how this materialization of forms really happens. It happens especially through the understanding of quantitative structure.

Sean Collins is speaking about material things in particular, and structure as quantitative. My account is similar but more general: if there are any immaterial things, or things without quantity, it applies to them as well. Thus I speak of a network of relationships, of which “quantitative structure” would be more like a particular example.

Reality can only be meaningfully described in terms of relationships between things and internal properties of things. That being the case, why do we take the approach of reducing everything to relationships only, so that the “things” being connected by the relationships have no internal properties and all that exists is the structure of relationships itself? The idea of reducing everything to relationships only has been proposed by Tegmark. Suppose reality were viewed as a structure of relationships between things that had internal properties. Those internal properties could themselves only be described in terms of relationships between things. This means that we would have a structure of relationships between “things” and, inside each such “thing” there would also be a structure of relationships between some more basic entities. We would have no reason for declaring a boundary between the relationships outside the “thing” and the relationships inside the “thing”. Instead, we could just take the “edge of a thing” away and say that whatever relationships existed within a thing were just part of the external structure of relationships. The end result of this is that the “things” connected by these relationships have no internal properties at all. All that is left is a structure of relationships between points that have no internal properties. All that remains is the structure itself.

Almond gives this as an account of reality as such, while we give it as an account of form. This is not entirely the same, and consequently Almond’s account could be taken as denying the existence of matter, much like Alexander Pruss. This will be discussed more in my response to objection 9, but my account is not intended to reject the existence of matter. Nonetheless, matter does not contribute to the intelligibility of a thing, and it is therefore true in a sense that form is “most of” reality.

This kind of account is sometimes taken to imply that our understanding is entirely and permanently superficial. For example, Bertrand Russell says in The Analysis of Matter (page 10):

Physics, in itself, is exceedingly abstract, and reveals only certain mathematical characteristics of the material with which it deals. It does not tell us anything as to the intrinsic character of this material.

While mathematical physics as such does have specific limitations, both by reason of the mathematical approach and by the deliberate limitation of subject implied in “physics,” there is a more general problem here. Any account whatsoever of a thing will explain that thing in relationship to everything else, without giving an account of the “intrinsic character of this material.” But this is not because we are necessarily failing to account for something. It is because this is what it is to give an account at all, and because the network of relationships really is the what it is to be of the thing. There is no hidden essence, and the appearance that there must be some other nature, more fundamental, but which cannot be found by us, derives from a temptation towards the Kantian error. The thing does indeed exist in itself, and its mode of existence is not our mode of understanding, but this does not necessarily mean we do not understand it. On the contrary, this distinction is absolutely necessary for understanding at all.

The replies to the objections will be in another post, and as is usual with a disputed question, will clarify various aspects of this position.

# Form and Reality II

This is a followup to this earlier post, but will use a number of other threads to get a fuller understanding of the matter. Rather than presenting this in the form of a single essay, I will present it as a number of distinct theses, many of which have already been argued or suggested in various forms elsewhere on the blog.

(1) Everything that exists or can exist has or could have some relationship with the mind: relationship is in fact intrinsic to the nature of existence.

This was argued here, with related remarks in several recent posts. In a sense the claim is not only true but obviously so. You are the one who says or can say “this exists,” and you could not say or understand it unless the thing had or could have some relationship with your mind.

Perhaps this seems a bit unfair to reality, as though the limits of reality were being set by the limits of the thinker. What if there were a limited being that could only think of some things, but other things could exist that it could not think about? It is easy to see that in this situation the limited being does not have the concept of “everything,” and so can neither affirm nor deny (1). It is not that it would affirm it but be mistaken. It would simply never think of it.

Someone could insist: I myself am limited. It might be that there are better thinkers in the world that can think about things I could never conceive of. But again, if you have concept of “everything,” then you just thought of those things: they are the things that those thinkers would think about. So you just thought about them too, and brought them into relationship with yourself.

Thus, anyone who actually has the idea of “everything,” and thinks about the matter clearly, will agree with (1).

(2) Nothing can be true which could not in principle (in some sense of “in principle”) in some way be said to be true.

Thesis (1) can be taken as saying that anything that can be, can also be understood, at least in some way; and thesis (2) can be taken as saying that anything that can be understood, can also be said, at least in some way.

Since language is conventional, this does not need much of an argument. If I think that something exists, and I don’t have a name for it, I can make up a name. If I think that one thing is another thing, but don’t have words for these things, I can make up words for them. Even if I am not quite sure what I am thinking, I can say, “I have a thought in my mind but don’t quite have the words for it,” and in some way I have already put it into words.

One particular objection to the thesis might be made from self-reference paradoxes. The player in the Liar Game cannot correctly say whether the third statement is true or false, even though it is in fact true or false. But note two things: first, he cannot do this while he is playing, but once the game is over, he can explicitly and correctly say whether it was true or false. Second, even while playing, he can say, “the third statement has a truth value,” and in this way he speaks of its truth in a generic way. This is in part why I added the hedges to (2), “at least in some way”, and “in principle.”

(3) Things do not have hidden essences. That is, they may have essences, but those essences can be explained in words.

This follows in a straightforward way from (1) and (2). The essence of a thing is just “what it is,” or perhaps, “what it most truly is.” The question “what is this thing?” is formed with words, and it is evident that anyone who answers the question, will answer the question by using words.

Now someone might object that the essence of a thing might be hidden because perhaps in some cases the question does not have an answer. But then it would not be true that it has an essence but is hidden: rather, it would be false that it has an essence. Similarly, if the question “where is this thing,” does not have any answer, it does not mean the thing is in a hidden place, but that the thing is not in a place at all.

Another objection might be that an essence might be hidden because the answer to the question exists, but cannot be known. A discussion of this would depend on what is meant by “can be known” and “cannot be known” in this context. That is, if the objector is merely saying that we do not know such things infallibly, including the answer to the question, “what is this?”, then I agree, but would add that (3) does not speak to this point one way or another. But if it is meant that “cannot be known” means that there is something there, the “thing in itself,” which in no way can be known or expressed in words, this would be the Kantian error. This is indeed contrary to (3), and implicitly to (1) or (2) or both, but it is also false.

People might also think that the essence cannot be known because they notice that the question “what is this?” can have many legitimate answers, and suppose that one of these, and only one, must be really and truly true, but think that we have no way to find out which one it is. While there are certainly cases where an apparent answer to the question is not a true answer, the main response here is that if both answers are true, both answers are true: there does not need to be a deeper but hidden level where one is true and the other false. There may however be a deeper level which speaks to other matters and possibly explains both answers. Thus I said in the post linked above that the discussion was not limited to “how many,” but would apply in some way to every question about the being of things.

(4) Reductionism, as it is commonly understood, is false.

I have argued this in various places, but more recently and in particular here and here. It is not just one-sided to say for example that the universe and everything in it is just a multitude of particles. It is false, because it takes one of several truths, and says that one is “really” true and that the other is “really” false.

(5) Anti-reductionism, as it is commonly understood, is false.

This follows from the same arguments. Anti-reductionism, as for example the sort advocated by Alexander Pruss, takes the opposite side of the above argument, saying that certain things are “really” one and in no way many. And this is also false.

(6) Form makes a thing to be what it is, and makes it to be one thing.

This is largely a question of definition. It is what is meant by form in this context.

Someone might object that perhaps there is nothing that makes a thing what it is, or there is nothing that makes it one thing. But if it is what it is of itself, or if it is one of itself, then by this definition it is its own form, and we do not necessarily have an issue with that.

Again, someone might say that the definition conflates two potentially distinct things. Perhaps one thing makes a thing what it is, and another thing makes it one thing. But this is not possible because of the convertibility of being and unity: to be a thing at all, is to be one thing.

(7) Form is what is in common between the mind and the thing it understands, and is the reason the mind understands at all.

This is very distinctly not a question of definition. This needs to be proved from (6), along with what we know about understanding.

It is not so strange to think that you would need to have something in common with a thing in order to understand it. Thus Aristotle presents the words of Empedocles:

For ’tis by Earth we see Earth, by Water Water,

By Ether Ether divine, by Fire destructive Fire,

By Love Love, and Hate by cruel Hate.

On the other hand, there is also obviously something wrong with this. I don’t need to be a tree in order to see or think about a tree, and it is not terribly obvious that there is even anything in common between us. In fact, one of Hilary Lawson’s arguments for his anti-realist position is that there frequently seems to be nothing in common between causes and effects, and that therefore there may be (or certainly will be) nothing in common between our minds and reality, and thus we cannot ultimately know anything. Thus he says in Chapter 2 of his book on closure:

For a system of closure to provide a means of intervention in openness and thus to function as a closure machine, it requires a means of converting the flux of openness into an array of particularities. This initial layer of closure will be identified as ‘preliminary closure’. As with closure generally, preliminary closure consists in the realisation of particularity as a consequence of holding that which is different as the same. This is achieved through the realisation of material in response to openness. The most minimal example of a system of closure consists of a single preliminary closure. Such a system requires two discrete states, or at least states that can be held as if they were discrete. It is not difficult to provide mechanical examples of such systems which allow for a single preliminary closure. A mousetrap for example, can be regarded as having two discrete states: it is either set, it is ready, or it has sprung, it has gone off. Many different causes may have led to it being in one state or another: it may have been sprung by a mouse, but it could also have been knocked by someone or something, or someone could have deliberately set it off. In the context of the mechanism all of these variations are of no consequence, it is either set or it has sprung. The diversity of the immediate environment is thereby reduced to single state and its absence: it is either set or it is not set. Any mechanical arrangement that enables a system to alternate between two or more discrete states is thereby capable of providing the basis for preliminary closure. For example, a bell or a gate could function as the basis for preliminary closure. The bell can either ring or not ring, the gate can be closed or not closed. The bell may ring as the result of the wind, or a person or animal shaking it, but the cause of the response is in the context of system of no consequence. The bell either rings or it doesn’t. Similarly, the gate may be in one state or another because it has been deliberately moved, or because something or someone has dislodged it accidentally, but these variations are not relevant in the context of the state of system, which in this case is the position of the gate. In either case the cause of the bell ringing or the gate closing is infinitely varied, but in the context of the system the variety of inputs is not accessible to the system and thus of no consequence.

A useful way to think about Lawson is that he is in some way a disciple of Heraclitus. Thus closure is “holding that which is different as the same,” but in reality nothing is ever the same because everything is in flux. In the context of this passage, the mousetrap is either set or sprung, and so it divides the world into two states, the “set” state and the “sprung” state. But the universes with the set mousetrap have nothing in common with one another besides the set mousetrap, and the universes with the sprung mousetrap have nothing in common with one another besides the sprung mousetrap.

We can see how this could lead to the conclusion that knowledge is impossible. Sight divides parts of the world up with various colors. Leaves are green, the sky is blue, the keyboard I am using is black. But if I look at two different green things, or two different blue things, they may have nothing in common besides the fact that they affected my sight in a similar way. The sky and a blue couch are blue for very different reasons. We discussed this particular point elsewhere, but the general concern would be that we have no reason to think there is anything in common between our mind and the world, and some reason to think there must be something in common in order for us to understand anything.

Fortunately, the solution can be found right in the examples which supposedly suggest that there is nothing in common between the mind and the world. Consider the mousetrap. Do the universes with the set mousetrap have something in common? Yes, they have the set mousetrap in common. But Lawson does not deny this. His concern is that they have nothing else in common. But they do have something else in common: they have the same relationship to the mousetrap, different from the relationship that the universes with the sprung mousetrap have to their mousetrap. What about the mousetrap itself? Do those universes have something in common with the mousetrap? If we consider the relationship between the mousetrap and the universe as a kind of single thing with two ends, then they do, although they share in it from different ends, just as a father and son have a relationship in common (in this particular sense.) The same things will be true in the case of sensible qualities. “Blue” may divide up surface reflectance properties in a somewhat arbitrary way, but it does divide them into things that have something in common, namely their relationship with the sense of sight.

Or consider the same thing with a picture. Does the picture have anything in common with the thing it represents? Since a picture is meant to actually look similar to the eye to the object pictured, it may have certain shapes in common, the straightness of certain lines, and so on. It may have some colors in common. This kind of literal commonness might have suggested to Empedocles that we should know “earth by earth,” but one difference is that a picture and the object look alike to the eye, but an idea is not something that the mind looks at, and which happens to look like a thing: rather the idea is what the mind uses in order to look at a thing at all.

Thus a better comparison would be between the the thing seen and the image in the eye or the activity of the visual cortex. It is easy enough to see by looking that the image in a person’s eye bears some resemblance to the thing seen, even the sort of resemblance that a picture has. In a vaguer way, something similar turns out to be true even in the visual cortex:

V1 has a very well-defined map of the spatial information in vision. For example, in humans, the upper bank of the calcarine sulcus responds strongly to the lower half of visual field (below the center), and the lower bank of the calcarine to the upper half of visual field. In concept, this retinotopic mapping is a transformation of the visual image from retina to V1. The correspondence between a given location in V1 and in the subjective visual field is very precise: even the blind spots are mapped into V1. In terms of evolution, this correspondence is very basic and found in most animals that possess a V1. In humans and animals with a fovea in the retina, a large portion of V1 is mapped to the small, central portion of visual field, a phenomenon known as cortical magnification. Perhaps for the purpose of accurate spatial encoding, neurons in V1 have the smallest receptive field size of any visual cortex microscopic regions.

However, as I said, this is in a much vaguer way. In particular, it is not so much an image which is in common, but certain spatial relationships. If we go back to the idea of the mousetrap, this is entirely unsurprising. Causes and effects will always have something in common, and always in this particular way, namely with a commonality of relationship, because causes and effects, as such, are defined by their relationship to each other.

How does all this bear on our thesis (7)? Consider the color blue, and the question, “what is it to be blue?” What is the essence of blue? We could answer this in at least two different ways:

1. To be blue is to have certain reflectance properties.
2. To be blue is to be the sort of thing that looks blue.

But in the way intended, these are one and the same thing. A thing looks blue if it has those properties, and it has those properties if it looks blue. Now someone might say that this is a direct refutation of our thesis, since the visual cortex presumably does not look blue or have those properties when you look at something blue. But this is like Lawson’s claim that the universe has nothing in common with the sprung mousetrap. It does have something in common, if you look at the relationship from the other end. The same thing happens when we consider the meaning of “certain reflectance properties,” and “the sort of thing that looks blue.” We are actually talking about the properties that make a thing look blue, so both definitions are relative to the sense of sight. And this means that sight has something relative in common with them, and the relation it has in common is the very one that defines the nature of blue. As this is what we mean by form (thesis 6), the form of blue must be present in the sense of sight in order to see something blue.

In fact, it followed directly from thesis (1) that the nature of blue would need to include something relative. And it followed from (2) and (3) that the very same nature would turn out to be present in our senses, thoughts, and words.

The same argument applies to the mind as to the senses. I will draw additional conclusions in a later post, and in particular, show the relevance of theses (4) and (5) to the rest.

# Form is Not Matter

I have touched on this at other times, as here, here, and here. In the present post I am simply emphasizing the point more directly potentially for future reference.

If you receive an IKEA table in the mail, you have the parts that go to make up a table, but they are not yet put together in the form of a table. But very obviously, the form is not an additional part that you need to make the table. One does not say, “We need six parts for the table: the four legs, the tabletop, and the form of the table.” The form is something additional, but it is not an additional part. It is the “being put together as a table” that the parts require in order to be a table.

To say that the parts exist “in the form of a table” is also an informative expression here. One speaks as though “the form of a table” were a place, somewhat like Newton’s absolute space, in which the parts of the table exist together. This idea is helpful because just as Newton’s absolute space does not actually exist, so there will be analogous errors about form, as for example the idea that form is an additional part. Likewise, understanding the actual truth about place will help us to understand the truth about form.

# Hard Problem of Consciousness

We have touched on this in various places, and in particular in this discussion of zombies, but we are now in a position to give a more precise answer.

Bill Vallicella has a discussion of Thomas Nagel on this issue:

Nagel replies in the pages of NYRB (8 June 2017; HT: Dave Lull) to one Roy Black, a professor of bioengineering:

The mind-body problem that exercises both Daniel Dennett and me is a problem about what experience is, not how it is caused. The difficulty is that conscious experience has an essentially subjective character—what it is like for its subject, from the inside—that purely physical processes do not share. Physical concepts describe the world as it is in itself, and not for any conscious subject. That includes dark energy, the strong force, and the development of an organism from the egg, to cite Black’s examples. But if subjective experience is not an illusion, the real world includes more than can be described in this way.

I agree with Black that “we need to determine what ‘thing,’ what activity of neurons beyond activating other neurons, was amplified to the point that consciousness arose.” But I believe this will require that we attribute to neurons, and perhaps to still more basic physical things and processes, some properties that in the right combination are capable of constituting subjects of experience like ourselves, to whom sunsets and chocolate and violins look and taste and sound as they do. These, if they are ever discovered, will not be physical properties, because physical properties, however sophisticated and complex, characterize only the order of the world extended in space and time, not how things appear from any particular point of view.

The problem might be condensed into an aporetic triad:

1) Conscious experience is not an illusion.

2) Conscious experience has an essentially subjective character that purely physical processes do not share.

3) The only acceptable explanation of conscious experience is in terms of physical properties alone.

Take a little time to savor this problem. Note first that the three propositions are collectively inconsistent: they cannot all be true.  Any two limbs entail the negation of the remaining one. Note second that each limb exerts a strong pull on our acceptance.  But we cannot accept them all because they are logically incompatible.

Which proposition should we reject? Dennett, I take it, would reject (1). But that’s a lunatic solution as Professor Black seems to appreciate, though he puts the point more politely. When I call Dennett a sophist, as I have on several occasions, I am not abusing him; I am underscoring what is obvious, namely, that the smell of cooked onions, for example, is a genuine datum of experience, and that such phenomenological data trump scientistic theories.

Sophistry aside, we either reject (2) or we reject (3).  Nagel and I accept (1) and (2) and reject (3). Black, and others of the scientistic stripe, accept (1) and (3) and reject (2).

In order to see the answer to this, we can construct a Parmenidean parallel to Vallicella’s aporetic triad:

1) Distinction is not an illusion.

2) Being has an essentially objective character of actually being that distinction does not share (considering that distinction consists in the fact of not being something.)

3) The only acceptable explanation of distinction is in terms of being alone (since there is nothing but being to explain things with.)

Parmenides rejects (1) here. What approach would Vallicella take? If he wishes to take a similarly analogous approach, he should accept (1) and (2), and deny (3). And this would be a pretty commonsense approach, and perhaps the one that most people implicitly adopt if they ever think about the problem.

At the same time, it is easy to see that (3) is approximately just as obviously true as (1); and it is for this reason that Parmenides sees rejecting (1) and accepting (2) and (3) as reasonable.

The correct answer, of course, is that the three are not inconsistent despite appearances. In fact, we have effectively answered this in recent posts. Distinction is not an illusion, but a way that we understand things, as such. And being a way of understanding, it is not (as such) a way of being mistaken, and thus it is not an illusion, and thus the first point is correct. Again, being a way of understanding, it is not a way of being as such, and thus the second point is correct. And yet distinction can be explained by being, since there is something (namely relationship) which explains why it is reasonable to think in terms of distinctions.

Vallicella’s triad mentions “purely physical processes” and “physical properties,” but the idea of “physical” here is a distraction, and is not really relevant to the problem. Consider the following from another post by Vallicella:

If I understand Galen Strawson’s view, it is the first.  Conscious experience is fully real but wholly material in nature despite the fact that on current physics we cannot account for its reality: we cannot understand how it is possible for qualia and thoughts to be wholly material.   Here is a characteristic passage from Strawson:

Serious materialists have to be outright realists about the experiential. So they are obliged to hold that experiential phenomena just are physical phenomena, although current physics cannot account for them.  As an acting materialist, I accept this, and assume that experiential phenomena are “based in” or “realized in” the brain (to stick to the human case).  But this assumption does not solve any problems for materialists.  Instead it obliges them to admit ignorance of the nature of the physical, to admit that they don’t have a fully adequate idea of what the physical is, and hence of what the brain is.  (“The Experiential and the Non-Experiential” in Warner and Szubka, p. 77)

Strawson and I agree on two important points.  One is that what he calls experiential phenomena are as real as anything and cannot be eliminated or reduced to anything non-experiential. Dennett denied! The other is that there is no accounting for experiential items in terms of current physics.

I disagree on whether his mysterian solution is a genuine solution to the problem. What he is saying is that, given the obvious reality of conscious states, and given the truth of naturalism, experiential phenomena must be material in nature, and that this is so whether or not we are able to understand how it could be so.  At present we cannot understand how it could be so. It is at present a mystery. But the mystery will dissipate when we have a better understanding of matter.

This strikes me as bluster.

An experiential item such as a twinge of pain or a rush of elation is essentially subjective; it is something whose appearing just is its reality.  For qualia, esse = percipi.  If I am told that someday items like this will be exhaustively understood from a third-person point of view as objects of physics, I have no idea what this means.  The notion strikes me as absurd.  We are being told in effect that what is essentially subjective will one day be exhaustively understood as both essentially subjective and wholly objective.  And that makes no sense. If you tell me that understanding in physics need not be objectifying understanding, I don’t know what that means either.

Here Vallicella uses the word “material,” which is presumably equivalent to “physical” in the above discussion. But it is easy to see here that being material is not the problem: being objective is the problem. Material things are objective, and Vallicella sees an irreducible opposition between being objective and being subjective. In a similar way, we can reformulate Vallicella’s original triad so that it does not refer to being physical:

1) Conscious experience is not an illusion.

2) Conscious experience has an essentially subjective character that purely objective processes do not share.

3) The only acceptable explanation of conscious experience is in terms of objective properties alone.

It is easy to see that this formulation is the real source of the problem. And while Vallicella would probably deny (3) even in this formulation, it is easy to see why people would want to accept (3). “Real things are objective,” they will say. If you want to explain anything, you should explain it using real things, and therefore objective things.

The parallel with the Parmenidean problem is evident. We would want to explain distinction in terms of being, since there isn’t anything else, and yet this seems impossible, so one (e.g. Parmenides) is tempted to deny the existence of distinction. In the same way, we would want to explain subjective experience in terms of objective facts, since there isn’t anything else, and yet this seems impossible, so one (e.g. Dennett) is tempted to deny the existence of subjective experience.

Just as the problem is parallel, the correct solution will be almost entirely parallel to the solution to the problem of Parmenides.

1) Conscious experience is not an illusion. It is a way of perceiving the world, not a way of not perceiving the world, and definitely not a way of not perceiving at all.

2) Consciousness is subjective, that is, it is a way that an individual perceives the world, not a way that things are as such, and thus not an “objective fact” in the sense that “the way things are” is objective.

3) The “way things are”, namely the objective facts, are sufficient to explain why individuals perceive the world. Consider again this post, responding to a post by Robin Hanson. We could reformulate his criticism to express instead Parmenides’s criticism of common sense (changed parts in italics):

People often state things like this:

I am sure that there is not just being, because I’m aware that some things are not other things. I know that being just isn’t non-being. So even though there is being, there must be something more than that to reality. So there’s a deep mystery: what is this extra stuff, where does it arise, how does it change, and so on. We humans care about distinctions, not just being; we want to know what out there is distinct from which other things.

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

If yes, this is a remarkably strong interaction, making it quite surprising that philosophers, possibly excepting Duns Scotus, 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 understandable with existing philosophy. Any interaction not so understandable would have be vastly more difficult to understand than any we’ve ever seen or considered. Thus I’d bet heavily and confidently that no one will understand such an interaction.

But if no, if this interaction isn’t strong enough to explain human claims of distinction, then we have a remarkable coincidence to explain. Somehow this extra distinction stuff exists, and humans also have a tendency to say that it exists, but these happen for entirely independent reasons. The fact that distinction 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 distinction 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 distinction stuff actually exists? Such a coincidence seems too remarkable to be believed.

“Distinction stuff”, of course, does not exist, and neither does “feeling stuff.” But some things are distinct from others. Saying this is a way of understanding the world, and it is a reasonable way to understand the world because things exist relative to one another. And just as one thing is distinct from another, people have experiences. Those experiences are ways of knowing the world (broadly understood.) And just as reality is sufficient to explain distinction, so reality is sufficient to explain the fact that people have experiences.

How exactly does this answer the objection about interaction? In the case of distinction, the fact that “one thing is not another” is never the direct cause of anything, not even of the fact that “someone believes that one thing is not another.” So there would seem to be a “remarkable coincidence” here, or we would have to say that since the fact seems unrelated to the opinion, there is no reason to believe people are right when they make distinctions.

The answer in the case of distinction is that one thing is related to another, and this fact is the cause of someone believing that one thing is not another. There is no coincidence, and no reason to believe that people are mistaken when they make distinctions, despite the fact that distinction as such causes nothing.

In a similar way, “a human being is what it is,” and “a human being does what it does” (taken in an objective sense), cause human beings to say and believe that they have subjective experience (taking saying and believing to refer to objective facts.) But this is precisely where the zombie question arises: they say and believe that they have subjective experience, when we interpret say and believe in the objective sense. But do they actually say and believe anything, considering saying and believing as including the subjective factor? Namely, when a non-zombie says something, it subjectively understands the meaning of what it is saying, and when it consciously believes something, it has a subjective experience of doing that, but these things would not apply to a zombie.

But notice that we can raise a similar question about zombie distinctions. When someone says and believes that one thing is not another, objective reality is similarly the cause of them making the distinction. But is the one thing actually not the other? But there is no question at all here except of whether the person’s statement is true or false. And indeed, someone can say, e.g, “The person who came yesterday is not the person who came today,” and this can sometimes be false. In a similar way, asking whether an apparent person is a zombie or not is just asking whether their claim is true or false when they say they have a subjective experience. The difference is that if the (objective) claim is false, then there is no claim at all in the subjective sense of “subjectively claiming something.” It is a contradiction to subjectively make the false claim that you are subjectively claiming something, and thus, this cannot happen.

Someone may insist: you yourself, when you subjectively claim something, cannot be mistaken for the above reason. But you have no way to know whether someone else who apparently is making that claim, is actually making the claim subjectively or not. This is the reason there is a hard problem.

How do we investigate the case of distinction? If we want to determine whether the person who came yesterday is not the person who came today, we do that by looking at reality, despite the fact that distinction as such is not a part of reality as such. If the person who came yesterday is now, today, a mile away from the person who came today, this gives us plenty of reason to say that the one person is not the other. There is nothing strange, however, in the fact that there is no infallible method to prove conclusively, once and for all, that one thing is definitely not another thing. There is not therefore some special “hard problem of distinction.” This is just a result of the fact that our knowledge in general is not infallible.

In a similar way, if we want to investigate whether something has subjective experience or not, we can do that only by looking at reality: what is this thing, and what does it do? Then suppose it makes an apparent claim that it has subjective experience. Obviously, for the above reasons, this cannot be a subjective claim but false: so the question is whether it makes a subjective claim and is right, or rather makes no subjective claim at all. How would you answer this as an external observer?

In the case of distinction, the fact that someone claims that one thing is distinct from another is caused by reality, whether the claim is true or false. So whether it is true or false depends on the way that it is caused by reality. In a similar way, the thing which apparently and objectively claims to possess subjective experience, is caused to do so by objective facts. Again, as in the case of distinction, whether it is true or false will depend on the way that it is caused to do so by objective facts.

We can give some obvious examples:

“This thing claims to possess subjective experience because it is a human being and does what humans normally do.” In this case, the objective and subjective claim is true, and is caused in the right way by objective facts.

“This thing claims to possess subjective experience because it is a very simple computer given a very simple program to output ‘I have subjective experience’ on its screen.” In this case the external claim is false, and it is caused in the wrong way by objective facts, and there is no subjective claim at all.

But how do you know for sure, someone will object. Perhaps the computer really is conscious, and perhaps the apparent human is a zombie. But we could similarly ask how we can know for sure that the person who came yesterday isn’t the same person who came today, even though they appear distant from each other, because perhaps the person is bilocating?

It would be mostly wrong to describe this situation by saying “there really is no hard problem of consciousness,” as Robin Hanson appears to do when he says, “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.” The implication seems to be that there is no hard question at all. But there is, and the fact that people engage in this discussion proves the existence of the question. Rather, we should say that the question is answerable, and that one it has been answered the remaining questions are “hard” only in the sense that it is hard to understand the world in general. The question is hard in exactly the way the question of Parmenides is hard: “How is it possible for one thing not to be another, when there is only being?” The question of consciousness is similar: “How is it possible for something to have subjective experience, when there are only objective things?” And the question can and should be answered in a similar fashion.

It would be virtually impossible to address every related issue in a simple blog post of this form, so I will simply mention some things that I have mainly set aside here:

1) The issue of formal causes, discussed more in my earlier treatment of this issue. This is relevant because “is this a zombie?” is in effect equivalent to asking whether the thing lacks a formal cause. This is worthy of a great deal of consideration and would go far beyond either this post or the earlier one.

2) The issue of “physical” and “material.” As I stated in this post, this is mainly a distraction. Most of the time, the real question is how the subjective is possible given that we believe that the world is objective. The only relevance of “matter” here is that it is obvious that a material thing is an objective thing. But of course, an immaterial thing would also have to be objective in order to be a thing at all. Aristotle and many philosophers of his school make the specific argument that the human mind does not have an organ, but such arguments are highly questionable, and in my view fundamentally flawed. My earlier posts suffice to call such a conclusion into question, but do not attempt to disprove it, and the the topic would be worthy of additional consideration.

3) Specific questions about “what, exactly, would actually be conscious?” Now neglecting such questions might seem to be a cop-out, since isn’t this what the whole problem was supposed to be in the first place? But in a sense we did answer it. Take an apparent claim of something to be conscious. The question would be this: “Given how it was caused by objective facts to make that claim, would it be a reasonable claim for a subjective claimer to make?” In other words, we cannot assume in advance that it is subjectively making a claim, but if it would be a reasonable claim, it will (in general) be a true one, and therefore also a subjective one, for the same reason that we (in general) make true claims when we reasonably claim that one thing is not another. We have not answered this question only in the same sense that we have not exhaustively explained which things are distinct from which other things, and how one would know. But the question, e.g., “when if ever would you consider an artificial intelligence to be conscious?” is in itself also worthy of direct discussion.

4) The issue of vagueness. This issue in particular will cause some people to object to my answer here. Thus Alexander Pruss brings this up in a discussion of whether a computer could be conscious:

Now, intelligence could plausibly be a vague property. But it is not plausible that consciousness is a vague property. So, there must be some precise transition point in reliability needed for computation to yield consciousness, so that a slight decrease in reliability—even when the actual functioning is unchanged (remember that the Ci are all functioning in the same way)—will remove consciousness.

I responded in the comments there:

The transition between being conscious and not being conscious that happens when you fall asleep seems pretty vague. I don’t see why you find it implausible that “being conscious” could be vague in much the same way “being red” or “being intelligent” might be vague. In fact the evidence from experience (falling asleep etc) seems to directly suggest that it is vague.

Pruss responds:

When I fall asleep, I may become conscious of less and less. But I can’t get myself to deny that either it is definitely true at any given time that I am at least a little conscious or it is definitely true that I am not at all conscious.

But we cannot trust Pruss’s intuitions about what can be vague or otherwise. Pruss claims in an earlier post that there is necessarily a sharp transition between someone’s not being old and someone’s being old. I discussed that post here. This is so obviously false that it gives us a reason in general not to trust Alexander Pruss on the issue of sharp transitions and vagueness. The source of this particular intuition may be the fact that you cannot subjectively make a claim, even vaguely, without some subjective experience, as well as his general impression that vagueness violates the principles of excluded middle and non-contradiction. But in a similar way, you cannot be vaguely old without being somewhat old. This does not mean that there is a sharp transition from not being old to being old, and likewise it does not necessarily mean that there is a sharp transition from not having subjective experience to having it.

While I have discussed the issue of vagueness elsewhere on this blog, this will probably continue to be a reoccurring feature, if only because of those who cannot accept this feature of reality and insist, in effect, on “this or nothing.”

# Idealized Idealization

On another occasion, I discussed the Aristotelian idea that the act of the mind does not use an organ. In an essay entitled Immaterial Aspects of Thought, James Ross claims that he can establish the truth of this position definitively. He summarizes the argument:

Some thinking (judgment) is determinate in a way no physical process can be. Consequently, such thinking cannot be (wholly) a physical process. If all thinking, all judgment, is determinate in that way, no physical process can be (the whole of) any judgment at all. Furthermore, “functions” among physical states cannot be determinate enough to be such judgments, either. Hence some judgments can be neither wholly physical processes nor wholly functions among physical processes.

Certain thinking, in a single case, is of a definite abstract form (e.g. N x N = N²), and not indeterminate among incompossible forms (see I below). No physical process can be that definite in its form in a single case. Adding cases even to infinity, unless they are all the possible cases, will not exclude incompossible forms. But supplying all possible cases of any pure function is impossible. So, no physical process can exclude incompossible functions from being equally well (or badly) satisfied (see II below). Thus, no physical process can be a case of such thinking. The same holds for functions among physical states (see IV below).

In essence, the argument is that squaring a number and similar things are infinitely precise processes, and no physical process is infinitely precise. Therefore squaring a number and similar things are not physical processes.

The problem is unfortunately with the major premise here. Squaring a number, and similar things, in the way that we in fact do them, are not infinitely precise processes.

Ross argues that they must be:

Can judgments really be of such definite “pure” forms? They have to be; otherwise, they will fail to have the features we attribute to them and upon which the truth of certain judgments about validity, inconsistency, and truth depend; for instance, they have to exclude incompossible forms or they would lack the very features we take to be definitive of their sorts: e.g., conjunction, disjunction, syllogistic, modus ponens, etc. The single case of thinking has to be of an abstract “form” (a “pure” function) that is not indeterminate among incompossible ones. For instance, if I square a number–not just happen in the course of adding to write down a sum that is a square, but if I actually square the number–I think in the form “N x N = N².”

The same point again. I can reason in the form, modus ponens (“If p then q“; “p“; “therefore, q”). Reasoning by modus ponens requires that no incompossible forms also be “realized” (in the same sense) by what I have done. Reasoning in that form is thinking in a way that is truth-preserving for all cases that realize the form. What is done cannot, therefore, be indeterminate among structures, some of which are not truth preserving. That is why valid reasoning cannot be only an approximation of the form, but must be of the form. Otherwise, it will as much fail to be truth-preserving for all relevant cases as it succeeds; and thus the whole point of validity will be lost. Thus, we already know that the evasion, “We do not really conjoin, add, or do modus ponens but only simulate them,” cannot be correct. Still, I shall consider it fully below.

“It will as much fail to be truth-preserving for all relevant cases as it succeeds” is an exaggeration here. If you perform an operation which approximates modus ponens, then that operation will be approximately truth preserving. It will not be equally truth preserving and not truth preserving.

I have noted many times in the past, as for example here, here, here, and especially here, that following the rules of syllogism does not in practice infallibly guarantee that your conclusions are true, even if your premises are in some way true, because of the vagueness of human thought and language. In essence, Ross is making a contrary argument: we know, he is claiming, that our arguments infallibly succeed; therefore our thoughts cannot be vague. But it is empirically false that our arguments infallibly succeed, so the argument is mistaken right from its starting point.

There is also a strawmanning of the opposing position here insofar as Ross describes those who disagree with him as saying that “we do not really conjoin, add, or do modus ponens but only simulate them.” This assumes that unless you are doing these things perfectly, rather than approximating them, then you are not doing them at all. But this does not follow. Consider a triangle drawn on a blackboard. Consider which of the following statements is true:

1. There is a triangle drawn on the blackboard.
2. There is no triangle drawn on the blackboard.

Obviously, the first statement is true, and the second false. But in Ross’s way of thinking, we would have to say, “What is on the blackboard is only approximately triangular, not exactly triangular. Therefore there is no triangle on the blackboard.” This of course is wrong, and his description of the opposing position is wrong in the same way.

Naturally, if we take “triangle” as shorthand for “exact rather than approximate triangle” then (2) will be true. And in a similar way, if take “really conjoin” and so on as shorthand for “really conjoin exactly and not approximately,” then those who disagree will indeed say that we do not do those things. But this is not a problem unless you are assuming from the beginning that our thoughts are infinitely precise, and Ross is attempting to establish that this must be the case, rather than claiming to take it as given. (That is, the summary takes it as given, but Ross attempts throughout the article to establish it.)

One could attempt to defend Ross’s position as follows: we must have infinitely precise thoughts, because we can understand the words “infinitely precise thoughts.” Or in the case of modus ponens, we must have an infinitely precise understanding of it, because we can distinguish between “modus ponens, precisely,” and “approximations of modus ponens“. But the error here is similar to the error of saying that one must have infinite certainty about some things, because otherwise one will not have infinite certainty about the fact that one does not have infinite certainty, as though this were a contradiction. It is no contradiction for all of your thoughts to be fallible, including this one, and it is no contradiction for all of your thoughts to be vague, including your thoughts about precision and approximation.

The title of this post in fact refers to this error, which is probably the fundamental problem in Ross’s argument. Triangles in the real world are not perfectly triangular, but we have an idealized concept of a triangle. In precisely the same way, the process of idealization in the real world is not an infinitely precise process, but we have an idealized concept of idealization. Concluding that our acts of idealization must actually be ideal in themselves, simply because we have an idealized concept of idealization, would be a case of confusing the way of knowing with the way of being. It is a particularly confusing case simply because the way of knowing in this case is also materially the being which is known. But this material identity does not make the mode of knowing into the mode of being.

We should consider also Ross’s minor premise, that a physical process cannot be determinate in the way required:

Whatever the discriminable features of a physical process may be, there will always be a pair of incompatible predicates, each as empirically adequate as the other, to name a function the exhibited data or process “satisfies.” That condition holds for any finite actual “outputs,” no matter how many. That is a feature of physical process itself, of change. There is nothing about a physical process, or any repetitions of it, to block it from being a case of incompossible forms (“functions”), if it could be a case of any pure form at all. That is because the differentiating point, the point where the behavioral outputs diverge to manifest different functions, can lie beyond the actual, even if the actual should be infinite; e.g., it could lie in what the thing would have done, had things been otherwise in certain ways. For instance, if the function is x(*)y = (x + y, if y < 10^40 years, = x + y +1, otherwise), the differentiating output would lie beyond the conjectured life of the universe.

Just as rectangular doors can approximate Euclidean rectangularity, so physical change can simulate pure functions but cannot realize them. For instance, there are no physical features by which an adding machine, whether it is an old mechanical “gear” machine or a hand calculator or a full computer, can exclude its satisfying a function incompatible with addition, say quaddition (cf. Kripke’s definition of the function to show the indeterminacy of the single case: quus, symbolized by the plus sign in a circle, “is defined by: x quus y = x + y, if x, y < 57, =5 otherwise”) modified so that the differentiating outputs (not what constitutes the difference, but what manifests it) lie beyond the lifetime of the machine. The consequence is that a physical process is really indeterminate among incompatible abstract functions.

Extending the list of outputs will not select among incompatible functions whose differentiating “point” lies beyond the lifetime (or performance time) of the machine. That, of course, is not the basis for the indeterminacy; it is just a grue-like illustration. Adding is not a sequence of outputs; it is summing; whereas if the process were quadding, all its outputs would be quadditions, whether or not they differed in quantity from additions (before a differentiating point shows up to make the outputs diverge from sums).

For any outputs to be sums, the machine has to add. But the indeterminacy among incompossible functions is to be found in each single case, and therefore in every case. Thus, the machine never adds.

There is some truth here, and some error here. If we think about a physical process in the particular way that Ross is considering it, it will be true that it will always be able to be interpreted in more than one way. This is why, for example, in my recent discussion with John Nerst, John needed to say that the fundamental cause of things had to be “rules” rather than e.g. fundamental particles. The movement of particles, in itself, could be interpreted in various ways. “Rules,” on the other hand, are presumed to be something which already has a particular interpretation, e.g. adding as opposed to quadding.

On the other hand, there is also an error here. The prima facie sign of this error is the statement that an adding machine “never adds.” Just as according to common sense we can draw triangles on blackboards, so according to common sense the calculator on my desk can certainly add. This is connected with the problem with the entire argument. Since “the calculator can add” is true in some way, there is no particular reason that “we can add” cannot be true in precisely the same way. Ross wishes to argue that we can add in a way that the calculator cannot because, in essence, we do it infallibly; but this is flatly false. We do not do it infallibly.

Considered metaphysically, the problem here is ignorance of the formal cause. If physical processes were entirely formless, they indeed would have no interpretation, just as a formless human (were that possible) would be a philosophical zombie. But in reality there are forms in both cases. In this sense, Ross’s argument comes close to saying “human thought is a form or formed, but physical processes are formless.” Since in fact neither is formless, there is no reason (at least established by this argument) why thought could not be the form of a physical process.

# Zombies and Ignorance of the Formal Cause

Let’s look again at Robin Hanson’s account of the human mind, considered previously here.

Now what I’ve said so far is usually accepted as uncontroversial, at least when applied to the usual parts of our world, such as rivers, cars, mountains laptops, or ants. But as soon as one claims that all this applies to human minds, suddenly it gets more controversial. People often state things like this:

I am sure that I’m not just a collection of physical parts interacting, because I’m aware that I feel. I know that physical parts interacting just aren’t the kinds of things that can feel by themselves. So even though I have a physical body made of parts, and there are close correlations between my feelings and the states of my body parts, there must be something more than that to me (and others like me). So there’s a deep mystery: what is this extra stuff, where does it arise, how does it change, and so on. We humans care mainly about feelings, not physical parts interacting; we want to know what out there feels so we can know what to care about.

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?

What would someone mean by making the original statement that “I know that physical parts interacting just aren’t the kinds of things that can feel by themselves”? If we give this a charitable interpretation, the meaning is that “a collection of physical parts” is something many, and so is not a suitable subject for predicates like “sees” and “understands.” Something that sees is something one, and something that understands is something one.

This however is not Robin’s interpretation. Instead, he understands it to mean that besides the physical parts, there has to be one additional part, namely one which is a part in the same sense of “part”, but which is not physical. And indeed, some tend to think this way. But this of course is not helpful, because the reason a collection of parts is not a suitable subject for seeing or understanding is not because those parts are physical, but because the subject is not something one. And this would remain even if you add a non-physical part or parts. Instead, what is needed to be such a subject is that the subject be something one, namely a living being with the sense of sight, in order to see, or one with the power of reason, for understanding.

What do you need in order to get one such subject from “a collection of parts”? Any additional part, physical or otherwise, will just make the collection bigger; it will not make the subject something one. It is rather the formal cause of a whole that makes the parts one, and this formal cause is not a part in the same sense. It is not yet another part, even a non-physical one.

Reading Robin’s discussion in this light, it is clear that he never even considers formal causes. He does not even ask whether there is such a thing. Rather, he speaks only of material and efficient causes, and appears to be entirely oblivious even to the idea of a formal cause. Thus when asking whether there is anything in addition to the “collection of parts,” he is asking whether there is any additional material cause. And naturally, nothing will have material causes other than the things it is made out of, since “what a thing is made out of” is the very meaning of a material cause.

Likewise, when he says, “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?”, he shows in two ways his ignorance of formal causes. First, by talking about “feeling stuff,” which implies a kind of material cause. Second, when he says, “actual cause of humans making statements” he is evidently speaking about the efficient cause of people producing sounds or written words.

In both cases, formal causality is the relevant causality. There is no “feeling stuff” at all; rather, certain things are things like seeing or understanding, which are unified actions, and these are unified by their forms. Likewise, we can consider the “humans making statements” in two ways; if we simply consider the efficient causes of the sounds, one by one, you might indeed explain them as “simple parts interacting simply.” But they are not actually mere sounds; they are meaningful and express the intention and meaning of a subject. And they have meaning by reason of the forms of the action and of the subject.

In other words, the idea of the philosophical zombie is that the zombie is indeed producing mere sounds. It is not only that the zombie is not conscious, but rather that it really is just interacting parts, and the sounds it produces are just a collection of sounds. We don’t need, then, some complicated method to determine that we are not such zombies. We are by definition not zombies if we say, think, or understanding at all.

The same ignorance of the formal cause is seen in the rest of Robin’s comments:

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.

Again, he is asking whether there is some additional part which has some additional efficient causality, and suggesting that this is unlikely. It is indeed unlikely, but irrelevant, because consciousness is not an additional part, but a formal way of being that a thing has. He continues:

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.

First, there is no “extra feeling stuff.” There is only a way of being, namely in this case being alive and conscious. Second, there is no coincidence. Robin’s supposed coincidence is that “I am conscious” is thought to mean, “I have feeling stuff,” but the feeling stuff is not the efficient cause of my saying that I have it; instead, the efficient cause is said to be simple parts interacting simply.

Again, the mistake here is simply to completely overlook the formal cause. “I am conscious” does not mean that I have any feeling stuff; it says that I am something that perceives. Of course we can modify Robin’s question: what is the efficient cause of my saying that I am conscious? Is it the fact that I actually perceive things, or is it simple parts interacting simply? But if we think of this in relation to form, it is like asking whether the properties of a square follow from squareness, or from the properties of the parts of a square. And it is perfectly obvious that the properties of a square follow both from squareness, and from the properties of the parts of a square, without any coincidence, and without interfering with one another. In the same way, the fact that I perceive things is the efficient cause of my saying that I perceive things. But the only difference between this actual situation and a philosophical zombie is one of form, not of matter; in a corresponding zombie, “simple parts interacting simply” are the cause of its producing sounds, but it neither perceives anything nor asserts that it is conscious, since its words are meaningless.

The same basic issue, namely Robin’s lack of the concept of a formal cause, is responsible for his statements about philosophical zombies:

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.

The state of “feeling” is not presumed to have zero causal influence on behavior. It is thought to have precisely a formal influence on behavior. That is, being conscious is why the activity of the conscious person is “saying that they feel” instead of “producing random meaningless sounds that others mistakenly interpret as meaning that they feel.”

Robin is right that philosophical zombies are impossible, however, although not for the reasons that he supposes. The actual reason for this is that it is impossible for a disposed matter to be lacking its corresponding form, and the idea of a zombie is precisely the idea of humanly disposed matter lacking human form.

Regarding his point about “info,” the possession of any information at all is already a proof that one is not a zombie. Since the zombie lacks form, any correlation between one part and another in it is essentially a random material correlation, not one that contains any information. If the correlation is noticed as having any info, then the thing noticing the information, and the information itself, are things which possess form. This argument, as far as it goes, is consistent with Robin’s claim that zombies do not make sense; they do not, but not for the reasons that he posits.