The Liar

The paradox of the Liar is a logical problem that results from a sentence that implies that the very sentence itself is false, or at least that it is not true. Consider the following statement:

(1) Statement (1) is not true.

Is statement (1) true or not? We might reason about it as follows.

(2) If statement (1) is true, then statement (1) is not true, since this is what it says.

(3) But this is absurd, since statement (1) would then be both true and not true.

(4) Therefore (1) is not true.

(5) But this is just what (1) says. So (1) is true.

And so on. There does not appear any way to avoid the conclusion that (1) is both true and not true, which is a contradiction. Nor is it helpful to say that it is neither true nor not true, since the same contradiction will follow: if something fails to be not true, it is surely true.

Any statement whatever will follow from a contradiction, so if one accepts this contradiction, one will be forced to accept that every statement is both true and false.

A. N. Prior discusses the idea of an analytically valid inference:

It is sometimes alleged that there are inferences whose validity arises solely from the meanings of certain expressions occurring in them. The precise technicalities employed are not important, but let us say that such inferences, if any such there be, are analytically valid.

One sort of inference which is sometimes said to be in this sense analytically valid is the passage from a conjunction to either of its conjuncts, e.g., the inference ‘Grass is green and the sky is blue, therefore grass is green’. The validity of this inference is said to arise solely from the meaning of the word ‘and’. For if we are asked what is the meaning of the word ‘and’, at least in the purely conjunctive sense (as opposed to, e.g., its colloquial use to mean ‘and then’), the answer is said to be completely given by saying that (i) from any pair of statements P and Q we can infer the statement formed by joining P to Q by ‘and’ (which statement we hereafter describe as ‘the statement P-and-Q’), that (ii) from any conjunctive statement P-and-Q we can infer P, and (iii) from P-and-Q we can always infer Q. Anyone who has learnt to perform these inferences knows the meaning of ‘and’, for there is simply nothing more to knowing the meaning of ‘and’ than being able to perform these inferences.

A doubt might be raised as to whether it is really the case that, for any pair of statements P and Q, there is always a statement R such that given P and given Q we can infer R, and given R we can infer P and can also infer Q. But on the view we are considering such a doubt is quite misplaced, once we have introduced a word, say the word ‘and’, precisely in order to form a statement R with these properties from any pair of statements P and Q. The doubt reflects the old superstitious view that an expression must have some independently determined meaning before we can discover whether inferences involving it are valid or invalid. With analytically valid inferences this just isn’t so.

I hope the conception of an analytically valid inference is now at least as clear to my readers as it is to myself. If not, further illumination is obtainable from Professor Popper’s paper on’ Logic without Assumptions’ in Proceedings of the Aristotelian Society for 1946-7, and from Professor Kneale’s contribution to Contemporary British Philosophy, Volume III. I have also been much helped in my understanding of the notion by some lectures of Mr. Strawson’s and some notes of Mr. Hare’s.

He proceeds to draw some conclusions from this:

I want now to draw attention to a point not generally noticed, namely that in this sense of ‘analytically valid’ any statement whatever may be inferred, in an analytically valid way, from any other. ‘2 and 2 are 5’, for instance, from ‘2 and 2 are 4 ‘. It is done in two steps, thus:

2 and 2 are 4.

Therefore, 2 and 2 are 4 tonk 2 and 2 are 5.

Therefore, 2 and 2 are 5.

There may well be readers who have not previously encountered this conjunction ‘tonk’, it being a comparatively recent addition to the language; but it is the simplest matter in the world to explain what it means. Its meaning is completely given by the rules that (i) from any statement P we can infer any statement formed by joining P to any statement Q by ‘tonk’ (which compound statement we hereafter describe as’ the statement P-tonk-Q ‘), and that (ii) from any ‘contonktive’ statement P-tonk-Q we can infer the contained statement Q.

A doubt might be raised as to whether it is really the case that, for any pair of statements P and Q, there is always a statement R such that given P we can infer R, and given R we can infer Q. But this doubt is of course quite misplaced, now that we have introduced the word ‘tonk’ precisely in order to form a statement R with these properties from any pair of statements P and Q.

As a matter of simple history, there have been logicians of some eminence who have seriously doubted whether sentences of the form ‘P and Q’ express single propositions (and so, e.g., have negations). Aristotle himself, in De Soph. Elench. 176 a 1 ff., denies that ‘Are Callias and Themistocles musical?’ is a single question; and J. S. Mill says of ‘Caesar is dead and Brutus is alive’ that ‘we might as well call a street a complex house, as these two propositions a complex proposition’ (System of Logic I, iv. 3). So it is not to be wondered at if the form ‘P tonk Q’ is greeted at first with similar scepticism. But more enlightened views will surely prevail at last, especially when men consider the extreme convenience of the new form, which promises to banish falsche Spitzfindigkeit from Logic for ever.

His point is quite clear. Given the way the word “tonk” is defined, one cannot avoid drawing all possible conclusions. But this means the word “tonk”, defined in this way, is quite unacceptable in the first place.

If we define the word “true” by saying that “P is true” is a statement such that it necessarily follows from P, and such that P necessarily follows from “P is true,” and we consider this an acceptable definition, then the rules of logic will force us to accept all possible conclusions.

Like the definition of the word “tonk”, therefore, this definition of the word “true” is unacceptable, and in the same sense, namely that if the definition is accepted, all possible conclusions follow.

This explains why all solutions to the Liar paradox seem to fail, in the sense that in the end either they admit a contradiction, or they insist that we change the meaning of our language, as for example by talking about levels of truth and so on. For despite the consequences, the word “true” does basically have the meaning stated. The only real difference in comparison with the word “tonk” is that the latter word would never be used in any real language, because the consequences are obvious. In the case of “true,” the consequences are subtle and only follow in special circumstances, namely the kind that are found in the case of the Liar paradox, and so the word could be incorporated into human language, and basically with this meaning, before the implications were noticed.

Note that this is quite different from saying that the word “true” has an inconsistent meaning. The problem is even deeper than that. We could define the word “zrackled” to mean “white and not white in the same respect,” and the meaning would be inconsistent. The only consequence would be that nothing is zrackled, and no contradiction would follow. But if we said that “true” has an inconsistent meaning, and consequently that nothing is true, it would follow from the meaning stated that “nothing is true” is true, and consequently that “nothing is true” is not true. The problem is that we are attempting to define the word, at least in part, by certain rules of usage, and those rules themselves force a contradiction, and ultimately force one to draw all possible conclusions, as with the word “tonk.”

Advertisements

8 thoughts on “The Liar

  1. The assumption that “every statement must be either true or false” seems to be false. Pragmatism would suggest that the assumption can only be made as to certain types of statements and avoided for other types of statements. And I think that A. J. Ayers made the point that some statements are “meaningless”, in that we cannot even imagine how we would go about proving them true or untrue.

    Like

    • The paradox as I presented it does not use the statement, “every statement must be either true or false.” It just asks if a statement is true. And if it is not true, surely it is not true. That is not the same as being false. And if a statement is neither true nor false, then obviously it is not true, since that is a part of what was just said, namely that it is neither true nor false.

      In other words, your solution is not helpful. Additionally, statements are not meaningless just because you can’t imagine proving them. For example, it is impossible to prove that there are stars and galaxies outside your light cone, but it is very probably true and not false.

      Like

      • After struggling to get “Language, Truth and Logic” to download to my kindle, I’ve got his example: “The Absolute is lazy” is nonsense because it does not make a statement that can be verified as true or false. A person with certain beliefs about the Absolute may find this meaningful in some sense, but it does not have a meaning that can be confirmed or denied by any imaginable experience. And he mentions that a verifiable statement could be verified by analytics instead of experience.

        Anyways, Ayers is surely over my head and it is likely that you are too. But my question is whether the classic “This statement is false” paradox breaks the rules of analytics in some way. Since the statement makes no proposition that can be confirmed by experience it must therefore make some proposition that can be confirmed or denied by analytics (2 + 2 = 4 variety).

        If it can neither be confirmed or denied by experience or analytics then it might be thrown out as “nonsense” or “meaninglessness”, just like “If the Absolute is lazy, then this is white.”

        Like

        • “The Absolute is lazy” is certainly vague, and insofar as it is vague you might not clearly see what would tend to verify or falsify it. But being vague is not the same as being meaningless, and depending on how you clarify it we can think of things that would tend to verify or falsify it. So for example, the fact that things continue to move and change, rather than everything stopping, seems to indicate that it is false.

          The problem with the liar paradox is not that it cannot be analyzed, but that if you analyze it with the normal rules of logic, you cannot avoid concluding both that the statement is true and that it is not. Of course this does not imply that anything both is and isn’t, but it does imply that logic (like all of our concepts) is an imperfect tool for understanding reality.

          Liked by 1 person

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s