Logic

Common Sense and Culture

entirelyuseless Ethics, Logic, Metaphysics, Religion, Science, Uncategorized , , , , , , , , , , , , , ,

If we compare what I said about common sense to the letter of St. Augustine on the errors of the Donatists, quoted here, it seems that St. Augustine takes his belief in Christianity to be a matter of accepting common sense:

For they prefer to the testimonies of Holy Writ their own contentions, because, in the case of Cæcilianus, formerly a bishop of the Church of Carthage, against whom they brought charges which they were and are unable to substantiate, they separated themselves from the Catholic Church—that is, from the unity of all nations. Although, even if the charges had been true which were brought by them against Cæcilianus, and could at length be proved to us, yet, though we might pronounce an anathema upon him even in the grave, we are still bound not for the sake of any man to leave the Church, which rests for its foundation on divine witness, and is not the figment of litigious opinions, seeing that it is better to trust in the Lord than to put confidence in man. For we cannot allow that if Cæcilianus had erred,— a supposition which I make without prejudice to his integrity—Christ should therefore have forfeited His inheritance. It is easy for a man to believe of his fellow-men either what is true or what is false; but it marks abandoned impudence to desire to condemn the communion of the whole world on account of charges alleged against a man, of which you cannot establish the truth in the face of the world.

It is true that St. Augustine talks about “divine witness” and so on here, but it is also easy to see that a significant source of his confidence is existing widespread religious agreement. It is foolish to abandon “the unity of all nations,” and impudent to “condemn the communion of the whole world.” And the problem with “charges alleged against a man, of which you cannot establish the truth in the face of the world,” is that if you disagree with the common consent of mankind, you should first attempt to convince others before putting forward your personal ideas as absolute truth.

Is common sense a real reason for St. Augustine’s religious position, or he is merely attempting to justify himself? Consider his famous rebuke of those who attack science in the name of religion:

Usually, even a non-Christian knows something about the earth, the heavens, and the other elements of this world, about the motion and orbit of the stars and even their size and relative positions, about the predictable eclipses of the sun and moon, the cycles of the years and the seasons, about the kinds of animals, shrubs, stones, and so forth, and this knowledge he holds to as being certain from reason and experience. Now, it is a disgraceful and dangerous thing for an infidel to hear a Christian, presumably giving the meaning of Holy Scripture, talking non-sense on these topics; and we should take all means to prevent such an embarrassing situation, in which people show up vast ignorance in a Christian and laugh it to scorn. The shame is not so much that an ignorant individual is derided, but that people outside the household of the faith think our sacred writers held such opinions, and, to the great loss of those for whose salvation we toil, the writers of our Scripture are criticized and rejected as unlearned men. If they find a Christian mistaken in a field which they themselves know well and hear him maintaining his foolish opinions about our books, how are they going to believe those books in matters concerning the resurrection of the dead, the hope of eternal life, and the kingdom of heaven, when they think their pages are full of falsehoods on facts which they themselves have learnt from experience and the light of reason? Reckless and incompetent expounders of holy Scripture bring untold trouble and sorrow on their wiser brethren when they are caught in one of their mischievous false opinions and are taken to task by those who are not bound by the authority of our sacred books. For then, to defend their utterly foolish and obviously untrue statements, they will try to call upon Holy Scripture for proof and even recite from memory many passages which they think support their position, although “they understand neither what they say nor the things about which they make assertion.”

St. Augustine in fact seems to be giving priority to common sense over religion here. If your religion contradicts common sense, your religion is wrong and common sense is right. This suggests that his argument for his religion from common sense is an honest one; it might even be his strongest reason for his belief.

As I said in the earlier post, the argument for religion from the consent of humanity had problems even at the time, and as things stand, it has no real relevance. There is no religious doctrine, let alone any religion, that one could reasonably say is accepted by even a majority of humanity, let alone by all. At any rate, this is the case unless one makes one’s doctrine far vaguer than would be permitted by any religion.

I concluded above that St. Augustine’s defense of common sense is likely an honest one. But note that this was not necessary: it would be perfectly possible for someone to defend common sense in order to justify themselves, without actually caring about the truth of common sense. In fact, consider what I said here about Scott Sumner and James Larson. Larson’s claim to accept realism is basically not an honest one. I do not mean that he does not believe it, but that its truth is irrelevant to him. What matters to him is that he can seemingly justify himself in maintaining his religious position in the face of all opposition.

Consider the cynical position of Francis Bacon about people relative to truth, discussed here. According to Bacon, no one is interested in truth in itself, but only as a means to other things. While the cynical position overall is incorrect, there is a lot of truth in it. Consequently, it will not be uncommon for someone to defend common sense, not so much because of its truth, but as part of a larger project of defending their culture. Culture is bound up with claims about the world, and defending culture therefore involves defending claims about the world. And if everyone accepts something, presumably everyone in your culture accepts it. One sign of this, of course, would be if someone passes freely back and forth between putting forth things that everyone accepts, and things that everyone in their culture accepts, as though these were equivalent.

Likewise, someone can attack common sense, not for the purpose of truth, but in order to engage in a kind of culture war. Consider the recent comments by “werzekeugjj” on the last post. There is no option here but to explain these comments with the methods of Ezekiel Bulver. For they cannot possibly represent opinions about the world at all, let alone opinions that were arrived at by honest means. Werzekeugjj, for example, responds to the question, “Do people sometimes write comments?” with “No.” As I pointed out there, if they do not, then he did not compose those comments, and there is nothing to reply to. As Aristotle puts it,

We can, however, demonstrate negatively even that this view is impossible, if our opponent will only say something; and if he says nothing, it is absurd to seek to give an account of our views to one who cannot give an account of anything, in so far as he cannot do so. For such a man, as such, is from the start no better than a vegetable.

Nor is it possible to apply a principle of charity here and say that Werzekeugjj intends to say that their claims are true in some complicated metaphysical sense. This does apply to the position of the blogger from Atheism and the City, discussed in that post. He presumably does not intend to reject common sense. I simply point out in my response that common sense is enough to draw the conclusions about causality that matter. The point is that this cannot apply to Werzekeugjj’s expressed position, because I spoke expressly of things in the everyday way, and the response was that the everyday claims themselves are false.

Of course, no one actually thinks that the everyday claims are false, including Werzekeugjj. What was the purpose of composing these comments, then?

We can gather a clue from this comment:

“in such a block unniverse there is no time flow
so your point on finalism or causality is moot
same with God
they don’t exist

The body of the post does not mention God, and God is not the topic. Why then does Werzekeugjj bring up God here? The most likely motivation is the kind of culture war motivation discussed here. Werzekeugjj associated talk of causality and reasons with talk of God, and intends to attack a culture that speaks this way with whatever it takes, including a full on rejection of common sense. Science has shown that your common sense views of the world are entirely false, Werzekeugjj says, and therefore you might as well abandon the rest of your culture (including its talk of God) along with the rest of your views.

Supposedly describing their intentions, Werzekeugjj says,

i’m not trying to understand the world or to change your mind but i’m trying to state what is true
and i’m puzzled by how you think there is no problem with arguments like these

This is false, precisely as a description of their personal motives. No one who says that balls never break windows and that they did not write their comments (in the very comments themselves) can pretend to be “trying to state what is true.” Sorry, but that is not your intention. More reasonably, we can suppose that Werzekeugjj sees my post as part of a project of defending a certain culture, and they intend to attack that culture.

But that is an inaccurate understanding of the post. I defend common sense because it is right, not because it is a part of any particular culture. As Bryan Caplan puts it, “Common sense is the foundation of all reasoning.  If you want to reject a common-sense claim, you’d better do it in the name of an even stronger common-sense claim.”

Common Sense

entirelyuseless Logic, Probability, Uncategorized , , , , , , ,

I have tended to emphasize common sense as a basic source in attempting to philosophize or otherwise understand reality. Let me explain what I mean by the idea of common sense.

The basic idea is that something is common sense when everyone agrees that something is true. If we start with this vague account, something will be more definitively common sense to the degree that it is truer that everyone agrees, and likewise to the degree that it is truer that everyone agrees.

If we consider anything that one might think of as a philosophical view, we will find at least a few people who disagree, at least verbally, with the claim. But we may be able to find some that virtually everyone agrees with. These pertain more to common sense than things that fewer people agree with. Likewise, if we consider everyday claims rather than philosophical ones, we will probably be able to find things that everyone agrees with apart from some very localized contexts. These pertain even more to common sense. Likewise, if everyone has always agreed with something both in the past and present, that pertains more to common sense than something that everyone agrees with in the present, but where some have disagreed in the past.

It will be truer that everyone agrees in various ways: if everyone is very certain of something, that pertains more to common sense than something people are less certain about. If some people express disagreement with a view, but everyone’s revealed preferences or beliefs indicate agreement, that can be said to pertain to common sense to some degree, but not so much as where verbal affirmations and revealed preferences and beliefs are aligned.

Naturally, all of this is a question of vague boundaries: opinions are more or less a matter of common sense. We cannot sort them into two clear categories of “common sense” and “not common sense.” Nonetheless, we would want to base our arguments, as much as possible, on things that are more squarely matters of common sense.

We can raise two questions about this. First, is it even possible? Second, why do it?

One might object that the proposal is impossible. For no one can really reason except from their own opinions. Otherwise, one might be formulating a chain of argument, but it is not one’s own argument or one’s own conclusion. But this objection is easily answered. In the first place, if everyone agrees on something, you probably agree yourself, and so reasoning from common sense will still be reasoning from your own opinions. Second, if you don’t personally agree, since belief is voluntary, you are capable of agreeing if you choose, and you probably should, for reasons which will be explained in answering the second question.

Nonetheless, the objection is a reasonable place to point out one additional qualification. “Everyone agrees with this” is itself a personal point of view that someone holds, and no one is infallible even with respect to this. So you might think that everyone agrees, while in fact they do not. But this simply means that you have no choice but to do the best you can in determining what is or what is not common sense. Of course you can be mistaken about this, as you can about anything.

Why argue from common sense? I will make two points, a practical one and a theoretical one. The practical point is that if your arguments are public, as for example this blog, rather than written down in a private journal, then you presumably want people to read them and to gain from them in some way. The more you begin from common sense, the more profitable your thoughts will be in this respect. More people will be able to gain from your thoughts and arguments if more people agree with the starting points.

There is also a theoretical point. Consider the statement, “The truth of a statement never makes a person more likely to utter it.” If this statement were true, no one could ever utter it on account of its truth, but only for other reasons. So it is not something that a seeker of truth would ever say. On the other hand, there can be no doubt that the falsehood of some statements, on some occasions, makes those statements more likely to be affirmed by some people. Nonetheless, the nature of language demands that people have an overall tendency, most of the time and in most situations, to speak the truth. We would not be able to learn the meaning of a word without it being applied accurately, most of the time, to the thing that it means. In fact, if everyone was always uttering falsehoods, we would simply learn that “is” means “is not,” and that “is not,” means “is,” and the supposed falsehoods would not be false in the language that we would acquire.

It follows that greater agreement that something is true, other things being equal, implies that the thing is more likely to be actually true. Stones have a tendency to fall down: so if we find a great collection of stones, the collection is more likely to be down at the bottom of a cliff rather than perched precisely on the tip of a mountain. Likewise, people have a tendency to utter the truth, so a great collection of agreement suggests something true rather than something false.

Of course, this argument depends on “other things being equal,” which is not always the case. It is possible that most people agree on something, but you are reasonably convinced that they are mistaken, for other reasons. But if this is the case, your arguments should depend on things that they would agree with even more strongly than they agree with the opposite of your conclusion. In other words, it should be based on things which pertain even more to common sense. Suppose it does not: ultimately the very starting point of your argument is something that everyone else agrees is false. This will probably be an evident insanity from the beginning, but let us suppose that you find it reasonable. In this case, Robin Hanson’s result discussed here implies that you must be convinced that you were created in very special circumstances which would guarantee that you would be right, even though no one else was created in these circumstances. There is of course no basis for such a conviction. And our ability to modify our priors, discussed there, implies that the reasonable behavior is to choose to agree with the priors of common sense, if we find our natural priors departing from them, except in cases where the disagreement is caused by agreement with even stronger priors of common sense. Thus for example in this post I gave reasons for disagreeing with our natural prior on the question, “Is this person lying or otherwise deceived?” in some cases. But this was based on mathematical arguments that are even more convincing than that natural prior.

Truth and Expectation III

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

Consider what I said at the end of the last post on this topic. When our Mormon protagonist insists that his religion is true, he improves the accuracy of his expectations about the world. His expectations would actually be less accurate he decided that his religious beliefs are false.

Now we said in the first post on truth and expectation that in part we seem to determine the meaning of a statement by the expectations that it implies. If this is the case, then why should we not say that the Mormon’s beliefs are definitely true? In fact, in the post linked above about truth in religion, I suggested that people frequently do mean something like this when they say that their own religion is true. Nonetheless, it is easy to see that truth in this particular sense does not imply that each and every claim in the religion, understood as a claim about the world, is true.

But why not, if one’s expectations become more accurate, just as with statements that are clearly true? As I noted in the earlier post, to say that “that man is pretty tall” is a statement about the man. It is not a statement about myself, nor about my expectations, even if the meaning is partly determined by these things. So ultimately the truth or falsehood of the claim about the man is going to be determined by facts about the man, even if they need to be understood as facts about the man in relation to me and my expectations.

Consider again Scott Sumner’s anti-realism. Scott claims that we cannot distinguish between “our perception of reality, and actual reality.” As I said there, this is right in the sense that we cannot consistently hold the opinion, “This is my opinion about reality, but my opinion is false: reality is actually different.” But we can recognize the distinct meanings in “my perception of reality” and “actual reality.” Scott’s failure to recognize this distinction leads him to suggest on occasion that our beliefs about certain matters are just beliefs about what people in the future will believe. For example, he says in this comment:

You misunderstood Rorty. He is not recommending that you try to trick you colleagues into believing something that is not true. Rather he is merely describing what society regards as true. And who can deny that society tends to regard things as true, when they believe them to be true. No you might say “but what society believes to be true is not always really true.” But Rorty would say that statement means nothing, or else it means that you predict that a future society will have a different view of what is true.

Most people, without even realizing it, assume that there is some sort of “God-like” view of what is “really true” which is separate from what we believe is true, and or will believe in the future to be true. Rorty is an atheist. He believes that what society’s experts believe is the best we can do, the closest we can come to describing reality. Rorty would suggest to Hayek “if you want to convince other economists, use persuasive arguments.” I think that is very reasonable advice. It is what I try to do on this blog.

This is much like Bob Seidensticker’s claim that moral beliefs are beliefs about what society in the future will believe to be moral. In both cases, there is an unacceptable circularity. If our belief is about what people in the future will believe, what are the future people’s beliefs about? There is only one credible explanation here: people’s beliefs are about what they say their beliefs are about, namely the very things they are talking about. Moral beliefs are about whether actions are good or bad, and beliefs describing the world are about the world, not about the people who hold the beliefs, present or future.

This does not imply that there is “some sort of ‘God-like’ view of what is ‘really true’.” It just implies that our beliefs are distinct from other things in the world. Sumner is suggesting that a situation where everyone permanently holds a false belief, forever, is inconceivable. But this is quite conceivable, and we can easily see how it could happen. Just now I counted the cups in my cupboard and there are exactly 14 (if anyone is surprised by that value, most of those are plastic.) It is entirely conceivable, however, that I miscounted. And since I also have some cups that are not currently in the cupboard, if I did, I will probably never get it right, since I will just assume there was some other assortment. And since there is presumably no way for the public to discover the truth about this, society will be permanently deluded about the number of cups in my cupboard at 11:16 AM on July 14, 2018.

What would it mean, then, if it was not “actually true” that there were 14 cups in my cupboard? It would be determined by facts about the cups and the cupboard, not by facts about me, about society, about my expectations or society’s expectations. It would not be actually true if there were, in fact, only 13 cups there, even if no one would ever know this.

This all remains related to expectations, however. I don’t think I miscounted, so I think that if I go again and count them, I will get 14 again. If I did miscount, there is a good chance that counting again would result in a different number. Now I don’t intend to bother, so this expectation is counterfactual. Nonetheless, there are at least conceivable counterfactual situations where I would discover that I was mistaken. In a similar way, to say that the Mormon holds false religious beliefs implies that there are at least counterfactual situations where the falsehood would be uncovered by a violation of his expectations: e.g. if he had been alive at the time and had followed Joseph Smith around all the time to see whether there were any golden plates and so on.

Nonetheless, one cannot ultimately separate the truth of a statement from facts about the thing the statement is about. A statement is true if things are the way it says they are, “the way” being correctly understood here. If this were not the case, the statement would not be about the things in the first place.

Motivated Reasoning and the Kantian Dichotomy

entirelyuseless Catholicism, Logic, Metaphysics, Religion, Science, Theology, Uncategorized , , , , , , , , , , , , , , , , , , , ,

At the beginning of the last post, I distinguished between error caused by confusing the mode of knowledge and the mode of being, and error caused by non-truth related motives. But by the end of the post, it occurred to me that there might be more of a relationship between the two than one might think. Not that we can reduce all error to one or the other, of course. It seems pretty clear that the errors involved in the Kantian dichotomy are somewhat “natural,” so to speak, and often the result of honest confusion. This seems different from motivated reasoning. Similarly, there are certainly other causes of error. If someone makes an arithmetical error in their reasoning, which is a common occurrence, this is not necessarily caused by either confusion about the mode of knowing or by some other motive. It is just a mistake, perhaps caused by a failure of the imagination.

Nonetheless, consider the examples chosen in the last post. Scott Sumner is the anti-realist, while James Larson is the realist. And if we are looking only at that disagreement, and not taking into account confusion about the mode of knowing, Larson is right, and Sumner is wrong. But if we consider their opinions on other matters, Sumner is basically sane and normal, while Larson is basically crazy. Consider for example Larson’s attitude to science:

In considering what might be called the “collective thinking” of the entire Western world (and beyond), there is no position one can take which elicits more universal disdain than that of being“anti-science.” It immediately calls forth stereotyped images of backwardness, anti-progress, rigidity, and just plain stupidity.

There are of course other epithets that are accompanied by much more vehement condemnations: terms as such anti-semite, racist, etc. But we are not here concerned with such individual prejudices and passions, but rather with the scientific Weltanschauung (World-view) which now dominates our thinking, and the rejection of which is almost unthinkable to modern man.

Integral to this world-view is the belief that there is a world of “Science” containing all knowledge of the depths of the physical world, that the human mind has the potential to fully encompass this knowledge, and that it is only in the use” of this knowledge that man sins.

It is my contention, on the other hand, that the scientific weltanschauung is integrally constituted by a dominant hubris, which has profoundly altered human consciousness, and constitutes a war against both God and man.

Stereotyped or not, the labels Larson complains about can be applied to his position with a high degree of accuracy. He goes on to criticize not only the conclusions of science but also the very idea of engaging in a study of the world in a scientific manner:

It is a kind of dogma of modern life that man has the inalienable right, and even responsibility, to the pursuit of unending growth in all the spheres of his secular activity: economic, political (New World Order), scientific knowledge, technological development, etc. Such “unending quest for knowledge and growth” would almost seem to constitute modern man’s definition of his most fundamental dignity. This is fully in accord with the dominant forms of modern philosophy which define him in terms of evolutionary becoming rather than created being.

Such is not the Biblical view, which rather sees such pursuits as reeking disaster to both individual and society, and to man’s relationship to Truth and God. The Biblical perspective begins with Original Sin which, according to St. Thomas, was constituted as an intellectual pride by which Adam and Eve sought an intellectual excellence of knowledge independently of God. In the situation of Original Sin, this is described in terms of “knowledge of good and evil.” It is obvious in the light of further Old Testament scriptures, however, that this disorder also extends to the “seeking after an excellence” which would presume to penetrate to the depth of the nature of created things. Thus, we have the following scriptures:

“Nothing may be taken away, nor added, neither is it possible to find out the glorious works of God: When a man hath done, then shall he begin: And when he leaveth off, he shall be at a loss.” (Ecclus 28:5-6).

“And I understood that man can find no reason of all those works of God that are done under the sun: and the more he shall labor to seek, so much the less shall he find: yea, though the wise man shall say, that he knoweth it, he shall not be able to find it.” (Eccl 8:17).

“For the works of the Highest only are wonderful, and his works are glorious, secret, and hidden.” (Ecclus 11:4).

“For great is the power of God alone, and he is honoured by the humble. Seek not the things that are too high for thee, and search not into things above thy ability: but the things that God hath commanded thee, think on them always, and in many of his works be not curious. For it is not necessary for thee to see with thy eyes those things that are hid. In unnecessary matters be not over curious, and in many of his works thou shalt not be inquisitive. For many things are shewn to thee above the understanding of men. And the suspicion of them hath deceived man, and hath detained their minds in vanity.” (Ecclus 3:21-26).

These scripture passages proscribe any effort by man which attempts to penetrate (or even be inquisitive and curious about) the hidden depths of God’s “works.” It is evident that in these scriptures the word “works” refers to the physical world itself – to all those “works of God that are done under the sun.” There is no allegorical interpretation possible here. We are simply faced with a choice between considering these teachings as divinely revealed truth, or merely the product of primitive and ignorant Old Testament human minds.

It is not merely that Larson rejects the conclusions of science, which he admittedly does. He also condemns the very idea of “let’s go find out how the world works” as a wicked and corrupting curiosity. I say, without further ado, that this is insane.

But of course it is not insane in the sense that Larson should be committed to a mental institution, even though I would expect that he has some rather extreme personality characteristics. Rather, it is extremely obvious that Larson is engaging in highly motivated reasoning. On the other hand, most of Scott Sumner’s opinions are relatively ordinary, and while some of his opinions are no doubt supported by other human motives besides truth, we do not find him holding anything in such a highly motivated way.

Thus we have this situation: the one who upholds common sense (with regard to realism) holds crazy motivated opinions about all sorts of other matters, while the one who rejects common sense (with regard to realism) holds sane non-motivated opinions about all sorts of other matters. Perhaps this is accidental? If we consider other cases, will we find that this is an exceptional case, and that most of the time the opposite happens?

Anti-realism in particular, precisely because it is so strongly opposed to common sense, is rare in absolute terms, and thus we can expect to find that most people are realist regardless of their other opinions. But I do not think that we will find that the opposite is the case overall. On the contrary, I think we will find that people who embrace the Kantian side of such a dichotomy will frequently tend to be people who have more accurate opinions about detailed matters, and that people who embrace the anti-Kantian side of such a dichotomy will frequently tend to be people who have less accurate opinions about detailed matters, despite the fact that the anti-Kantian side is right about the common sense issue at hand.

Consider the dichotomy in general. If we analyze it purely in terms of concern for truth, the anti-Kantian is interested in upholding the truth of common sense, while the Kantian is interested in upholding the truth about the relationship between the mind and the world. From the beginning, the anti-Kantian wishes to maintain a general well-known truth, while the Kantian wants to maintain a relatively complex detailed truth about the relationship between knowledge and the world. The Kantian thus has more of an interest in details than the anti-Kantian, while the anti-Kantian is more concerned about the general truth.

What happens when we bring in other motivations? People begin to trade away truth. To the degree that they are interested in other things, they will have less time and energy to think about what is true. And since knowledge advances from general to particular, it would not be surprising if people who are less interested in truth pay less attention to details, and bother themselves mainly about general issues. On the other hand, if people are highly interested in truth and not much interested in other things, they will dedicate a lot of time and attention to working out things in detail. Of course, there are also other reasons why someone might want to work things out in detail. For example, as I discussed a few years ago, Francis Bacon says in effect: the philosophers do not care about truth. Rather their system is “useful” for certain goals:

We make no attempt to disturb the system of philosophy that now prevails, or any other which may or will exist, either more correct or more complete. For we deny not that the received system of philosophy, and others of a similar nature, encourage discussion, embellish harangues, are employed, and are of service in the duties of the professor, and the affairs of civil life. Nay, we openly express and declare that the philosophy we offer will not be very useful in such respects. It is not obvious, nor to be understood in a cursory view, nor does it flatter the mind in its preconceived notions, nor will it descend to the level of the generality of mankind unless by its advantages and effects.

Meanwhile, Bacon does not himself claim to be interested in truth. But he desires “advantages and effects,” namely accomplishments in the physical world, such as changing lead into gold. But if you want to make complex changes in the physical world, you need to know the world in detail. The philosophers, therefore, have no need of detailed knowledge because they are not interested in truth but disputation and status, while Bacon does have a need of detailed knowledge, even though he is likewise uninterested in truth, because he is interested in changing the world.

In reality, there will exist both philosophers and scientists who mainly have these non-truth related concerns, and others who are mainly concerned about the truth. But we can expect an overall effect of caring more about truth to be caring more about details as well, simply because such people will devote more time and energy to working things out in detail.

On this account, Scott Sumner’s anti-realism is an honest mistake, made simply because people tend to find the Kantian error persuasive when they try to think about how knowledge works in detail. Meanwhile, James Larson’s absurd opinions about science are not caused by any sort of honesty, but by his ulterior motives. I noted in the last post that in any such Kantian dichotomy, the position upholding common sense is truer. And this is so, but the implication of the present considerations is that in practice we will often find the person upholding common sense also maintaining positions which are much wronger in their details, because they will frequently care less about the truth overall.

I intended to give a number of examples, since this point is hardly proven by the single instance of Scott Sumner and James Larson. But since I am running short on time, at least for now I will simply point the reader in the right direction. Consider the Catholic discussion of modernism. Pius X said that the modernists “attempt to ascribe to a love of truth that which is in reality the result of pride and obstinacy,” but as we saw there, the modernists cared about the truth of certain details that the Church preferred to ignore or even to deny. The modernists were not mistaken to ascribe this to a love of truth. As I noted in the same post, Pius X suggests that a mistaken epistemology is responsible for the opinions of the modernists:

6. We begin, then, with the philosopher. Modernists place the foundation of religious philosophy in that doctrine which is usually called Agnosticism. According to this teaching human reason is confined entirely within the field of phenomena, that is to say, to things that are perceptible to the senses, and in the manner in which they are perceptible; it has no right and no power to transgress these limits. Hence it is incapable of lifting itself up to God, and of recognising His existence, even by means of visible things. From this it is inferred that God can never be the direct object of science, and that, as regards history, He must not be considered as an historical subject. Given these premises, all will readily perceive what becomes of Natural Theology, of the motives of credibility, of external revelation. The Modernists simply make away with them altogether; they include them in Intellectualism, which they call a ridiculous and long ago defunct system. Nor does the fact that the Church has formally condemned these portentous errors exercise the slightest restraint upon them.

As I noted there, epistemology is not the foundation for anyone’s opinions, and was not the foundation for the opinions of the modernists. But on the other hand, Pius X may be seeing something true here. The “agnosticism” he describes here is basically the claim that we can know only appearances, and not the thing in itself. And I would find it unsurprising if Pius X is right that there was a general tendency among the modernists to accept a Kantian epistemology. But the reason for this would be analogous to the reasons that Scott Sumner is an anti-realist: that is, it is basically an honest mistake about knowledge, while in contrast, the condemnation of questioning the authenticity of the Vulgate text of 1 John 5:7 was not honest at all.

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.

Start at the Beginning

entirelyuseless Journal Entries, Logic, Uncategorized , , , , , , , ,

This post will have two kinds of readers:

1) The few who have read the posts on this blog from the beginning, in chronological order, and who are now reading this one simply because it is the only one you have not read yet.

2) The vast majority who did not do the above.

For the first category, I don’t have any particular suggestion at the moment. Well done. That is the right way of reading this blog.

For the second category, you would do much better to stop right here in the middle of this post (without even finishing it), go back to the beginning, and read every post in chronological order.

….

So you are now in the first category? No? Since obviously you did not take my advice, let me explain both why you should, and why you will not.

It is possible to understand something through arguments, even if manipulating symbols may be an even more common result. And since conclusions follow from premises, you can only do this by thinking about the premises first, and the conclusions second. Since my own interest is in understanding things, I intentionally organize the blog in this way. Of course, since the concrete historical process of an individual coming to understand some particular thing is messier and more complicated than a single argument or even than multiple arguments, the order isn’t an exact representation of my own history or someone else’s potential history. But it is certainly closer to that than any other order of reading would be.

You will object that you do not have the time to read 300 blog posts. Fine. But then why do you have time to read this one? Even if you are definitely committed to reading a small number of posts, you would do better to read a small number from the beginning. If you are committed to reading not more than one post a week, you would do better to read the 300 posts over the next six years, rather than reading the posts that are current.

You might think of other similar objections, but they will all fail in similar ways. If you are actually interested in understanding something from your reading, chronological order is the right order.

Of course, other blog authors might well argue in similar ways, but the number of people who actually do this, on any blog, is tiny. Instead, people read a few recent posts, and perhaps a few others if there are a chain of links that lead them there. But they do not, in the vast majority of cases, read from the beginning, whether to read all or only a part.

So let me explain why you will not take this advice, despite the fact that it is irrefutably correct. In The Elephant in the Brain, Robin Hanson and Kevin Simler remark in a chapter on conversation:

This view of talking—as a way of showing off one’s “backpack”—explains the puzzles we encountered earlier, the ones that the reciprocal-exchange theory had trouble with. For example, it explains why we see people jockeying to speak rather than sitting back and “selfishly” listening—because the spoils of conversation don’t lie primarily in the information being exchanged, but rather in the subtextual value of finding good allies and advertising oneself as an ally. And in order to get credit in this game, you have to speak up; you have to show off your “tools.”

…

But why do speakers need to be relevant in conversation? If speakers deliver high-quality information, why should listeners care whether the information is related to the current topic? A plausible answer is that it’s simply too easy to rattle off memorized trivia. You can recite random facts from the encyclopedia until you’re blue in the face, but that does little to advertise your generic facility with information.

Similarly, when you meet someone for the first time, you’re more eager to sniff each other out for this generic skill, rather than to exchange the most important information each of you has gathered to this point in your lives. In other words, listeners generally prefer speakers who can impress them wherever a conversation happens to lead, rather than speakers who steer conversations to specific topics where they already know what to say.

Hanson and Simler are trying to explain various characteristics of conversation, such as the fact that people are typically more interested in speaking than in listening, as well as the requirement that conversational participants “stick to the topic.”

Later, they associate this with people’s interest in news:

Why have humans long been so obsessed with news? When asked to justify our strong interest, we often point to the virtues of staying apprised of the important issues of the day. During a 1945 newspaper strike in New York, for example, when the sociologist Bernard Berelson asked his fellow citizens, “Is it very important that people read the newspaper?” almost everyone answered with a “strong ‘yes,’ ” and most people cited the “ ‘serious’ world of public affairs.”

…

Now, it did make some sense for our ancestors to track news as a way to get practical information, such as we do today for movies, stocks, and the weather. After all, they couldn’t just go easily search for such things on Google like we can. But notice that our access to Google hasn’t made much of a dent in our hunger for news; if anything we read more news now that we have social media feeds, even though we can find a practical use for only a tiny fraction of the news we consume.

There are other clues that we aren’t mainly using the news to be good citizens (despite our high-minded rhetoric). For example, voters tend to show little interest in the kinds of information most useful for voting, including details about specific policies, the arguments for and against them, and the positions each politician has taken on each policy. Instead, voters seem to treat elections more like horse races, rooting for or against different candidates rather than spending much effort to figure out who should win. (See Chapter 16 for a more detailed discussion on politics.)

…

These patterns in behavior may be puzzling when we think of news as a source of useful information. But they make sense if we treat news as a larger “conversation” that extends our small-scale conversation habits. Just as one must talk on the current topic in face-to-face conversation, our larger news conversation also maintains a few “hot” topics—a focus so strong and so narrow that policy wonks say that there’s little point in releasing policy reports on topics not in the news in the last two weeks. (This is the criterion of relevance we saw earlier.)

The argument here suggests that blog readers will tend to prefer reading current posts to old ones because this is to remain more “relevant,” and that such relevance is necessary in order to impress other conversational participants. This, I suggest, is why you will not take my advice, despite its rightness. If you think this is an insulting explanation, just bear in mind that blog authors are even more insulted by Hanson’s and Simler’s explanations, since the reader at least is listening.

Self Reference Paradox Summarized

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

Hilary Lawson is right to connect the issue of the completeness and consistency of truth with paradoxes of self-reference.

As a kind of summary, consider this story:

It was a dark and stormy night,
and all the Cub Scouts where huddled around their campfire.
One scout looked up to the Scout Master and said:
“Tell us a story.”
And the story went like this:

It was a dark and stormy night,
and all the Cub Scouts where huddled around their campfire.
One scout looked up to the Scout Master and said:
“Tell us a story.”
And the story went like this:

It was a dark and stormy night,
and all the Cub Scouts where huddled around their campfire.
One scout looked up to the Scout Master and said:
“Tell us a story.”
And the story went like this:

It was a dark and stormy night,
and all the Cub Scouts where huddled around their campfire.
One scout looked up to the Scout Master and said:
“Tell us a story.”
And the story went like this:
etc.

In this form, the story obviously exists, but in its implied form, the story cannot be told, because for the story to be “told” is for it to be completed, and it is impossible for it be completed, since it will not be complete until it contains itself, and this cannot happen.

Consider a similar example. You sit in a room at a desk, and decide to draw a picture of the room. You draw the walls. Then you draw yourself and your desk. But then you realize, “there is also a picture in the room. I need to draw the picture.” You draw the picture itself as a tiny image within the image of your desktop, and add tiny details: the walls of the room, your desk and yourself.

Of course, you then realize that your artwork can never be complete, in exactly the same way that the story above cannot be complete.

There is essentially the same problem in these situations as in all the situations we have described which involve self-reference: the paradox of the liar, the liar game, the impossibility of detailed future prediction, the list of all true statements, Gödel’s theorem, and so on.

In two of the above posts, namely on future prediction and Gödel’s theorem, there are discussions of James Chastek’s attempts to use the issue of self-reference to prove that the human mind is not a “mechanism.” I noted in those places that such supposed proofs fail, and at this point it is easy to see that they will fail in general, if they depend on such reasoning. What is possible or impossible here has nothing to do with such things, and everything to do with self-reference. You cannot have a mirror and a camera so perfect that you can get an actually infinite series of images by taking a picture of the mirror with the camera, but there is nothing about such a situation that could not be captured by an image outside the situation, just as a man outside the room could draw everything in the room, including the picture and its details. This does not show that a man outside the room has a superior drawing ability compared with the man in the room. The ability of someone else to say whether the third statement in the liar game is true or false does not prove that the other person does not have a “merely human” mind (analogous to a mere mechanism), despite the fact that you yourself cannot say whether it is true or false.

There is a grain of truth in Chastek’s argument, however. It does follow that if someone says that reality as a whole is a formal system, and adds that we can know what that system is, their position would be absurd, since if we knew such a system we could indeed derive a specific arithmetical truth, namely one that we could state in detail, which would be unprovable from the system, namely from reality, but nonetheless proved to be true by us. And this is logically impossible, since we are a part of reality.

At this point one might be tempted to say, “At this point we have fully understood the situation. So all of these paradoxes and so on don’t prevent us from understanding reality perfectly, even if that was the original appearance.”

But this is similar to one of two things.

First, a man can stand outside the room and draw a picture of everything in it, including the picture, and say, “Behold. A picture of the room and everything in it.” Yes, as long as you are not in the room. But if the room is all of reality, you cannot get outside it, and so you cannot draw such a picture.

Second, the man in the room can draw the room, the desk and himself, and draw a smudge on the center of the picture of the desk, and say, “Behold. A smudged drawing of the room and everything in it, including the drawing.” But one only imagines a picture of the drawing underneath the smudge: there is actually no such drawing in the picture of the room, nor can there be.

In the same way, we can fully understand some local situation, from outside that situation, or we can have a smudged understanding of the whole situation, but there cannot be any detailed understanding of the whole situation underneath the smudge.

I noted that I disagreed with Lawson’s attempt to resolve the question of truth. I did not go into detail, and I will not, as the book is very long and an adequate discussion would be much longer than I am willing to attempt, at least at this time, but I will give some general remarks. He sees, correctly, that there are problems both with saying that “truth exists” and that “truth does not exist,” taken according to the usual concept of truth, but in the end his position amounts to saying that the denial of truth is truer than the affirmation of truth. This seems absurd, and it is, but not quite so much as appears, because he does recognize the incoherence and makes an attempt to get around it. The way of thinking is something like this: we need to avoid the concept of truth. But this means we also need to avoid the concept of asserting something, because if you assert something, you are saying that it is true. So he needs to say, “assertion does not exist,” but without asserting it. Consequently he comes up with the concept of “closure,” which is meant to replace the concept of asserting, and “asserts” things in the new sense. This sense is not intended to assert anything at all in the usual sense. In fact, he concludes that language does not refer to the world at all.

Apart from the evident absurdity, exacerbated by my own realist description of his position, we can see from the general account of self-reference why this is the wrong answer. The man in the room might start out wanting to draw a picture of the room and everything in it, and then come to realize that this project is impossible, at least for someone in his situation. But suppose he concludes: “After all, there is no such thing as a picture. I thought pictures were possible, but they are not. There are just marks on paper.” The conclusion is obviously wrong. The fact that pictures are things themselves does prevent pictures from being exhaustive pictures of themselves, but it does not prevent them from being pictures in general. And in the same way, the fact that we are part of reality prevents us from having an exhaustive understanding of reality, but it does not prevent us from understanding in general.

There is one last temptation in addition to the two ways discussed above of saying that there can be an exhaustive drawing of the room and the picture. The room itself and everything in it, is itself an exhaustive representation of itself and everything in it, someone might say. Apart from being an abuse of the word “representation,” I think this is delusional, but this a story for another time.

Consistency and Reality

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

Consistency and inconsistency, in their logical sense, are relationships between statements or between the parts of a statement. They are not properties of reality as such.

“Wait,” you will say. “If consistency is not a property of reality, then you are implying that reality is not consistent. So reality is inconsistent?”

Not at all. Consistency and inconsistency are contraries, not contradictories, and they are properties of statements. So reality as such is neither consistent nor inconsistent, in the same way that sounds are neither white nor black.

We can however speak of consistency with respect to reality in an extended sense, just as we can speak of truth with respect to reality in an extended sense, even though truth refers first to things that are said or thought. In this way we can say that a thing is true insofar as it is capable of being known, and similarly we might say that reality is consistent, insofar as it is capable of being known by consistent claims, and incapable of being known by inconsistent claims. And reality indeed seems consistent in this way: I might know the weather if I say “it is raining,” or if I say, “it is not raining,” depending on conditions, but to say “it is both raining and not raining in the same way” is not a way of knowing the weather.

Consider the last point more precisely. Why can’t we use such statements to understand the world? The statement about the weather is rather different from statements like, “The normal color of the sky is not blue but rather green.” We know what it would be like for this to be the case. For example, we know what we would expect if it were the case. It cannot be used to understand the world in fact, because these expectations fail. But if they did not, we could use it to understand the world. Now consider instead the statement, “The sky is both blue and not blue in exactly the same way.” There is now no way to describe the expectations we would have if this were the case. It is not that we understand the situation and know that it does not apply, as with the claim about the color of the sky: rather, the situation described cannot be understood. It is literally unintelligible.

This also explains why we should not think of consistency as a property of reality in a primary sense. If it were, it would be like the color blue as a property of the sky. The sky is in fact blue, but we know what it would be like for it to be otherwise. We cannot equally say, “reality is in fact consistent, but we know what it would be like for it to be inconsistent.” Instead, the supposedly inconsistent situation is a situation that cannot be understood in the first place. Reality is thus consistent not in the primary sense but in a secondary sense, namely that it is rightly understood by consistent things.

But this also implies that we cannot push the secondary consistency of reality too far, in several ways and for several reasons.

First, while inconsistency as such does not contribute to our understanding of the world, a concrete inconsistent set of claims can help us understand the world, and in many situations better than any particular consistent set of claims that we might currently come up with. This was discussed in a previous post on consistency.

Second, we might respond to the above by pointing out that it is always possible in principle to formulate a consistent explanation of things which would be better than the inconsistent one. We might not currently be able to arrive at the consistent explanation, but it must exist.

But even this needs to be understood in a somewhat limited way. Any consistent explanation of things will necessarily be incomplete, which means that more complete explanations, whether consistent or inconsistent, will be possible. Consider for example these recent remarks of James Chastek on Gödel’s theorem:

1.) Given any formal system, let proposition (P) be this formula is unprovable in the system

2.) If P is provable, a contradiction occurs.

3.) Therefore, P is known to be unprovable.

4.) If P is known to be unprovable it is known to be true.

5.) Therefore, P is (a) unprovable in a system and (b) known to be true.

In the article linked by Chastek, John Lucas argues that this is a proof that the human mind is not a “mechanism,” since we can know to be true something that the mechanism will not able to prove.

But consider what happens if we simply take the “formal system” to be you, and “this formula is unprovable in the system” to mean “you cannot prove this statement to be true.” Is it true, or not? And can you prove it?

If you say that it is true but that you cannot prove it, the question is how you know that it is true. If you know by the above reasoning, then you have a syllogistic proof that it is true, and so it is false that you cannot prove it, and so it is false.

If you say that it is false, then you cannot prove it, because false things cannot be proven, and so it is true.

It is evident here that you can give no consistent response that you can know to be true; “it is true but I cannot know it to be true,” may be consistent, but obviously if it is true, you cannot know it to be true, and if it is false, you cannot know it to be true. What is really proven by Gödel’s theorem is not that the mind is not a “mechanism,” whatever that might be, but that any consistent account of arithmetic must be incomplete. And if any consistent account of arithmetic alone is incomplete, much  more must any consistent explanation of reality as a whole be incomplete. And among more complete explanations, there will be some inconsistent ones as well as consistent ones. Thus you might well improve any particular inconsistent position by adopting a consistent one, but you might again improve any particular consistent position by adopting an inconsistent one which is more complete.

The above has some relation to our discussion of the Liar Paradox. Someone might be tempted to give the same response to “tonk” and to “true”:

The problem with “tonk” is that it is defined in such a way as to have inconsistent implications. So the right answer is to abolish it. Just do not use that word. In the same way, “true” is defined in such a way that it has inconsistent implications. So the right answer is to abolish it. Just do not use that word.

We can in fact avoid drawing inconsistent conclusions using this method. The problem with the method is obvious, however. The word “tonk” does not actually exist, so there is no problem with abolishing it. It never contributed to our understanding of the world in the first place. But the word “true” does exist, and it contributes to our understanding of the world. To abolish it, then, would remove some inconsistency, but it would also remove part of our understanding of the world. We would be adopting a less complete but more consistent understanding of things.

Hilary Lawson discusses this response in Closure: A Story of Everything:

Russell and Tarski’s solution to self-referential paradox succeeds only by arbitrarily outlawing the paradox and thus provides no solution at all.

Some have claimed to have a formal, logical, solution to the paradoxes of self-reference. Since if these were successful the problems associated with the contemporary predicament and the Great Project could be solved forthwith, it is important to briefly examine them before proceeding further. The argument I shall put forward aims to demonstrate that these theories offer no satisfactory solution to the problem, and that they only appear to do so by obscuring the fact that they have defined their terms in such a way that the paradox is not so much avoided as outlawed.

The problems of self-reference that we have identified are analogous to the ancient liar paradox. The ancient liar paradox stated that ‘All Cretans are liars’ but was itself uttered by a Cretan thus making its meaning undecidable. A modern equivalent of this ancient paradox would be ‘This sentence is not true’, and the more general claim that we have already encountered: ‘there is no truth’. In each case the application of the claim to itself results in paradox.

The supposed solutions, Lawson says, are like the one suggested above: “Just do not use that word.” Thus he remarks on Tarski’s proposal:

Adopting Tarski’s hierarchy of languages one can formulate sentences that have the appearance of being self-referential. For example, a Tarskian version of ‘This sentence is not true’ would be:

(I) The sentence (I) is not true-in-L.

So Tarski’s argument runs, this sentence is both a true sentence of the language meta-L, and false in the language L, because it refers to itself and is therefore, according to the rules of Tarski’s logic and the hierarchy of languages, not properly formed. The hierarchy of languages apparently therefore enables self-referential sentences but avoids paradox.

More careful inspection however shows the manoeuvre to be engaged in a sleight of hand for the sentence as constructed only appears to be self-referential. It is a true sentence of the meta-language that makes an assertion of a sentence in L, but these are two different sentences – although they have superficially the same form. What makes them different is that the meaning of the predicate ‘is not true’ is different in each case. In the meta-language it applies the meta-language predicate ‘true’ to the object language, while in the object language it is not a predicate at all. As a consequence the sentence is not self-referential. Another way of expressing this point would be to consider the sentence in the meta-language. The sentence purports to be a true sentence in the meta-language, and applies the predicate ‘is not true’ to a sentence in L, not to a sentence in meta-L. Yet what is this sentence in L? It cannot be the same sentence for this is expressed in meta-L. The evasion becomes more apparent if we revise the example so that the sentence is more explicitly self-referential:

(I) The sentence (I) is not true-in-this-language.

Tarski’s proposal that no language is allowed to contain its own truth-predicate is precisely designed to make this example impossible. The hierarchy of languages succeeds therefore only by providing an account of truth which makes genuine self-reference impossible. It can hardly be regarded therefore as a solution to the paradox of self-reference, since if all that was required to solve the paradox was to ban it, this could have been done at the outset.

Someone might be tempted to conclude that we should say that reality is inconsistent after all. Since any consistent account of reality is incomplete, it must be that the complete account of reality is inconsistent: and so someone who understood reality completely, would do so by means of an inconsistent theory. And just as we said that reality is consistent, in a secondary sense, insofar as it is understood by consistent things, so in that situation, one would say that reality is inconsistent, in a secondary sense, because it is understood by inconsistent things.

The problem with this is that it falsely assumes that a complete and intelligible account of reality is possible. This is not possible largely for the same reasons that there cannot be a list of all true statements. And although we might understand things through an account which is in fact inconsistent, the inconsistency itself contributes nothing to our understanding, because the inconsistency is in itself unintelligible, just as we said about the statement that the sky is both blue and not blue in the same way.

We might ask whether we can at least give a consistent account superior to an account which includes the inconsistencies resulting from the use of “truth.” This might very well be possible, but it appears to me that no one has actually done so. This is actually one of Lawson’s intentions with his book, but I would assert that his project fails overall, despite potentially making some real contributions. The reader is nonetheless welcome to investigate for themselves.

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

Real Distinction II

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

I noted recently that one reason why people might be uncomfortable with distinguishing between the way things seem, as such, namely as a way of seeming, and the way things are, as such, namely as a way of being, is that it seems to introduce an explanatory gap. In the last post, why did Mary have a “bluish” experience? “Because the banana was blue,” is true, but insufficient, since animals with different sense organs might well have a different experience when they see blue things. And this gap seems very hard to overcome, possibly even insurmountable.

However, the discussion in the last post suggests that the difficulty in overcoming this gap is mainly the result of the fact that no one actually knows the full explanation, and that the full explanation would be extremely complicated. It might even be so complicated that no human being could understand it, not necessarily because it is a kind of explanation that people cannot understand, but in a sense similar to the one in which no human being can memorize the first trillion prime numbers.

Even if this is the case, however, there would be a residual “gap” in the sense that a sensitive experience will never be the same experience as an intellectual one, even when the intellect is trying to explain the sensitive experience itself.

We can apply these ideas to think a bit more carefully about the idea of real distinction. I pointed out in the linked post that in a certain sense no distinction is real, because “not being something” is not a thing, but a way we understand something.

But notice that there now seems to be an explanatory gap, much like the one about blue. If “not being something” is not a thing, then why is it a reasonable way to understand anything? Or as Parmenides might put it, how could one thing possibly not be another, if there is no not?

Now color is complicated in part because it is related to animal brains, which are themselves complicated. But “being in general” should not be complicated, because the whole idea is that we are talking about everything in general, not with the kind of detail that is needed to make things complicated. So there is a lot more hope of overcoming the “gap” in the case of being and distinction, than in the case of color and the appearance of color.

A potential explanation might be found in what I called the “existential theory of relativity.” As I said in that post, the existence of many things necessarily implies the existence of relationships. But this implication is a “before in understanding“. That is, we understand that one thing is not another before we consider the relationship of the two. If we consider what is before in causality, we will get a different result. On one hand, we might want to deny that there can be causality either way, because the two are simultaneous by nature: if there are many things, they are related, and if things are related, they are many. On the other hand, if we consider “not being something” as a way things are understood, and ask the cause of them being understood in this way, relation will turn out to be the cause. In other words, we have a direct response to the question posed above: why is it reasonable to think that one thing is not another, if not being is not a thing? The answer is that relation is a thing, and the existence of relation makes it reasonable to think of things as distinct from one another.

Someone will insist that this account is absurd, since things need to be distinct in order to be related. But this objection confuses the mode of being and the mode of understanding. Just as there will be a residual “gap” in the case of color, because a sense experience is not an intellectual experience, there is a residual gap here. Explaining color will not suddenly result in actually seeing color if you are blind. Likewise, explaining why we need the idea of distinction will not suddenly result in being able to understand the world without the idea of distinction. But the existence of the sense experience does not thereby falsify one’s explanation of color, and likewise here, the fact that we first need to understand things as distinct in order to understand them as related, does not prevent their relationship from being the specific reality that makes it reasonable to understand them as distinct.