Epistemic entrenchment and arithmetical hierarchy

✍ Scribed by Petr Hájek

• Publisher: Elsevier Science
• Year: 1993
• Tongue: English
• Weight: 467 KB
• Volume: 62
• Category: Article
• ISSN: 0004-3702
• DOI: 10.1016/0004-3702(93)90046-e

✦ Synopsis

Hfijek, P., Epistemic entrenchment and arithmetical hierarchy (Research Note), Artificial Intelligence 62 (1993) 79-87.

If the underlying theory is sufficiently rich (e.g. like first-order arithmetic), then no epistemic entrenchment preorder of sentences is recursively enumerable. Consequently, the set of all defeasible proofs (determined by such a fixed preorder) is not recursively enumerable and hence, afortiori, nonrecursive. On the other hand there is a satisfactorily rich epistemic entrenchment preorder < such that < itself, the corresponding set of defeasible proofs, and the corresponding relation of defeasible provability are limiting recursive and, consequently, this type of defeasible provability is closely related to provability in experimental logics in the sense of Jeroslow. Relation to the work by Pollock is also discussed.