Truth values are, properly understood, merely proxies for the various relations that can hold between language and the world. Once truth values are understood in this way, consideration of the Liar paradox and the revenge problem shows that our language is indefinitely extensible, as is the class of truth values that statements of our language can take – in short, there is a proper class of such truth values. As a result, important and unexpected connections emerge between the semantic paradoxes (...) and the set-theoretic paradoxes. (shrink)

Over the past 25 years, Graham Priest has ably presented and defended dialetheism, the view that certain sentences are properly characterized as true with true negations. Our goal here is neither to quibble with the tenability of true, assertable contradictions nor, really, with the arguments for dialetheism. Rather, we wish to address the dialetheist's treatment of cases of semantic pathology and to pose a worry for dialetheism that has not been adequately considered. The problem that we present seems to have (...) broader bite, afflicting both consistent and inconsistent proposals for resolving semantic pathology. Thus, while our primary goal is to uncover some important connections between dialetheism, semantic pathology, and other, more general issues, the problem that we pose might be a worry for anyone who aims to resolve semantic pathology - consistently or not. (shrink)

Knowledge and its Limits presents a systematic new conception of knowledge as a kind of mental stage sensitive to the knower's environment. It makes a major contribution to the debate between externalist and internalist philosophies of mind, and breaks radically with the epistemological tradition of analyzing knowledge in terms of true belief. The theory casts new light on such philosophical problems as scepticism, evidence, probability and assertion, realism and anti-realism, and the limits of what can be known. The arguments are (...) illustrated by rigorous models based on epistemic logic and probability theory. The result is a new way of doing epistemology and a notable contribution to the philosophy of mind. (shrink)

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. (shrink)

Many topics have not been covered, in most cases because I don't know quite what to say about them. Would it be possible to add a decidability predicate to the language? What about stronger connectives, like exclusion negation or Lukasiewicz implication? Would an expanded language do better at expressing its own semantics? Would it contain new and more terrible paradoxes? Can the account be supplemented with a workable notion of inherent truth (see note 36)? In what sense does stage semantics (...) lie “between” fixed point and stability semantics? In what sense, exactly, are our semantical rules inconsistent? In what sense, if any, does their inconsistency resolve the problem of the paradoxes?The ideals of strength, grounding, and closure together define an intuitively appealing conception of truth. Nothing would be gained by insisting that it was the intuitive conception of truth, and in fact recent developments make me wonder whether such a thing exists. However that may be, until the alternatives are better understood it would be foolish to attempt to decide between them. Truth gives up her secrets slowly and grudgingly, and loves to confound our presumptions. (shrink)

In Vagueness and Contradiction (2001), Roy Sorensen defends and extends his epistemic account of vagueness. In the process, he appeals to connections between vagueness and semantic paradox. These appeals come mainly in Chapter 11, where Sorensen offers a solution to what he calls the no-no paradox—a “neglected cousin” of the more famous liar—and attempts to use this solution as a precedent for an epistemic account of the sorites paradox. This strategy is problematic for Sorensen’s project, however, since, as we establish, (...) he fails to resolve the semantic pathology of the no-no paradox. (shrink)

Roy Sorenson offers a unique exploration of an ancient problem: vagueness. Did Buddha become a fat man in one second? Is there a tallest short giraffe? According to Sorenson's epistemicist approach, the answers are yes! Although vagueness abounds in the way the world is divided, Sorenson argues that the divisions are sharp; yet we often do not know where they are. Written in Sorenson'e usual inventive and amusing style, this book offers original insight on language and logic, the way world (...) is, and our understanding of it. (shrink)

A formal theory of truth, alternative to tarski's 'orthodox' theory, based on truth-value gaps, is presented. the theory is proposed as a fairly plausible model for natural language and as one which allows rigorous definitions to be given for various intuitive concepts, such as those of 'grounded' and 'paradoxical' sentences.

It is argued that Yablo’s Paradox is not strictly paradoxical, but rather ‘ω-paradoxical’. Under a natural formalization, the list of Yablo sentences may be constructed using a diagonalization argument and can be shown to be ω-inconsistent, but nonetheless consistent. The derivation of an inconsistency requires a uniform fixed-point construction. Moreover, the truth-theoretic disquotational principle required is also uniform, rather than the local disquotational T-scheme. The theory with the local disquotation T-scheme applied to individual sentences from the Yablo list is also (...) consistent. (shrink)

The question, "Which modal logic is the right one for logical necessity?," divides into two questions, one about model-theoretic validity, the other about proof-theoretic demonstrability. The arguments of Halldén and others that the right validity argument is S5, and the right demonstrability logic includes S4, are reviewed, and certain common objections are argued to be fallacious. A new argument, based on work of Supecki and Bryll, is presented for the claim that the right demonstrability logic must be contained in S5, (...) and a more speculative argument for the claim that it does not include S4.2 is also presented. (shrink)

In this rigorous investigation into the logic of truth Anil Gupta and Nuel Belnap explain how the concept of truth works in both ordinary and pathological..