Results for 'Paraconsistency'

886 found
Order:
  1.  24
    Paraconsistent Logic: Consistency, Contradiction and Negation.Walter Carnielli & Marcelo Esteban Coniglio - 2016 - Basel, Switzerland: Springer International Publishing.
    This book is the first in the field of paraconsistency to offer a comprehensive overview of the subject, including connections to other logics and applications in information processing, linguistics, reasoning and argumentation, and philosophy of science. It is recommended reading for anyone interested in the question of reasoning and argumentation in the presence of contradictions, in semantics, in the paradoxes of set theory and in the puzzling properties of negation in logic programming. Paraconsistent logic comprises a major logical theory (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  2. Paraconsistent Dynamics.Patrick Girard & Koji Tanaka - 2016 - Synthese 193 (1):1-14.
    It has been an open question whether or not we can define a belief revision operation that is distinct from simple belief expansion using paraconsistent logic. In this paper, we investigate the possibility of meeting the challenge of defining a belief revision operation using the resources made available by the study of dynamic epistemic logic in the presence of paraconsistent logic. We will show that it is possible to define dynamic operations of belief revision in a paraconsistent setting.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  3. Paraconsistency: Logic and Applications.Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.) - 2013 - Dordrecht, Netherland: Springer.
    A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  4.  36
    On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis.Stefano Bonzio, José Gil-Férez, Francesco Paoli & Luisa Peruzzi - 2017 - Studia Logica 105 (2):253-297.
    Paraconsistent Weak Kleene logic is the 3-valued logic with two designated values defined through the weak Kleene tables. This paper is a first attempt to investigate PWK within the perspective and methods of abstract algebraic logic. We give a Hilbert-style system for PWK and prove a normal form theorem. We examine some algebraic structures for PWK, called involutive bisemilattices, showing that they are distributive as bisemilattices and that they form a variety, \, generated by the 3-element algebra WK; we also (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  5.  65
    Quine and Slater on Paraconsistency and Deviance.Francesco Paoli - 2003 - Journal of Philosophical Logic 32 (5):531-548.
    In a famous and controversial paper, B. H. Slater has argued against the possibility of paraconsistent logics. Our reply is centred on the distinction between two aspects of the meaning of a logical constant *c* in a given logic: its operational meaning, given by the operational rules for *c* in a cut-free sequent calculus for the logic at issue, and its global meaning, specified by the sequents containing *c* which can be proved in the same calculus. Subsequently, we use the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  6.  74
    Paraconsistent Logic.David Ripley - 2015 - Journal of Philosophical Logic 44 (6):771-780.
    In some logics, anything whatsoever follows from a contradiction; call these logics explosive. Paraconsistent logics are logics that are not explosive. Paraconsistent logics have a long and fruitful history, and no doubt a long and fruitful future. To give some sense of the situation, I’ll spend Section 1 exploring exactly what it takes for a logic to be paraconsistent. It will emerge that there is considerable open texture to the idea. In Section 2, I’ll give some examples of techniques for (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  7.  6
    Paraconsistency the Logical Way to the Inconsistent : Proceedings of the World Congress Held in São Paulo.Walter A. Carnielli, Marcelo E. Coniglio & Itala M. L. D'ottaviano - 2002 - Marcel Dekker.
    This impressive compilation of the material presented at the Second World Congress on Paraconsistency held in Juquehy-Sao Sebastião, São Paulo, Brazil, represents an integrated discussion of all major topics in the area of paraconsistent logic---highlighting philosophical and historical aspects, major developments and real-world applications.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  81
    Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.
    We define in precise terms the basic properties that an ‘ideal propositional paraconsistent logic’ is expected to have, and investigate the relations between them. This leads to a precise characterization of ideal propositional paraconsistent logics. We show that every three-valued paraconsistent logic which is contained in classical logic, and has a proper implication connective, is ideal. Then we show that for every n > 2 there exists an extensive family of ideal n -valued logics, each one of which is not (...)
    Direct download (6 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   17 citations  
  9. Paraconsistent Vagueness: Why Not?Dominic Hyde & Mark Colyvan - 2008 - Australasian Journal of Logic 6:107-121.
    The idea that the phenomenon of vagueness might be modelled by a paraconsistent logic has been little discussed in contemporary work on vagueness, just as the idea that paraconsistent logics might be fruitfully applied to the phenomenon of vagueness has been little discussed in contemporary work on paraconsistency. This is prima facie surprising given that the earliest formalisations of paraconsistent logics presented in Jáskowski and Halldén were presented as logics of vagueness. One possible explanation for this is that, despite (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  10. A Paraconsistent Model of Vagueness.Z. Weber - 2010 - Mind 119 (476):1025-1045.
    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 (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  11.  10
    Literal‐Paraconsistent and Literal‐Paracomplete Matrices.Renato A. Lewin & Irene F. Mikenberg - 2006 - Mathematical Logic Quarterly 52 (5):478-493.
    We introduce a family of matrices that define logics in which paraconsistency and/or paracompleteness occurs only at the level of literals, that is, formulas that are propositional letters or their iterated negations. We give a sound and complete axiomatization for the logic defined by the class of all these matrices, we give conditions for the maximality of these logics and we study in detail several relevant examples.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  12. Paraconsistent Belief Revision Based on a Formal Consistency Operator.Rafael R. Testa, Marcelo E. Coniglio & Márcio M. Ribeiro - 2015 - CLE E-Prints 15 (8):01-11.
    In this paper two systems of AGM-like Paraconsistent Belief Revision are overviewed, both defined over Logics of Formal Inconsistency (LFIs) due to the possibility of defining a formal consistency operator within these logics. The AGM° system is strongly based on this operator and internalize the notion of formal consistency in the explicit constructions and postulates. Alternatively, the AGMp system uses the AGM-compliance of LFIs and thus assumes a wider notion of paraconsistency - not necessarily related to the notion of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  13. Paraconsistent Vagueness: A Positive Argument.Pablo Cobreros - 2011 - Synthese 183 (2):211-227.
    Paraconsistent approaches have received little attention in the literature on vagueness (at least compared to other proposals). The reason seems to be that many philosophers have found the idea that a contradiction might be true (or that a sentence and its negation might both be true) hard to swallow. Even advocates of paraconsistency on vagueness do not look very convinced when they consider this fact; since they seem to have spent more time arguing that paraconsistent theories are at least (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  14.  26
    Paraconsistent Logic, Evidence, and Justification.Melvin Fitting - 2017 - Studia Logica 105 (6):1149-1166.
    In a forthcoming paper, Walter Carnielli and Abilio Rodrigues propose a Basic Logic of Evidence whose natural deduction rules are thought of as preserving evidence instead of truth. BLE turns out to be equivalent to Nelson’s paraconsistent logic N4, resulting from adding strong negation to Intuitionistic logic without Intuitionistic negation. The Carnielli/Rodrigues understanding of evidence is informal. Here we provide a formal alternative, using justification logic. First we introduce a modal logic, KX4, in which \ can be read as asserting (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  15. Paraconsistent Logic.Graham Priest - 2008 - Stanford Encyclopedia of Philosophy.
  16. Paraconsistent Logic: Essays on the Inconsistent.Graham Priest, Richard Routley & Jean Norman (eds.) - 1989 - Philosophia Verlag.
  17. What is a Paraconsistent Logic?Damian Szmuc, Federico Pailos & Eduardo Barrio - 2018 - In Jacek Malinowski & Walter Carnielli (eds.), Contradictions, from Consistency to Inconsistency. Springer Verlag.
    Paraconsistent logics are logical systems that reject the classical principle, usually dubbed Explosion, that a contradiction implies everything. However, the received view about paraconsistency focuses only the inferential version of Explosion, which is concerned with formulae, thereby overlooking other possible accounts. In this paper, we propose to focus, additionally, on a meta-inferential version of Explosion, i.e. which is concerned with inferences or sequents. In doing so, we will offer a new characterization of paraconsistency by means of which a (...)
    Direct download  
     
    Export citation  
     
    Bookmark   18 citations  
  18. Paraconsistent Logics?B. H. Slater - 1995 - Journal of Philosophical Logic 24 (4):451 - 454.
  19. The Paraconsistent Logic of Quantum Superpositions.Newton C. A. da Costa & Christian de Ronde - 2013 - Foundations of Physics 43 (7):845-858.
    Physical superpositions exist both in classical and in quantum physics. However, what is exactly meant by ‘superposition’ in each case is extremely different. In this paper we discuss some of the multiple interpretations which exist in the literature regarding superpositions in quantum mechanics. We argue that all these interpretations have something in common: they all attempt to avoid ‘contradiction’. We argue in this paper, in favor of the importance of developing a new interpretation of superpositions which takes into account contradiction, (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  20.  42
    Paraconsistent Sensitivity Analysis for Bayesian Significance Tests.Julio Michael Stern - 2004 - Lecture Notes in Artificial Intelligence 3171:134-143.
    In this paper, the notion of degree of inconsistency is introduced as a tool to evaluate the sensitivity of the Full Bayesian Significance Test (FBST) value of evidence with respect to changes in the prior or reference density. For that, both the definition of the FBST, a possibilistic approach to hypothesis testing based on Bayesian probability procedures, and the use of bilattice structures, as introduced by Ginsberg and Fitting, in paraconsistent logics, are reviewed. The computational and theoretical advantages of using (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  21.  26
    Liberating Paraconsistency From Contradiction.Jonas R. Becker Arenhart - 2015 - Logica Universalis 9 (4):523-544.
    In this paper we propose to take seriously the claim that at least some kinds of paraconsistent negations are subcontrariety forming operators. We shall argue that from an intuitive point of view, by considering paraconsistent negations as formalizing that particular kind of opposition, one needs not worry with issues about the meaning of true contradictions and the like, given that “true contradictions” are not involved in these paraconsistent logics. Our strategy will consist in showing that, on the one hand, the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  22.  42
    Paraconsistency and its Philosophical Interpretations.Eduardo Barrio & Bruno Da Re - 2018 - Australasian Journal of Logic 15 (2):151-170.
    Many authors have considered that the notions of paraconsistency and dialetheism are intrinsically connected, in many cases, to the extent of confusing both phenomena. However, paraconsistency is a formal feature of some logics that consists in invalidating the rule of explosion, whereas dialetheism is a semantical/ontological position consisting in accepting true contradictions. In this paper, we argue against this connection and show that it is perfectly possible to adopt a paraconsistent logic and reject dialetheism, and, moreover, that there (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  23.  86
    A Paraconsistent Route to Semantic Closure.Eduardo Alejandro Barrio, Federico Matias Pailos & Damian Enrique Szmuc - 2017 - Logic Journal of the IGPL 25 (4):387-407.
    In this paper, we present a non-trivial and expressively complete paraconsistent naïve theory of truth, as a step in the route towards semantic closure. We achieve this goal by expressing self-reference with a weak procedure, that uses equivalences between expressions of the language, as opposed to a strong procedure, that uses identities. Finally, we make some remarks regarding the sense in which the theory of truth discussed has a property closely related to functional completeness, and we present a sound and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  24. Paraconsistent Modal Logic.Lou Goble - 2006 - Logique Et Analyse 193:3-29.
     
    Export citation  
     
    Bookmark   18 citations  
  25. On Paraconsistent Deontic Logic.Newton C. A. Costa & Walter A. Carnielli - 1986 - Philosophia 16 (3-4):293-305.
    This paper develops the first deontic logic in the context of paraconsistent logics.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  26.  7
    Conjunctive Paraconsistency.Franca D’Agostini - 2021 - Synthese 199 (3-4):6845-6874.
    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. (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  27.  15
    Paraconsistent Double Negations as Classical and Intuitionistic Negations.Norihiro Kamide - 2017 - Studia Logica 105 (6):1167-1191.
    A classical paraconsistent logic, which is regarded as a modified extension of first-degree entailment logic, is introduced as a Gentzen-type sequent calculus. This logic can simulate the classical negation in classical logic by paraconsistent double negation in CP. Theorems for syntactically and semantically embedding CP into a Gentzen-type sequent calculus LK for classical logic and vice versa are proved. The cut-elimination and completeness theorems for CP are also shown using these embedding theorems. Similar results are also obtained for an intuitionistic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  28.  11
    Logical Studies of Paraconsistent Reasoning in Science and Mathematics.Peter Verdée & Holger Andreas (eds.) - 2016 - Cham, Switzerland: Springer Verlag.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  29.  24
    Paraconsistent Quantum Logics.Maria Luisa Dalla Chiara & Roberto Giuntini - 1989 - Foundations of Physics 19 (7):891-904.
    Paraconsistent quantum logics are weak forms of quantum logic, where the noncontradiction and the excluded-middle laws are violated. These logics find interesting applications in the operational approach to quantum mechanics. In this paper, we present an axiomatization, a Kripke-style, and an algebraic semantical characterization for two forms of paraconsistent quantum logic. Further developments are contained in Giuntini and Greuling's paper in this issue.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  30.  30
    Paraconsistency and Analyticity.Carlos A. OLLER - 1999 - Logic and Logical Philosophy 7 (1):91-99.
    William Parry conceived in the early thirties a theory of entail-
    ment, the theory of analytic implication, intended to give a formal expression to the idea that the content of the conclusion of a valid argument must be included in the content of its premises. This paper introduces a system of analytic, paraconsistent and quasi-classical propositional logic that does not validate the paradoxes of Parry’s analytic implication. The interpretation of the expressions of this logic will be given in terms of a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  31.  66
    An Epistemic Approach to Paraconsistency: A Logic of Evidence and Truth.Walter Carnielli & Abilio Rodrigues - 2019 - Synthese 196 (9):3789-3813.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  32. Paraconsistency on the Rocks of Dialetheism.Conrad Amus - 2012 - Logique Et Analyse 55 (217):3-21.
  33.  34
    The Paraconsistent Logic Z. A Possible Solution to Jaśkowski's Problem.Jean-Yves Béziau - 2006 - Logic and Logical Philosophy 15 (2):99-111.
    We present a paraconsistent logic, called Z, based on an intuitive possible worlds semantics, in which the replacement theorem holds. We show how to axiomatize this logic and prove the completeness theorem.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  34.  23
    A Paraconsistent 3-Valued Logic Related to Godel Logic G3.G. Robles & J. M. Mendez - 2014 - Logic Journal of the IGPL 22 (4):515-538.
  35.  14
    Proof Theory of Paraconsistent Weak Kleene Logic.Francesco Paoli & Michele Pra Baldi - 2020 - Studia Logica 108 (4):779-802.
    Paraconsistent Weak Kleene Logic is the 3-valued propositional logic defined on the weak Kleene tables and with two designated values. Most of the existing proof systems for PWK are characterised by the presence of linguistic restrictions on some of their rules. This feature can be seen as a shortcoming. We provide a cut-free calculus for PWK that is devoid of such provisos. Moreover, we introduce a Priest-style tableaux calculus for PWK.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   8 citations  
  36. Transfinite Numbers in Paraconsistent Set Theory.Zach Weber - 2010 - Review of Symbolic Logic 3 (1):71-92.
    This paper begins an axiomatic development of naive set theoryin a paraconsistent logic. Results divide into two sorts. There is classical recapture, where the main theorems of ordinal and Peano arithmetic are proved, showing that naive set theory can provide a foundation for standard mathematics. Then there are major extensions, including proofs of the famous paradoxes and the axiom of choice (in the form of the well-ordering principle). At the end I indicate how later developments of cardinal numbers will lead (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   50 citations  
  37.  70
    Paraconsistent logics!Greg Restall - 1997 - Bulletin of the Section of Logic 26 (3):156-163.
    In this note I respond to Hartley Slater's argument 12 to the e ect that there is no such thing as paraconsistent logic. Slater's argument trades on the notion of contradictoriness in the attempt to show that the negation of paraconsistent logics is merely a subcontrary forming operator and not one which forms contradictories. I will show that Slater's argument fails, for two distinct reasons. Firstly, the argument does not consider the position of non-dialethic paraconsistency which rejects the possible (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   8 citations  
  38. AGM-Like Paraconsistent Belief Change.Rafael R. Testa, Marcelo E. Coniglio & Marcio M. Ribeiro - 2017 - Logic Journal of the IGPL 25 (4):632-672.
    Two systems of belief change based on paraconsistent logics are introduced in this article by means of AGM-like postulates. The first one, AGMp, is defined over any paraconsistent logic which extends classical logic such that the law of excluded middle holds w.r.t. the paraconsistent negation. The second one, AGMo , is specifically designed for paraconsistent logics known as Logics of Formal Inconsistency (LFIs), which have a formal consistency operator that allows to recover all the classical inferences. Besides the three usual (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  39.  43
    Paraconsistency and Plausible Argumentation in Generative Grammar: A Case Study. [REVIEW]András Kertész & Csilla Rákosi - 2013 - Journal of Logic, Language and Information 22 (2):195-230.
    While the analytical philosophy of science regards inconsistent theories as disastrous, Chomsky allows for the temporary tolerance of inconsistency between the hypotheses and the data. However, in linguistics there seem to be several types of inconsistency. The present paper aims at the development of a novel metatheoretical framework which provides tools for the representation and evaluation of inconsistencies in linguistic theories. The metatheoretical model relies on a system of paraconsistent logic and distinguishes between strong and weak inconsistency. Strong inconsistency is (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  40.  70
    A Paraconsistent Theory of Belief Revision.Edwin D. Mares - 2002 - Erkenntnis 56 (2):229 - 246.
    This paper presents a theory of belief revision that allows people to come tobelieve in contradictions. The AGM theory of belief revision takes revision,in part, to be consistency maintenance. The present theory replacesconsistency with a weaker property called coherence. In addition to herbelief set, we take a set of statements that she rejects. These two sets arecoherent if they do not overlap. On this theory, belief revision maintains coherence.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  41. Transfinite Cardinals in Paraconsistent Set Theory.Zach Weber - 2012 - Review of Symbolic Logic 5 (2):269-293.
    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.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  42.  44
    Paraconsistent Logic as Model Building.Ricardo Sousa Silvestre - 2018 - South American Journal of Logic 1 (4):195-217.
    The terms “model” and “model-building” have been used to characterize the field of formal philosophy, to evaluate philosophy’s and philosophical logic’s progress and to define philosophical logic itself. A model is an idealization, in the sense of being a deliberate simplification of something relatively complex in which several important aspects are left aside, but also in the sense of being a view too perfect or excellent, not found in reality, of this thing. Paraconsistent logic is a branch of philosophical logic. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  40
    Paraconsistency and its Relation to Worldviews.Diderik Batens - 1998 - Foundations of Science 3 (2):259-283.
    The paper highlights the import of the paraconsistent movement, list some motivations for its origin, and distinguishes some stands with respect to para-consistency. It then discusses some sources of inconsistency that are specific for worldviews, and the import of the paraconsistent turn for the worldviews enterprise.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  44.  19
    The Prospects of a Paraconsistent Response to Vagueness.Dominic Hyde - 2010 - In Richard Dietz & Sebastiano Moruzzi (eds.), Cuts and Clouds: Vaguenesss, its Nature and its Logic. Oxford University Press.
    Paraconsistent responses to vagueness are often thought to represent a revision of logical theory that is too radical to be defensible. The paracomplete logic of supervaluationism, SpV, is not only taken to be more conservative but is also commonly said to 'preserve classical logic'. This chapter argues that this is wrong on both counts. The paraconsistent logic SbV, or subvaluationism, is no less conservative than SpV nor more so. In the end both logics offer equally compelling theoretical approaches to vagueness. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  45. Paraconsistent Belief Revision.Graham Priest - 2001 - Theoria 67 (3):214-228.
    Direct download  
     
    Export citation  
     
    Bookmark   27 citations  
  46.  28
    Paraconsistency and the $\rm C$-Systems of da Costa.Igor Urbas - 1989 - Notre Dame Journal of Formal Logic 30 (4):583-597.
  47. Paraconsistent extensional propositional logics.Diderik Batens - 1980 - Logique and Analyse 90 (90):195-234.
    Translate
     
     
    Export citation  
     
    Bookmark   47 citations  
  48.  78
    Real Analysis in Paraconsistent Logic.Maarten McKubre-Jordens & Zach Weber - 2012 - Journal of Philosophical Logic 41 (5):901-922.
    This paper begins an analysis of the real line using an inconsistency-tolerant (paraconsistent) logic. We show that basic field and compactness properties hold, by way of novel proofs that make no use of consistency-reliant inferences; some techniques from constructive analysis are used instead. While no inconsistencies are found in the algebraic operations on the real number field, prospects for other non-trivializing contradictions are left open.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  49.  83
    Paraconsistency Everywhere.Greg Restall - 2002 - Notre Dame Journal of Formal Logic 43 (3):147-156.
    “Paraconsistent” means “beyond the consistent” [3, 15]. Paraconsistent logics tolerate inconsistencies in a way that traditional logics do not. In a paraconsistent logic, the inference of explosion A, ∼AB is rejected. This may be for any of a number of reasons [16]. For proponents of relevance [1, 2] the argument has gone awry when we infer an irrelevant B from the inconsistent premises. Those who argue that inconsistent theories may have some logical content but do not commit us to everything, (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  50.  25
    Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics.Ofer Arieli, Arnon Avron & Anna Zamansky - 2011 - Studia Logica 97 (1):31 - 60.
    Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain from classical logic as much as possible. In this paper we introduce the strongest possible notion of maximal paraconsistency, and investigate it in the context of logics that are based on deterministic or non-deterministic three-valued matrices. We show that all reasonable paraconsistent logics based on three-valued deterministic matrices are maximal in our strong sense. This applies to practically all (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
1 — 50 / 886