Results 31 to 40 of about 105 (101)

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

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

Paraconsistency in the Logic sqŁ^*

Axioms
The logic sqŁ* is closely related to complex fuzzy sets. In this paper, we continue our study on sqŁ* by establishing a system that includes all formulas with values 0 in sqŁ*. This system has paraconsistent formulas within sqŁ*.
Lei Cai, Wenjuan Chen
doaj   +1 more source

(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  

Limits for Paraconsistent Calculi

Notre Dame Journal of Formal Logic, 1999
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Carnielli, Walter A., Marcos, João
openaire   +3 more sources

TOWARDS A PHILOSOPHICAL UNDERSTANDING OF THE LOGICS OF FORMAL INCONSISTENCY

Manuscrito, 2015
In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in ...
WALTER CARNIELLI, ABÍLIO RODRIGUES
doaj   +1 more source

Pluralism in Scientific Problem Solving. Why Inconsistency is No Big Deal

Humana.Mente: Journal of Philosophical Studies, 2018
Pluralism has many meanings. An assessment of the need for logical pluralism with respect to scientific knowledge requires insights in its domain of application. So first a specific form of epistemic pluralism will be defended.
Diderik Batens
doaj  

Dualising Intuitionistic Negation

Principia: An International Journal of Epistemology, 2009
One of Da Costa’s motives when he constructed the paraconsistent logic C! was to dualise the negation of intuitionistic logic. In this paper I explore a different way of going about this task.
Graham Priest
doaj  

The Logic of Truth in Paraconsistent Internal Realism

Studia Philosophica Estonica, 2008
The paper discusses which modal principles should hold for a truth operator answering to the truth theory of internal realism. It turns out that the logic of truth in internal realism is isomorphic to the modal system S4.
Manuel Bremer
doaj  

Paraconsistent Gödel Modal Logic

, 2022
AbstractWe introduce a paraconsistent modal logic$$\mathbf {K}\mathsf {G}^2$$KG2, based on Gödel logic with coimplication (bi-Gödel logic) expanded with a De Morgan negation$$\lnot $$¬. We use the logic to formalise reasoning with graded, incomplete and inconsistent information.
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko   +2 more
openaire   +3 more sources

Paraconsistency, Evidence and Semantic Incompleteness

Análisis Filosófico
In this paper, we argue that the systems Basic Logic of Evidence (BLE) and Logic of Evidence and Truth (LETJ) suffer a kind of semantic incompleteness with respect to the informal notion of evidence.
Edson Bezerra
doaj   +1 more source