Results 41 to 50 of about 3,744 (159)
Models & Proofs: LFIs Without a Canonical Interpretations
In different papers, Carnielli, W. & Rodrigues, A. (2012), Carnielli, W. Coniglio, M. & Rodrigues, A. (2017) and Rodrigues & Carnielli, (2016) present two logics motivated by the idea of capturing contradictions as conflicting evidence.
Eduardo Alejandro Barrio
doaj +1 more source
Hunting for Paradoxes: A Research Strategy for Cognitive Science
Abstract How should we identify interesting topics in cognitive science? This paper suggests that one useful research strategy is to hunt for, and attempt to resolve, paradoxes: that is, apparent or real contradictions in our understanding of the mind and of thought.
Nick Chater
wiley +1 more source
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
A Paraconsistent Higher Order Logic [PDF]
Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where an inconsistency does not lead to such an explosion, and since in practice consistency is difficult to achieve there
A. Church +18 more
core +6 more sources
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
On formal aspects of the epistemic approach to paraconsistency [PDF]
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
Sequent systems for negative modalities
Non-classical negations may fail to be contradictory-forming operators in more than one way, and they often fail also to respect fundamental meta-logical properties such as the replacement property. Such drawbacks are witnessed by intricate semantics and
Lahav, Ori, Marcos, João, Zohar, Yoni
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
Meeting Hintikka's Challenge to Paraconsistentism
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
Philosophical Interpretations Matter
In recent years, there has been an increasing debate about some philosophical aspects of paraconsistent logics. The focus of this controversy has been on whether the notion of philosophical interpretation of a logic is separable or independent from the ...
Eduardo Alejandro Barrio +2 more
doaj +1 more source

