Results 51 to 60 of about 3,744 (159)
A Paraconsistentist Approach to Chisholm's Paradox
Principia: An International Journal of Epistemology, 2009 The Logics of Deontic (In)Consistency (LDI’s) can be considered as the deontic counterpart of the paraconsistent logics known as Logics of Formal (In)Consistency.
Marcelo Esteban Coniglio +1 more
doaj
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
What is a Paraconsistent Logic? [PDF]
, 2018 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
Alexej Pynko +30 more
core +1 more source
Paraconsistent logic programming
Theoretical Computer Science, 1987 See the review in Zbl 0631.68009.
Blair, Howard A., Subrahmanian, V.S.
openaire +1 more source
Kripkean conceivability and epistemic modalities
Analytic Philosophy, Volume 65, Issue 4, Page 585-602, December 2024.Abstract In this article, I show that (i) from what I call a “Kripkean” account of the relations between conceivability and metaphysical necessities, (ii) an apparently plausible principle relating conceivability and epistemic modality, and (iii) the duality of epistemic modalities, one can show the utterly anti‐Kripkean result that every metaphysical ...
Vittorio Morato
wiley +1 more source
Transreal arithmetic as a consistent basis for paraconsistent logics [PDF]
, 2014 Paraconsistent logics are non-classical logics which allow non-trivial and consistent reasoning about inconsistent axioms. They have been pro- posed as a formal basis for handling inconsistent data, as commonly arise in human enterprises, and as ...
Anderson, James A.D.W., Gomide, Walter
core
The ubiquity of conservative translations
, 2012 We study the notion of conservative translation between logics introduced by Feitosa and D'Ottaviano. We show that classical propositional logic (CPC) is universal in the sense that every finitary consequence relation over a countable set of formulas can
da Silva +8 more
core +1 more source
Recovery operators, paraconsistency and duality [PDF]
, 2020 There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language ...
Carnielli, Walter A. +2 more
core
Pursuit of the concept of validity: A dialogue
Theoria, Volume 90, Issue 5, Page 479-491, October 2024.Abstract This is a dialogue between Lisa and Max on Dag Prawitz's work concerning the concept of deductive validity. Lisa first explains Prawitz's criticisms of the presently prevailing non‐epistemic analyses of validity. Then Lisa describes three different ways in which Prawitz attempted to develop an epistemic concept of validity.
Cesare Cozzo
wiley +1 more source
, 2009 The present contribution might be regarded as a kind of defense of the common sense in logic. It is demonstrated that if the classical negation is interpreted as the minimal negation with n = 2 truth values, then deviant logics can be conceived as ...
Schang, Fabien
core +1 more source