Results 1 to 10 of about 1,985 (241)
TOWARDS A PHILOSOPHICAL UNDERSTANDING OF THE LOGICS OF FORMAL INCONSISTENCY [PDF]
Manuscrito, 2015 In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in ...
WALTER CARNIELLI, ABÍLIO RODRIGUES
doaj +11 more sources
Intuitionistic Implication and Logics of Formal Inconsistency
AxiomsLogics of Formal Inconsistency (LFI for short) are a class of paraconsistent logics that validate the principle of gentle explosion, meaning that any formula can be derived from the set of formulas: ∘α, α and ∼α. A unique feature of LFI is the use of the
Janusz Ciuciura
doaj +6 more sources
Logics of formal inconsistency arising from systems of fuzzy logic [PDF]
Logic Journal of the IGPL, 2014 This paper proposes the meeting of fuzzy logic with paraconsistency in a very precise and foundational way. Specifically, in this paper we introduce expansions of the fuzzy logic MTL by means of primitive operators for consistency and inconsistency in the style of the so-called Logics of Formal Inconsistency (LFIs).
Marcelo E Coniglio +2 more
exaly +7 more sources
Axiom (cc)0 and Verifiability in Two Extracanonical Logics of Formal Inconsistency [PDF]
Principia: An International Journal of Epistemology, 2018 In the field of logics of formal inconsistency (LFIs), the notion of “consistency” is frequently too broad to draw decisive conclusions with respect to the validity of many theses involving the consistency connective.
Thomas Macaulay Ferguson
doaj +6 more sources
Fraïssé’s theorem for logics of formal inconsistency [PDF]
Logic Journal of the IGPL, 2018 Abstract We prove that the minimal Logic of Formal Inconsistency (LFI) $\mathsf{QmbC}$ (basic quantified logic of formal inconsistency) validates a weaker version of Fraïssé’s theorem (FT). LFIs are paraconsistent logics that relativize the Principle of Explosion only to consistent formulas.
Bruno Ramos Mendonça +1 more
semanticscholar +10 more sources
Logics of formal inconsistency based on distributive involutive residuated lattices [PDF]
Journal of Logic and Computation, 2021 Abstract The aim of this paper is to develop an algebraic and logical study of certain paraconsistent systems, from the family of the logics of formal inconsistency (LFIs), which are definable from the degree-preserving companions of logics of distributive involutive residuated lattices ($\textrm {dIRL}$s) with a consistency operator ...
Francesc Esteva +2 more
exaly +4 more sources
LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT [PDF]
The Review of Symbolic Logic, 2021 AbstractIt is customary to expect from a logical system that it can bealgebraizable, in the sense that an algebraic companion of the deductive machinery can always be found. Since the inception of da Costa’s paraconsistent calculi, algebraic equivalents for such systems have been sought. It is known, however, that these systems are not self-extensional
Walter Carnielli +2 more
semanticscholar +8 more sources
Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency [PDF]
37th International Symposium on Multiple-Valued Logic (ISMVL'07), 2007 Paraconsistent logic is the study of contradictory yet non-trivial theories. One of the best-known approaches to designing useful paraconsistent logics is da Costa's approach, which has led to the family of logics of formal inconsistency (LFIs), where the notion of inconsistency is expressed at the object level.
Arnon Avron, Anna Zamansky
semanticscholar +3 more sources
Logics of Formal Inconsistency [PDF]
, 2007 Segundo a pressuposicao de consistencia classica, as contradicoes tem um cara[c]ter explosivo; uma vez que estejam presentes em uma teoria, tudo vale, e nenhum raciocinio sensato pode entao ter lugar. Uma logica e paraconsistente se ela rejeita uma tal pressuposicao, e aceita ao inves que algumas teorias inconsistentes conquanto nao-triviais facam ...
Walter Carnielli +2 more
exaly +3 more sources
Volume I: Recovery operators in logics of formal inconsistency
Logic Journal of the IGPL, 2019 Fil: Barrio, Eduardo Alejandro. Consejo Nacional de Investigaciones Cientificas y Tecnicas. Oficina de Coordinacion Administrativa Parque Centenario. Instituto de Investigaciones Filosoficas. - Sociedad Argentina de Analisis Filosofico.
Barrio, Eduardo Alejandro +1 more
semanticscholar +4 more sources