Dialetheism is the view that some contradictions are true. This is a view which runs against orthodoxy in logic and metaphysics since Aristotle, and has implications for many of the core notions of philosophy. Doubt Truth to Be a Liar explores these implications for truth, rationality, negation, and the nature of logic, and develops further the defense of dialetheism first mounted in Priest's In Contradiction, a second edition of which is also available.

This book advocates and defends the view that there are true contradictions (dialetheism), a view that has flown in the face of orthodoxy in Western philosophy since Aristotle's time. The book has been at the centre of the controversies surrounding dialetheism ever since the first edition was published in 1987. This text contains the second edition of the book. It expands upon the original in various ways, and also contains the author's reflections on developments over the last two decades.

This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as tableau proofs, and (...) their relation to current philosophical issues and debates are discussed. Students with a basic understanding of classical logic will find this book an invaluable introduction to an area that has become of central importance in both logic and philosophy. It will also interest people working in mathematics and computer science who wish to know about the area. (shrink)

Fifteen leading philosophers explore metaphysical foundationalism, the idea that reality has an over-arching hierarchical structure ordered by relations of metaphysical dependence, where chains of entities ordered by those dependence relations terminate in something fundamental.

Graham Priest presents a ground-breaking account of the semantics of intentional language--verbs such as "believes," "fears," "seeks," or "imagines." Towards Non-Being proceeds in terms of objects that may be either existent or non-existent, at worlds that may be either possible or impossible. The book will be of central interest to anyone who is concerned with intentionality in the philosophy of mind or philosophy of language, the metaphysics of existence and identity, the philosophy of fiction, the philosophy of mathematics, or cognitive (...) representation in AI. (shrink)

Graham Priest presents an exploration of the development of Buddhist metaphysics, which is viewed through the lens of the catuskoti. In its earliest and simplest form this is a logical/metaphysical principle which says that every claim is true, false, both, or neither; but Priest shows how the principle itself evolves as the metaphysics develops.

Graham Priest presents an original exploration of questions concerning the one and the many. He covers a wide range of issues in metaphysics--unity, identity, grounding, mereology, universals, being, intentionality and nothingness--and draws on Western and Asian philosophy as well as paraconsistent logic to offer a radically new treatment of unity.

This is a philosophical investigation of the nature of the limits of thought. Drawing on recent developments in the field of logic, Graham Priest shows that the description of such limits leads to contradiction, and argues that these contradictions are in fact veridical. Beginning with an analysis of the way in which these limits arise in pre-Kantian philosophy, Priest goes on to illustrate how the nature of these limits was theorised by Kant and Hegel. He offers new interpretations of Berkeley's (...) master argument for idealism and Kant on the antimonies. He explores the paradoxes of self reference, and provides a unified account of the structure of such paradoxes. The book concludes by tracing the theme of the limits of thought in modern philosophy of language, including discussions of the ideas of Wittgenstein and Derrida. (shrink)

This is the first introductory textbook on non-classical propositional logics.

A counterpossible conditional is a counterfactual with an impossible antecedent. Common sense delivers the view that some such conditionals are true, and some are false. In recent publications, Timothy Williamson has defended the view that all are true. In this paper we defend the common sense view against Williamson’s objections.

Published in the American Journal of Bioethics.

The article looks at the structure of impossible worlds, and their deployment in the analysis of some intentional notions. In particular, it is argued that one can, in fact, conceive anything, whether or not it is impossible. Thus a semantics of conceivability requires impossible worlds.

In Contradiction advocates and defends the view that there are true contradictions (dialetheism), 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 in1987. 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 byOxford University Press in 2006. (shrink)

The Law of Non-Contradiction - that no contradiction can be true - has been a seemingly unassailable dogma since the work of Aristotle, in Book G of the Metaphysics. It is an assumption challenged from a variety of angles in this collection of original papers. Twenty-three of the world's leading experts investigate the 'law', considering arguments for and against it and discussing methodological issues that arise whenever we question the legitimacy of logical principles. The result is a balanced inquiry into (...) a venerable principle of logic, one that raises questions at the very centre of logic itself. The aim of this volume is to present a comprehensive debate about the Law of Non-Contradiction, from discussions as to how the law is to be understood, to reasons for accepting or re-thinking the law, and to issues that raise challenges to the law, such as the Liar Paradox, and a 'dialetheic' resolution of that paradox. The editors contribute an introduction which surveys the issues and serves to frame the debate, and a useful bibliography offering a guide to further reading. This volume will be of interest to anyone working on philosophical logic, and to anyone who has ever wondered about the status of logical laws and about how one might proceed to mount arguments for or against them. (shrink)

Mathematical pluralism is the view that there is an irreducible plurality of pure mathematical structures, each with their own internal logics; and that qua pure mathematical structures they are all equally legitimate. Mathematical pluralism is a relatively new position on the philosophical landscape. This Element provides an introduction to the position.

In this paper, I propose a general model for the rational resolution of disputes about logic, and discuss a number of its features. These include its dispensing with a traditional notion of the a priori in logic, and some objections to which this might give rise. © 2017 Elsevier B.V., All rights reserved.

"Paradox drives a good deal of philosophy in every tradition. In the Indian and Western traditions, there is a tendency among many philosophers to run from contradiction and paradox. If and when a contradiction appears in a theory, it is regarded as a sure sign that something has gone amiss. This aversion to paradox commits them, knowingly or not, to the view that reality must be consistent. In East Asia, however, philosophers have reacted to paradox differently. Many East Asian philosophers-both (...) in the Daoist and the Buddhist traditions-have openly embraced paradox. They have taken compelling arguments for contradictory positions to suggest that the world is-at least in some respects, and often in very deep respects-inconsistent, and that our best theories of the world will therefore be inconsistent. This book is an initial survey of the writings of some influential East Asian thinkers who were committed to paradox, and for good reason. Their acceptance of contradiction allowed them to develop important insights that evaded those who consider paradox out of bounds"--. (shrink)

The paper contains a short story which is inconsistent, essentially so, but perfectly intelligible. The existence of such a story is used to establish various views about truth in fiction and impossible worlds.

Graham Priest presents a new, expanded edition of his highly original exploration of the nature and limits of thought. Embracing contradiction and challenging traditional logic, Priest engages with issues across philosophical borders, from the historical to the modern, from Eastern to Western, and from the continental to the analytic. He has added new chapters on European and Indian philosophy, and reflections on responses to the book. This clear, provocative, and systematic work offers a radically different approach to philosophy and logic.

A dialetheia is a sentence, A, such that both it and its negation, ¬A, are true (we shall talk of sentences throughout this entry; but one could run the definition in terms of propositions, statements, or whatever one takes as her favourite truth-bearer: this would make little difference in the context). Assuming the fairly uncontroversial view that falsity just is the truth of negation, it can equally be claimed that a dialetheia is a sentence which is both true and false.

Two world-renowned philosophers debate the nature of reality.

: Nagarjuna seems willing to embrace contradictions while at the same time making use of classic reductio arguments. He asserts that he rejects all philosophical views including his own-that he asserts nothing-and appears to mean it. It is argued here that he, like many philosophers in the West and, indeed, like many of his Buddhist colleagues, discovers and explores true contradictions arising at the limits of thought. For those who share a dialetheist's comfort with the possibility of true contradictions commanding (...) rational assent, for Nagarjuna to endorse such contradictions would not undermine but instead confirm the impression that he is indeed a highly rational thinker. It is argued that the contradictions he discovers are structurally analogous to many discovered by Western philosophers and mathematicians. (shrink)

One of the most dominant approaches to semantics for relevant (and many paraconsistent) logics is the Routley–Meyer semantics involving a ternary relation on points. To some (many?), this ternary relation has seemed like a technical trick devoid of an intuitively appealing philosophical story that connects it up with conditionality in general. In this paper, we respond to this worry by providing three different philosophical accounts of the ternary relation that correspond to three conceptions of conditionality. We close by briefly discussing (...) a general conception of conditionality that may unify the three given conceptions. (shrink)

In this paper, I start by showing that sorites paradoxes are inclosure paradoxes. That is, they fit the Inclosure Scheme which characterizes the paradoxes of self-reference. Given that sorites and self-referential paradoxes are of the same kind, they should have the same kind of solution. The rest of the paper investigates what a dialetheic solution to sorites paradoxes is like, connections with a dialetheic solution to the self-referential paradoxes, and related issues—especially so called "higher order" vagueness.

The paper explains how a paraconsistent logician can appropriate all classical reasoning. This is to take consistency as a default assumption, and hence to work within those models of the theory at hand which are minimally inconsistent. The paper spells out the formal application of this strategy to one paraconsistent logic, first-order LP. (See, Ch. 5 of: G. Priest, In Contradiction, Nijhoff, 1987.) The result is a strong non-monotonic paraconsistent logic agreeing with classical logic in consistent situations. It is shown (...) that the logical closure of a theory under this logic is trivial only if its closure under LP is trivial. (shrink)

four ancestry, is that there are . A proposition may be true (and true only), false (and false only), both true and false, neither true nor false , ,.

1. Dialectic, in the sense of Hegel and Marx, is a dynamic process in which contradictions arise and are aufgehoben—an impossible word to translate into English, since it means both removed and pre...

Of the various accounts of negation that have been offered by logicians in the history of Western logic, that of negation as cancellation is a very distinctive one, quite different from the explosive accounts of modern "classical" and intuitionist logics, and from the accounts offered in standard relevant and paraconsistent logics. Despite its ancient origin, however, a precise understanding of the notion is still wanting. The first half of this paper offers one. Both conceptually and historically, the account of negation (...) as cancellation is intimately connected with connexivist principles such as ¬( ¬). Despite this, standard connexivist logics incorporate quite different accounts of negation. The second half of the paper shows how the cancellation account of negation of the first part gives rise to a semantics for a simple connexivist logic. (shrink)

The paper argues for two theses: a) there are certain truths which are analytic; b) these are true by convention. Much of the paper deals with quine's arguments against these claims. The paper starts by accepting quine's network theory of belief and arguing that this presupposes a certain concept of rule following. This may be used to define analyticity. The paper then discusses the conventional nature of rule following and argues that this implies the conventional truth of analytic truths. Quine's (...) arguments against truth by convention are then disarmed. Finally, The paper shows that the account of analyticity given gives rise to a modal logic in the order of s4, Disarming another argument against conventionalism. (shrink)

The paper reviews a number of approaches for handling restricted quantification in relevant logic, and proposes a novel one. This proceeds by introducing a novel kind of enthymematic conditional.

‘What is philosophy?’ is a question that every professional philosopher must ask themself sometimes. In a sense, of course, they know: they spend much time doing it. But in another sense, the answer to the question is not at all obvious. In the same way, any person knows by acquaintance what breathing is; but this does not mean that they know the nature of breathing: its mechanism and function. The nature of breathing, in this sense, is now well understood; the (...) nature of philosophy, by contrast, is still very much an open question. One of the reasons this is so is that the nature of philosophy is itself a philosophical question, so uncontentious answers are not to be expected—if philosophers ever ceased disagreeing with one another our profession would be done for. Moreover, it is a hard philosophical question. Many great philosophers, including Plato, Hegel, and others, have suggested answers to it. But their answers would now be given little credence. In the thirty or so years that I have been doing philosophy there have been two views about the nature of philosophy which have had wide acceptance. These are the views of the later Wittgenstein and of Derrida. In the first two parts of this paper I will describe these views and explain why I find them unsatisfactory. I will then go on, in the final part of paper, to outline a view that inspires more confidence in me. (shrink)

ConclusionIf, to return to the image with which I started this paper we consider the path of papers written on the logical paradoxes, then there is much to be learnt from the more recent additions, those by Chihara, Dowden and Woodruff included. However, the case for the paraconsistent approach to the paradoxes has not been weakened. In fact, it seems to me to have been strengthened. If we consider the path of papers, not as a signle line, but branching according (...) to the approach to the paradoxes advocated, then the “Logic of Paradox” would, I still submit, be on the right track. (shrink)

Graham Priest presents an expanded edition of his exploration of the nature and limits of thought. Embracing contradiction and challenging traditional logic, he engages with issues across philosophical borders, from the historical to the modern, Eastern to Western, continental to analytic.

The point of this paper is to bring together three topics: non-existent objects, mereology, and nothing. There are important inter-connections, which it is my aim to spell out, in the service of an account of the last of these.

We reply to various arguments by Otavio Bueno and Edward Zalta (‘Object Theory and Modal Meinongianism’) against Modal Meinongianism, including that it presupposes, but cannot maintain, a unique denotation for names of fictional characters, and that it is not generalizable to higher-order objects. We individuate the crucial difference between Modal Meinongianism and Object Theory in the former’s resorting to an apparatus of worlds, possible and impossible, for the representational purposes for which the latter resorts to a distinction between two kinds (...) of predication, exemplification and encoding. We show that encoding has fewer forerunners in the history of philosophy than Bueno and Zalta want, and that there’s a reason why the notion has been found baffling by some. (shrink)