This article is a preliminary presentation of conjunctive paraconsistency, the claim that there might be non-explosive true contradictions, but contradictory propositions cannot be considered separately true. In case of true ‘p and not p’, the conjuncts must be held untrue, Simplification fails. The conjunctive approach is dual to non-adjunctive conceptions of inconsistency, informed by the idea that there might be cases in which a proposition is true and its negation is true too, but the conjunction is untrue, Adjunction fails. While (...) non-adjunctivism is a well-known option, the other view is not so much studied nowadays, but it was not unknown in the tradition, and there are some positive suggestions, in recent literature, that the position is plausible and deserves to be developed. The article compares conjunctivism, non-adjunctivism and dialetheism, then focuses on some possible justifications, costs and benefits of the conjunctive view. (shrink)

The divine attributes of omniscience and omnipotence have faced objections to their very consistency. Such objections rely on reasoning parallel to semantic paradoxes such as the Liar or to set-theoretic paradoxes like Russell's paradox. With the advent of paraconsistent logics, dialetheism—the view that some contradictions are true—became a major player in the search for a solution to such paradoxes. This paper explores whether dialetheism, armed with the tools of paraconsistent logics, has the resources to respond to the objections levelled against (...) the divine attributes. (shrink)

In this paper we investigate a semantics for first-order logic originally proposed by R. van Rooij to account for the idea that vague predicates are tolerant, that is, for the principle that if x is P, then y should be P whenever y is similar enough to x. The semantics, which makes use of indifference relations to model similarity, rests on the interaction of three notions of truth: the classical notion, and two dual notions simultaneously defined in terms of it, (...) which we call tolerant truth and strict truth. We characterize the space of consequence relations definable in terms of those and discuss the kind of solution this gives to the sorites paradox. We discuss some applications of the framework to the pragmatics and psycholinguistics of vague predicates, in particular regarding judgments about borderline cases. (shrink)

Recent experiments have shown that naive speakers find borderline contradictions involving vague predicates acceptable. In Cobreros et al. we proposed a pragmatic explanation of the acceptability of borderline contradictions, building on a three-valued semantics. In a reply, Alxatib et al. show, however, that the pragmatic account predicts the wrong interpretations for some examples involving disjunction, and propose as a remedy a semantic analysis instead, based on fuzzy logic. In this paper we provide an explicit global pragmatic interpretation rule, based on (...) a somewhat richer semantics, and show that with its help the problem can be overcome in pragmatics after all. Furthermore, we use this pragmatic interpretation rule to define a new consequence-relation and discuss some of its properties. (shrink)

This book offers a clear, analytic, and innovative interpretation of Heidegger's late work. This period of Heidegger's philosophy remains largely unexplored by analytic philosophers, who consider it filled with inconsistencies and paradoxical ideas, particularly concerning the notions of Being and nothingness. This book takes seriously the claim that the late Heidegger endorses dialetheism--namely the position according to which some contradictions are true--and shows that the idea that Being is both an entity and not an entity is neither incoherent nor logically (...) trivial. The author achieves this by presenting and defending the idea that reality has an inconsistent structure. In doing so, he takes one of the most discussed topics in current analytic metaphysics, grounding theory, into a completely unexplored area. Additionally, in order to make sense of Heidegger's concept of nothingness, the author introduces an original axiomatic mereological system that, having a paraconsistent logic as a base logic, can tolerate inconsistencies without falling into logical triviality. This is the first book to set forth a complete and detailed discussion of the late Heidegger in the framework of analytic metaphysics. It will be of interest to Heidegger scholars and analytic philosophers working on theories of grounding, mereology, dialetheism, and paraconsistent logic. (shrink)

The purpose of this paper is to present a paraconsistent formal system and a corresponding intended interpretation according to which true contradictions are not tolerated. Contradictions are, instead, epistemically understood as conflicting evidence, where evidence for a proposition A is understood as reasons for believing that A is true. The paper defines a paraconsistent and paracomplete natural deduction system, called the Basic Logic of Evidence, and extends it to the Logic of Evidence and Truth. The latter is a logic of (...) formal inconsistency and undeterminedness that is able to express not only preservation of evidence but also preservation of truth. LETj is anti-dialetheist in the sense that, according to the intuitive interpretation proposed here, its consequence relation is trivial in the presence of any true contradiction. Adequate semantics and a decision method are presented for both BLE and LETj, as well as some technical results that fit the intended interpretation. (shrink)

In the first part the paper rehearses the main arguments why to be a dialetheist (i.e. why to assume that some contradictions are true). Dialetheism, however, has been criticised as irrational or self-refutating. Therefore the second part of the paper outlines one way to make dialetheism rational assertable. True contradictions turn out to be both believable and assertable. The argument proceeds by setting out basic principles of assertion and denial, and employing bivalent truth value operators.

In his famous work on vagueness, Russell named “fallacy of verbalism” the fallacy that consists in mistaking the properties of words for the properties of things. In this paper, I examine two (clusters of) mainstream paraconsistent logical theories – the non-adjunctive and relevant approaches –, and show that, if they are given a strongly paraconsistent or dialetheic reading, the charge of committing the Russellian Fallacy can be raised against them in a sophisticated way, by appealing to the intuitive reading of (...) their underlying semantics. The meaning of “intuitive reading” is clarified by exploiting a well-established distinction between pure and applied semantics. If the proposed arguments go through, the dialetheist or strong paraconsistentist faces the following Dilemma: either she must withdraw her claim to have exhibited true contradictions in a metaphysically robust sense – therefore, inconsistent objects and/or states of affairs that make those contradictions true; or she has to give up realism on truth, and embrace some form of anti-realistic (idealistic, or broadly constructivist) metaphysics. Sticking to the second horn of the Dilemma, though, appears to be promising: it could lead to a collapse of the very distinction, commonly held in the literature, between a weak and a strong form of paraconsistency – and this could be a welcome result for a dialetheist. (shrink)

Is there a notion of contradiction—let us call it, for dramatic effect, “absolute”—making all contradictions, so understood, unacceptable also for dialetheists? It is argued in this paper that there is, and that spelling it out brings some theoretical benefits. First it gives us a foothold on undisputed ground in the methodologically difficult debate on dialetheism. Second, we can use it to express, without begging questions, the disagreement between dialetheists and their rivals on the nature of truth. Third, dialetheism has an (...) operator allowing it, against the opinion of many critics, to rule things out and manifest disagreement: for unlike other proposed exclusion-expressing-devices (for instance, the entailment of triviality), the operator used to formulate the notion of absolute contradiction appears to be immune both from crippling expressive limitations and from revenge paradoxes—pending a rigorous nontriviality proof for a formal dialetheic theory including it. (shrink)

In his “Deep Inconsistency?” Eklund attacks arguments to the effect that some contradictions are true, and especially those based on the liar paradox, to be found in Priest’ In Contradiction. The point of this paper is to evaluate his case.

Consequence is at the heart of logic, and an account of consequence offers a vital tool in the evaluation of arguments. This text presents what the authors term as 'logical pluralism' arguing that the notion of logical consequence doesn't pin down one deductive consequence relation; it allows for many of them.

Weber, Colyvan, and Priest have advanced glutty approaches to the sorites, on which the truth about the penumbral region of a soritical series is inconsistent. The major benefit of a glut-based approach is maintaining the truth of all sorites premisses while none the less avoiding, in a principled fashion, the absurdity of the sorites conclusion. I agree that this is a major virtue of the target glutty approach; however, I think that it can be had without gluts. If correct, this (...) result weighs heavily against the proposed glutty approach, at least given the default-consistency principle that all target glutty philosophers accept: posit gluts only if there is no consistent theory that enjoys the same virtues as the would-be glutty solution. (shrink)

This paper briefly defends theses in Beall 2014 against objections advanced in Weber et al. 2014. The second part of the paper both defends and fortifies an objection to the ‘inclosure’ argument for glut theory, spelling an end to the inclosure strategy (or at least its application to the sorites).

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)

Logical paradoxes – like the Liar, Russell's, and the Sorites – are notorious. But in Paradoxes and Inconsistent Mathematics, it is argued that they are only the noisiest of many. Contradictions arise in the everyday, from the smallest points to the widest boundaries. In this book, Zach Weber uses “dialetheic paraconsistency” – a formal framework where some contradictions can be true without absurdity – as the basis for developing this idea rigorously, from mathematical foundations up. In doing so, Weber directly (...) addresses a longstanding open question: how much standard mathematics can paraconsistency capture? The guiding focus is on a more basic question, of why there are paradoxes. Details underscore a simple philosophical claim: that paradoxes are found in the ordinary, and that is what makes them so extraordinary. (shrink)

This chapter attempts to give a brief overview of nonclassical (-logic) theories of truth. Due to space limitations, we follow a victory-through-sacrifice policy: sacrifice details in exchange for clarity of big-picture ideas. This policy results in our giving all-too-brief treatment to certain topics that have dominated discussion in the non-classical-logic area of truth studies. (This is particularly so of the ‘suitable conditoinal’ issue: §4.3.) Still, we present enough representative ideas that one may fruitfully turn from this essay to the more-detailed (...) cited works for further study. Throughout – again, due to space – we focus only on the most central motivation for standard non-classical-logic-based truth theories: namely, truth-theoretic paradox (specifically, due to space, the liar paradox). (shrink)

In philosophy of logic and elsewhere, it is generally thought that similar problems should be solved by similar means. This advice is sometimes elevated to the status of a principle: the principle of uniform solution. In this paper I will explore the question of what counts as a similar problem and consider reasons for subscribing to the principle of uniform solution.

The Liar paradox arises when we consider a sentence that says of itself that it is not true. If such self-referential sentences exist? and examples like?This sentence is not true? certainly suggest this?, then our logic and standard notion of truth allow to infer a contradiction: The Liar sentence is true and not true. What has gone wrong? Must we revise our notion of truth and our logic? Or can we dispel the common conviction that there are such self-referential sentences? (...) The present study explores the second path.0After comparing the Liar reasoning in formal and informal logic and showing that there are no Gödelian Liar sentences, the study moves on from the semantics of self-reference to the metaphysics of expressions and proposes a novel solution to the Liar paradox: Meaningful expressions are distinct from their syntactic bases and exist only relative to contexts. Detailed semantico-metaphysical arguments show that in this dynamic setting, an object can be referred to only after it has started to exist. Hence the circular reference needed in the Liar paradox cannot occur, after all. As this solution is contextualist, it evades the expressibility problems of other proposals. (shrink)

Published in 1903, this book was the first comprehensive treatise on the logical foundations of mathematics written in English. It sets forth, as far as possible without mathematical and logical symbolism, the grounds in favour of the view that mathematics and logic are identical. It proposes simply that what is commonly called mathematics are merely later deductions from logical premises. It provided the thesis for which _Principia Mathematica_ provided the detailed proof, and introduced the work of Frege to a wider (...) audience. In addition to the new introduction by John Slater, this edition contains Russell's introduction to the 1937 edition in which he defends his position against his formalist and intuitionist critics. (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.

The new area of logic and computation is now undergoing rapid development. This has affected the social pattern of research in the area. A new topic may rise very quickly with a significant body of research around it. The community, however, cannot wait the traditional two years for a book to appear. This has given greater importance to thematic collections of papers, centred around a topic and addressing it from several points of view, usually as a result of a workshop, (...) summer school, or just a scientific initiative. Such a collection may not be as coherent as a book by one or two authors yet it is more focused than a collection of key papers on a certain topic. It is best thought of as a thematic collection, a study in the area of logic and computation. The new series Studies in Logic and Computation is intended to provide a home for such thematic collections. Substructural logics are nonclassical logics, which arose in response to problems in foundations of mathematics and logic, theoretical computer science, mathematical linguistics, and category theory. They include intuitionistic logic, relevant logic, BCK logic, linear logic, and Lambek's calculus of syntactic categories. Substructural logics differ from classical logics, and from each other, in their presuppositions about Gentzen's structural rules, although their presuppositions about the deductive role of logical constants are invariant. Substructural logics have been a subject of study for logicians during the last sixty years. Specialists have often worked in isolation, however, largely unaware of the contributions of others. This book brings together new papers by some of the most eminent authorities in these varioustraditions to produce a unified view of substructural logics. (shrink)

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.

Theories of Truth provides a clear, critical introduction to one of the most difficult areas of philosophy. It surveys all of the major philosophical theories of truth, presenting the crux of the issues involved at a level accessible to nonexperts yet in a manner sufficiently detailed and original to be of value to professional scholars. Kirkham's systematic treatment and meticulous explanations of terminology ensure that readers will come away from this book with a comprehensive general understanding of one of philosophy's (...) thorniest set of topics. -/- Included are discussions of the correspondence, coherence, pragmatic, semantic, performative, redundancy, appraisal, and truth-as-justification theories. There are also chapters or sections of chapters on the liar paradox, three-valued logic, Field's critique of Tarski, Davidson's program, Dummett's theory of linguistic competence, satisfaction, recursion, the extension/intension distinction, and an explanation of how theories of justification, properly understood, differ from theories of truth. -/- A persistent theme is that philosophers have too often failed to recognize that not all theories of truth are intended to answer the same question. When the various questions are made distinct, it is apparent that many of the "debates" in this field are really cases of philosophers talking past one another. There is much less disagreement within the field than has commonly been thought. (shrink)

There is a principle in things, about which we cannot be deceived, but must always, on the contrary, recognize the truth – viz. that the same thing cannot at one and the same time be and not be": with these words of the Metaphysics, Aristotle introduced the Law of Non-Contradiction, which was to become the most authoritative principle in the history of Western thought. However, things have recently changed, and nowadays various philosophers, called dialetheists, claim that this Law does not (...) hold unrestrictedly – that in peculiar circumstances the same thing may at the same time be and not be, and contradictions may obtain in the world. This book opens with an examination of the famous logical paradoxes that appear to speak on behalf of contradictions (e.g., the Liar paradox, the set-theoretic paradoxes such as Cantor’s and Russell’s), and of the reasons for the failure of the standard attempts to solve them. It provides, then, an introduction to paraconsistent logics – non-classical logics in which the admission of contradictions does not lead to logical chaos –, and their astonishing applications, going from inconsistent data base management to contradictory arithmetics capable of circumventing Gödel’s celebrated Incompleteness Theorem. The final part of the book discusses the philosophical motivations and difficulties of dialetheism, and shows how to extract from Aristotle’s ancient words a possible reply to the dialetheic challenge. How to Sell a Contradiction will appeal to anyone interested in non-classical logics, analytic metaphysics, and philosophy of mathematics, and especially to those who consider challenging our most entrenched beliefs the main duty of philosophical inquiry. (shrink)

In Spandrels of Truth, Beall concisely presents and defends a modest, so-called dialetheic theory of transparent truth.

In this clear, concise account, Siderits makes the Buddhist tradition accessible to a Western audience, offering generous selections from the canonical Buddhist texts and providing an engaging, analytical introduction to the basic tenets of Buddhist thought.

This book introduces an important group of logics that have come to be known under the umbrella term 'susbstructural'. Substructural logics have independently led to significant developments in philosophy, computing and linguistics. _An Introduction to Substrucural Logics_ is the first book to systematically survey the new results and the significant impact that this class of logics has had on a wide range of fields.The following topics are covered: * Proof Theory * Propositional Structures * Frames * Decidability * Coda Both (...) students and professors of philosophy, computing, linguistics, and mathematics will find this to be an important addition to their reading. (shrink)

A selective background -- Broadly classical approaches -- Paracompleteness -- More on paracomplete solutions -- Paraconsistent dialetheism.

The Liar paradox raises foundational questions about logic, language, and truth (and semantic notions in general). A simple Liar sentence like 'This sentence is false' appears to be both true and false if it is either true or false. For if the sentence is true, then what it says is the case; but what it says is that it is false, hence it must be false. On the other hand, if the statement is false, then it is true, since it (...) says (only) that it is false. -/- How, then, should we classify Liar sentences? Are they true or false? A natural suggestion would be that Liars are neither true nor false; that is, they fall into a category beyond truth and falsity. This solution might resolve the initial problem, but it beckons the Liar's revenge. A sentence that says of itself only that it is false or beyond truth and falsity will, in effect, bring back the initial problem. The Liar's revenge is a witness to the hydra-like nature of Liars: in dealing with one Liar you often bring about another. -/- JC Beall presents fourteen new essays and an extensive introduction, which examine the nature of the Liar paradox and its resistance to any attempt to solve it. Written by some of the world's leading experts in the field, the papers in this volume will be an important resource for those working in truth studies, philosophical logic, and philosophy of language, as well as those with an interest in formal semantics and metaphysics. (shrink)

The doctrine of semantic dialetheism is set out and contrasted with metaphysical dialetheism. We find that there is a lot to be said in favour of semantic dialetheism. Semantic dlaietheism is given credence by the doctrine of partially defined predicates. To make sense of a partially defined predicate, Tappenden and Soames suggest that the seman tics of predicates should be given in terms of a set of conditions under which the predicate can be applied to things and a set of (...) conditions under which its negation can be applied. If Tappenden and Soames are correct that many predicates are partially defined then it is also plausible that some are 'overdefined'. We say that a predicate is overdefined if and only if it is possible that its negative and positive conditions pick out some of the same objects at the same time. Some examples of overdefined predicates are discussed and it is suggested that a semantic dialetheist treatment of some folk theories (such as the folk theory of identity and the folk theory of belief) is appropriate. (shrink)

Proponents of “truth-value glut” responses to the paradoxes of self-reference, such as Priest [6, 7] argue that “truth-value gap” analyses of the paradoxes fall foul of the strengthened liar paradox: “this sentence is not true.” If we pay attention to the role of assertion and denial and the behaviour of negation in both “gap” and “glut” analyses, we see that the situation with these approaches has a pleasing symmetry: gap approaches take some denials to fail to be expressible by negation, (...) and glut approaches take some negations to not express denials. But in the light of this symmetry, considerations against a gap view point to parallel considerations against a glut view. Those who find some reason to prefer one view over another (and this is almost everyone) must find some reason to break this symmetry. (shrink)

Suppose Alice asserts p, and the Caterpillar wants to disagree. If the Caterpillar accepts classical logic, he has an easy way to indicate this disagreement: he can simply assert ¬p. Sometimes, though, things are not so easy. For example, suppose the Cheshire Cat is a paracompletist who thinks that p ∨ ¬p fails (in familiar (if possibly misleading) language, the Cheshire Cat thinks p is a gap). Then he surely disagrees with Alice's assertion of p, but should himself be unwilling (...) to assert ¬p. So he cannot simply use the classical solution. Dually, suppose the Mad Hatter is a dialetheist who thinks that p ∧ ¬p holds (that is, he thinks p is a glut). Then he may assert ¬p, but it should not be taken to indicate that he disagrees with Alice; he doesn't. So he too can't use the classical solution. The Cheshire Cat and the Mad Hatter, then, have a common problem, and philosophers with opinions like theirs have adopted a common solution to this problem: appeal to denial. Denial, these philosophers suppose, is a speech act like assertion, but it is not to be understood as in any way reducing to assertion. Importantly, denial is something different from the assertion of a negation; this is what allows it to work even in cases where assertion of negation does not. Just as importantly, denial must express disagreement, since this is the job it's being enlisted to do. (shrink)

Supervaluational theories of vagueness have achieved considerable popularity in the past decades, as seen in eg [5], [12]. This popularity is only natural; supervaluations let us retain much of the power and simplicity of classical logic, while avoiding the commitment to strict bivalence that strikes many as implausible. Like many nonclassical logics, the supervaluationist system SP has a natural dual, the subvaluationist system SB, explored in eg [6], [28].1 As is usual for such dual systems, the classical features of SP (...) (typically viewed as benefits) appear in SB in ‘mirror-image’ form, and the nonclassical features of SP (typically viewed as costs) also appear in SB in ‘mirror-image’ form. Given this circumstance, it can be difficult to decide which of two dual systems is better suited for an approach to vagueness.2 The present paper starts from a consideration of these two approaches— the supervaluational and the subvaluational—and argues that neither of them is well-positioned to give a sensible logic for vague language. §2 presents the systems SP and SB and argues against their usefulness. Even if we suppose that the general picture of vague language they are often taken to embody is accurate, we ought not arrive at systems like SP and SB. Instead, such a picture should lead us to truth-functional systems like strong Kleene logic (K3) or its dual LP. §3 presents these systems, and argues that supervaluationist and subvaluationist understandings of language are better captured there; in particular, that a dialetheic approach to vagueness based on the logic LP is a more sensible approach. §4 goes on to consider the phenomenon of higher-order vagueness within an LP-based approach, and §5 closes with a consideration of the sorites argument itself. (shrink)

This dissertation is a critical examination of dialetheism, the view that there are true contradictions. Dialetheism's proponents argue that adopting the view will allow us to solve hitherto unsolved problems, including the well-known logical paradoxes. ;Dialetheism faces three kinds of challenge. Challenges of the first kind put in doubt the intrinsic coherence of dialetheism. It can be claimed, for example, that it is incoherent for a claim to be both true and false; that claims known to be false cannot be (...) accepted; that claims known to be false cannot be rationally accepted; and that dialetheism entails the falsity of some of its own theoretical claims. The second kind of challenge concerns the use of paraconsistent logics, which dialetheists must adopt on pain of accepting the truth of every proposition. I examine a number of paraconsistent logics, and conclude that either they come at an unacceptably high price or they do not support the dialetheist project. ;I devote most attention to the third kind of challenge, according to which dialetheism fails to provide the promised solutions to the paradoxes and other previously intractable problems, and so we lose the major motivation for the theory. Proponents claim that dialetheism allows for the solution of numerous problems, particularly in metaphysics, law, and logic. In the case of metaphysics, it is claimed that dialetheism allows us to deal with puzzles involving change, vagueness, and motion. However, I argue that the proposed solution does not eliminate the old metaphysical problems, and in fact gives rise to new ones. In the case of law, it is claimed that dialetheism can allow us to deal with legal contradiction. I argue there are more plausible means of solving such conflicts. The strongest case for dialetheism is that it allows us to solve logical and semantic paradoxes of self-reference, some of which have endured for well over two thousand years. I construct a paradox that the dialetheist cannot accommodate, and which shows that dialetheism never provided a solution to the paradoxes at all, even in their more familiar forms. (shrink)