NARROWING DOWN SUSPICION IN INCONSISTENT PREMISE SETS

in Essays in Logic and Ontology
Restricted Access
Get Access to Full Text

Subject Highlights

 

Abstract

Inconsistency-adaptive logics isolate the inconsistencies that are derivable from a premise set, and restrict the rules of Classical Logic only where inconsistencies are involved. From many inconsistent premise sets, disjunctions of contradictions are derivable no disjunct of which is itself derivable. Given such a disjunction, it is often justified to introduce new premises that state, with a certain degree of confidence, that some of the disjuncts are false. This is an important first step on the road to consistency: it narrows down suspicion in inconsistent premise sets and hence locates the real problems among the possible ones. In this paper I present two approaches for handling such new premises in the context of the original premises. The first approach may apparently be combined with all paraconsistent logics. The second approach does not have the same generality, but is decidedly more elegant.

Table of Contents

Information

Metrics

Metrics

All Time Past Year Past 30 Days
Abstract Views 21 21 3
Full Text Views 24 24 16
PDF Downloads 2 2 0
EPUB Downloads 0 0 0

Related Content