Results 51 to 60 of about 5,334 (208)
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
Potentiality and Contradiction in Quantum Mechanics [PDF]
, 2014 Following J.-Y.B\'eziau in his pioneer work on non-standard interpretations of the traditional square of opposition, we have applied the abstract structure of the square to study the relation of opposition between states in superposition in orthodox ...
Arenhart, Jonas R. B., Krause, Décio
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
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
Theories of truth based on four-valued infectious logics [PDF]
, 2020 Infectious logics are systems that have a truth-value that is assigned to a compound formula whenever it is assigned to one of its components. This paper studies four-valued infectious logics as the basis of transparent theories of truth.
Da Re, Bruno +2 more
core