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)

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 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; 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)

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)

Wittgenstein's work remains, undeniably, now, that off one of those few philosophers who will be read by all future generations.

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)

John McTaggart Ellis McTaggart STUDIES IN THE HEGELIAN DIALECTIC Elibron Classics www.elibron.com ...

In this book we present a collection of papers on the topic of applying paraconsistent logic to solve inconsistency related problems in science, mathematics and computer science. The goal is to develop, compare, and evaluate different ways of applying paraconsistent logic. After more than 60 years of mainly theoretical developments in many independent systems of paraconsistent logic, we believe the time has come to compare and apply the developed systems in order to increase our philosophical understanding of reasoning when faced (...) with inconsistencies. This book wants to be a first step toward an application based, constructive debate to tackle the question which systems are best applied for which kind of problems and which philosophical conclusions can be drawn from such applications. (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.

In a recent paper, Jc Beall has employed what he calls ‘shriek rules’ in a putative solution to the long-standing ‘just false’ problem for glut theory. The purpose of this paper is twofold: firstly, I distinguish the ‘just false’ problem from another problem, with which it is often conflated, which I will call the ‘exclusion problem’. Secondly, I argue that shriek rules do not help glut theorists with either problem.

This is an examination of the dialectical structure of deep disagreements about matters not open to empirical check. A dramatic case in point is the Law of Non-Contradiction . Dialetheists are notoriously of the view that, in some few cases, LNC has a true negation. The traditional position on LNC is that it is non-negotiable. The standard reason for thinking it non-negotiable is, being a first principle, there is nothing to negotiate. One of my purposes is to show that the (...) first-principle defence of LNC is inadequate. A second purpose is to argue that it flows from this inadequacy that LNC stands or falls on economic considerations, much in the spirit of Quine's pragmatism about logic generally. This is a tactical victory for dialetheists. It gives them room to make the case against LNC on cost-benefit grounds. As things presently stand, no such case can be considered decisive. But, given that costs and benefits shift with changing circumstances, it is possible that a winning case for the dialetheist may present itself in the future. Notwithstanding the rivalry between consistentists and dialetheists, they share a common opponent. This is trivialism, the doctrine that everything whatever is true. It is an ironic alliance, in as much as the dialetheist's case against the consistentist can be adapted to a defence of trivialism. How damaging this turns out to be depends on the adequacy of the reasons for the dialetheist's rejection of trivialism. My further purpose is to show that the damage is slighter than dialetheists commonly believe. (shrink)

ABSTRACTDo truth tables—the ordinary sort that we use in teaching and explaining basic propositional logic—require an assumption of consistency for their construction? In this essay we show that truth tables can be built in a consistency-independent paraconsistent setting, without any appeal to classical logic. This is evidence for a more general claim—that when we write down the orthodox semantic clauses for a logic, whatever logic we presuppose in the background will be the logic that appears in the foreground. Rather than (...) any one logic being privileged, then, on this count partisans across the logical spectrum are in relatively similar dialectical positions. (shrink)

This paper develops a (nontrivial) theory of cardinal numbers from a naive set comprehension principle, in a suitable paraconsistent logic. To underwrite cardinal arithmetic, the axiom of choice is proved. A new proof of Cantor’s theorem is provided, as well as a method for demonstrating the existence of large cardinals by way of a reflection theorem.

Mereotopology is a theory of connected parts. The existence of boundaries, as parts of everyday objects, is basic to any such theory; but in classical mereotopology, there is a problem: if boundaries exist, then either distinct entities cannot be in contact, or else space is not topologically connected . In this paper we urge that this problem can be met with a paraconsistent mereotopology, and sketch the details of one such approach. The resulting theory focuses attention on the role of (...) empty parts, in delivering a balanced and bounded metaphysics of naive space. (shrink)

Vague predicates, on a paraconsistent account, admit overdetermined borderline cases. I take up a new line on the paraconsistent approach, to show that there is a close structural relationship between the breakdown of soritical progressions, and contradiction. Accordingly, a formal picture drawn from an appropriate logic shows that any cut-off point of a vague predicate is unidentifiable, in a precise sense. A paraconsistent approach predicts and explains many of the most counterintuitive aspects of vagueness, in terms of a more fundamental (...) inconsistency. (shrink)

ABSTRACTIn ‘Theism and Dialetheism’, Cotnoir explores the idea that dialetheism can help with some puzzles about omnipotence in theology. In this note, I delineate another asp...

In this paper, Graham Priest’s understanding of dialetheism, the view that there exist true contradictions, is discussed, and various kinds of metaphysical dialetheism are distinguished between. An alternative to dialetheism is presented, namely a thesis called ‘dimathematism’. It is pointed out that dimathematism enables one to escape a slippery slope argument for dialetheism that has been put forward by Priest. Moreover, dimathematism is presented as a thesis that is helpful in rejecting the claim that logic is a normative discipline.

David Lewis has argued that impossible worlds are nonsense: if there were such worlds, one would have to distinguish between the truths about their contradictory goings-on and contradictory falsehoods about them; and this--Lewis argues--is preposterous. In this paper I examine a way of resisting this argument by giving up the assumption that ‘in so-and-so world’ is a restricting modifier which passes through the truth-functional connectives The outcome is a sort of subvaluational semantics which makes a contradiction ‘A & ~A’ false (...) even when both ‘A’ and ‘~A’ are true, just as supervaluational semantics makes a tautology ‘A v ~A’ true even when neither ‘A’ nor ‘~A’ are. Connections with discussive logics and complications of the account are discussed, and some general morals are drawn. (shrink)

The goals of this paper are two-fold: I wish to clarify the Aristotelian conception of the law of non-contradiction as a metaphysical rather than a semantic or logical principle, and to defend the truth of the principle in this sense. First I will explain what it in fact means that the law of non-contradiction is a metaphysical principle. The core idea is that the law of non-contradiction is a general principle derived from how things are in the world. For example, (...) there are certain constraints as to what kind of properties an object can have, and especially: some of these properties are mutually exclusive. Given this characterisation, I will advance to examine what kind of challenges the law of non-contradiction faces; the main opponent here is Graham Priest. I will consider these challenges and conclude that they do not threaten the truth of the law of non-contradiction understood as a metaphysical principle. (shrink)

Graham Priest's In Contradiction (Dordrecht: Martinus Nijhoff Publishers, 1987, chapter 3) contains an argument concerning the intuitive, or ‘naïve’ notion of (arithmetic) proof, or provability. He argues that the intuitively provable arithmetic sentences constitute a recursively enumerable set, which has a Gödel sentence which is itself intuitively provable. The incompleteness theorem does not apply, since the set of provable arithmetic sentences is not consistent. The purpose of this article is to sharpen Priest's argument, avoiding reference to informal notions, consensus, or (...) Church's thesis. We add Priest's dialetheic semantics to ordinary Peano arithmetic PA, to produce a recursively axiomatized formal system PA★ that contains its own truth predicate. Whether one is a dialetheist or not, PA★ is a legitimate, rigorously defined formal system, and one can explore its proof‐theoretic properties. The system is inconsistent (but presumably non‐trivial), and it proves its own Gödel sentence as well as its own soundness. Although this much is perhaps welcome to the dialetheist, it has some untoward consequences. There are purely arithmetic (indeed, Π0) sentences that are both provable and refutable in PA★. So if the dialetheist maintains that PA★ is sound, then he must hold that there are true contradictions in the most elementary language of arithmetic. Moreover, the thorough dialetheist must hold that there is a number g which both is and is not the code of a derivation of the indicated Gödel sentence of PA★. For the thorough dialetheist, it follows ordinary PA and even Robinson arithmetic are themselves inconsistent theories. I argue that this is a bitter pill for the dialetheist to swallow. (shrink)

Paraconsistent dialetheism is the view that some contradictions are true and that the inference rule ex falso quod libet is invalid. A long-standing problem for paraconsistent dialetheism is that it has difficulty making sense of situations where people use locutions like ‘just true’ and ‘just false’. Jc Beall recently advocated a general strategy, which he terms shrieking, for solving this problem and thereby strengthening the case for paraconsistent dialetheism. However, Beall’s strategy fails, and seeing why it fails brings into greater (...) focus just how daunting the just-true problem is for the dialetheist. (shrink)