Consistency

Kantian and Anti-Kantian Confusion

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

I introduced what I called the “Kantian error” in an earlier post, and have since used it in explaining several issues such the understanding of unity and the nature of form. However, considering my original point, we can see that there are actually two relevant errors.

First, there is the Kantian error itself, which amounts to the claim that nothing real can be truly known.

Second, there is an anti-Kantian error, namely the error opposed to the element of truth in Kant’s position. I pointed out that Kant is correct that we cannot know things “as they are in themselves” if this is meant to identify the mode of knowing and the mode of being as such. The opposite error, therefore, would be to say that we can know things by having a mode of knowing which is completely identical to the mode of being which things have. Edward Feser, for example, effectively falls into this error in his remarks on sensible colors discussed in an earlier post on truth in the senses, and more recently at his blog he reaffirms the same position:

Part of the reason the mechanical conception of matter entails the possibility of zombies is that it takes matter to be devoid of anything like color, sound, taste, odor, heat, cold and the like, as common sense conceives of these qualities.  On the mechanical conception, if you redefine redness (for example) as a tendency to absorb certain wavelengths of light and reflect others, then you can say that redness is a real feature of the physical world.  But if by “redness” you mean what common sense understands by it – the way red looks in conscious experience – then, according to the mechanical conception, nothing like that really exists in matter.  And something similar holds of other sensory qualities.  The implication is that matter is devoid of any of the features that make it the case that there is “something it is like” to have a conscious experience, and thus is devoid of consciousness itself.

The implication here is that the way red looks is the way a red thing is. Since the emphasis is in the original, it is reasonable to take this to be identifying the mode of the senses with the mode of being. In reality, as we said in the earlier discussion, there is no “redefinition” because the senses do not define anything in the first place.

Both mistakes, namely both the Kantian and anti-Kantian errors, imply contradictions. The claim that there is something that we cannot know in any way contradicts itself, since it implies that we know of something of which we know nothing. Thus, it implies that an unknown thing is known. Similarly, the claim that the mode of knowing as such is the same as the mode of being, to put it in Kant’s words, “is as much as to imagine that experience is also real without experience.” In other words, suppose that “the way red looks” is the very way a red apple is apart from the senses: then the apple looks a certain way, even when no one is looking, and thus precisely when it does not look any way at all.

Thus both errors imply similar contradictions: an unknown thing as such is known, or a known thing as such is unknown. The errors are generated in much the way Kant himself seems to have fallen into the error. Either knowledge is possible or it is not, we say. If it is not, then you have the Kantian error, and if it is, it appears that our way of knowing must the same as the way things are, and thus you have the anti-Kantian error.

As I pointed out in discussing consistency, an inconsistent claim, understood as such, does not propose to us any particular way to understand the world. The situation described is unintelligible, and in no way tells us what we should expect to find if it turns out to be the case. Given this fact, together with the similarity of the implied contradictions, we should not be surprised if people rarely double down completely on one error or the other, but rather waver vaguely between the two as they see the unpalatable implications of one side or the other.

Thus, the problem arises from the false dichotomy between “knowledge is not possible” and “knowledge is possible but must work in this particular way, namely by an identity of the mode of knowing and the mode of being.” I said in the linked post that this is “one of the most basic causes of human error,” but it might be possible to go further and suggest that it is the principal cause of philosophical error apart from error caused by trading truth for other things. At any rate, the reader is advised to keep this in mind as a distinct possibility. We may see additional relevant evidence as time goes on.

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.

Consistency

entirelyuseless Ethics, Logic, Uncategorized , ,

Logical consistency is important. If my positions fail to be consistent, this is clear proof that at least one of them is mistaken.

Nonetheless, logical consistency is not the supreme value. It would not be the supreme value even for someone who cared about truth alone. The reason for this is that someone may see that his position is inconsistent, and know that it follows that his position is partially mistaken, without knowing any concrete way to modify his position which will improve it. His best estimate of any particular modification may be that his position would end up containing a greater amount of error. In this case, caring about the truth will entail that he preserve his position without modification, despite recognizing that his position contains some falsity.

This happens to all of us, as we can see from one particular case. I would be foolish and arrogant if I believed, “All of my beliefs are true.” In order for that to be the case, I would have to be essentially infallible. So it is far more reasonable for me to believe that I am mistaken about some things. But then if we take all of my beliefs together, including the belief that “some of my beliefs are mistaken,” we can derive a contradiction.

And it is clear, in the general case, that I have no way to improve my position to eliminate the inconsistency. Believing that all of my beliefs are true would not improve it. It would add some consistency, but only by means of adding a definite falsity. Likewise, changing some other belief would not help, since even if some of my beliefs are mistaken, I do not know which ones those are. Changing a belief at random is likely to worsen my position overall. And if I examine my beliefs and come to the conclusion that I should modify one belief or another, this will not and should not change my conviction that some of my beliefs are mistaken.