Online research in philosophy

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

A number of philosophers have argued that the key to understanding the semantic paradoxes is to recognize that truth is essentially relative to context. All of these philosophers have been motivated by the idea that once a liar sentence has been uttered we can ‘step back’ and, from the point of view of a different context, judge that the liar sentence is true. This paper argues that this ‘stepping back’ idea is a mistake that results from failing to relativize truth to context in the first place. Moreover, context-relative liar sentences, such as ‘This sentence is not true in any context’ present a paradox even after truth has been relativized to context. Nonetheless, the relativization of truth to context may offer us the means to avoid paradox, if we can justifiably deny that a sentence about a context can be true in the very context it is about.

It has been proposed that the law of non-contradiction be revised to permit the simultaneous truth and falsity of the key sentences of the logical paradoxes, e.g., This sentence is false. In an attempt to show to what extent this bizarre suggestion of inconsistent models or truth-value gluts is a coherent suggestion it is proved that a first-order language for number theory can be semantically closed by having its own global truth predicate under some non-standard interpretation and thus that it actually can contain the Liar sentence. It is proved that in this interpretation the Liar sentence is both true and false, although not every sentence is.

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.

emantic pathologies of self-reference include the Liar (‘this sentence is false’), the Truth-Teller (‘this sentence is true’) and the Open Pair (‘the neighbouring sentence is false’ ‘the neighbouring sentence is false’). Although they seem like perfectly meaningful declarative sentences, truth value assignment to their uses seems either inconsistent (the Liar) or arbitrary (the Truth-Teller and the Open-Pair). These pathologies thus call for a resolution. I propose such a resolution in terms of relative-truth: the truth value of a pathological sentence use varies with the context of its assessment. It always has a determinate truth value, but this truth value is relative to the context of its assessment. I start by considering a fairly esoteric pathology: the Truth-Teller, that is, sentences which assert nothing but their own truth. I make the case that truth value of a given truth-teller use must in general depend on the context of its assessment, and that one can indeed change its truth value at will. I then show how the notion of assessment-sensitive truth can help us provide solutions to other semantic paradoxes such as the Liar and the Open Pair and that those solutions are immune to revenge problems. I conclude by situating my proposal among the main approaches to the semantic paradoxes, and by drawing a very broad moral about pathological self-reference and intentionality.

Consider the following sentences: The neighbouring sentence is not true. The neighbouring sentence is not true. Call these the no-no sentences. Symmetry considerations dictate that the no-no sentences must both possess the same truth-value. Suppose they are both true. Given Tarski’s truth-schema—if a sentence S says that p then S is true iff p—and given what they say, they are both not true. Contradiction! Conclude: they are not both true. Suppose they are both false. Given Tarski’s falsity-schema—if a sentence S says that p then S is false iff not-p—and given what they say, they are both true, and so not false. Contradiction! Conclude: they are not both false. Thus, despite their symmetry, the no-no sentences must differ in truth-value. Such is the no-no paradox.[1] Sorensen (2001, 2005a, 2005b) has argued that: (1) The no-no paradox is not a version of the liar but rather a cousin of the truth-teller paradox. (2) Even so, the no-no paradox is more paradoxical than the truth-teller. (3) The no-no and truth-teller sentences have groundless truthvalues—they are bivalent but give rise to “truthmaker gaps”. (4) It is metaphysically impossible to know these truth-values. (5) A truthmaker gap response to the no-no paradox provides reason to accept a version of epistemicism. In this paper it is shown that a truthmaker gap solution to the no-no and truth-teller paradoxes runs afoul of the dunno-dunno paradox, the strengthened no-no paradox, and the strengthened truth-teller paradox. In consequence, the no-no paradox is best seen as a form of the liar paradox. As such, it cannot provide a case for epistemicism.

We describe the earliest occurrences of the Liar Paradox in the Arabic tradition. e early Mutakallimūn claim the Liar Sentence is both true and false; they also associate the Liar with problems concerning plural subjects, which is somewhat puzzling. Abharī (1200-1265) ascribes an unsatisfiable truth condition to the Liar Sentence—as he puts it, its being true is the conjunction of its being true and false—and so concludes that the sentence is not true. Tūsī (1201-1274) argues that self-referential sentences, like the Liar, are not truth-apt, and defends this claim by appealing to a correspondence theory of truth. Translations of the texts are provided as an appendix.

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

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

If we try to evaluate the sentence on line 1 we ¯nd ourselves going in an unending cycle. For this reason alone we may conclude that the sentence is not true. Moreover we are driven to this conclusion by an elementary argument: If the sentence is true then what it asserts is true, but what it asserts is that the sentence on line 1 is not true. Consequently the sentence on line 1 is not true. But when we write this true conclusion on line 2 we ¯nd ourselves repeating the very same sentence. It seems that we are unable to deny the truth of the sentence on line 1 without asserting it at the same time.