Results 1 to 10 of about 105 (101)
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
Inconsistency, Paraconsistency and ?-Inconsistency
Principia: An International Journal of Epistemology, 2018 In this paper I’ll explore the relation between ?-inconsistency and plain inconsistency, in the context of theories that intend to capture semantic concepts. In particular, I’ll focus on two very well known inconsistent but non-trivial theories of truth:
Bruno Da Ré
doaj +4 more sources
Metainferential Paraconsistency
Logic and Logical Philosophy, 2022 In this article, our aim is to take a step towards a full understanding of the notion of paraconsistency in the context of metainferential logics. Following the work initiated by Barrio et al. [2018], we will consider a metainferential logic to be paraconsistent whenever the metainferential version of Explosion (or meta-Explosion) is invalid.
Bruno Da Ré +2 more
openaire +3 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
Paraconsistent Transition Systems
Electronic Proceedings in Theoretical Computer Science, 2023 In Proceedings LSFA 2022, arXiv:2303 ...
Cruz, Ana +2 more
openaire +4 more sources
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 +1 more source
Ideal Paraconsistent Logics [PDF]
Studia Logica, 2011 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
A. Avron, O. Arieli, A. Zamansky
openaire +2 more sources
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
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