"Object-Based Unawareness" (научный семинар ЛИА)
Докладчик: Ким Сау Чанг (Университет Гонконга)
The goal of this paper is to construct a user-friendly model of "awareness of unawareness". We start from an axiom system (in first order modal logic) that would allow the following sentence to be expressible: "the agent is not sure whether or not there are still things that he is unaware of." We then prove a characterization theorem which describes the class of models that correspond to this axiom system. As an application, we explain how we can model the argument of some American founding fathers who were opposed to the inclusion of the Bill of Rights into the constitution, namely that the mere act of enumerating rights would leave all those rights not included in the list vulnerable.
Материалы к семинару: скачать