Results 31 to 40 of about 2,727 (208)
Ontological Paraconsistency Has a Place [PDF]
International Journal of Philosophy, 2016 Marcia R. Pinheiro
exaly +2 more sources
Literal and Controllable Paraconsistency
Logic and Logical PhilosophyThe principle of explosion asserts that any formula can be derived from any pair of other contradictory formulas. Paraconsistent logic is typically regarded as a logic in which the universal validity of this principle is questioned.
Janusz Ciuciura
openalex +3 more sources
Paraconsistency and Paracompleteness
, 2019 A logic $\langle \mathcal{L},\vdash_{p}\rangle$ is said to be paraconsistent if, and only if $\{\alpha, \neg \alpha\} \nvdash_{p} \beta$, for some formulas $\alpha, \beta$.
Janusz Ciuciura
openalex +3 more sources
On the Polish “Via Modalization” Approach to Paraconsistency
Edukacja Filozoficzna, 2023 Ricardo Arturo Nicolás-Francisco
openalex +2 more sources
Method for Combining Paraconsistency and Probability in Temporal Reasoning
Journal of Advanced Computational Intelligence and Intelligent Informatics, 2016 Norihiro Kamide, Daiki Koizumi
exaly +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
Paraconsistent Transition Systems
Electronic Proceedings in Theoretical Computer Science, 2023 In Proceedings LSFA 2022, arXiv:2303 ...
Cruz, Ana +2 more
openaire +4 more sources
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