𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Nonmonotonic inconsistency

✍ Scribed by Charles B. Cross


Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
225 KB
Volume
149
Category
Article
ISSN
0004-3702

No coin nor oath required. For personal study only.

✦ Synopsis


Nonmonotonic consequence is the subject of a vast literature, but the idea of a nonmonotonic counterpart of logical inconsistency-the idea of a defeasible property representing internal conflict of an inductive or evidential nature-has been entirely neglected. After considering and dismissing two possible analyses relating nonmonotonic consequence and a nonmonotonic counterpart of logical inconsistency, this paper offers a set of postulates for nonmonotonic inconsistency, an analysis of nonmonotonic inconsistency in terms of nonmonotonic consequence, and a series of results showing that nonmonotonic inconsistency conforms to these postulates given the analysis of nonmonotonic inconsistency presented here and certain postulates for nonmonotonic consequence.

The results presented here establish the interest of certain previously undiscussed postulates of nonmonotonic consequence. These results also show that nonmonotonicity, which has never seemed useful in the formulation of general principles governing nonmonotonic reasoning, is relevant to the positive characterization of nonmonotonic inference after all.


πŸ“œ SIMILAR VOLUMES


Nonmonotonic OWA operators
✍ R. R. Yager πŸ“‚ Article πŸ“… 1999 πŸ› Springer 🌐 English βš– 152 KB
Evil and inconsistency
✍ Michael L. Peterson πŸ“‚ Article πŸ“… 1979 πŸ› Springer Netherlands 🌐 English βš– 397 KB
Inconsistency of GPK + AFA
✍ Olivier Esser πŸ“‚ Article πŸ“… 1996 πŸ› John Wiley and Sons 🌐 English βš– 233 KB

## Abstract M. Forti and F. Honsell showed in [4] that the hyperuniverses defined in [2] satisfy the anti‐foundation axiom __X__~1~ introduced in [3]. So it is interesting to study the axiom __AFA__, which is equivalent to __X__~1~ in ZF, introduced by P. Aczel in [1]. We show in this paper that __

Inconsistency and rank preservation
✍ Thomas L Saaty; Luis G Vargas πŸ“‚ Article πŸ“… 1984 πŸ› Elsevier Science 🌐 English βš– 513 KB
The illogic of inconsistency
✍ A. J. Dale πŸ“‚ Article πŸ“… 1984 πŸ› Springer Netherlands 🌐 English βš– 435 KB