Results 41 to 50 of about 3,744 (159)

Models & Proofs: LFIs Without a Canonical Interpretations

open access: yesPrincipia: An International Journal of Epistemology, 2018
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

open access: yesTopics in Cognitive Science, Volume 17, Issue 3, Page 770-801, July 2025.
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

BOOK REVIEW: CARNIELLI, Walter & MALINOWSKI, Jacek (eds.). Contradictions, from Consistency to Inconsistency (Trends in Logic 47, Springer International Publishing, 2018, VI+322 pages)

open access: yesManuscrito, 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

A Paraconsistent Higher Order Logic [PDF]

open access: yes, 2003
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

open access: yesPhilosophy and Phenomenological Research, Volume 110, Issue 2, Page 709-733, March 2025.
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]

open access: yes, 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  

Sequent systems for negative modalities

open access: yes, 2017
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

open access: yesMetaphilosophy, Volume 56, Issue 1, Page 17-34, January 2025.
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

open access: yesPrincipia: 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  

Philosophical Interpretations Matter

open access: yesPrincipia: An International Journal of Epistemology
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

Home - About - Disclaimer - Privacy