Alexander Pruss

Mind of God

entirelyuseless Metaphysics, Religion, Theology, Uncategorized , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,

Reconciling Theism and Atheism

In his Dialogues Concerning Natural Religion, David Hume presents Philo as arguing that the disagreement between theists and atheists is merely verbal:

All men of sound reason are disgusted with verbal disputes, which abound so much in philosophical and theological inquiries; and it is found, that the only remedy for this abuse must arise from clear definitions, from the precision of those ideas which enter into any argument, and from the strict and uniform use of those terms which are employed. But there is a species of controversy, which, from the very nature of language and of human ideas, is involved in perpetual ambiguity, and can never, by any precaution or any definitions, be able to reach a reasonable certainty or precision. These are the controversies concerning the degrees of any quality or circumstance. Men may argue to all eternity, whether HANNIBAL be a great, or a very great, or a superlatively great man, what degree of beauty CLEOPATRA possessed, what epithet of praise LIVY or THUCYDIDES is entitled to, without bringing the controversy to any determination. The disputants may here agree in their sense, and differ in the terms, or vice versa; yet never be able to define their terms, so as to enter into each other’s meaning: Because the degrees of these qualities are not, like quantity or number, susceptible of any exact mensuration, which may be the standard in the controversy. That the dispute concerning Theism is of this nature, and consequently is merely verbal, or perhaps, if possible, still more incurably ambiguous, will appear upon the slightest inquiry. I ask the Theist, if he does not allow, that there is a great and immeasurable, because incomprehensible difference between the human and the divine mind: The more pious he is, the more readily will he assent to the affirmative, and the more will he be disposed to magnify the difference: He will even assert, that the difference is of a nature which cannot be too much magnified. I next turn to the Atheist, who, I assert, is only nominally so, and can never possibly be in earnest; and I ask him, whether, from the coherence and apparent sympathy in all the parts of this world, there be not a certain degree of analogy among all the operations of Nature, in every situation and in every age; whether the rotting of a turnip, the generation of an animal, and the structure of human thought, be not energies that probably bear some remote analogy to each other: It is impossible he can deny it: He will readily acknowledge it. Having obtained this concession, I push him still further in his retreat; and I ask him, if it be not probable, that the principle which first arranged, and still maintains order in this universe, bears not also some remote inconceivable analogy to the other operations of nature, and, among the rest, to the economy of human mind and thought. However reluctant, he must give his assent. Where then, cry I to both these antagonists, is the subject of your dispute? The Theist allows, that the original intelligence is very different from human reason: The Atheist allows, that the original principle of order bears some remote analogy to it. Will you quarrel, Gentlemen, about the degrees, and enter into a controversy, which admits not of any precise meaning, nor consequently of any determination? If you should be so obstinate, I should not be surprised to find you insensibly change sides; while the Theist, on the one hand, exaggerates the dissimilarity between the Supreme Being, and frail, imperfect, variable, fleeting, and mortal creatures; and the Atheist, on the other, magnifies the analogy among all the operations of Nature, in every period, every situation, and every position. Consider then, where the real point of controversy lies; and if you cannot lay aside your disputes, endeavour, at least, to cure yourselves of your animosity.

To what extent Hume actually agrees with this argument is not clear, and whether or not a dispute is verbal or real is itself like Hume’s questions about greatness or beauty, that is, it is a matter of degree. Few disagreements are entirely verbal. In any case, I largely agree with the claim that there is little real disagreement here. In response to a question on the about page of this blog, I referred to some remarks about God by Roderick Long:

Since my blog has wandered into theological territory lately, I thought it might be worth saying something about the existence of God.

When I’m asked whether I believe in God, I usually don’t know what to say – not because I’m unsure of my view, but because I’m unsure how to describe my view. But here’s a try.

I think the disagreement between theism and atheism is in a certain sense illusory – that when one tries to sort out precisely what theists are committed to and precisely what atheists are committed to, the two positions come to essentially the same thing, and their respective proponents have been fighting over two sides of the same shield.

Let’s start with the atheist. Is there any sense in which even the atheist is committed to recognising the existence of some sort of supreme, eternal, non-material reality that transcends and underlies everything else? Yes, there is: namely, the logical structure of reality itself.

Thus so long as the theist means no more than this by “God,” the theist and the atheist don’t really disagree.

Now the theist may think that by God she means something more than this. But likewise, before people knew that whales were mammals they thought that by “whale” they meant a kind of fish. What is the theist actually committed to meaning?

Well, suppose that God is not the logical structure of the universe. Then we may ask: in what relation does God stand to that structure, if not identity? There would seem to be two possibilities.

One is that God stands outside that structure, as its creator. But this “possibility” is unintelligible. Logic is a necessary condition of significant discourse; thus one cannot meaningfully speak of a being unconstrained by logic, or a time when logic’s constraints were not yet in place.

The other is that God stands within that structure, along with everything else. But this option, as Wittgenstein observed, would downgrade God to the status of being merely one object among others, one more fragment of contingency – and he would no longer be the greatest of all beings, since there would be something greater: the logical structure itself. (This may be part of what Plato meant in describing the Form of the Good as “beyond being.”)

The only viable option for the theist, then, is to identify God with the logical structure of reality. (Call this “theological logicism.”) But in that case the disagreement between the theist and the atheist dissolves.

It may be objected that the “reconciliation” I offer really favours the atheist over the theist. After all, what theist could be satisfied with a deity who is merely the logical structure of the universe? Yet in fact there is a venerable tradition of theists who proclaim precisely this. Thomas Aquinas, for example, proposed to solve the age-old questions “could God violate the laws of logic?” and “could God command something immoral?” by identifying God with Being and Goodness personified. Thus God is constrained by the laws of logic and morality, not because he is subject to them as to a higher power, but because they express his own nature, and he could not violate or alter them without ceasing to be God. Aquinas’ solution is, essentially, theological logicism; yet few would accuse Aquinas of having a watered-down or crypto-atheistic conception of deity. Why, then, shouldn’t theological logicism be acceptable to the theist?

A further objection may be raised: Aquinas of course did not stop at the identification of God with Being and Goodness, but went on to attribute to God various attributes not obviously compatible with this identification, such as personality and will. But if the logical structure of reality has personality and will, it will not be acceptable to the atheist; and if it does not have personality and will, then it will not be acceptable to the theist. So doesn’t my reconciliation collapse?

I don’t think so. After all, Aquinas always took care to insist that in attributing these qualities to God we are speaking analogically. God does not literally possess personality and will, at least if by those attributes we mean the same attributes that we humans possess; rather he possesses attributes analogous to ours. The atheist too can grant that the logical structure of reality possesses properties analogous to personality and will. It is only at the literal ascription of those attributes that the atheist must balk. No conflict here.

Yet doesn’t God, as understood by theists, have to create and sustain the universe? Perhaps so. But atheists too can grant that the existence of the universe depends on its logical structure and couldn’t exist for so much as an instant without it. So where’s the disagreement?

But doesn’t God have to be worthy of worship? Sure. But atheists, while they cannot conceive of worshipping a person, are generally much more open to the idea of worshipping a principle. Again theological logicism allows us to transcend the opposition between theists and atheists.

But what about prayer? Is the logical structure of reality something one could sensibly pray to? If so, it might seem, victory goes to the theist; and if not, to the atheist. Yet it depends what counts as prayer. Obviously it makes no sense to petition the logical structure of reality for favours; but this is not the only conception of prayer extant. In Science and Health, for example, theologian M. B. Eddy describes the activity of praying not as petitioning a principle but as applying a principle:

“Who would stand before a blackboard, and pray the principle of mathematics to solve the problem? The rule is already established, and it is our task to work out the solution. Shall we ask the divine Principle of all goodness to do His own work? His work is done, and we have only to avail ourselves of God’s rule in order to receive His blessing, which enables us to work out our own salvation.”

Is this a watered-down or “naturalistic” conception of prayer? It need hardly be so; as the founder of Christian Science, Eddy could scarcely be accused of underestimating the power of prayer! And similar conceptions of prayer are found in many eastern religions. Once again, theological logicism’s theistic credentials are as impeccable as its atheistic credentials.

Another possible objection is that whether identifying God with the logical structure of reality favours the atheist or the theist depends on how metaphysically robust a conception of “logical structure” one appeals to. If one thinks of reality’s logical structure in realist terms, as an independent reality in its own right, then the identification favours the theist; but if one instead thinks, in nominalist terms, that there’s nothing to logical structure over and above what it structures, then the identification favours the atheist.

This argument assumes, however, that the distinction between realism and nominalism is a coherent one. I’ve argued elsewhere (see here and here) that it isn’t; conceptual realism pictures logical structure as something imposed by the world on an inherently structureless mind (and so involves the incoherent notion of a structureless mind), while nominalism pictures logical structure as something imposed by the mind on an inherently structureless world (and so involves the equally incoherent notion of a structureless world). If the realism/antirealism dichotomy represents a false opposition, then the theist/atheist dichotomy does so as well. The difference between the two positions will then be only, as Wittgenstein says in another context, “one of battle cry.”

Long is trying too hard, perhaps. As I stated above, few disagreements are entirely verbal, so it would be strange to find no disagreement at all, and we could question some points here. Are atheists really open to worshiping a principle? Respecting, perhaps, but worshiping? A defender of Long, however, might say that “respect” and “worship” do not necessarily have any relevant difference here, and this is itself a merely verbal difference signifying a cultural difference. The theist uses “worship” to indicate that they belong to a religious culture, while the atheist uses “respect” to indicate that they do not. But it would not be easy to find a distinct difference in the actual meaning of the terms.

In any case, there is no need to prove that there is no difference at all, since without a doubt individual theists will disagree on various matters with individual atheists. The point made by both David Hume and Roderick Long stands at least in a general way: there is far less difference between the positions than people typically assume.

In an earlier post I discussed, among other things, whether the first cause should be called a “mind” or not, discussing St. Thomas’s position that it should be, and Plotinus’s position that it should not be. Along the lines of the argument in this post, perhaps this is really an argument about whether or not you should use a certain analogy, and the correct answer may be that it depends on your purposes.

But what if your purpose is simply to understand reality? Even if it is, it is often the case that you can understand various aspects of reality with various analogies, so this will not necessarily provide you with a definite answer. Still, someone might argue that you should not use a mental analogy with regard to the first cause because it will lead people astray. Thus, in a similar way, Richard Dawkins argued that one should not call the first cause “God” because it would mislead people:

Yes, I said, but it must have been simple and therefore, whatever else we call it, God is not an appropriate name (unless we very explicitly divest it of all the baggage that the word ‘God’ carries in the minds of most religious believers). The first cause that we seek must have been the simple basis for a self-bootstrapping crane which eventually raised the world as we know it into its present complex existence.

I will argue shortly that Dawkins was roughly speaking right about the way that the first cause works, although as I said in that earlier post, he did not have a strong argument for it other than his aesthetic sense and the kinds of explanation that he prefers. In any case, his concern with the name “God” is the “baggage” that it “carries in the minds of most religious believers.” That is, if we say, “There is a first cause, therefore God exists,” believers will assume that their concrete beliefs about God are correct.

In a similar way, someone could reasonably argue that speaking of God as a “mind” would tend to lead people into error by leading them to suppose that God would do the kinds of the things that other minds, namely human ones, do. And this definitely happens. Thus for example, in his book Who Designed the Designer?, Michael Augros argues for the existence of God as a mind, and near the end of the book speculates about divine revelation:

I once heard of a certain philosopher who, on his deathbed, when asked whether he would become a Christian, admitted his belief in Aristotle’s “prime mover”, but not in Jesus Christ as the Son of God. This sort of acknowledgment of the prime mover, of some sort of god, still leaves most of our chief concerns unaddressed. Will X ever see her son again, now that the poor boy has died of cancer at age six? Will miserable and contrite Y ever be forgiven, somehow reconciled to the universe and made whole, after having killed a family while driving drunk? Will Z ever be brought to justice, having lived out his whole life laughing at the law while another person rotted in jail for the atrocities he committed? That there is a prime mover does not tell us with sufficient clarity. Even the existence of an all-powerful, all-knowing, all-good god does not enable us to fill in much detail. And so it seems reasonable to suppose that god has something more to say to us, in explicit words, and not only in the mute signs of creation. Perhaps he is waiting to talk to us, biding his time for the right moment. Perhaps he has already spoken, but we have not recognized his voice.

When we cast our eye about by the light of reason in his way, it seems there is room for faith in general, even if no particular faith can be “proved” true in precisely the same way that it can be “proved” that there is a god.

The idea is that given that God is a mind, it follows that it is fairly plausible that he would wish to speak to people. And perhaps that he would wish to establish justice through extraordinary methods, and that he might wish to raise people from the dead.

I think this is “baggage” carried over from Augros’s personal religious views. It is an anthropomorphic mistake, not merely in the sense that he does not have a good reason for such speculation, but in the sense that such a thing is demonstrably implausible. It is not that the divine motives are necessarily unknown to us, but that we can actually discover them, at least to some extent, and we will discover that they are not what he supposes.

Divine Motives

How might one know the divine motives? How does one read the mind of God?

Anything that acts at all does it what it does ultimately because of what it is. This is an obvious point, like the point that the existence of something rather than nothing could not have some reason outside of being. In a similar way, “what is” is the only possible explanation for what is done, since there is nothing else there to be an explanation. And in every action, whether or not we are speaking of the subject in explicitly mental terms or not, we can always use the analogy of desires and goals. In the linked post, I quote St. Thomas as speaking of the human will as the “rational appetite,” and the natural tendency of other things as a “natural appetite.” If we break down the term “rational appetite,” the meaning is “the tendency to do something, because of having a reason to do it.” And this fits with my discussion of human will in various places, such as in this earlier post.

But where do those reasons come from? I gave an account of this here, arguing that rational goals are a secondary effect of the mind’s attempt to understand itself. Of course human goals are complex and have many factors, but this happens because what the mind is trying to understand is complicated and multifaceted. In particular, there is a large amount of pre-existing human behavior that it needs to understand before it can attribute goals: behavior that results from life as a particular kind of animal, behavior that results from being a particular living thing, and behavior that results from having a body of such and such a sort.

In particular, human social behavior results from these things. There was some discussion of this here, when we looked at Alexander Pruss’s discussion of hypothetical rational sharks.

You might already see where this is going. God as the first cause does not have any of the properties that generate human social behavior, so we cannot expect his behavior to resemble human social behavior in any way, as for example by having any desire to speak with people. Indeed, this is the argument I am making, but let us look at the issue more carefully.

I responded to the “dark room” objection to predictive processing here and here. My response depends both the biological history of humans and animals in general, and to some extent on the history of each individual. But the response does not merely explain why people do not typically enter dark rooms and simply stay there until they die. It also explains why occasionally people do do such things, to a greater or lesser approximation, as with suicidal or extremely depressed people.

If we consider the first cause as a mind, as we are doing here, it is an abstract immaterial mind without any history, without any pre-existing behaviors, without any of the sorts of things that allow people to avoid the dark room. So while people will no doubt be offended by the analogy, and while I will try to give a more pleasant interpretation later, one could argue that God is necessarily subject to his own dark room problem: there is no reason for him to have any motives at all, except the one which is intrinsic to minds, namely the motive of understanding. And so he should not be expected to do anything with the world, except to make sure that it is intelligible, since it must be intelligible for him to understand it.

The thoughtful reader will object: on this account, why does God create the world at all? Surely doing and making nothing at all would be even better, by that standard. So God does seem to have a “dark room” problem that he does manage to avoid, namely the temptation to nothing at all. This is a reasonable objection, but I think it would lead us on a tangent, so I will not address it at this time. I will simply take it for granted that God makes something rather than nothing, and discuss what he does with the world given that fact.

In the previous post, I pointed out that David Hume takes for granted that the world has stable natural laws, and uses that to argue that an orderly world can result from applying those laws to “random” configurations over a long enough time. I said that one might accuse him of “cheating” here, but that would only be the case if he intended to maintain a strictly atheistic position which would say that there is no first cause at all, or that if there is, it does not even have a remote analogy with a mind. Thus his attempted reconciliation of theism and atheism is relevant, since it seems from this that he is aware that such a strict atheism cannot be maintained.

St. Thomas makes a similar connection between God as a mind and a stable order of things in his fifth way:

The fifth way is taken from the governance of the world. We see that things which lack intelligence, such as natural bodies, act for an end, and this is evident from their acting always, or nearly always, in the same way, so as to obtain the best result. Hence it is plain that not fortuitously, but designedly, do they achieve their end. Now whatever lacks intelligence cannot move towards an end, unless it be directed by some being endowed with knowledge and intelligence; as the arrow is shot to its mark by the archer. Therefore some intelligent being exists by whom all natural things are directed to their end; and this being we call God.

What are we are to make of the claim that things act “always, or nearly always, in the same way, so as to obtain the best result?” Certainly acting in the same way would be likely to lead to similar results. But why would you think it was the best result?

If we consider where we get the idea of desire and good, the answer will be clear. We don’t have an idea of good which is completely independent from “what actually tends to happen”, even though this is not quite a definition of the term either. So ultimately St. Thomas’s argument here is based on the fact that things act in similar ways and achieve similar results. The idea that it is “best” is not an additional contribution.

But now consider the alternative. Suppose that things did not act in similar ways, or that doing so did not lead to similar results. We would live in David Hume’s non-inductive world. The result is likely to be mathematically and logically impossible. If someone says, “look, the world works in a coherent way,” and then attempts to describe how it would look if it worked in an incoherent way, they will discover that the latter “possibility” cannot be described. Any description must be coherent in order to be a description, so the incoherent “option” was never a real option in the first place.

This argument might suggest that the position of Plotinus, that mind should not be attributed to God at all, is the more reasonable one. But since we are exploring the situation where we do make that attribution, let us consider the consequences.

We argued above that the sole divine motive for the world is intelligibility. This requires coherence and consistency. It also requires a tendency towards the good, for the above mentioned reasons. Having a coherent tendency at all is ultimately not something different from tending towards good.

The world described is arguably a deist world, one in which the laws of nature are consistently followed, but God does nothing else in the world. The Enlightenment deists presumably had various reasons for their position: criticism of specific religious doctrines, doubts about miracles, and an aesthetic attraction to a perfectly consistent world. But like Dawkins with his argument about God’s simplicity, they do not seem (to me at least) to have had very strong arguments. That does not prove that their position was wrong, and even their weaker arguments may have had some relationship with the truth; even an aesthetic attraction to a perfectly consistent world has some connection with intelligibility, which is the actual reason for the world to be that way.

Once again, as with the objection about creating a world at all, a careful reader might object that this argument is not conclusive. If you have a first cause at all, then it seems that you must have one or more first effects, and even if those effects are simple, they cannot be infinitely simple. And given that they are not infinitely simple, who is to set the threshold? What is to prevent one or more of those effects from being “miraculous” relative to anything else, or even from being something like a voice giving someone a divine revelation?

There is something to this argument, but as with the previous objection, I will not be giving my response here. I will simply note for the moment that it is a little bit strained to suggest that such a thing could happen without God having an explicit motive of “talking to people,” and as argued above, such a motive cannot exist in God. That said, I will go on to some other issues.

As the Heavens are Higher

Apart from my arguments, it has long been noticed in the actual world that God seems much more interested in acting consistently than in bringing about any specific results in human affairs.

Someone like Richard Dawkins, or perhaps Job, if he had taken the counsel of his wife, might respond to the situation in the following way. “God” is not an appropriate name for a first cause that acts like this. If anything is more important to God than being personal, it would be being good. But the God described here is not good at all, since he doesn’t seem to care a bit about human affairs. And he inflicts horrible suffering on people just for the sake of consistency with physical laws. Instead of calling such a cause “God,” why don’t we call it “the Evil Demon” or something like that?

There is a lot that could be said about this. Some of it I have already said elsewhere. Some of it I will perhaps say at other times. For now I will make three brief points.

First, ensuring that the world is intelligible and that it behaves consistently is no small thing. In fact it is a prerequisite for any good thing that might happen anywhere and any time. We would not even arrive at the idea of “good” things if we did not strive consistently for similar results, nor would we get the idea of “striving” if we did did not often obtain them. Thus it is not really true that God has no interest in human affairs: rather, he is concerned with the affairs of all things, including humans.

Second, along similar lines, consider what the supposed alternative would be. If God were “good” in the way you wish, his behavior would be ultimately unintelligible. This is not merely because some physical law might not be followed if there were a miracle. It would be unintelligible behavior in the strict sense, that is, in the sense that no explanation could be given for why God is doing this. The ordinary proposal would be that it is because “this is good,” but when this statement is a human judgement made according to human motives, there would need to be an explanation for why a human judgement is guiding divine behavior. “God is a mind” does not adequately explain this. And it is not clear that an ultimately unintelligible world is a good one.

Third, to extend the point about God’s concern with all things, I suggest that the answer is roughly speaking the one that Scott Alexander gives non-seriously here, except taken seriously. This answer depends on an assumption of some sort of modal realism, a topic which I was slowly approaching for some time, but which merits a far more detailed discussion, and I am not sure when I will get around to it, if ever. The reader might note however that this answer probably resolves the question about “why didn’t God do nothing at all” by claiming that this was never an option anyway.

Infinity

entirelyuseless Metaphysics, Science, Uncategorized , , , , , , , , , , ,

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.

Fair and Unfair Logic

entirelyuseless Logic, Metaphysics, Politics, Uncategorized , , , , , , , , ,

St. Thomas discusses cases in which one should not follow the law:

As stated above (Article 4), every law is directed to the common weal of men, and derives the force and nature of law accordingly. Hence the jurist says [Pandect. Justin. lib. i, ff., tit. 3, De Leg. et Senat.]: “By no reason of law, or favor of equity, is it allowable for us to interpret harshly, and render burdensome, those useful measures which have been enacted for the welfare of man.” Now it happens often that the observance of some point of law conduces to the common weal in the majority of instances, and yet, in some cases, is very hurtful. Since then the lawgiver cannot have in view every single case, he shapes the law according to what happens most frequently, by directing his attention to the common good. Wherefore if a case arise wherein the observance of that law would be hurtful to the general welfare, it should not be observed. For instance, suppose that in a besieged city it be an established law that the gates of the city are to be kept closed, this is good for public welfare as a general rule: but, it were to happen that the enemy are in pursuit of certain citizens, who are defenders of the city, it would be a great loss to the city, if the gates were not opened to them: and so in that case the gates ought to be opened, contrary to the letter of the law, in order to maintain the common weal, which the lawgiver had in view.

He calls the attitude that leads one to set aside the law in such cases “epikeia,” or “equity,” which in this context means something like fairness or moderation:

As stated above (I-II:96:6), when we were treating of laws, since human actions, with which laws are concerned, are composed of contingent singulars and are innumerable in their diversity, it was not possible to lay down rules of law that would apply to every single case. Legislators in framing laws attend to what commonly happens: although if the law be applied to certain cases it will frustrate the equality of justice and be injurious to the common good, which the law has in view. Thus the law requires deposits to be restored, because in the majority of cases this is just. Yet it happens sometimes to be injurious—for instance, if a madman were to put his sword in deposit, and demand its delivery while in a state of madness, or if a man were to seek the return of his deposit in order to fight against his country. On these and like cases it is bad to follow the law, and it is good to set aside the letter of the law and to follow the dictates of justice and the common good. This is the object of “epikeia” which we call equity. Therefore it is evident that “epikeia” is a virtue.

“Fairness” is probably a good translation here, since someone who rigidly demands the application of the law in such a situation would often be called unfair in relation to the people involved.

Someone might object that much of the benefit of having a law directly depends on following it consistently, without making exceptions based on minute analysis of particular situations, as we saw in the last post. This is correct as far as it goes, but St. Thomas is not talking about analyzing each situation in detail and making an exception whenever there appears to be a benefit, but rather talking about situations which are extremely different from the situations considered by the law. Thus he says in the reply to the second objection:

He who follows the intention of the lawgiver, does not interpret the law simply; but in a case in which it is evident, by reason of the manifest harm, that the lawgiver intended otherwise. For if it be a matter of doubt, he must either act according to the letter of the law, or consult those in power.

To the degree that “laws of logic” can be analogously interpreted as rules for sensible thought and speech, telling one to behave in some ways and not in others, similar principles will apply. Thus, for example, an atheist confronted with the argument of Alexander Pruss for the existence of God based on the indeterminacy of language might not only be inclined to call it sophistical, but to add that it is an unfair way to argue. And indeed it is, precisely in the sense that it applies the rule “either say that A is B or say that A is not B” to situations for which it was not intended, namely situations where B is simply too vague to say. The rule is intended to make people think and speak sensibly, but Pruss is abusing the rule with the opposite result: that he does not speak and think sensibly.

Someone might agree that this is reasonable insofar as we are considering these laws as rules of behavior, but another issue comes up. Human laws are really intended to exclude some kinds of behavior that are really possible. And likewise, rules of logic are really intended to exclude some kinds of behavior that are really possible, e.g. making arguments like:

A: You always say I am wrong.

B: I said you were right about X.

A: See, you just said I was wrong again. You always say I am wrong!

I know from experience that this behavior is possible, and it does violate the laws of logic considered as rules of behavior. But someone might add that the laws of logic are also based on the nature of reality itself, and for this very reason we said that they are not conventions, but could not have been otherwise. So it seems to follow that it should be possible to expound the laws of logic in a form in which they are truly exceptionless, by expressing reality as it truly is.

There is some truth here, but there is also a problem analogous to a similar objection about human law. Consider the third objection and reply in the above article from St. Thomas:

Objection 3. Further, every wise man knows how to explain his intention by words. But those who framed the laws should be reckoned wise: for Wisdom says (Proverbs 8:15): “By Me kings reign, and lawgivers decree just things.” Therefore we should not judge of the intention of the lawgiver otherwise than by the words of the law.

…

Reply to Objection 3. No man is so wise as to be able to take account of every single case; wherefore he is not able sufficiently to express in words all those things that are suitable for the end he has in view. And even if a lawgiver were able to take all the cases into consideration, he ought not to mention them all, in order to avoid confusion: but should frame the law according to that which is of most common occurrence.

The objection here is similar. If there are cases where it wouldn’t be good to apply the law, the lawgiver ought to have enumerated those cases. St. Thomas replies that in reality you will not foresee every case, and that even if you could, enumerating them would simply cause confusion.

A similar thing applies if we consider the laws of logic. You can say, “If you say that A is B in an infinitely precise sense, and that B is C in an infinitely precise sense, you should also say that A is C,” and your claim might be exceptionless. The problem is that your claim has no cases: no one ever says anything in an infinitely precise sense.

And on the other hand, if you try to make your claim include some actual cases, you will not be able to avoid the possibility of exceptions, just as the human lawgiver does not foresee all cases. And as in the case of human law, if you attempt to enumerate all cases, you will simply cause confusion. Thus, for example, someone might say that the problem in the case of Queen Elizabeth is that we simply don’t have a precise enough definition for “old,” and they might then attempt to give a precise definition. But this would have several results:

1. First, the new word “old” would not have the same meaning as the original word, because the very fact that the original word is vague is part of what the word is. It is not accidental; it is not meant to have a precise cut-off.

2. Someone might attempt to remedy the above flaw by enumerating various circumstances, rather than giving a precise cut-off. “If you are less then 10 years old and you say that someone is ‘old,’ it signifies someone who is at least 15.” “If you are in your 30s and you say that someone is ‘old’, it signifies that they are at least 67.” And so on. But attempting to fix the first problem, you have simply compounded it. The new word still does not have the same meaning as the original word, because the original word was meant to be flexible; even your new rules have too much rigidity.

You could attempt to remedy the above problems by listing all the situations where people in fact use the word “old,” but that is not a definition: it is just an indefinitely long list. What St. Thomas said about human law, that it “ought not to mention them all,” is equally true about this situation. The point of defining “old” is to provide an explanation which is both general and flexible. Someone might argue that we should provide a list of all possible circumstances and what should be done in those circumstances, in order to avoid the flexibility of “epikeia,” but such an attempt would be absurd, and harmful to a good life. And it is equally absurd when we attempt to apply the same process to logic or to definitions, and harmful to sensible thought and speech.

What about reality itself? Isn’t it an exceptionless reality that a thing is what it is? Indeed. But this is neither a rule of behavior nor of speech. Nor is it a rule making something be some way; reality does not need something else to make sure that it turns out to be reality rather than something else. There is simply nothing else to be. Parmenides was right at least to this degree.

Miracles and Anomalies: Or, Your Religion is False

entirelyuseless Metaphysics, Probability, Religion, Science, Uncategorized , , , , , , , , , , , , , , ,

In 2011 there was an apparent observation of neutrinos traveling faster than light. Wikipedia says of this, “Even before the mistake was discovered, the result was considered anomalous because speeds higher than that of light in a vacuum are generally thought to violate special relativity, a cornerstone of the modern understanding of physics for over a century.” In other words, most scientists did not take the result very seriously, even before any specific explanation was found. As I stated here, it is possible to push unreasonably far in this direction, in such a way that one will be reluctant to ever modify one’s current theories. But there is also something reasonable about this attitude.

Alexander Pruss explains why scientists tend to be skeptical of such anomalous results in this post on Bayesianism and anomaly:

One part of the problem of anomaly is this. If a well-established scientific theory seems to predict something contrary to what we observe, we tend to stick to the theory, with barely a change in credence, while being dubious of the auxiliary hypotheses. What, if anything, justifies this procedure?

Here’s my setup. We have a well-established scientific theory T and (conjoined) auxiliary hypotheses A, and T together with A uncontroversially entails the denial of some piece of observational evidence E which we uncontroversially have (“the anomaly”). The auxiliary hypotheses will typically include claims about the experimental setup, the calibration of equipment, the lack of further causal influences, mathematical claims about the derivation of not-E from T and the above, and maybe some final catch-all thesis like the material conditional that if T and all the other auxiliary hypotheses obtain, then E does not obtain.

For simplicity I will suppose that A and T are independent, though of course that simplifying assumption is rarely true.

…

Here’s a quick and intuitive thought. There is a region of probability space where the conjunction of T and A is false. That area is divided into three sub-regions:

  1. T is true and A is false
  2. T is false and A is true
  3. both are false.

The initial probabilities of the three regions are, respectively, 0.0999, 0.0009999 and 0.0001. We know we are in one of these three regions, and that’s all we now know. Most likely we are in the first one, and the probability that we are in that one given that we are in one of the three is around 0.99. So our credence in T has gone down from three nines (0.999) to two nines (0.99), but it’s still high, so we get to hold on to T.

Still, this answer isn’t optimistic. A move from 0.999 to 0.99 is actually an enormous decrease in confidence.

“This answer isn’t optimistic,” because in the case of the neutrinos, this analysis would imply that scientists should have instantly become ten times more willing to consider the possibility that the theory of special relativity is false. This is surely not what happened.

Pruss therefore presents an alternative calculation:

But there is a much more optimistic thought. Note that the above wasn’t a real Bayesian calculation, just a rough informal intuition. The tip-off is that I said nothing about the conditional probabilities of E on the relevant hypotheses, i.e., the “likelihoods”.

Now setup ensures:

  1. P(E|A ∧ T)=0.

What can we say about the other relevant likelihoods? Well, if some auxiliary hypothesis is false, then E is up for grabs. So, conservatively:

  1. P(E|∼A ∧ T)=0.5
  2. P(E|∼A ∧ ∼T)=0.5

But here is something that I think is really, really interesting. I think that in typical cases where T is a well-established scientific theory and A ∧ T entails the negation of E, the probability P(E|A ∧ ∼T) is still low.

The reason is that all the evidence that we have gathered for T even better confirms the hypothesis that T holds to a high degree of approximation in most cases. Thus, even if T is false, the typical predictions of T, assuming they have conservative error bounds, are likely to still be true. Newtonian physics is false, but even conditionally on its being false we take individual predictions of Newtonian physics to have a high probability. Thus, conservatively:

  1. P(E|A ∧ ∼T)=0.1

Very well, let’s put all our assumptions together, including the ones about A and T being independent and the values of P(A) and P(T). Here’s what we get:

  1. P(E|T)=P(E|A ∧ T)P(A|T)+P(E|∼A ∧ T)P(∼A|T)=0.05
  2. P(E|∼T)=P(E|A ∧ ∼T)P(A|∼T)+P(E|∼A ∧ ∼T)P(∼A|∼T) = 0.14.

Plugging this into Bayes’ theorem, we get P(T|E)=0.997. So our credence has crept down, but only a little: from 0.999 to 0.997. This is much more optimistic (and conservative) than the big move from 0.999 to 0.99 that the intuitive calculation predicted.

So, if I am right, at least one of the reasons why anomalies don’t do much damage to scientific theories is that when the scientific theory T is well-confirmed, the anomaly is not only surprising on the theory, but it is surprising on the denial of the theory—because the background includes the data that makes T “well-confirmed” and would make E surprising even if we knew that T was false.

To make the point without the mathematics (which in any case is only used to illustrate the point, since Pruss is choosing the specific values himself), if you have a theory which would make the anomaly probable, that theory would be strongly supported by the anomaly. But we already know that theories like that are false, because otherwise the anomaly would not be an anomaly. It would be normal and common. Thus all of the actually plausible theories still make the anomaly an improbable observation, and therefore these theories are only weakly supported by the observation of the anomaly. The result is that the new observation makes at most a minor difference to your previous opinion.

We can apply this analysis to the discussion of miracles. David Hume, in his discussion of miracles, seems to desire a conclusive proof against them which is unobtainable, and in this respect he is mistaken. But near the end of his discussion, he brings up the specific topic of religion and says that his argument applies to it in a special way:

Upon the whole, then, it appears, that no testimony for any kind of miracle has ever amounted to a probability, much less to a proof; and that, even supposing it amounted to a proof, it would be opposed by another proof; derived from the very nature of the fact, which it would endeavour to establish. It is experience only, which gives authority to human testimony; and it is the same experience, which assures us of the laws of nature. When, therefore, these two kinds of experience are contrary, we have nothing to do but subtract the one from the other, and embrace an opinion, either on one side or the other, with that assurance which arises from the remainder. But according to the principle here explained, this subtraction, with regard to all popular religions, amounts to an entire annihilation; and therefore we may establish it as a maxim, that no human testimony can have such force as to prove a miracle, and make it a just foundation for any such system of religion.

The idea seems to be something like this: contrary systems of religion put forth miracles in their support, so the supporting evidence for one religion is more or less balanced by the supporting evidence for the other. Likewise, the evidence is weakened even in itself by people’s propensity to lies and delusion in such matters (some of this discussion was quoted in the earlier post on Hume and miracles). But in addition to the fairly balanced evidence we have experience basically supporting the general idea that the miracles do not happen. This is not outweighed by anything in particular, and so it is the only thing that remains after the other evidence balances itself out of the equation. Hume goes on:

I beg the limitations here made may be remarked, when I say, that a miracle can never be proved, so as to be the foundation of a system of religion. For I own, that otherwise, there may possibly be miracles, or violations of the usual course of nature, of such a kind as to admit of proof from human testimony; though, perhaps, it will be impossible to find any such in all the records of history. Thus, suppose, all authors, in all languages, agree, that, from the first of January, 1600, there was a total darkness over the whole earth for eight days: suppose that the tradition of this extraordinary event is still strong and lively among the people: that all travellers, who return from foreign countries, bring us accounts of the same tradition, without the least variation or contradiction: it is evident, that our present philosophers, instead of doubting the fact, ought to receive it as certain, and ought to search for the causes whence it might be derived. The decay, corruption, and dissolution of nature, is an event rendered probable by so many analogies, that any phenomenon, which seems to have a tendency towards that catastrophe, comes within the reach of human testimony, if that testimony be very extensive and uniform.

But suppose, that all the historians who treat of England, should agree, that, on the first of January, 1600, Queen Elizabeth died; that both before and after her death she was seen by her physicians and the whole court, as is usual with persons of her rank; that her successor was acknowledged and proclaimed by the parliament; and that, after being interred a month, she again appeared, resumed the throne, and governed England for three years: I must confess that I should be surprised at the concurrence of so many odd circumstances, but should not have the least inclination to believe so miraculous an event. I should not doubt of her pretended death, and of those other public circumstances that followed it: I should only assert it to have been pretended, and that it neither was, nor possibly could be real. You would in vain object to me the difficulty, and almost impossibility of deceiving the world in an affair of such consequence; the wisdom and solid judgment of that renowned queen; with the little or no advantage which she could reap from so poor an artifice: all this might astonish me; but I would still reply, that the knavery and folly of men are such common phenomena, that I should rather believe the most extraordinary events to arise from their concurrence, than admit of so signal a violation of the laws of nature.

But should this miracle be ascribed to any new system of religion; men, in all ages, have been so much imposed on by ridiculous stories of that kind, that this very circumstance would be a full proof of a cheat, and sufficient, with all men of sense, not only to make them reject the fact, but even reject it without farther examination. Though the Being to whom the miracle is ascribed, be, in this case, Almighty, it does not, upon that account, become a whit more probable; since it is impossible for us to know the attributes or actions of such a Being, otherwise than from the experience which we have of his productions, in the usual course of nature. This still reduces us to past observation, and obliges us to compare the instances of the violation of truth in the testimony of men, with those of the violation of the laws of nature by miracles, in order to judge which of them is most likely and probable. As the violations of truth are more common in the testimony concerning religious miracles, than in that concerning any other matter of fact; this must diminish very much the authority of the former testimony, and make us form a general resolution, never to lend any attention to it, with whatever specious pretence it may be covered.

Notice how “unfair” this seems to religion, so to speak. What is the difference between the eight days of darkness, which Hume would accept, under those conditions, and the resurrection of the queen of England, which he would not? Hume’s reaction to the two situations is more consistent than first appears. Hume would accept the historical accounts about England in the same way that he would accept the accounts about the eight days of darkness. The difference is in how he would explain the accounts. He says of the darkness, “It is evident, that our present philosophers, instead of doubting the fact, ought to receive it as certain, and ought to search for the causes whence it might be derived.” Likewise, he would accept the historical accounts as certain insofar as they say the a burial ceremony took place, the queen was absent from public life, and so on. But he would not accept that the queen was dead and came back to life. Why? The “search for the causes” seems to explain this. It is plausible to Hume that causes of eight days of darkness might be found, but not plausible to him that causes of a resurrection might be found. He hints at this in the words, “The decay, corruption, and dissolution of nature, is an event rendered probable by so many analogies,” while in contrast a resurrection would be “so signal a violation of the laws of nature.”

It is clear that Hume excludes certain miracles, such as resurrection, from the possibility of being established by the evidence of testimony. But he makes the additional point that even if he did not exclude them, he would not find it reasonable to establish a “system of religion” on such testimony, given that “violations of truth are more common in the testimony concerning religious miracles, than in that concerning any other matter of fact.”

It is hard to argue with the claim that “violations of truth” are especially common in testimony about miracles. But does any of this justify Hume’s negative attitude to miracles as establishing “systems of religion,” or is this all just prejudice?  There might well be a good deal of prejudice involved here in his opinions. Nonetheless, Alexander Pruss’s discussion of anomaly allows one to formalize Hume’s idea here as actual insight as well.

One way to look at truth in religion is to look at it as a way of life or as membership in a community. And in this way, asking whether miracles can establish a system of religion is just asking whether a person can be moved to a way of life or to join a community through such things. And clearly this is possible, and often happens. But another way to consider truth in religion is to look at a doctrinal system as a set of claims about how the world is. Looked at in this way, we should look at a doctrinal system as presenting a proposed larger context of our place in the world, one that we would be unaware of without the religion. This implies that one should have a prior probability (namely prior to consideration of arguments in its favor) strongly against the system considered as such, for reasons very much like the reasons we should have a prior probability strongly against Ron Conte’s predictions.

We can thus apply Alexander Pruss’s framework. Let us take Mormonism as the “system of religion” in question. Then taken as a set of claims about the world, our initial probability would be that it is very unlikely that the world is set up this way. Then let us take a purported miracle establishing this system: Joseph Smith finds his golden plates. In principle, if this cashed out in a certain way, it could actually establish his system. But it doesn’t cash out that way. We know very little about the plates, the circumstances of their discovery (if there was any), and their actual content. Instead, what we are left with is an anomaly: something unusual happened, and it might be able to be described as “finding golden plates,” but that’s pretty much all we know.

Then we have the theory, T, which has a high prior probability: Mormonism is almost certainly false. We have the observation : Joseph Smith discovered his golden plates (in one sense or another.) And we have the auxiliary hypotheses which imply that he could not have discovered the plates if Mormonism is false. The Bayesian updates in Pruss’s scheme imply that our conclusion is this: Mormonism is almost certainly false, and there is almost certainly an error in the auxiliary hypotheses that imply he could not have discovered them if it were false.

Thus Hume’s attitude is roughly justified: he should not change his opinion about religious systems in any significant way based on testimony about miracles.

To make you feel better, this does not prove that your religion is false. It just nearly proves that. In particular, this does not take into an account an update based on the fact that “many people accept this set of claims.” This is a different fact, and it is not an anomaly. If you update on this fact and end up with a non-trivial probability that your set of claims is true, testimony about miracles might well strengthen this into conviction.

I will respond to one particular objection, however. Some will take this argument to be stubborn and wicked, because it seems to imply that people shouldn’t be “convinced even if someone rises from the dead.” And this does in fact follow, more or less. An anomalous occurrence in most cases will have a perfectly ordinary explanation in terms of things that are already a part of our ordinary understanding of the world, without having to add some larger context. For example, suppose you heard your fan (as a piece of furniture, not as a person) talking to you. You might suppose that you were hallucinating. But suppose it turns out that you are definitely not hallucinating. Should you conclude that there is some special source from outside the normal world that is communicating with you? No: the fan scenario can happen, and it turns out to have a perfectly everyday explanation. We might agree with Hume that it would be much more implausible that a resurrection would have an everyday explanation. Nonetheless, even if we end up concluding to the existence of some larger context, and that the miracle has no such everyday explanation, there is no good reason for it to be such and such a specific system of doctrine. Consider again Ron Conte’s predictions for the future. Most likely the things that happen between now and 2040, and even the things that happen in the 2400s, are likely to be perfectly ordinary (although the things in the 2400s might differ from current events in fairly radical ways). But even if they are not, and even if apocalyptic, miraculous occurrences are common in those days, this does not raise the probability of Conte’s specific predictions above any trivial level. In the same way, the anomalous occurrences involved in the accounts of miracles will not lend any significant probability to a religious system.

The objection here is that this seems unfair to God, so to speak. What if God wanted to reveal something to the world? What could he do, besides work miracles? I won’t propose a specific answer to this, because I am not God. But I will illustrate the situation with a little story to show that there is nothing unfair to God about it.

Suppose human beings created an artificial intelligence and raised it in a simulated environment. Wanting things to work themselves out “naturally,” so to speak, because it would be less work, and because it would probably be necessary to the learning process, they institute “natural laws” in the simulated world which are followed in an exceptionless way. Once the AI is “grown up”, so to speak, they decide to start communicating with it. In the AI’s world, this will surely show up as some kind of miracle: something will happen that was utterly unpredictable to it, and which is completely inconsistent with the natural laws as it knew them.

Will the AI be forced by the reasoning of this post to ignore the communication? Well, that depends on what exactly occurs and how. At the end of his post, Pruss discusses situations where anomalous occurrences should change your mind:

Note that this argument works less well if the anomalous case is significantly different from the cases that went into the confirmation of T. In such a case, there might be much less reason to think E won’t occur if T is false. And that means that anomalies are more powerful as evidence against a theory the more distant they are from the situations we explored before when we were confirming T. This, I think, matches our intuitions: We would put almost no weight in someone finding an anomaly in the course of an undergraduate physics lab—not just because an undergraduate student is likely doing it (it could be the professor testing the equipment, though), but because this is ground well-gone over, where we expect the theory’s predictions to hold even if the theory is false. But if new observations of the center of our galaxy don’t fit our theory, that is much more compelling—in a regime so different from many of our previous observations, we might well expect that things would be different if our theory were false.

And this helps with the second half of the problem of anomaly: How do we keep from holding on to T too long in the light of contrary evidence, how do we allow anomalies to have a rightful place in undermining theories? The answer is: To undermine a theory effectively, we need anomalies that occur in situations significantly different from those that have already been explored.

If the AI finds itself in an entirely new situation, e.g. rather than hearing an obscure voice from a fan, it is consistently able to talk to the newly discovered occupant of the world on a regular basis, it will have no trouble realizing that its situation has changed, and no difficulty concluding that it is receiving communication from its author. This does, sort of, give one particular method that could be used to communicate a revelation. But there might well be many others.

Our objector will continue. This is still not fair. Now you are saying that God could give a revelation but that if he did, the world would be very different from the actual world. But what if he wanted to give a revelation in the actual world, without it being any different from the way it is? How could he convince you in that case?

Let me respond with an analogy. What if the sky were actually red like the sky of Mars, but looked blue like it is? What would convince you that it was red? The fact that there is no way to convince you that it is red in our actual situation means you are unfairly prejudiced against the redness of the sky.

In other words, indeed, I am unwilling to be convinced that the sky is red except in situations where it is actually red, and those situations are quite different from our actual situation. And indeed, I am unwilling to be convinced of a revelation except in situations where there is actually a revelation, and those are quite different from our actual situation.

Generalized Kantian Dichotomy

entirelyuseless Logic, Metaphysics, Uncategorized , , , , , , , , , , , , , , , ,

At the end of the last post I suggested that the confusion between the mode of knowledge and the mode of being might be a primary, or rather the primary, cause of philosophical error, with the exception of motivated error.

If we consider the “Kantian” and “anti-Kantian” errors in the last post, we can give a somewhat general account of how this happens. The two errors might appear to be mutually exclusive and exhaustive, but in fact they constitute a false dichotomy. Consider the structure of the disagreement:

A. Common sense takes note of something: in this case, that it is possible to know things. Knowledge is real.

B. The Kantian points out that the mode of knowing and the mode of being are not the same, and concludes that common sense is wrong. Knowledge is apparent, but not real.

C. The anti-Kantian, determined to uphold common sense, applies modus tollens. We know that knowledge is real: so the mode of knowing and the mode of being must be the same.

Each party to the dispute says something true (that knowledge is real, that the mode of being and the mode of knowing are not the same), and something false (that knowledge is not real, that the mode of being and the mode of knowing are the same.)

A vast number of philosophical disputes can be analyzed in a very similar manner. Thus we have the general structure:

A. Common sense points out that some item X is real.

B. The Kantian points out that the mode of knowing and the mode of being are not the same, and concludes that common sense is wrong. X is apparent, but not real.

C. The anti-Kantian, determined to uphold common sense, applies modus tollens. We know that X is real: so the mode of knowing and the mode of being must be the same.

Once again, in this general structure, each party to the dispute would say something true (that X is real, that the mode of knowing and being are not the same), and something false (the denial of one of these two.) As an example, we can apply this structure to our discussion of reductionism and anti-reductionism. The reductionist, in this case, is the Kantian (in our present structure), and the anti-reductionist the anti-Kantian. The very same person might well argue both sides about different things: thus Sean Carroll might be anti-reductionist about fundamental particles and reductionist about humans, while Alexander Pruss is anti-reductionist about humans and reductionist about artifacts. But whether we are discussing fundamental particles, humans, or artifacts, both sides are wrong. Both say something true, but also something false.

Several cautionary notes are needed in this regard.

First, both sides will frequently realize that they are saying something strongly counter-intuitive, and attempt to remedy this by saying something along the lines of “I don’t mean to say the thing that is false.” But that is not the point. I do not say that you intend to say the thing that is false. I say that you give an account which logically implies the thing that is false, and that the only way you can avoid this implication is by rejecting the false dichotomy completely, namely by accepting both the reality of X, and the distinction of the modes of knowing and being. Thus for example Sean Carroll’s does not distinguish his poetic naturalism from eliminativism in terms of what it says to be true, but only in terms of what it says to be useful. But eliminativism says that it is false that there are ships: therefore Carroll’s poetic naturalism also says that it is false that there are ships, whether he intends to say this or not, and whether or not he finds it useful to say that there are.

Second, this outline uses the terminology of “Kantian” and “anti-Kantian,” but in fact the two tend to blur into one another, because the mistakes are very similar: both imply that the unknown and the known, as such, are the same. Thus for example in my post on reductionism I said that there was a Kantian error in the anti-reductionist position: but in the present schema, the error is anti-Kantian. In part, this happened because I did not make these distinctions clearly enough myself in the earlier post. But is it also because the errors themselves uphold very similar contradictions. Thus the anti-reductionist thinks somewhat along these lines:

We know that a human being is one thing. We know it as a unity, and therefore it has a mode of being as a unity. But whenever anyone tries to explain the idea of a human being, they end up saying many things about it. So our explanation of a human being cannot be the true explanation. Since the mode of knowing and the mode of being must be the same, a true explanation of a human being would have to be absolutely one. We have no explanation like that, so it must be that a human being has an essence which is currently hidden from us.

Note that this reasons in an anti-Kantian manner (the mode of being and the mode of knowing must be the same), but the conclusion is effectively Kantian: possible or not, we actually have no knowledge of human beings as they are.

As I said in the post on reductionism, the parties to the dispute will in general say that an account like mine is anti-realist: realism, according to both sides, requires that one accept one side of the dichotomy and reject the other. But I respond that the very dispute between realism and anti-realism can be itself an example of the false dichotomy, as the dispute is often understood. Thus:

A. Common sense notes that the things we normally think and talk about are real, and that the things we normally say about them are true.

B. The Kantian (the anti-realist) points out that the mode of knowing and the mode of being are not the same, and concludes that common sense is wrong. The things we normally talk about appear to be real, but they are not.

C. The anti-Kantian (the realist) applies modus tollens. We know these things are real: so the mode of knowledge and the mode of being must be the same after all.

As usual, both say something true, and both say something false. Consider Scott Sumner, who tends to take an anti-realist position, as for example here:

Even worse, I propose doing so for “postmodern” reasons. I will start by denying the reality of inflation, and then argue for some substitute concepts that are far more useful. First a bit of philosophy. There is a lively debate about whether there is a meaningful distinction between our perception of reality, and actual reality. I had a long debate with a philosopher about whether Newton’s laws of motion were a part of reality, or merely a human construct. I took the latter view, arguing that if humans had never existed then Newton’s laws would have never existed. He argued they are objectively true. I responded that Einstein showed that were false. He responded that they were objectively true in the limiting case. I argued that even that might be changed by future developments in our understanding of reality at the quantum level. He argued that they’d still be objectively approximately true, etc, etc.

On the one hand, a lot of what Scott says here is right. On the other hand, he mistakenly believes that it follows that common sense is mistaken in matters in which it is not, in fact, mistaken. The reasoning is basically the reasoning of the Kantian: one notices that we have a specific mode of knowing which is not the mode of being of things, and concludes that knowledge is impossible, or in Scott’s terminology, “objective truth” does not exist, at least as distinct from personal opinion. He has a more extensive discussion of this here:

I don’t see it as relativism at all. I don’t see it as the world of fuzzy post-modern philosophers attacking the virtuous hard sciences. It’s important not to get confused by semantics, and focus on what’s really at stake. In my view, Rorty’s views are most easily seen by considering his denial of the distinction between objective truth and subjective belief. In order to see why he did this, consider Rorty’s claim that, “That which has no practical implications, has no theoretical implications.” Suppose Rorty’s right, and it’s all just belief that we hold with more or less confidence. What then? In contrast, suppose the distinction between subjective belief and objective fact is true. What then? What are the practical implications of each philosophical view? I believe the most useful way of thinking about this is to view all beliefs as subjective, albeit held with more or less confidence.

Let’s suppose it were true that we could divide up statements about the world into two categories, subjective beliefs and objective facts. Now let’s write down all our statements about the world onto slips of paper. Every single one of them, there must be trillions (even if we ignore the field of math, where an infinite number of statements could be constructed.) Now let’s divide these statements up into two big piles, one set is subjective beliefs, and the other pile contains statements that are objective facts. We build a vast Borgesian library, and put all the subjective beliefs (i.e. Trump is an idiot) into one wing, and all the objective facts (Paris is the capital of France) into the other wing.

Now here’s the question for pragmatists like Rorty and me. Is this a useful distinction to make? If it is useful, how is it useful? Here’s the only useful thing I can imagine resulting from this distinction. If we have a category of objective facts, then we can save time by not questioning these facts as new information arises. They are “off limits”. Since they are objective facts, they can never be refuted. If they could be refuted, then they’d be subjective beliefs, not objective facts.

But I don’t want to do that. I don’t want to consider any beliefs to be completely off limits—not at all open to refutation. That reminds me too much of fundamentalist religion. On the other hand, I do want to distinguish between different kinds of beliefs, in a way that I think is more pragmatic than the subjective/objective distinction. Rather I’d like to assign probability values to each belief, which represent my confidence as to whether or not the belief is true. Then I’d like to devote more of my time to entertaining critiques of highly questionable hypotheses, than I do to less plausible hypotheses.

Again, this makes a great deal of sense. The problem is that Scott thinks that either there is no distinction between the subjective and objective, or we need to be able to make that distinction subjectively. Since the latter seems an evident contradiction, he concludes that there is no distinction between subjective and objective. Later in the post, he puts this in terms of “map and territory”:

The other point of confusion I see is people conflating “the map and the territory”. Then they want to view “objective facts” as aspects of the territory, the underlying reality, not (just) beliefs about the territory. I don’t think that’s very useful, as it seems to me that statements about the world are always models of the world, not the world itself. Again, if it were not true, then theories could never be revised over time. After all, Einstein didn’t revise reality in 1905; he revised our understanding of reality–our model of reality.

“Statements about the world are always models of the world, not the world itself.” Indeed. That is because they are statements, not the things the statements are about. This is correctly to notice that the mode of knowledge is not the mode of being. But it does not follow that there are no objective facts, nor that objective facts are not distinct from opinions. Consider the statement that “dogs are animals.” We can call that statement a “model of the world.” But is not about a model of the world: it is about dogs, which are not our model or even parts of our model, but things moving around outside in the real world. Obviously, we cannot concretely distinguish between “things we think are true” and “things that are actually true,” because it will always be us talking about things that are actually true, but we can make and understand that distinction in the abstract. Scott is right, however, to reject the idea that some ideas are subjective “because they are about the map,” with other statements being objective “because they are about the territory.” In the map / territory terminology, all statements are maps, and all of them are about the territory (including statements about maps, which refer to maps as things that exist, and thus as part of the territory.)

We can see here how Scott Sumner is falling into the Kantian error. But what about the realist position? It does not follow from any of the above that the realist must make any corresponding error. And indeed, in all such dichotomies, there will be a side which is more right than the other: namely, the side that says that common sense is right. And so it is possible, and correct, to say that common sense is right without also accepting the corresponding falsehood (namely that the mode of knowing and the mode of being are the same.) But if we do accept the realist position together with the corresponding falsehood, this can manifest itself in various ways. For example, one might say that one should indeed put some things in the category of “off limits” for discussion: since they are objective facts, they can never be revised. Thus for example James Larson, as in an earlier discussion, tends to identify the rejection of his positions with the rejection of realism. In effect, “My beliefs are objectively true. So people who disagree with my beliefs reject objective truth. And I cannot admit that my beliefs might be false, because that would mean an objective truth could be false at the same time, which is a contradiction.” The problem will not always be manifested in the same way, however, because as we said in the last post, each end of the false dichotomy implies a similar contradiction and cannot be reasoned about coherently.

Skeptical Scenarios

entirelyuseless Metaphysics, Religion, Science, Uncategorized , , , , , , , , , , , , , , , , , , , , , ,

I promised to return to some of the issues discussed here. The current post addresses the implications of the sort of skeptical scenario considered by Alexander Pruss in the associated discussion. Consider his original comparison of physical theories and skeptical scenarios:

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

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

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

If we consider this in light of our analysis of form, it is not difficult to see that Pruss is correct both about the ordinary chair sentence being consistent with a large variety of physical theories, and about the implication that it is consistent with most situations that would normally be considered “skeptical.” The reason is that to say that something is a chair is to say something about its relationships with the world, but it is not to say everything about its relationships. It speaks in particular about various relationships with the human world. And there is nothing to prevent these relationships from co-existing with any number of other kinds of relationships between its parts, its causes, and so on.

Pruss is right to insist that in order for the ordinary sentence to be true, the corresponding forms must be present. But as an anti-reductionist, his position implies hidden essences, and this is a mistake. Indeed, under the correct understanding of form, our everyday knowledge of things is sufficient to ensure that the forms are present: regardless of which physical theories turn out to be true, and even if some such skeptical scenario turns out to be true.

Why are these situations called “skeptical” in the first place? This is presumably because they seem to call into question whether or not we possess any knowledge of things. And in this respect, they fail in two ways, they partially fail in a third, and they succeed in one way.

First, they fail insofar as they attempt to call into question, e.g. whether there are chairs in my room right now, or whether I have two hands. These things are true and would be true even in the “skeptical” situations.

Second, they fail even insofar as they claim, e.g. that I do not know whether I am a brain in a vat. In the straightforward sense, I do know this, because the claim is opposed to the other things (e.g. about the chairs and my hands) that I know to be true.

Third, they partially fail even insofar as they claim, e.g. that I do not know whether I am a brain in a vat in a metaphysical sense. Roughly speaking, I do know that I am not, not by deducing the fact with any kind of necessity, but simply because the metaphysical claim is completely ungrounded. In other words, I do not know this infallibly, but it is extremely likely. We could compare this with predictions about the future. Thus for example Ron Conte attempts to predict the future:

First, an overview of the tribulation:
A. The first part of the tribulation occurs for this generation, beginning within the next few years, and ending in 2040 A.D.
B. Then there will be a brief period of peace and holiness on earth, lasting about 25 years.
C. The next few hundred years will see a gradual but unstoppable increase in sinfulness and suffering in the world. The Church will remain holy, and Her teaching will remain pure. But many of Her members will fall into sin, due to the influence of the sinful world.
D. The second part of the tribulation occurs in the early 25th century (about 2430 to 2437). The Antichrist reigns for less than 7 years during this time.
E. Jesus Christ returns to earth, ending the tribulation.

Now, some predictions for the near future. These are not listed in chronological order.

* The Warning, Consolation, and Miracle — predicted at Garabandal and Medjugorje — will occur prior to the start of the tribulation, sometime within the next several years (2018 to 2023).
* The Church will experience a severe schism. First, a conservative schism will occur, under Pope Francis; next, a liberal schism will occur, under his conservative successor.
* The conservative schism will be triggered by certain events: Amoris Laetitia (as we already know, so, not a prediction), and the approval of women deacons, and controversial teachings on salvation theology.
* After a short time, Pope Francis will resign from office.
* His very conservative successor will reign for a few years, and then die a martyr, during World War 3.
* The successor to Pope Francis will take the papal name Pius XIII.

Even ignoring the religious speculation, we can “know” that this account is false, simply because it is inordinately detailed. Ron Conte no doubt has reasons for his beliefs, much as the Jehovah’s Witnesses did. But just as we saw in that case, his reasons will also in all likelihood turn out to be completely disproportionate to the detail of the claims they seek to establish.

In a similar way, a skeptical scenario can be seen as painting a detailed picture of a larger context of our world, one outside our current knowledge. There is nothing impossible about such a larger context; in fact, there surely is one. But the claim about brains and vats is very detailed: if one takes it seriously, it is more detailed than Ron Conte’s predictions, which could also be taken as a statement about a larger temporal context to our situation. The brain-in-vat scenario implies that our entire world depends on another world which has things similar to brains and similar to vats, along presumably with things analogous to human beings that made the vats, and so on. And since the whole point of the scenario is that it is utterly invented, not that it is accepted by anyone, while Conte’s account is accepted at least by him, there is not even a supposed basis for thinking that things are actually this way. Thus we can say, not infallibly but with a great deal of certainty, that we are not brains in vats, just as we can say, not infallibly but with a great deal of certainty, that there will not be any “Antichrist” between 2430 and 2437.

There is nonetheless one way in which the consideration of skeptical scenarios does succeed in calling our knowledge into question. Consider them insofar as they propose a larger context to our world, as discussed above. As I said, there is nothing impossible about a larger context, and there surely is one. Here we speak of a larger metaphysical context, but we can compare this with the idea of a larger physical context.

Our knowledge of our physical context is essentially local, given the concrete ways that we come to know the world. I know a lot about the room I am in, a significant amount about the places I usually visit or have visited in the past, and some but much less about places I haven’t visited. And speaking of an even larger physical context, I know things about the solar system, but much less about the wider physical universe. And if we consider what lies outside the visible universe, I might well guess that there are more stars and galaxies and so on, but nothing more. There is not much more detail even to this as a guess: and if there is an even larger physical context, it is possible that there are places that do not have stars and galaxies at all, but other things. In other words, universal knowledge is universal, but also vague, while specific knowledge is more specific, but also more localized: it is precisely because it is local that it was possible to acquire more specific knowledge.

In a similar way, more specific metaphysical knowledge is necessarily of a more local metaphysical character: both physical and metaphysical knowledge is acquired by us through the relationships things have with us, and in both cases “with us” implies locality. We can know that the brain-in-vat scenario is mistaken, but that should not give us hope that we can find out what is true instead: even if we did find some specific larger metaphysical context to our situation, there would be still larger contexts of which we would remain unaware. Just as you will never know the things that are too distant from you physically, you will also never know the things that are too distant from you metaphysically.

I previously advocated patience as a way to avoid excessively detailed claims. There is nothing wrong with this, but here we see that it is not enough: we also need to accept our actual situation. Rebellion against our situation, in the form of painting a detailed picture of a larger context of which we can have no significant knowledge, will profit us nothing: it will just be painting a picture as false as the brain-in-vat scenario, and as false as Ron Conte’s predictions.

Nature of Form

entirelyuseless Metaphysics, Science, Uncategorized , , , , , , , , , , , , , , , , , , , , ,

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.

Paul Almond gives a similar account:

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

entirelyuseless Metaphysics, Uncategorized , , , , , , , , , , , , , , , , , , , , , , , , , , , ,

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.

Hard Problem of Consciousness

entirelyuseless Logic, Metaphysics, Science, Uncategorized , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,

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.”

Being and Unity II

entirelyuseless Metaphysics, Uncategorized , , , , , , , , , , , , , , , , , ,

Content warning: very obscure.

This post follows up on an earlier post on this topic, as well on what was recently said about real distinction. In the latter post, we applied the distinction between the way a thing is and the way it is known in order to better understand distinction itself. We can obtain a better understanding of unity in a similar way.

As was said in the earlier post on unity, to say that something is “one” does not add anything real to the being of the thing, but it adds the denial of the division between distinct things. The single apple is not “an apple and an orange,” which are divided insofar as they are distinct from one another.

But being distinct from divided things is itself a certain way of being distinct, and consequently all that was said about distinction in general will apply to this way of being distinct as well. In particular, since being distinct means not being something, which is a way that things are understood rather than a way that they are (considered precisely as a way of being), the same thing applies to unity. To say that something is one does not add something to the way that it is, but it adds something to the way that it is understood. This way of being understood is founded, we argued, on existing relationships.

We should avoid two errors here, both of which would be expressions of the Kantian error:

First, the argument here does not mean that a thing is not truly one thing, just as the earlier discussion does not imply that it is false that a chair is not a desk. On the contrary, a chair is in fact not a desk, and a chair is in fact one chair. But when we say or think, “a chair is not a desk,” or “a chair is one chair,” we are saying these things in some way of saying, and thinking them in some way of thinking, and these ways of saying and thinking are not ways of being as such. This in no way implies that the statements themselves are false, just as “the apple seems to be red,” does not imply that the apple is not red. Arguing that the fact of a specific way of understanding implies that the thing is falsely understood would be the position described by Ayn Rand as asserting, “man is blind, because he has eyes—deaf, because he has ears—deluded, because he has a mind—and the things he perceives do not exist, because he perceives them.”

Second, the argument does not imply that the way things really are is unknown and inaccessible to us. One might suppose that this follows, since distinction cannot exist apart from someone’s way of understanding, and at the same time no one can understand without making distinctions. Consequently, someone might argue, there must be some “way things really are in themselves,” which does not include distinction or unity, but which cannot be understood. But this is just a different way of falling into the first error above. There is indeed a way things are, and it is generally not inaccessible to us. In fact, as I pointed out earlier, it would be a contradiction to assert the existence of anything entirely unknowable to us.

Our discussion, being in human language and human thought, naturally uses the proper modes of language and thought. And just as in Mary’s room, where her former knowledge of color is a way of knowing and not a way of sensing, so our discussion advances by ways of discussion, not by ways of being as such. This does not prevent the way things are from being an object of discussion, just as color can be an object of knowledge.

Having avoided these errors, someone might say that nothing of consequence follows from this account. But this would be a mistake. It follows from the present account that when we ask questions like, “How many things are here?”, we are not asking a question purely about how things are, but to some extent about how we should understand them. And even when there is a single way that things are, there is usually not only one way to understand them correctly, but many ways.

Consider some particular question of this kind: “How many things are in this room?” People might answer this question in various ways. John Nerst, in a previous discussion on this blog, seemed to suggest that the answer should be found by counting fundamental particles. Alexander Pruss would give a more complicated answer, since he suggests that large objects like humans and animals should be counted as wholes (while also wishing to deny the existence of parts, which would actually eliminate the notion of a whole), while in other cases he might agree to counting particles. Thus a human being and an armchair might be counted, more or less, as 1 + 10^28 things, namely counting the human being as one thing and the chair as a number of particles.

But if we understand that the question is not, and cannot be, purely about how things are, but is also a question about how things should be understood, then both of the above responses seem unreasonable: they are both relatively bad ways of understanding the things in the room, even if they both have some truth as well. And on the other hand, it is easy to see that “it depends on how you count,” is part of the answer. There is not one true answer to the question, but many true answers that touch on different aspects of the reality in the room.

From the discussion with John Nerst, consider this comment:

My central contention is that the rules that define the universe runs by themselves, and must therefore be self-contained, i.e not need any interpretation or operationalization from outside the system. As I think I said in one of the parts of “Erisology of Self and Will” that the universe must be an automaton, or controlled by an automaton, etc. Formal rules at the bottom.

This is isn’t convincing to you I guess but I suppose I rule out fundamental vagueness because vagueness implies complexity and fundamental complexity is a contradiction in terms. If you keep zooming in on a fuzzy picture you must, at some point, come down to sharply delineated pixels.

Among other things, the argument of the present post shows why this cannot be right. “Sharply delineated pixels” includes the distinction of one pixel from another, and therefore includes something which is a way of understanding as such, not a way of being as such. In other words, while intending to find what is really there, apart from any interpretation, Nerst is directly including a human interpretation in his account. And in fact it is perfectly obvious that anything else is impossible, since any account of reality given by us will be a human account and will thus include a human way of understanding. Things are a certain way: but that way cannot be said or thought except by using ways of speaking or thinking.