Results 1 to 10 of about 2,727 (208)
Arch. Formal Proofs, 2016 Paraconsistency is about handling inconsistency in a coherent way. In classical and intuitionistic logic everything follows from an inconsistent theory. A paraconsistent logic avoids the explosion. Quite a few applications in computer science and engineering are discussed in the Intelligent Systems Reference Library Volume 110: Towards Paraconsistent ...
Schlichtkrull, Anders +1 more
core +4 more sources
Aristotle’s Theory of Deduction and Paraconsistency
Principia: An International Journal of Epistemology, 2010 No Órganon Aristóteles descreve alguns esquemas dedutivos nos quais a presença de inconsistências não acarreta a trivialização da teoria lógica envolvida.
Evandro L. Gomes +1 more
doaj +3 more sources
A Paraconsistent Higher Order Logic [PDF]
, 2003 Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where an inconsistency does not lead to such an explosion, and since in practice consistency is difficult to achieve there
A. Church +18 more
core +6 more sources
Penalty Logic: Paraconsistency and Applications
Логико-философские штудии, 2021 Penalty logic is a non-classical non-monotonic logic which allows us to demonstrate the power of belief, the level of truth or the reliability of data that we are using. This logic can be useful to model human reasoning or to replace the penalty function
Varvara Iakovleva
semanticscholar +1 more source
Co-constructive Logics for Proofs and Refutations
Studia Humana, 2015 This paper considers logics which are formally dual to intuitionistic logic in order to investigate a co-constructive logic for proofs and refutations. This is philosophically motivated by a set of problems regarding the nature of constructive truth, and
Trafford James
doaj +1 more source
Dialectical Multivalued Logic and Probabilistic Theory
Mathematics, 2017 There are two probabilistic algebras: one for classical probability and the other for quantum mechanics. Naturally, it is the relation to the object that decides, as in the case of logic, which algebra is to be used.
José Luis Usó Doménech +2 more
doaj +1 more source
Quasi-truth and defective knowledge in science: a critical examination
Manuscrito, 2023 Quasi-truth (a.k.a. pragmatic truth or partial truth) is typically advanced as a framework accounting for incompleteness and uncertainty in the actual practices of science. Also, it is said to be useful for accommodating cases of inconsistency in science
JONAS R. BECKER ARENHART, DÉCIO KRAUSE
doaj +1 more source
Paraconsistent Logic and Its Place in Latin American Philosophy
RUDN Journal of PhilosophyThis study presents an overview of paraconsistent logic, tracing its historical origins and development within what may be referred to as the Latin American school of paraconsistency.
Lauro de Matos Nunes Filho
doaj +1 more source
Rational Inconsistency and Reasoning
Informal Logic, 1992 Nicholas Rescher has argued we must tolerate inconsistency because of our cognitive limitations. He has also produced, together with R. Brandom, a serious attempt at exploring the logic of inconsistency.
Bryson Brown
doaj +1 more source
Gerland’s „Dialectica” and Paraconsistency
, 2021 The present state of paraconsistent logic attests to significant development, and its maturity permits a critical historical analysis of this advance, having in view the appreciation of its historical roots and stages of formation. The aim of our general
Itala M Loffredo D’Ottaviano +1 more
semanticscholar +1 more source