Results 71 to 80 of about 2,394 (173)
Meeting Hintikka's Challenge to Paraconsistentism
Principia: An International Journal of Epistemology, 2009 Jaakko Hintikka, in a series of talks in Brazil in 2008, defended that IF (“independence- friendly”) logic and paraconsistent logic are, in a sense, very similar.
Walter Carnielli
doaj
A Meta-Logic of Inference Rules: Syntax [PDF]
, 2014 This work was intended to be an attempt to introduce the meta-language for working with multiple-conclusion inference rules that admit asserted propositions along with the rejected propositions.
Citkin, Alex
core +2 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
Paraconsistent Gödel Modal Logic
, 2022 AbstractWe introduce a paraconsistent modal logic$$\mathbf {K}\mathsf {G}^2$$KG2, based on Gödel logic with coimplication (bi-Gödel logic) expanded with a De Morgan negation$$\lnot $$¬. We use the logic to formalise reasoning with graded, incomplete and inconsistent information.
Marta Bílková +2 more
openaire +3 more sources
The Logic of Truth in Paraconsistent Internal Realism
Studia Philosophica Estonica, 2008 The paper discusses which modal principles should hold for a truth operator answering to the truth theory of internal realism. It turns out that the logic of truth in internal realism is isomorphic to the modal system S4.
Manuel Bremer
doaj
Remarks on Wittgenstein, Gödel, Chaitin, Incompleteness, Impossiblity and the Psychological Basis of Science and Mathematics [PDF]
, 2019 It is commonly thought that such topics as Impossibility, Incompleteness, Paraconsistency, Undecidability, Randomness, Computability, Paradox, Uncertainty and the Limits of Reason are disparate scientific physical or mathematical issues having little or ...
Starks, Michael Richard
core
On neutrosophic paraconsistent topology [PDF]
Kybernetes, 2010 PurposeRecently, F. Smarandache generalized the Atanassov's intuitionistic fuzzy sets and other kinds of sets to neutrosophic sets (NSs). Also, this author introduced a general definition of neutrosophic topology. On the other hand, there exist various kinds of paraconsistent logics, where some contradiction is admissible.
openaire +1 more source
Remarks on an algebraic semantics for paraconsistent Nelson's logic
Manuscrito, 2011 In the paper Busaniche and Cignoli (2009) we presented a quasivariety of commutative residuated lattices, called NPc-lattices, that serves as an algebraic semantics for paraconsistent Nelson's logic.
Manuela Busaniche, Roberto Cignoli
doaj +1 more source
Studia Logica: An International Journal for Symbolic Logic, 2023 Bożena Czernecka-Rej
semanticscholar +2 more sources
Why and how to be a Dialetheist
Studia Philosophica Estonica, 2008 In the first part the paper rehearses the main arguments why to be a dialetheist (i.e. why to assume that some contradictions are true). Dialetheism, however, has been criticised as irrational or self-refutating.
Manuel Bremer
doaj