On revision operators
Journal of Symbolic Logic 68 (2):689-711 (2003)
| Abstract | We look at various notions of a class of definability operations that generalise inductive operations, and are characterised as "revision operations". More particularly we: (i) characterise the revision theoretically definable subsets of a countable acceptable structure: (ii) show that the categorical truth set of Belnap and Gupta's theory of truth over arithmetic using fully varied revision sequences yields a complete $\Pi_3^1$ set of integers: (iii) the set of stably categorical sentences using their revision operator ψ is similarly $\Pi_3^1$ and which is complete in $G\ddot{o}del's$ universe of constructible sets L: (iv) give an alternative account of a theory of truth-realistic variance that simplifies full variance, whilst at the same time arriving at Kripkean fixed points | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesHans Rott (2012). Bounded Revision: Two-Dimensional Belief Change Between Conservative and Moderate Revision. Journal of Philosophical Logic 41 (1):173-200.
Nuel Belnap (2006). Presentence, Revision, Truth, and Paradox. Philosophy and Phenomenological Research 73 (3):705–712.
G. Aldo Antonelli (1994). A Revision-Theoretic Analysis of the Arithmetical Hierarchy. Notre Dame Journal of Formal Logic 35 (2):204-218.
Gian Aldo Antonelli (1996). What's in a Function? Synthese 107 (2):167 - 204.
Edwin D. Mares (2002). A Paraconsistent Theory of Belief Revision. Erkenntnis 56 (2):229 - 246.
C. M. Asmus (2013). Vagueness and Revision Sequences. Synthese 190 (6):953-974.
Benedikt Löwe & Philip D. Welch (2001). Set-Theoretic Absoluteness and the Revision Theory of Truth. Studia Logica 68 (1):21-41.
P. D. Welch (2001). On Gupta-Belnap Revision Theories of Truth, Kripkean Fixed Points, and the Next Stable Set. Bulletin of Symbolic Logic 7 (3):345-360.
K. Britz (1999). A Power Algebra for Theory Change. Journal of Logic, Language and Information 8 (4):429-443.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #232,684 of 549,671 )Recent downloads (6 months)1 ( #63,425 of 549,671 )How can I increase my downloads? |
My notes
Discussion
