Results 41 to 50 of about 806,990 (259)

On Paracomplete Versions of Jaśkowski's Discussive Logic

Bulletin of the Section of Logic
Jaśkowski's discussive (discursive) logic D2 is historically one of the first paraconsistent logics, i.e., logics which 'tolerate' contradictions. Following Jaśkowski's idea to define his discussive logic by means of the modal logic S5 via special ...
Krystyna Mruczek-Nasieniewska, Yaroslav Petrukhin, Vasily Shangin   +2 more
doaj   +1 more source

Natural Deduction System in Paraconsistent Setting: Proof Search for PCont

Journal of Intelligent Systems, 2012
This paper continues a systematic approach to build natural deduction calculi and corresponding proof procedures for non-classical logics. Our attention is now paid to the framework of paraconsistent logics.
Bolotov Alexander, Shangin Vasilyi
doaj   +1 more source

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

Theories of truth based on four-valued infectious logics [PDF]

, 2020
Infectious logics are systems that have a truth-value that is assigned to a compound formula whenever it is assigned to one of its components. This paper studies four-valued infectious logics as the basis of transparent theories of truth.
Da Re, Bruno, Pailos, Federico, Szmuc, Damian   +2 more
core  

Note on paraconsistency and reasoning about fractions [PDF]

, 2014
We apply a paraconsistent logic to reason about fractions.Comment: 6 ...
Bergstra, Jan A., Bethke, Inge
core   +2 more sources

Paraconsistent OWL and related logics [PDF]

Semantic Web, 2013
The Web Ontology Language OWL is currently the most prominent formalism for representing ontologies in Semantic Web applications. OWL is based on description logics, and automated reasoners are used to infer knowledge implicitly present in OWL ontologies.
Maier, Frederick, Ma, Yue, Hitzler, Pascal   +2 more
openaire   +2 more sources

Overinterpreting Logics

Principia: An International Journal of Epistemology
Paraconsistent logics, minimally, are not explosive; that is, on these logics, not everything follows from a contradiction of the form ‘A and not-A’.
Otávio Bueno
doaj   +1 more source

Weak consistency and strong paraconsistency

tripleC: Communication, Capitalism & Critique, 2009
In a standard sense, consistency and paraconsistency are understood as, respectively, the absence of any contradiction and as the absence of the ECQ (“E contradictione quodlibet”) rule that allows us to conclude any well formed formula from any ...
Gemma Robles
doaj   +1 more source

Conceptual engineering: Conceptual innovation via conceptual refinement

Metaphilosophy, Volume 56, Issue 3-4, Page 344-355, July 2025.
Abstract Mona Simion and Christoph Kelp (2020) have recently challenged the traditional conceptual engineering project. They defend a reorientation of this project that moves away from correcting conceptual shortcomings and emphasizes conceptual innovation instead. Central to their proposal is the role played by etiological functions. The present paper
Otávio Bueno
wiley   +1 more source

Inconsistency, paraconsistency and ω-inconsistency [PDF]

, 2018
In this paper I'll explore the relation between ω-inconsistency and plain inconsistency, in the context of theories that intend to capture semantic concepts. In particular, I'll focus on two very well known inconsistent but non-trivial theories of truth:
Da Re, Bruno
core   +2 more sources