Results 1 to 10 of about 2,344 (128)
Inconsistency, Paraconsistency and ?-Inconsistency [PDF]
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
Paraconsistency in the Logic sqŁ*
AxiomsThe logic sqŁ* is closely related to complex fuzzy sets. In this paper, we continue our study on sqŁ* by establishing a system that includes all formulas with values 0 in sqŁ*. This system has paraconsistent formulas within sqŁ*.
Lei Cai, Wenjuan Chen
doaj +2 more sources
Paraconsistency, Evidence and Semantic Incompleteness
Análisis FilosóficoIn this paper, we argue that the systems Basic Logic of Evidence (BLE) and Logic of Evidence and Truth (LETJ) suffer a kind of semantic incompleteness with respect to the informal notion of evidence.
Edson Bezerra
doaj +2 more sources
Remarks on the Epistemic Interpretation of Paraconsistency Logic
Principia: An International Journal of Epistemology, 2018 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.
Nicolás Lo Guercio, Damian Szmuc
doaj +2 more sources
Proof-Theoretic Aspects of Paraconsistency with Strong Consistency Operator [PDF]
Studia Logica: An International Journal for Symbolic Logic, 2023 In order to develop efficient tools for automated reasoning with inconsistency (theorem provers), eventually making Logics of Formal inconsistency (LFI) a more appealing formalism for reasoning under uncertainty, it is important to develop the proof ...
Victoria Arce Pistone, M. Figallo
semanticscholar +1 more source
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
Logics of Formal Inconsistency enriched with replacement: an algebraic and modal account [PDF]
, 2021 One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found.
Carnielli, Walter +2 more
core +2 more sources
A Paraconsistency Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning
European Conference on Artificial Intelligence, 2023 Inconsistency handling is a fundamental problem in knowledge representation and reasoning. In this paper, we study this problem in the context of qualitative spatio-temporal reasoning, a framework for reasoning about space and time in a symbolic, human ...
Y. Salhi, Michael Sioutis
semanticscholar +1 more source