Results 51 to 60 of about 5,275 (212)
Algebraization of Jaśkowski’s Paraconsistent Logic D2
Studies in Logic, Grammar and Rhetoric, 2015 The aim of this paper is to present an algebraic approach to Jaśkowski’s paraconsistent logic D2. We present: a D2-discursive algebra, Lindenbaum- Tarski algebra for D2 and D2-matrices.
Ciuciura Janusz
doaj +1 more source
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
On formal aspects of the epistemic approach to paraconsistency [PDF]
, 2018 This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence.
Carnielli, Walter +2 more
core
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
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
Tableau method of proof for Peirce’s three-valued propositional logic
Filosofia Unisinos, 2022 Peirce’s triadic logic has been under discussion since its discovery in the 1960s by Fisch and Turquette. The experiments with matrices of three-valued logic are recorded in a few pages of unpublished manuscripts dated 1909, a decade before similar ...
José Renato Salatiel
doaj +1 more source
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