I argue that there is nothing about truth as such that prevents contradictions from being true. I argue this by considering the main standard accounts of truth, and showing that they are quite compatible with the existence of true contradictions. Indeed, in many cases, they are actually friendly to the idea.

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

In Contradiction advocates and defends the view that there are true contradictions, a view that flies in the face of orthodoxy in Western philosophy since Aristotle. The book has been at the center of the controversies surrounding dialetheism ever since its first publication in 1987. This second edition of the book substantially expands upon the original in various ways, and also contains the author’s reflections on developments over the last two decades. Further aspects of dialetheism are discussed in the companion (...) volume, Doubt Truth to be a Liar, also published by Oxford University Press in 2006. (shrink)

What is truth. Paul Horwich advocates the controversial theory of minimalism, that is that the nature of truth is entirely captured in the trivial fact that each proposition specifies its own condition for being true, and that truth is therefore an entirely mundane and unpuzzling concept. The first edition of Truth, published in 1980, established itself as the best account of minimalism and as an excellent introduction to the debate for students. For this new edition, Horwich has refined and developed (...) his treatment of the subject in the light of subsequent discussions, while preserving the distinctive format that made the earlier edition so successful. (shrink)

Paraconsistent logics are often semantically motivated by considering "impossible worlds." Lewis, in "Logic for equivocators," has shown how we can understand paraconsistent logics by attributing equivocation of meanings to inconsistent believers. In this paper I show that we can understand paraconsistent logics without attributing such equivocation. Impossible worlds are simply sets of possible worlds, and inconsistent believers (inconsistently) believe that things are like each of the worlds in the set. I show that this account gives a sound and complete semantics (...) for Priest's paraconsistent logic LP, which uses materials any modal logician has at hand. (shrink)

This book expounds a system of ideas about the nature of mathematics which Michael Resnik has been elaborating for a number of years. In calling mathematics a science he implies that it has a factual subject-matter and that mathematical knowledge is on a par with other scientific knowledge; in calling it a science of patterns he expresses his commitment to a structuralist philosophy of mathematics. He links this to a defense of realism about the metaphysics of mathematics--the view that mathematics (...) is about things that really exist. (shrink)

Quine's areas of interest are panoramic, as this lively book amply demonstrates.

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.

Consequence is at the heart of logic; an account of consequence, of what follows from what, offers a vital tool in the evaluation of arguments. Since philosophy itself proceeds by way of argument and inference, a clear view of what logical consequence amounts to is of central importance to the whole discipline. In this book JC Beall and Greg Restall present and defend what thay call logical pluralism, the view that there is more than one genuine deductive consequence relation, a (...) position which has profound implications for many linguists as well as for philosophers. We should not search for one true logic, since there are many. (shrink)

Philosophical work on truth covers two streams of inquiry, one concerning the nature (if any) of truth, the other concerning truth-related paradox, especially the Liar. For the most part these streams have proceeded fairly independently of each other. In his "Deflationary Truth and the Liar" (JPL 28:455-488, 1999) Keith Simmons argues that the two streams bear on one another in an important way; specifically, the Liar poses a greater problem for deflationary conceptions of truth than it does for inflationist conceptions. (...) We agree with Simmons on this point; however, we disagree with his main conclusion. In a nutshell, Simmons' main conclusion is that deflationists can solve the Liar only by compromising deflationism. If Simmons is right, then deflationists cannot solve the Liar paradox. In this paper we argue that, pace Simmons, there is an approach to the Liar that is available to deflationists, namely dialetheism. (shrink)

They reject the correspondence theory, insist truth is anemic, and advance an "anti-theory" of truth that is essentially a collection of platitudes: "Snow is white" is true if and only if snow is white; "Grass is green" is true if and only if grass is green. According to disquotationalists, the only profound insight about truth is that it lacks profundity. David contrasts the correspondence theory with disquotationalism and then develops the latter position in rich detail - more than has been (...) available in previous literature - to show its faults. (shrink)

B. H. Slater has argued that there cannot be any truly paraconsistent logics, because it's always more plausible to suppose whatever "negation" symbol is used in the language is not a real negation, than to accept the paraconsistent reading. In this paper I neither endorse nor dispute Slater's argument concerning negation; instead, my aim is to show that as an argument against paraconsistency, it misses (some of) the target. A important class of paraconsistent logics - the preservationist logics - are (...) not subject to this objection. In addition I show that if we identify logics by means of consequence relations, at least one dialetheic logic can be reinterpreted in preservationist (non-dialetheic) terms. Thus the interest of paraconsistent consequence relations - even those that emerge from dialetheic approaches - does not depend on the tenability of dialetheism. Of course, if dialetheism is defensible, then paraconsistent logic will be required to cope with it. But the existence (and interest) of paraconsistent logics does not depend on a defense of dialetheism. (shrink)