Online research in philosophy

This volume includes a target paper, taking up the challenge to revive, within a modern (formal) framework, a medieval solution to the Liar Paradox which did ...

The Liar sentence is here the sentence ‘The Liar sentence is not true.’. “Consider a Liar sentence: ...let us take a sentence l which says l is not true. W e can, informally, reason as..

Abstract: A Liar would express a proposition that is true and not true. A Liar Paradox would, per impossibile, demonstrate the reality of a Liar. To resolve a Liar Paradox it is sufficient to make out of its demonstration a reductio of the existence of the proposition that would be true and not true, and to "explain away" the charm of the paradoxical contrary demonstration. Persuasive demonstrations of the Liar Paradox in this paper trade on allusive scope-ambiguities of English definite descriptions, and can seem confirmed by symbolizations in a Fregean theory in which scopes of definite descriptions are determinate. Symbolizing instead in a Russellian description theory in which alternative scopes are possible reveals that however the scope-ambiguities of the demonstration are settled the result is unsound.

The paper argues that the liar paradox teaches us these lessons about English. First, the paradox-yielding sentence is a sentence of English that is neither true nor false in English. Second, there is no English name for any such thing as a set of all and only true sentences of English. Third, ‘is true in English’ does not satisfy the axiom of comprehension.

Here is the liar paradox. We have a sentence, (L), which somehow says of itself that it is false. Suppose (L) is true. Then things are as (L) says they are. (For it would appear to be a mere platitude that if a sentence is true, then things are as the sentence says they are.) (L) says that (L) is false. So, (L) is false. Since the supposition that (L) is true leads to contradiction, we can assert that (L) is false. But since this is just what (L) says, (L) is then true. (For it would appear to be a mere platitude that if things are as a given sentence says they are, the sentence is true.) So (L) is true. So (L) is both true and false. Contradiction.

A new solution to the liar paradox is developed using the insight that it is illegitimate to even suppose (let alone assert) that a liar sentence has a truth-status (true or not) on the grounds that supposing this sentence to be true/not-true essentially defeats the telos of supposition in a readily identifiable way. On that basis, the paradox is blocked by restricting the Rule of Assumptions in Gentzen-style presentations of the sequent-calculus. The lesson of the liar is that not all assumptions are for free. One merit of this proposal is that it is free from the revenge problem.

A view often expressed is that to classify the liar sentence as neither true nor false is satisfactory for the simple liar but not for the strengthened liar. I argue that in fact it is equally unsatisfactory for both liars. I go on to discuss whether, nevertheless, Kripke''s theory of truth represents an advance on that of Tarski.

One recently proposed solution to the Liar paradox is the contextual theory of truth. Tyler Burge (1979) argues that truth is an indexical notion and that the extension of the truth predicate shifts during Liar reasoning. A Liar sentence might be true in one context and false in another. To many, contextualism seems to capture our pre-theoretic intuitions about the semantic paradoxes; this is especially due to its reliance on the so-called Revenge phenomenon. I, however, show that Super-Liar sentences (where a Super-Liar sentence is a sentence which says of itself that it is not true in any context) generate a significant problem for Burge’s contextual theory of truth.

The Liar Paradox is an argument that arrives at a contradiction by reasoning about a Liar Sentence. The classical Liar Sentence is the self-referential sentence “This sentence is false.”.

“To this day, partiality approaches to the paradox have been dogged by the so-called ‘Strengthened Liar’. .... The Strengthened Liar observes that if we follow a partiality theorist and declare the Liar sentence* neither true nor false (or failing to express a proposition,. or suffering from some sort of grave semantic defect), then the paradox is only pushed back. For we can go on to conclude that whatever this status may be, it implies that the Liar sentence is not true. This claim is true, but it is just the Liar sentence again.* We are back in paradox.” (Glanzberg 2002, p. 468, bold emphasis added.) Cf.: “We are back in our contradiction,”(Glanzberg 2001, p. 222). *The Liar sentence intended is evidently the sentence ‘the Liar sentence is not true’, and, the Liar sentence = ‘the Liar sentence is not true’. Cf.: “Consider a Liar sentence: ...let us take a sentence l which says l is not true. We can, informally, reason as..