Results 31 to 40 of about 126 (119)

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 hybrid logic [PDF]

Journal of Logic and Computation, 2016
As in standard knowledge bases, hybrid knowledge bases (i.e. sets of information specified by hybrid formulas) may contain inconsistencies arising from different sources, namely from the many mechanisms used to collect relevant information. Being a fact, rather than a queer anomaly, inconsistency also needs to be addressed in the context of hybrid ...
Diana Costa 0001, Manuel A. Martins 0001
openaire   +3 more sources

(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  

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  

Paraconsistency

Arch. Formal Proofs, 2016
Paraconsistency is about handling inconsistency in a coherent way. In classical and intuitionistic logic everything follows from an inconsistent theory. A paraconsistent logic avoids the explosion. Quite a few applications in computer science and engineering are discussed in the Intelligent Systems Reference Library Volume 110: Towards Paraconsistent ...
Schlichtkrull, Anders, Villadsen, Jørgen; id_orcid 0000-0003-3624-1159   +1 more
openaire   +2 more sources

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  

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

Why and how to be a Dialetheist

Studia Philosophica Estonica, 2008
In the first part the paper rehearses the main arguments why to be a dialetheist (i.e. why to assume that some contradictions are true). Dialetheism, however, has been criticised as irrational or self-refutating.
Manuel Bremer
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