PP-2006-14: Revision Forever!

PP-2006-14: Löwe, Benedikt (2006) Revision Forever! [Report]

[img]
Preview
Text (Full Text)
PP-2006-14.text.pdf

Download (185kB) | Preview
[img] 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 View Item