Results 51 to 60 of about 2,394 (173)
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
What Do Paraconsistent, Undecidable, Random, Computable and Incomplete mean? A Review of Godel's Way: Exploits into an undecidable world by Gregory Chaitin, Francisco A Doria, Newton C.A. da Costa 160p (2012) (review revised 2019) [PDF]
, 2019 In ‘Godel’s Way’ three eminent scientists discuss issues such as undecidability, incompleteness, randomness, computability and paraconsistency. I approach these issues from the Wittgensteinian viewpoint that there are two basic issues which have ...
Starks, Michael
core
Recovery operators, paraconsistency and duality [PDF]
, 2020 There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language ...
Carnielli, Walter A. +2 more
core
Review of 'The Outer Limits of Reason' by Noson Yanofsky 403p (2013) (review revised 2019) [PDF]
, 2019 I give a detailed review of 'The Outer Limits of Reason' by Noson Yanofsky from a unified perspective of Wittgenstein and evolutionary psychology.
Starks, Michael
core
, 2014 Research on this paper was supported by a grant from the Marsden Fund, Royal Society of New Zealand.Mereotopology is a theory of connected parts. The existence of boundaries, as parts of everyday objects, is basic to any such theory; but in classical ...
A Oliver +41 more
core +1 more source
Manuscrito, 2019 In this review I briefly analyse the main elements of each chapter of the book centred in the general areas of logic, epistemology, philosophy and history of science.
RAFAEL R. TESTA
doaj +1 more source
Recovery operators, paraconsistency and duality
Logic Journal of the IGPL, 2019 There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express metalogical notions in the object language ...
W. Carnielli, M. Coniglio, A. Rodrigues
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
Inconsistency and the dilemma of intuitionistic research in generative syntax [PDF]
, 2012 The paper is a contribution to the current debate on linguistic data and evidence. It raises two questions: (a) What kinds of inconsistency do emerge in generative syntax?
Kertész, András
core
(Wittgenstein & Paraconsistência)
Principia: An International Journal of Epistemology, 2010 In classical logic, a contradiction allows one to derive every other sentence of the underlying language; paraconsistent logics came relatively recently to subvert this explosive principle, by allowing for the subsistence of contradictory yet non-trivial
João Marcos
doaj