In the present paper a dynamics for type theory is introduced. The formalization provides epistemic explanations for the basic notions of belief state and belief set by referring to assertion conditions for type-theoretical judgements; it interprets expectations in terms of default assumptions for such a structure and it adapts the usual revision operations and the analogous of the Ramsey test. The model, restricted to operations of revision, merging and information preference, provides a constructive type-theoretical approach to epistemic dynamics.
Type-theoretical dynamics: Exploring belief revision in a constructive framework / G. Primiero - In: The Realism-Antirealism Debate in the Age of Alternative Logics / [a cura di] S. Rahman, G. Primiero, M. Mario. - [s.l] : Springer Netherlands, 2012. - ISBN 9789400719224. - pp. 191-212
Type-theoretical dynamics: Exploring belief revision in a constructive framework
G. Primiero
2012
Abstract
In the present paper a dynamics for type theory is introduced. The formalization provides epistemic explanations for the basic notions of belief state and belief set by referring to assertion conditions for type-theoretical judgements; it interprets expectations in terms of default assumptions for such a structure and it adapts the usual revision operations and the analogous of the Ramsey test. The model, restricted to operations of revision, merging and information preference, provides a constructive type-theoretical approach to epistemic dynamics.File | Dimensione | Formato | |
---|---|---|---|
primiero.pdf
accesso riservato
Tipologia:
Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione
189.07 kB
Formato
Adobe PDF
|
189.07 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.