Results 61 to 70 of about 801,927 (249)
ON A NEW APPROACH TO PEIRCE’S THREE-VALUE PROPOSITIONAL LOGIC
Manuscrito, 2023 In 1909, Peirce recorded in a few pages of his logic notebook some experiments with matrices for three-valued propositional logic. These notes are today recognized as one of the first attempts to create non-classical formal systems.
JOSÉ RENATO SALATIEL
doaj +1 more source
Introducing consistency in a dialogical framework for paraconsistent logic
Logic Journal of the IGPL, 2018 The logics of formal inconsistency are logics tolerant to some amount of contradiction, but in which some versions of explosion still hold. The main result of this paper is a reconstruction of two such logics in the dialogical framework.
E. Barrio +2 more
semanticscholar +1 more source
Paraconsistent Multivalued Logic and Coincidentia Oppositorum: Evaluation with Complex Numbers [PDF]
, 2015 Paraconsistent logic admits that the contradiction can be true. Let p be the truth values and P be a proposition. In paraconsistent logic the truth values of contradiction is . This equation has no real roots but admits complex roots . This is the result
Nescolarde-Selva, Josué Antonio +3 more
core +2 more sources
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
Paraconsistent logic programming
Theoretical Computer Science, 1987 See the review in Zbl 0631.68009.
Blair, Howard A., Subrahmanian, V.S.
openaire +1 more source
Kripkean conceivability and epistemic modalities
Analytic Philosophy, Volume 65, Issue 4, Page 585-602, December 2024.Abstract In this article, I show that (i) from what I call a “Kripkean” account of the relations between conceivability and metaphysical necessities, (ii) an apparently plausible principle relating conceivability and epistemic modality, and (iii) the duality of epistemic modalities, one can show the utterly anti‐Kripkean result that every metaphysical ...
Vittorio Morato
wiley +1 more source
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
Pursuit of the concept of validity: A dialogue
Theoria, Volume 90, Issue 5, Page 479-491, October 2024.Abstract This is a dialogue between Lisa and Max on Dag Prawitz's work concerning the concept of deductive validity. Lisa first explains Prawitz's criticisms of the presently prevailing non‐epistemic analyses of validity. Then Lisa describes three different ways in which Prawitz attempted to develop an epistemic concept of validity.
Cesare Cozzo
wiley +1 more source
Um novo sistema de axiomas para a l´ogica paraconsistente J3
CQD Revista Eletrônica Paulista de Matemática, 2022 We investigate the paraconsistent logic J3. As original result we propose a new sistem of axioms for J3 and present results of soundness and completeness (adequacy) evolving the original three valued matrix semantic for J3.
H´ercules de Araujo Feitosa +2 more
doaj
Nicolai Vasiliev’s Imaginary Logic and Semantic Foundations for the Logic of Assent
Philosophia Scientiæ, 2014 The Russian philosopher Nicolai Vasiliev is known as a forerunner of substantially non-classical logics, i.e., logics that differ from classical logic by dropping principles that are sound in classical logic.
Werner Stelzner
doaj +1 more source