Results 81 to 90 of about 247 (182)
In view of the present state of development of non classical logic, especially of paraconsistent logic, a new stand regarding the relations between logic and ontology is defended In a parody of a dictum of Quine, my stand May be summarized as follows. To
Newton C. A. da Costa
doaj
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
Multiple Criteria Decision Analysis (MCDA) for evaluating cancer treatments in hospital-based health technology assessment: The Paraconsistent Value Framework. [PDF]
Campolina AG +3 more
europepmc +1 more source
The aim of this note is to examine the claim of B´eziau that S5 is paraconsistent. In particular, I wish to clarify what exactly is implicitly assumed behind his claim, and how we might be able to assess the claim “S5 is paraconsistent”.
Hitoshi Omori
doaj +1 more source
Relevant Logic and Paraconsistency
This is an account of the approach to paraconsistency associated with relevant logic. The logic fde of first degree entailments is shown to arise naturally out of the deeper concerns of relevant logic. The relationship between relevant logic and resolution, and especially the disjunctive syllogism, is then examined.
openaire +1 more source
A Strong Model of Paraconsistent Logic
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +4 more sources
Combining Paraconsistent Logic with Argumentation
One tradition in the logical study of argumentation is to allow for arguments that combine strict and defeasible inference rules, and to derive the strict inference rules from a logic at least as strong as classical logic. An unsolved problem in this tradition is how the trivialising effect of the classical Ex Falso principle can be avoided when two ...
Grooters, Diana, Prakken, Hendrik
openaire +2 more sources
Argumentation-Based Paraconsistent Logics [PDF]
Argumentation is a promising approach for reasoning with inconsistent information. Starting from a knowledge base encoded in a logical language, an argumentation system defines arguments and attacks between them using the consequence operator associated with the language. Finally, it uses a semantics for evaluating the arguments.
openaire +1 more source
Improving the efficiency of using multivalued logic tools. [PDF]
Suleimenov IE +3 more
europepmc +1 more source
Some Remarks about Going Towards Inconsistencies
Inconsistencies! What do they mean? Can we support them? With this paper, we hope to contribute to the claim that we can tolerate inconsistencies in certain situations even without considering any logic that may enable us to do that, say some ...
Décio Krause
doaj +1 more source

