# Read on the liar/Read y el mentiroso.

Tarski and the LiarIt is well known that Tarski's requirement on a materially adequate theory of truth, namely that it should entail all instances of the schema

(T) x is true if and only if p (1.)

where 'x' stands for the name of a sentence 'p', leads to paradoxes. Let us recall how the paradox is derived in Tarski's seminal paper.

We stipulate that c denotes the sentence written on the 8th line of this section:

c is false. Applied to c the relevant instance of schema (T) is 'c is false' is true if and only if c is false.(2.) (2) together with the previous stipulation c = 'c is false.

entails

c is true if and only if c is false. (3.)

Finally, (3) and the principle of bivalence lead to the contradiction

c is true and c is false.

The general mechanism involved should to be clear. On one side, the language contains expressions [alpha] ('c' in our example) which denote the sentence '[logical not]Tr([alpha])'. In addition, the language contains standard names a ("in our example). The relevant instance of Tarski's T-schema is

Tr(a)[left and right arrow] [logical not]Tr([alpha])

which together with a = [alpha] and the laws of identity implies a contradiction.

Truth-value gaps

Kripke's fixed point construction

One solution is to restrict the T-schema as Tarski did. This solution has been criticized for various reasons that will not be repeated here. One of the first serious attempts to break with the Tarskian approach was that of Kripke (1975) and Martin-Woodruff (1975).

In more details, we can take Kripke's starting point to a first-order language L of arithmetic which contains names for its sentences. We add a truth predicate Tr and form the extended language [L.sup.+] = L [union] {Tr}. On the interpretational level, we start with an interpretation M = (U; I; [I.sup.+]; [I.sup.-]) where U is the universe and I assign to the nonlogical vocabulary of the language appropriate elements from U in a standard way. The new element is the pair of functions [I.sup.+]; [I.sup.-] who interpret the truth predicate in a partial way: [I.sup.+] (Tr) is the extension of Tr; I" (Tr) is the counter-extension of Tr, disjoint from [I.sup.+](Tr). Thus the universe U may be seen as divided into (a) sentences which belong to the extension [I.sup.+](Tr) of the truth-predicate; (b) sentences which belong to its counter-extension; and (c) nonsentences.

The kernel of Kripke's proposal is a fixed point construction resulting in a partial model M = (U; I; [E.sup.+]; [E.sup.-]) where [E.sup.+] contains exactly the sentences true in M, and Econtains exactly the sentences false in M. The Liar sentence '[logical not]Tr([alpha])' is neither true nor false.

The problem with this solution is well known. If '[logical not]Tr([alpha])' is neither true nor false, then it is not true. But then the sentence Tr(a) which asserts that '[logical not]Tr([alpha])' is true, is false. But we cannot say that consistently. For if 'Tr(a)' is false, then by logic, '[logical not]Tr([alpha])' is true, and thus, by one of the laws of identity, '[logical not]Tr([alpha])' is true. But if '[logical not]Tr([alpha])' is true, then 'Tr(a)' which says of '[logical not]Tr([alpha])' that it is true, should be true. Applying again the law of identity, we infer that 'Tr(a)' is true. Thus from the premise that 'Tr(a)' is false we ended up with the conclusion that 'Tr(a)' is true.

Thus the Strong-Kleene proposal of Kripke which says of the Liar that it is neither truth nor false is inadequate for it does not allow one to classify the Liar sentence in one's own object language. That can be done only in the metalanguage where one has availbale the notion of contradictory negation.

IF-logic

Another attempt to overcome Tarski's second impossibility result is given within the so-called IF-languages introduced by Hintikka and Sandu (1989) (see Hintikka 1996 Hodges 1997). These languages express more quantifier dependencies and independencies than ordinary firstorder languages whose extensions they are. More concretely, the object language contains sentences of the form

[for all][x.sub.0]([x.sub.1]/{[x.sub.0]}) ([there exists][x.sub.2]/{[there exists]{[x.sub.1]}) ([there exist][x.sub.3]/{[X.sub.o], [x.sub.2]}) R([x.sub.0][x.sub.1]; [x.sub.2]; [x.sub.3]) (4.)

which are meant to express the fact that:

[for all][x.sub.1] is not in the scope of [for all][x.sub.0]; [there exists][x.sub.2] is not in the scope of [for all][x.sub.1]; [there exists][x.sub.3] is not in the scope of [for all][x.sub.0] nor in that of [there exixts][x.sub.2].

The slash is thus an outscoping device. The sentence (4) expresses in a linear notation the so-called Henkin or branching quantifier introduced by Henkin (1961):

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (5.)

The truth-conditions of (5) (and alternatively (4)) are given by a translation in a second-order metalanguage. The basic ideas for this translation are those of game theoretical semantics (GTS). With every [phi] the object-language L, model M for L and assignment s (which is empty in case O is a sentence) a semantical game is associated, G ([phi]; M; s), opposing Eloise (the initial verifier) to Abelard (the initial falsifier). In the relevant game associated with (4), the players choose alternatively the elements a; b; c and d from the universe of M to be the interpretations of the four quantifiers (Both players have two choices corresponding to the universal and respectively the existential quantifiers). The play (a; b; c; d) is a win for Eloise if it belongs to the interpretation [R.sup.M] of R in M. Otherwise it is a win for Abelard. The slash codes the information sets of the players in the semantical games. Thus for her first move Eloise knows only Abelard's first choice, and for the second move she knows only Abelard's second choice. The sentence (4) is true in the model M (relatively to the assignmend s) if and only if there is a winning strategy for Eloise in the game G ([phi]; M; g), that is, there are two functions f; g defined only on the possible known moves so that <a; b; f (a); g (b) > is a win for Eloise for any a and b chosen by Abelard. And similarly (4) is false in M if and only if there is a winning strategy for Abelard, that is, there are elements x and y such that <x; y; c; d; g > is a win for Abelard for any choices c and d of Eloise. The truth (M |[=.sup.+]) and falsity (M |[=.sup.-]) of (4) is given by the following translations (we abbreviate [for all][x.sub.0]([x.sub.1]/{[x.sub.0]}) ([there exists][x.sub.2]/{[x.sub.1]}) ([there exists][x.sub.3]/{[x.sub.0], [x.sub.2]}) by H[x.sub.0][x.sub.1][x.sub.2][x.sub.3]):

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

There are IF-sentences in the pure language of identity (e.g. Vx0(3x1/ {[x.sub.0]})) which are neither true nor false in any model which contains at least two elements. It was shown in Sandu (1996 1998), Hyttinen and Sandu (2000) that there is an IF-formula [PSI] (x) in the vocabulary of PA which defines "true-in-M" for every model M of PA; that is

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

for every IF-sentence f in the vocabulary of PA.

As in the previous case, the Liar which now takes the form of a sentence P denoting '[logical not][PSI] ([beta]) [logical not]is neither true nor false (the negation--is interpreted as role switching). One is not able to express this fact in the object language but only in an extension containing classical negation. That negation, however, cannot be any longer interpreted game-theoretically, an interesting fact by itself which cannot be discussed here.

Common to both Kripke's partially interpreted languages and IFlanguages is the fact that [phi] [right arrow] [phi] is defined as [logical not][phi] [disjunction] [phi]. Accordingly, for sentences f like the Liar which are neither true nor false, the implication [phi] [right arrow] [phi] is not valid in Kripke's semantics, neither in IF-logic.

In the paper "The truth schema and the Liar" Stephen Read offers a thought provoking solution to the Liar via a detour through the notion of what a sentence says. According to his view, the Liar turns out to be false, and this can be consistently asserted in the object language. In what follows I am going to question this solution. Before doing it, I will give a short presentation of Parsons' solution to the Liar which, I think, offer an interesting point of comparison with that of Read.

Parsons: quantifier shift

One way to get around the problem discussed in connection with truth-valued gaps has been suggested by Charles Parsons (1983) and Tyler Burge (1979). Their idea is that the truth-predicate as it appears in the Liar applies to different entities than the truth-predicate which is used to classify the Liar sentences. There is one essential modification though with respect to Tarski's theory: it is propositions and not sentences which are the truth-bearers. Consider now the reformulation of the Liar sentence in terms of propositions

(c) c expresses a false proposition.

In order to allow for the possibility of a sentence not expressing a proposition at all, Parsons replaces Tarski's T-schema by the weaker:

[for all]x(x is a proposition and 'p' expresses x, then x is true if and only if p). (6.)

Together with the assumption that propositions are bivalent, (6) entails

[for all]x(x is a proposition and 'p' expresses x, then x is false if and only if [logical not]P). (7.)

Applied to the two Liar sentence, (6) and (7) lead to the conclusion that they do not express a proposition at all. Here is the argument:

Suppose x is a proposition and c expresses x. Then by (6) we get

x is true if and only if c expresses a false proposition. (8)

Suppose x is not true. By existential generalization we infer

[there exists]x(x is a a proposition [conjunction] [logical not] (x is true) [conjunction] c expresses x) (9.)

that is, c expresses a false proposition. But now, from (8) we get that x is true. Thus starting from an arbitrary proposition x that c expresses, we landed in the conclusion that x is true.

[for all] x ((x is a proposition [disjunction] c expresses x) [right arrow] x is true) (10.)

(10) is equivalent with

[logical not][there]x(x is a a proposition [conjunction] [logical not](x is true) a c expresses x). (11.)

But then there is no proposition that c expresses, for if c expressed one, say y, then by (10) y would have to be a true proposition, and that together with (8) implies that c expresses a false proposition. But this is in contradiction with (11). A similar argument shows that the Strengthened Liar (d is the sentence: d does not express a proposition) does not express a proposition either.

As Parson notices, there is a difficulty with his proposal: (c) says of a certain sentence which is (c) itself, that it expresses a false proposition. The argument above has shown that (c) does not express any proposition. But then (c) seems to say something false. Aren't we compelled to say that (c) expresses a false proposition after all? If the answer is yes, it can be shown that a contradiction will arise, and we end up in the same predicament in which we found ourselves with the truth-value gaps solution: the Liar sentence cannot be classified within the object language.

Parsons avoids the contradiction by his shifting quantifier domain assumption. According to it, both 'c expresses a false proposition' and 'c does not express any proposition' are true, but the quantifiers range over a domain of propositions which is different from the propositional domain relevant for assessing (c) in the first place. The former is larger than the latter.

The quantifier-shift proposal has been found attractive for the possibility it opens up for narrowing narrow down the gap between set-theoretic and semantic paradoxes introduced by Ramsey. Here is Parsons' argument. Given a predicate 'Fx', the fact that a is its extension is expressed by the condition

[for all]x(x [member of] a [left right arrow] Fx). (12.)

By analogy with (6) above we have

[for all]y(y is the extension of 'Fx' [right arrow] [for all]x(x [member of] y [left right arrow] Fx)). (13.)

If we now take 'Fx' to be 'x [not member of] 'x, we obtain

[logical not][there exist]y[for all]x(x [member of] y [left right arrow] x [not member of] x). (14.)

But (13) and (14) entail

[logical not][there exists]y(y is the extension of 'x [not member of] 'x). (15.)

Parsons adopts here the same solution he proposed for the Liar, that is, he takes the two quantifiers in (13) and (15) to range over distinct domains (Parsons 231-232).

Read: the Liar is false

Read takes seriously what Tarski thought at a certain moment to be the philosophical motivation for his theory of truth, namely a correspondence theory encoded in the principle

(CP) A sentence is true if and only if things are as the sentence says they are.

Read abbreviates 'x says that p' by 'x : p' where 'x' designates a sentence. The notion of 'saying that' is a technical notion, a close relative to Frege's notion of content in the Begriffsschrift according to which the content of a sentence comprises all its logical consequences. Read does not explicitly draw the analogy with Frege, but he nevertheless wants his notion of saying that to be closed under the principle

(K) [for all]p,q(p [??] q) [right arrow] (x : p [??] x : q)

Where '[??]' is strict implication and '[right arrow]' is material implication. It is clear that a sentence says, in this technical sense, more than what it says in the intuitive sense. The crux of Read's proposal is to replace Tarski's T-schema by

T(x) [??] [for all]p(x : p [right arrow] p). (A)

In other words:

(S) x is true if and only if things are wholly as x says they are. Read is aware that (A) makes true all sentences which says nothing and is thus in need of qualification. The way he qualifies it is to conjoin [there exists]p(x : p) to the right-hand side of (A). For reasons of simplicity, this proposal is not followed but Read assumes, instead, that each sentence to which (A) is applied says something. I shall return to this point later on.

According to Read, the point of replacing the (T)-schema with the (A)schema is that, unlike the former, all the instances of the latter are true. In this new setting, the liar sentence c turns out to be false without contradiction, and, amazingly, the laws of classical logic still hold. The argument is resumed below.

The liar sentence c says that -Tr(c). It may say more, say, -Tr(c) a q. This together with (A) entails

Tr(c) [??] [for all]p(c : p [right arrow] p). (16.)

But given that c says that [logical not]Tr(d) [conjunction] q and that is all that c says, we get from (16)

Tr(c) [??][logical not]Tr(c) [conjunction] q. (17.)

Thus

[logical not]Tr(c) [??][logical not]([logical not]Tr(c) [conjunction] q). (18.)

which is equivalent with

[logical not]Tr(c) [??] Tr(c) [disjunction] [logical not]q. (19.)

(19) and (K) entail

c : Tr(c) [disjunction] [logical not]q (20.)

which in conjunction with c : q yields

c : (Tr(c) [disjunction] [logical not]q) [conjuction] q (21.)

whence

c: (Tr(c). (22.)

The argument has showed that if c says that [logical not]Tr(c) it also says that Tr(c) as well, i.e. c : [logical not]Tr(c) [conjunction] Tr(c). Thus by (A)

Tr(c) [??] ([logical not]Tr(c) [conjuction] Tr(c) ...) (23.)

whence

[logical not]Tr(c). (24.)

The liar sentence is thus not true. Read's conclusion is the following:

[c] cannot be true, for to be true, it would have to be both true and not true. Nothing can be both true and not true. So c cannot be true ... The solution is ready to hand. Abandon (T) and realize that the correct theory of truth is given by (A) ... governing all well-formed sentences in a semantically closed language. As applied to c, we obtain the correct truth-condition: Tr(c) p??[ ([logical not]Tr(c) [conjunction] Tr(c)). (Read 10)

Read's view has some close analogy with Parson's when the later is reformulated to apply to sentences. Parsons himself de.nes such an explicit truth-predicate by

Tr(y) [left right arrow] [there exists]x(x is a a proposition [conjunction] (x is true) [conjunction] y expresses x) ((*))

and then points out that together with (6) it implies

[there exists]x(x is a a proposition [conjunction] 'p' expresses x) [right arrow] (Tr('p') [left right arrow] p). ((T*))

Obviously, for sentences 'p' which do not express a proposition, we will not be able to assert the consequent of (T*).

Analogously, for falsity, he ends up with

[there exists]x (x is a a proposition [conjunction] 'p' expresses x) [right arrow] (F('p') [right arrow] [logical not]p).

((F*))

Let us represent propositions by second-order propositional variables. Then (*) becomes

Tr(x) [??] [there exists]p(p is a proposition [conjunction] x expresses p [conjunction] p). (25.) Analogously, we may define falsity by:

F(x) [??] [there exists]p(p is a proposition [conjunction] x expresses p [conjunction] [logical not]p). (26.)

Making explicit Read's abbreviation 'x : p', his schema (A) becomes:

Tr(x) [??] [for all]p(p is a proposition [conjunction] x says that p [right arrow] p). (27.)

The analogy between (25) and (27) is now straightforward:

For Parsons, a sentence is true exactly when it expresses a proposition which is the case. For Read, a sentence is true exactly when everything it says is the case.

Unlike Parsons, Reads claims that the Liar sentences express propositions (i.e., say something) and have truth-values. The key ingredient in his system which allows him to avoid a contradiction is his technical notion of "saying that".

Recall Parsons' analysis of the Liar: an argument has shown that the Liar sentence c does not express a proposition at all. Hence the Liar sentence asserts something false. But this is what the Liar sentence c says; hence it is true after all. In the end, the Liar sentence which is neither true nor false, receives a determinate truth-value when the domain of the quantifiers shift.

Read's solution is different. He has produced an argument showing that the Liar sentence c is not true (or false). One may now be tempted to adopt the same line of reasoning as above and continue

"But this is what the Liar says, hence the Liar is true after all".

If this could be done, a contradiction would be derived. The point of the present solution is that one cannot continue in the way just described. The particularity of Read's approach is that the Liar does not only say that it is not true, it also says that it is true. Therefore, in order for the

Liar to be true, everything the Liar says must be the case. But as Read puts it, "nothing can be both true and false".

I find two problems with this solution (apart from quantifications over propositions, etc).

The minor problem is the way it deals with falsity. Recalling Read's provision devised to block his schema (A) to apply to sentences which say nothing, (27) should be rephrased as:

Tr(x) [??] [there exists]p(p is a proposition [conjunction] x says that p) [conjunction] [for all]p(p is a proposition a x says that p [right arrow] p). (28.)

Reads does not deal with falsity explicitly, but given that he accepts the principle of bivalence, (28) entails:

F(x) [??] [for all]p(p is a proposition [right arrow] [logical not] (x says that p)) [disjunction] [there exists]p(p is a proposition [conjunction] x says that p [conjunction] [logical not]p) (28)

That is, a sentence x is false if it either does not say anything or it says something that is not the case. In other words, all sentences which say nothing are false. This conclusion, although philosophically defensible, is absurd in my opinion, but I am not going to dwell upon it.

The feature in Read's treatment that concerns me here is the way his notion of "saying that" is applied in the proof. He starts from the instance

Tr(c) [??] [for all]p (c : p [right arrow] p)

and then from the assumption that [logical not]Tr(c) [conjunction] q is all that c says, he derives

Tr(c) [??][logical not]Tr(c) a q.

But why should we assume that everything the Liar says is expressible by one single proposition? In fact, we should not, given the fact that the Liar says of it both that it is true and that it is false. Hence by the principle (K), for every p, the Liar says that p. In other words, there are infinitely many propositions expressed by the Liar. Accordingly, (23) cannot be a formula of the relevant object language (unless this language is infinitary): when we explicitate the dots on the right side of the equivalence, we obtain an infinite conjunction. For this reason, Read's argument to the effect that the Liar is false but not true, can be properly carried out only in a (n infinitary) metalanguage in which propositions like the ones expressed by the Liar can be represented. This is the price he has to pay for the acceptance of the (A)-scheme and of the principle (K). Parsons can attribute a a determinate truth-value to the Liar only after shifting the domain of propositions expressible by it. Similarly, Kripke can classify the Liar only in the metalanguage in which one has available contradictory negation, and the same goes for IF-logic. In Read's case, the proposition expressed by the Liar can be shown to receive a determinate truth-value by appeal to an argument which, when properly expressed, requires an infinitary language. The possibility of assigning a determinate truth-value to the Liar while sticking to the rules of classical logic has, in the end, turned out to be illusory.

BIBLIOGRAPHICAL REFERENCES

Hintikka, J. The principles of mathematics revisited. Cambridge: Cambridge University Press, 1996. Print.

Hintikka, J. & Sandu, G. "Informational independence as a semantical phenomenon". J. Fenstad et al. (Eds.). Logic, methodology and philosophy of science VIII. Amsterdam: Elsevier Science Publishers B.V., 1989. Print.

--. "Game-theoretical semantics". J. van Benthem & A. ter Meulen. (Eds.). Handbook of logic and language. Amsterdam: Elsevier, 1997. Print.

Hodges, W. "Compositional semantics for a language with imperfect information". Journal of the IGPL 5. 1997: 539-563. Oxford. Print.

Hyttinen, T. & Sandu, G. "Henkin quantifiers and the definability of Truth". Journal of Philosophical Logic 29, 2000: 507-527. Springer. Print.

Kripke, S. "Outline of a theory of truth". Journal of Philosophy 72. 1975: 690-716. Columbia University. Print.

Martin, R. L. (Ed.). Recent essays on truth and the Liar paradox. Oxford: Oxford University Press, 1984. Print.

Martin, R. L. & Woodruff, P. W. "On representing 'true-in-L' in L". Philosophia 5. 1975: 213-217. Springer. Print.

Parsons, Ch. Mathematics in philosophy. New York: Cornell University Press, 1983. Print.

Read, S. L. "The Truth Schema and the Liar". S. Rahman, T. Tulenheimo, & E. Genot. (Eds.). Unity truth and the Liar. Amsterdam: Springer, 2008a. Print.

Sandu, G. "IF first-order Logic, Kripke, and 3-Valued logic". Appendix to Hintikka. J. Hintikka. The principles of mathematics revisited. Cambridge: Cambridge University Press, 1996. Print.

--. "IF-logic and truth-definition". Journal of Philosophical Logic 27. 1998: 143-164. Columbia University. Print.

Tarski, A. "The concept of truth in formalized languages". A. Tarski and J. Corcoran. (Eds). Logic, semantics, metamathematics. Indianapolis: Hackett, 1983. Print.

Gabriel Sandu

Institut D'histoire Et De Philosophie Des Sciences Et Des Techniques: IHPST, Francia. University of Helsinki, Finlandia. discufilo@ucaldas.edu.co

RECIBIDO EL 30 DE JULIO DE 2011 Y APROBADO EL 3 DE OCTUBRE DE 2011

Printer friendly Cite/link Email Feedback | |

Title Annotation: | articulo en ingles |
---|---|

Author: | Sandu, Gabriel |

Publication: | Discusiones Filosoficas |

Date: | Jul 1, 2012 |

Words: | 4109 |

Previous Article: | Irony, knowledge and subjectivity. A philosophical reading of Michel de Montaigne's essays/Ironia, conocimiento y subjetividad. Una lectura... |

Next Article: | Virtual worlds, fiction, and reality/Mundos virtuales, ficcion y realidad. |

Topics: |