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.

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)

In Kripke’s classic paper on truth it is argued that by adding a new semantic category different from truth and falsity it is possible to have a language with its own truth predicate. A substantial problem with this approach is that it lacks the expressive resources to characterize those sentences which fall under the new category. The main goal of this paper is to offer a refinement of Kripke’s approach in which this difficulty does not arise. We tackle this characterization (...) problem by letting certain sentences belong to more than one semantic category. We also consider the prospect of generalizing this framework to deal with languages containing vague predicates. (shrink)

We have seen that proofs of soundness of (Boolean) DS, EFQ and of ABS — and hence the legitimation of these inferences — can be achieved only be appealing to the very form of reasoning in question. But this by no means implies that we have to fall back on classical reasoning willy-nilly. Many logical theories can provide the relevant boot-strapping. Decision between them has, therefore, to be made on other grounds. The grounds include the many criteria familiar from the (...) philosophy of science: theoretical integrity (e.g., paucity of ad hoc hypotheses), adequacy to the data (explaining the data of inference —all inferences, not just those chosen from consistent domains!) and so on. This paper has not attempted to address these issues in general. All it demonstrates is that the charge that a dialetheist solution to the semantic paradoxes can be maintained only by making some intelligible notion ineffable cannot be made to stick. The dialetheist has a coherent position, endorsing the T-scheme, but rejecting DS, EFQ (even Boolean DS and EFQ) and ABS. And any argument to the effect that the relevant notions are both ineffable and intelligible begs the question. The case against consistent “solutions” to the semantic paradoxes therefore remains intact. (shrink)

Of all the cases made against classical logic, Michael Dummett's is the most deeply considered. Issuing from a systematic and original conception of the discipline, it constitutes one of the most distinctive achievements of twentieth century British philosophy. Although Dummett builds on the work of Brouwer and Heyting, he provides the case against classical logic with a new, explicit and general foundation in the philosophy of language. Dummett's central arguments, widely celebrated if not widely endorsed, concern the implications of the (...) relation between meaning and use for both the inference rules that govern logical connectives and the relation between truth and its recognition. It is less often noted that Dummett has a further argument against classical logic, one based on the semantic and set-theoretic paradoxes. That is the topic of this paper. (shrink)

Kripke’s theory of truth succeeded in providing a trivalent semantics for a language that contains its own truth predicate and means of self-reference; but it did so by radically restricting the expressive power of the logic. In Kripke’s analysis, the Liar (e.g. This very sentence is not true) receives the indeterminate truth value; but the logic cannot express the fact that the Liar is something other than true: in order to do so, a weak negation not* would be needed, but (...) it would also make the logic inconsistent (because the ‘Super Liar’ This very sentence is not* true could not be assigned any truth value). Taking a hint from the quantificational form of the problematic sentences (… is something other than true), we define a hierarchy of negations which each quantifies over a domain of truth values, assimilated to ordinals. The resulting logic has as many negations and truth values as there are ordinals. Unlike Kripke’s logic, it enjoys a form of expressive completeness. And although the logic is not monotonic, we show that under broad conditions we can construct a variety of fixed points; one of them emulates Kripke’s ‘least fixed point’, while another one assigns a different truth value to each Super Liar. (shrink)