Results 1 to 10 of about 125 (118)
A Note on Fernández–Coniglio’s Hierarchy of Paraconsistent Systems
Axioms, 2020 A logic is called explosive if its consequence relation validates the so-called principle of ex contradictione sequitur quodlibet. A logic is called paraconsistent so long as it is not explosive.
Janusz Ciuciura
doaj +4 more sources
Gently Paraconsistent Calculi [PDF]
Axioms, 2020 In this paper, we consider some paraconsistent calculi in a Hilbert-style formulation with the rule of detachment as the sole rule of interference.
Janusz Ciuciura
doaj +2 more sources
Change of logic, without change of meaning
Theoria, Volume 89, Issue 4, Page 414-431, August 2023., 2023 Abstract Change of logic is typically taken as requiring that the meanings of the connectives change too. As a result, it has been argued that legitimate rivalry between logics is under threat. This is, in a nutshell, the meaning‐variance argument, traditionally attributed to Quine.
Hitoshi Omori, Jonas R. B. Arenhart
wiley +1 more source
A new bridge principle for the normativity of logic
Theoria, Volume 88, Issue 6, Page 1274-1292, December 2022., 2022 Abstract Logic appears to be normative for rational belief. The thesis of the normativity of logic holds that indeed logic has such a normative status. Gilbert Harman has questioned it, thereby giving rise to what has been called “Harman's skeptical challenge”.
Francesco Orilia
wiley +1 more source
Weak consistency and strong paraconsistency
tripleC: Communication, Capitalism & Critique, 2009 In a standard sense, consistency and paraconsistency are understood as, respectively, the absence of any contradiction and as the absence of the ECQ (“E contradictione quodlibet”) rule that allows us to conclude any well formed formula from any ...
Gemma Robles
doaj +1 more source
The dawn of paraconsistency: Russia's logical thought in the turn of XX century
Manuscrito, 2011 The paper deals with the factors which enabled N. A. Vasiliev to put forward in 1910 - 12 the idea of logics free of the laws of contradiction and excluded middle, the idea of metalogic and to construct his imaginary logic as novel non-classical system ...
Valentin A. Bazhanov
doaj +1 more source
Paraconsistent Probabilities: Consistency, Contradictions and Bayes’ Theorem
Entropy, 2016 This paper represents the first steps towards constructing a paraconsistent theory of probability based on the Logics of Formal Inconsistency (LFIs).
Juliana Bueno-Soler, Walter Carnielli
doaj +1 more source
Kripke-Style Models for Logics of Evidence and Truth
Axioms, 2020 In this paper, we propose Kripke-style models for the logics of evidence and truth LETJ and LETF. These logics extend, respectively, Nelson’s logic N4 and the logic of first-degree entailment (FDE) with a classicality operator ∘ that recovers classical ...
Henrique Antunes +3 more
doaj +1 more source
A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics
Bulletin of the Section of Logic, 2021 In this paper, we consider the class of four-valued literal-paraconsistent-paracomplete logics constructed by combination of isomorphs of classical logic CPC. These logics form a 10-element upper semi-lattice with respect to the functional embeddinig one
Natalya Tomova
doaj +1 more source
Paraconsistency and its Possibilities: a personalised and partial perspective of the past [PDF]
Journal of Philosophical InvestigationsI take paraconsistent logic to be one of the most important and significant developments in logic and metaphysics in the last 100 years, challenging, as it does, one of the deepest dogmas entrenched in Western philosophy: that consistency is a sine qua ...
Graham Priest
doaj +1 more source