Results for 'Paraconsistent Logic'

1000+ found
Order:
See also
  1.  54
    Advances in Contemporary Logic and Computer Science Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil. [REVIEW]Walter A. Carnielli, Itala M. L. D'ottaviano & Brazilian Conference on Mathematical Logic - 1999
    This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society (co-sponsored by the Centre for Logic, Epistemology and the History of Science, State University of Campinas, Sao Paulo) in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. 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 (...) is paraconsistent if it invalidates either the inferential or the meta-inferential notion of Explosion. We show the non-triviality of this criterion by discussing a number of logics. On the one hand, logics which validate and invalidate both versions of Explosion, such as classical logic and Asenjo–Priest’s 3-valued logic LP. On the other hand, logics which validate one version of Explosion but not the other, such as the substructural logics TS and ST, introduced by Malinowski and Cobreros, Egré, Ripley and van Rooij, which are obtained via Malinowski’s and Frankowski’s q- and p-matrices, respectively. (shrink)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  3.  72
    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 (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  4. Modal Logic S4 as a Paraconsistent Logic with a Topological Semantics.Marcelo E. Coniglio & Leonardo Prieto-Sanabria - 2017 - In Carlos Caleiro, Francisco Dionisio, Paula Gouveia, Paulo Mateus & João Rasga (eds.), Logic and Computation: Essays in Honour of Amilcar Sernadas. London, UK: College Publications. pp. 171-196.
    In this paper the propositional logic LTop is introduced, as an extension of classical propositional logic by adding a paraconsistent negation. This logic has a very natural interpretation in terms of topological models. The logic LTop is nothing more than an alternative presentation of modal logic S4, but in the language of a paraconsistent logic. Moreover, LTop is a logic of formal inconsistency in which the consistency and inconsistency operators have a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  25
    Opening Address: Paraconsistent Logic.Newton C. A. Da Costa - 1999 - Logic and Logical Philosophy 7:25.
    I am honoured with and touched by the invitation of delivering the opening address of this Congress. Firstly, to see paraconsistent logic flourishing and growing, as we can readily see by simply glacing over the programme of this conference, is among one of my greatest joys. Secondly, and equally important, because this congress takes place in the University of Toruń.I am honoured for having lectured here, a most congenial and stimulating place, and could not think of a better (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  29
    A Strong Model of Paraconsistent Logic.Olivier Esser - 2003 - Notre Dame Journal of Formal Logic 44 (3):149-156.
    The purpose of this paper is mainly to give a model of paraconsistent logic satisfying the "Frege comprehension scheme" in which we can develop standard set theory (and even much more as we shall see). This is the continuation of the work of Hinnion and Libert.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7.  66
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  55
    Book Review: Carnielli, W., Coniglio, M. Paraconsistent Logic: Consistency, Contradiction and Negation. Logic, Epistemology, and the Unity of Science Series. [REVIEW]Henrique Antunes & Vincenzo Ciccarelli - 2018 - Manuscrito 41 (2):111-122.
    Review of the book "Paraconsistent Logic: Consistency, Contradiction, and Negation by Water Carnielli and Marcelo Coniglio.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  9.  16
    Vasiliev's Paraconsistent Logic Interpreted by Means of the Dual Role Played by the Double Negation Law.Antonino Drago - 2001 - Journal of Applied Non-Classical Logics 11 (3-4):281-294.
    I prove that the three basic propositions of Vasiliev's paraconsistent logic have a semantic interpretation by means of the intuitionist logic. The interpèretation is confirmed by amens of the da Costa's model of Vasiliev's paraconsistent logic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  25
    Bohr's Atomic Model and Paraconsistent Logic.Pandora Hadzidaki - manuscript
    Bohr’s atomic model is one of the better known examples of empirically successful, albeit inconsistent, theoretical schemes in the history of physics. For this reason, many philosophers use this model to illustrate their position for the occurrence and the function of inconsistency in science. In this paper, I proceed to a critical comparison of the structure and the aims of Bohr’s research program – the starting point of which was the formulation of his model – with some of its contemporary (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  9
    New Directions in Paraconsistent Logic.Jean-Yves Beziau (ed.) - 2015 - New Delhi, India: Springer, India.
    The present book discusses all aspects of paraconsistent logic, including the latest findings, and its various systems. It includes papers by leading international researchers, which address the subject in many different ways: development of abstract paraconsistent systems and new theorems about them; studies of the connections between these systems and other non-classical logics, such as non-monotonic, many-valued, relevant, paracomplete and fuzzy logics; philosophical interpretations of these constructions; and applications to other sciences, in particular quantum physics and mathematics. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  12
    Contradictoriness, Paraconsistent Negation and Non-Intended Models of Classical Logic.Carlos A. Oller - 2016 - In Holger Andreas & Peter Verdee (eds.), Logical Studies of Paraconsistent Reasoning in Science and Mathematics, Trends In Logic. Dordrecht: Springer. pp. 103-110.
    It is usually accepted in the literature that negation is a contradictory-forming operator and that two statements are contradictories if and only if it is logically impossible for both to be true and logically impossible for both to be false. These two premises have been used by Hartley Slater [Slater, 1995] to argue that paraconsistent negation is not a “real” negation because a sentence and its paraconsistent negation can be true together. In this paper we claim that a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  17
    Paraconsistent Logic: Consistency, Contradiction and Negation.Walter Carnielli & Marcelo Esteban Coniglio - 2016 - Basel, Switzerland: Springer International Publishing.
  14.  60
    Axioms for Classical, Intuitionistic, and Paraconsistent Hybrid Logic.Torben Braüner - 2006 - Journal of Logic, Language and Information 15 (3):179-194.
    In this paper we give axiom systems for classical and intuitionistic hybrid logic. Our axiom systems can be extended with additional rules corresponding to conditions on the accessibility relation expressed by so-called geometric theories. In the classical case other axiomatisations than ours can be found in the literature but in the intuitionistic case no axiomatisations have been published. We consider plain intuitionistic hybrid logic as well as a hybridized version of the constructive and paraconsistent logic N4.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  9
    A New Technique for Proving Realisability and Consistency Theorems Using Finite Paraconsistent Models of Cut‐Free Logic.Arief Daynes - 2006 - Mathematical Logic Quarterly 52 (6):540-554.
    A new technique for proving realisability results is presented, and is illustrated in detail for the simple case of arithmetic minus induction. CL is a Gentzen formulation of classical logic. CPQ is CL minus the Cut Rule. The basic proof theory and model theory of CPQ and CL is developed. For the semantics presented CPQ is a paraconsistent logic, i.e. there are non-trivial CPQ models in which some sentences are both true and false. Two systems of arithmetic (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16. 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 (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  17.  16
    Priestley Duality for Paraconsistent Nelson’s Logic.Sergei P. Odintsov - 2010 - Studia Logica 96 (1):65-93.
    The variety of N4? -lattices provides an algebraic semantics for the logic N4?, a version of Nelson 's logic combining paraconsistent strong negation and explosive intuitionistic negation. In this paper we construct the Priestley duality for the category of N4?-lattices and their homomorphisms. The obtained duality naturally extends the Priestley duality for Nelson algebras constructed by R. Cignoli and A. Sendlewski.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  5
    Modal Extension of Ideal Paraconsistent Four-Valued Logic and its Subsystem.Norihiro Kamide & Yoni Zohar - 2020 - Annals of Pure and Applied Logic 171 (10):102830.
    This study aims to introduce a modal extension M4CC of Arieli, Avron, and Zamansky's ideal paraconsistent four-valued logic 4CC as a Gentzen-type sequent calculus and prove the Kripke-completeness and cut-elimination theorems for M4CC. The logic M4CC is also shown to be decidable and embeddable into the normal modal logic S4. Furthermore, a subsystem of M4CC, which has some characteristic properties that do not hold for M4CC, is introduced and the Kripke-completeness and cut-elimination theorems for this subsystem (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  31
    On a “Most Telling” Argument for Paraconsistent Logic.Michaelis Michael - 2016 - Synthese 193 (10).
    Priest and others have presented their “most telling” argument for paraconsistent logic: that only paraconsistent logics allow non-trivial inconsistent theories. This is a very prevalent argument; occurring as it does in the work of many relevant and more generally paraconsistent logicians. However this argument can be shown to be unsuccessful. There is a crucial ambiguity in the notion of non-triviality. Disambiguated the most telling reason for paraconsistent logics is either question-begging or mistaken. This highlights an (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  45
    Partial and Paraconsistent Approaches to Future Contingents in Tense Logic.Seiki Akama, Tetsuya Murai & Yasuo Kudo - 2016 - Synthese 193 (11).
    The problem of future contingents is regarded as an important philosophical problem in connection with determinism and it should be treated by tense logic. Prior’s early work focused on the problem, and later Prior studied branching-time tense logic which was invented by Kripke. However, Prior’s idea to use three-valued logic for the problem seems to be still alive. In this paper, we consider partial and paraconsistent approaches to the problem of future contingents. These approaches theoretically meet (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  9
    Leibnizian Identity and Paraconsistent Logic.Ali Abasnezhad - forthcoming - History and Philosophy of Logic:1-8.
    The standard Leibnizian view of identity allows for substitutivity of identicals and validates transitivity of identity within classical semantics. However, in a series of works, Graham Priest argues that Leibnizian identity invalidates both principles when formalized in paraconsistent semantics. This paper aims to show the Leibnizian view of identity validates substitutivity of identicals and transitivity of identity whether the logic is classical or paraconsistent. After presenting Priest's semantics of identity, I show what a semantic expression of Leibnizian (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22. Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic.Koji Tanaka - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 15--25.
    Max Cresswell and Hilary Putnam seem to hold the view, often shared by classical logicians, that paraconsistent logic has not been made sense of, despite its well-developed mathematics. In this paper, I examine the nature of logic in order to understand what it means to make sense of logic. I then show that, just as one can make sense of non-normal modal logics (as Cresswell demonstrates), we can make `sense' of paraconsistent logic. Finally, I (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  23.  49
    The Class of Extensions of Nelson's Paraconsistent Logic.Sergei P. Odintsov - 2005 - Studia Logica 80 (2-3):291-320.
    The article is devoted to the systematic study of the lattice εN4⊥ consisting of logics extending N4⊥. The logic N4⊥ is obtained from paraconsistent Nelson logic N4 by adding the new constant ⊥ and axioms ⊥ → p, p → ∼ ⊥. We study interrelations between εN4⊥ and the lattice of superintuitionistic logics. Distinguish in εN4⊥ basic subclasses of explosive logics, normal logics, logics of general form and study how they are relate.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  24.  29
    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   6 citations  
  25.  15
    Sequent Calculus for 3-Valued Paraconsistent Logic QMPT0.Naoyuki Nide, Yuki Goto & Megumi Fujita - 2019 - Logic Journal of the IGPL 27 (4):507-521.
    We present a sequent calculus of a paraconsistent logic QMPT0, which has the paraconsistent-type excluded middle law as an initial sequent. Our system shows that the presence of PEML is essentially important for QMPT0. It also has special rules when the set of constant symbols is finite. We also discuss the cut-elimination property of our system.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  37
    The Unexpected Applicability of Paraconsistent Logic: A Chomskyan Route to Dialetheism. [REVIEW]Nicholas D. McGinnis - 2013 - Foundations of Science 18 (4):625-640.
    Paraconsistent logics are characterized by rejection of ex falso quodlibet, the principle of explosion, which states that from a contradiction, anything can be derived. Strikingly these logics have found a wide range of application, despite the misgivings of philosophers as prominent as Lewis and Putnam. Such applications, I will argue, are of significant philosophical interest. They suggest ways to employ these logics in philosophical and scientific theories. To this end I will sketch out a ‘naturalized semantic dialetheism’ following Priest’s (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  5
    Extensions of Hałkowska–Zajac's Three-Valued Paraconsistent Logic.Alexej P. Pynko - 2002 - Archive for Mathematical Logic 41 (3):299-307.
    As it was proved in [4, Sect. 3], the poset of extensions of the propositional logic defined by a class of logical matrices with equationally-definable set of distinguished values is a retract, under a Galois connection, of the poset of subprevarieties of the prevariety generated by the class of the underlying algebras of the defining matrices. In the present paper we apply this general result to the three-valued paraconsistent logic proposed by Hałkowska–Zajac [2]. Studying corresponding prevarieties, we (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  28.  22
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  29. Systems of Paraconsistent Logic.Graham Priest & Richard Routley - 1989 - In G. Priest, R. Routley & J. Norman (eds.), Paraconsistent Logic: Essays on the Inconsistent. Philosophia Verlag. pp. 142--155.
     
    Export citation  
     
    Bookmark   25 citations  
  30.  47
    Remarks on the Epistemic Interpretation of Paraconsistent Logic.Nicolás Lo Guercio & Damian Szmuc - 2018 - Principia: An International Journal of Epistemology 22 (1):153-170.
    In a recent work, Walter Carnielli and Abilio Rodrigues present an epistemically motivated interpretation of paraconsistent logic. In their view, when there is conflicting evidence with regard to a proposition A (i.e. when there is both evidence in favor of A and evidence in favor of ¬A) both A and ¬A should be accepted without thereby accepting any proposition B whatsoever. Hence, reasoning within their system intends to mirror, and thus, should be constrained by, the way in which (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31. Aspects of the Historical Development of Paraconsistent Logic.Ayda I. Arruda - 1989 - In G. Priest, R. Routley & J. Norman (eds.), Paraconsistent Logic: Essays on the Inconsistent. Philosophia Verlag. pp. 99--130.
  32. An Extremely Rich Paraconsistent Logic and the Adaptive Logic Based on It.Joke Meheus - 2000 - In Frontiers of Paraconsistent Logic. Research Studies Press. pp. 189-201.
    Translate
     
     
    Export citation  
     
    Bookmark   16 citations  
  33.  77
    Why Paraconsistent Logic Can Only Tell Half the Truth.Joachim Bromand - 2002 - Mind 111 (444):741-749.
    The aim of this paper is to show that Graham Priest's dialetheic account of semantic paradoxes and the paraconsistent logics employed cannot achieve semantic universality. Dialetheism therefore fails as a solution to semantic paradoxes for the same reason that consistent approaches did. It will be demonstrated that if dialetheism can express its own semantic principles, a strengthened liar paradox will result, which renders dialetheism trivial. In particular, the argument is not invalidated by relational valuations, which were brought into (...) logic in order to avoid strengthened liar paradoxes. (shrink)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  34.  14
    5-Valued Non-Deterministic Semantics for The Basic Paraconsistent Logic mCi.Arnon Avron - 2008 - Studies in Logic, Grammar and Rhetoric 14 (27).
    One of the most important paraconsistent logics is the logic mCi, which is one of the two basic logics of formal inconsistency. In this paper we present a 5-valued characteristic nondeterministic matrix for mCi. This provides a quite non-trivial example for the utility and effectiveness of the use of non-deterministic many-valued semantics.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  35.  91
    Remarks on the Applications of Paraconsistent Logic to Physics.Newton C. A. da Costa & Décio Krause - unknown
    In this paper we make some general remarks on the use of non-classical logics, in particular paraconsistent logic, in the foundational analysis of physical theories. As a case-study, we present a reconstruction of P.\ -D.\ F\'evrier's 'logic of complementarity' as a strict three-valued logic and also a paraconsistent version of it. At the end, we sketch our own approach to complementarity, which is based on a paraconsistent logic termed 'paraclassical logic'.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36. From Paraconsistent Logic to Universal Logic.Jean-Yves Béziau - 2001 - Sorites 12:5-32.
    For several years I have been developing a general theory of logics that I have called Universal Logic. In this article I will try to describe how I was led to this theory and how I have progressively conceived it, starting my researches about ten years ago in Paris in paraconsistent logic and the broadening my horizons, pursuing my researches in Brazil, Poland and the USA.
     
    Export citation  
     
    Bookmark   3 citations  
  37. Paraconsistent Logic!Jean-Yves Béziau - 2006 - Sorites 17:17-25.
    We answer Slater's argument according to which paraconsistent logic is a result of a verbal confusion between «contradictories» and «subcontraries». We show that if such notions are understood within classical logic, the argument is invalid, due to the fact that most paraconsistent logics cannot be translated into classical logic. However we prove that if such notions are understood from the point of view of a particular logic, a contradictory forming function in this logic (...)
     
    Export citation  
     
    Bookmark   2 citations  
  38.  25
    A Reasoning Method for a Paraconsistent Logic.Arthur Buchsbaum & Tarcisio Pequeno - 1993 - Studia Logica 52 (2):281 - 289.
    A proof method for automation of reasoning in a paraconsistent logic, the calculus C1* of da Costa, is presented. The method is analytical, using a specially designed tableau system. Actually two tableau systems were created. A first one, with a small number of rules in order to be mathematically convenient, is used to prove the soundness and the completeness of the method. The other one, which is equivalent to the former, is a system of derived rules designed to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  39.  68
    Paraconsistent Logic and Model Theory.Elias H. Alves - 1984 - Studia Logica 43 (1-2):17 - 32.
    The object of this paper is to show how one is able to construct a paraconsistent theory of models that reflects much of the classical one. In other words the aim is to demonstrate that there is a very smooth and natural transition from the model theory of classical logic to that of certain categories of paraconsistent logic. To this end we take an extension of da Costa''sC 1 = (obtained by adding the axiom A A) (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40.  38
    Hilbert, Trivialization and Paraconsistent Logic.Andrés Bobenrieth - 2007 - The Proceedings of the Twenty-First World Congress of Philosophy 5:37-43.
    The origin of Paraconsistent Logic is closely related with the argument that from the assertion of two mutually contradictory statements any other statement can be deduced, which can be referred to as ex contradict!one sequitur quodlibet (ECSQ). Despite its medieval origin, only in the 1930s did it become the main reason for the unfeasibility of having contradictions in a deductive system. The purpose of this paper is to study what happened before: from Principia Mathematica to that time, when (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  10
    Laws of Form and Paraconsistent Logic[REVIEW]Jean Paul Van Bendegem - 2017 - Constructivist Foundations 13 (1):21-22.
    The aim of this commentary is to show that a new development in formal logic, namely paraconsistent logic, should be connected with the laws of form. This note also includes some personal history to serve as background.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  32
    Paraconsistent Logic! (A Reply to Slater) Jean-Yves BéziauFoot Note 1_.Blaise Pascal - unknown
    Paraconsistent logic is the study of logics in which there are some theories embodying contradictions but which are not trivial, in particular in a paraconsistent logic, the ex contradictione sequitur quod libet, which can be formalized as Cn(T, a,¬a)=F is not valid. Since nearly half a century various systems of paraconsistent logic have been proposed and studied. This field of research is classified under a special section (B53) in the Mathematical Reviews and watching this (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  43.  10
    Paraconsistent Logic and Weakening of Intuitionistic Negation.Zoran Majkić - 2012 - Journal of Intelligent Systems 21 (3):255-270.
    . A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. In an earlier paper [Notre Dame J. Form. Log. 49, 401–424], we developed the systems of weakening of intuitionistic negation logic, called and, in the spirit of da Costa's approach by preserving, differently from da Costa, the fundamental properties of negation: antitonicity, inversion and additivity for distributive lattices. Taking into account these results, we make some observations on the modified (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  44.  13
    Heuristic Ground of Paraconsistent Logic.Valentin A. Bazhanov - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:5-8.
    The paper deals with the heuristic prerequisites of paraconsistent logic in the case of imaginary logic of N.A. Vasiliev proposed in 1910.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  34
    Algebraic Study of Sette's Maximal Paraconsistent Logic.Alexej P. Pynko - 1995 - Studia Logica 54 (1):89 - 128.
    The aim of this paper is to study the paraconsistent deductive systemP 1 within the context of Algebraic Logic. It is well known due to Lewin, Mikenberg and Schwarse thatP 1 is algebraizable in the sense of Blok and Pigozzi, the quasivariety generated by Sette's three-element algebraS being the unique quasivariety semantics forP 1. In the present paper we prove that the mentioned quasivariety is not a variety by showing that the variety generated byS is not equivalent to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  46.  96
    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 (10 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  47.  2
    The Dissolution of Bar-Hillel-Carnap Paradox by Semantic Information Theory Based on a Paraconsistent Logic.Samir Gorsky - 2018 - Principia: An International Journal of Epistemology 22 (1):139-151.
    Several logical puzzles, riddles and problems are defined based on the notion of games in informative contexts. Hintikka argues that epistemology or the theory of knowledge must be considered from the notion of information. So, knowledge cannot just be based on the notions of belief and justification. The present proposal will focus on the logical structure of information, and not only on the quantification of information as suggested by Claude A. Shannon. In many cases, the information bits, although seemingly or (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48. Paraconsistent Logic.Graham Priest - 2008 - Stanford Encyclopedia of Philosophy.
  49.  20
    Paraconsistent Logic: Essays on the Inconsistent.L. R. S., Graham Priest, Richard Sylvan & Jean Norman - 1991 - Philosophical Quarterly 41 (165):515.
  50.  10
    Paraconsistent Logic From a Modal Viewpoint.Jean-Yves Béziau - 2005 - Journal of Applied Logic 3 (1):7-14.
1 — 50 / 1000