Results 51 to 60 of about 1,589 (220)
Dialetheism and the countermodel problem
Abstract According to some dialetheists, we ought to reject the distinction between object and meta‐languages. Given that dialetheists advocate truth‐value gluts within their object‐language, whether in order to solve the liar paradox or for some other reason, this rejection of the object‐/meta‐language distinction comes with the commitment to use a ...
Andreas Fjellstad, Ben Martin
wiley +1 more source
A Logic for Paraconsistent Transition Systems
In Proceedings NCL 2022, arXiv:2204 ...
Ana Cruz +2 more
openaire +4 more sources
ON A NEW APPROACH TO PEIRCE’S THREE-VALUE PROPOSITIONAL LOGIC
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
The logic of complementarity [PDF]
This paper is the sequel of a previous one where we have introduced a paraconsistent logic termed paraclassical logic to deal with 'complementary propositions'.
Krause, Décio, C. A. da Costa, Newton
core
Two Consistent Many-Valued Logics for Paraconsistent Phenomena
5th WCP, Kolkata, India, February 2014.In this reviewing paper, we recall the main results of our papers [24, 31] where we introduced two paraconsistent semantics for Pavelka style fuzzy logic.
Esko Turunen +3 more
core +1 more source
Unveiling the nature of philosophical problems: Formal and conceptual aspects
Abstract This paper approximates an intensional definitional distinction between philosophical problems and non‐philosophical problems. It contends that a philosophical problem consists of an inconsistent set M of propositions that satisfies certain characteristics.
Jens Harbecke
wiley +1 more source
Algebraization of Jaśkowski’s Paraconsistent Logic D2
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 Partial and Paraconsistent Logics
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +4 more sources
Rational Inconsistency and Reasoning
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
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

