PP-2006-14: Löwe, Benedikt (2006) Revision Forever! [Report]
Preview |
Text (Full Text)
PP-2006-14.text.pdf Download (185kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2006-14.abstract.txt Download (730B) |
Abstract
Revision is a method to deal with non-monotonic processes. It has been
used in theory of truth an an answer to semantic paradoxes as the
liar, but the idea is universal and resurfaces in many areas of logic
and applications of logic. In this survey, we describe the general
idea in the framework of pointer semantics and point out that beyond
the formal semantics given by Gupta and Belnap, the process of
revision itself and its behaviour may be the central features that
allow us to model our intuitions about truth, and is applicable to a
lot of other areas like belief, rationality, and many more.
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2006-14 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2006 |
| Uncontrolled Keywords: | revision theory of truth; Gupta-Belnap; transfinite; belief revision |
| Depositing User: | Benedikt |
| Date Deposited: | 12 Oct 2016 14:36 |
| Last Modified: | 12 Oct 2016 14:36 |
| URI: | https://eprints.illc.uva.nl/id/eprint/189 |
Actions (login required)
 |
View Item |
