EL SEMINARIO DEL POSGRADO EN FILOSOFÍA DE LA CIENCIA
INVITA A LA CONFERENCIA
"A GUIDED TOUR OF DYNAMIC EPISTEMIC LOGIC BARTELD KOOI"
DR. ALLARD TAMMINGA
Universidad de Groninga, Holanda
MIÉRCOLES 30 DE ABRIL DE 2008
17:00 HRS.
AULA JOSÉ GAOS
INSTITUTO DE INVESTIGACIONES FILOSÓFICAS
UNAM
Resumen: There are many scientific theories about information, for
instance information theory, probability theory, statistics, computer
science, philosophy of science, and logic. The branch of logic called
epistemic logic deals with information explicitly. It was initially
developed by Hintikka, whose main goal was a conceptual analysis of
knowledge and belief. In epistemic logic the focus is on statements such
as `I know that p', `I know that you know that p' and `I know that he
knows that we know that p'. Epistemic logic is especially useful when
applied to situations involving more than one agent. One can model the
information an agent has about the bare facts of the physical world and
the information an agent has about other agents' information, i.e.,
higher-order information. This ability to model higher order information
distinguishes epistemic logic from other scientific theories about
information. Dynamic epistemic logics were developed specifically to
analyze change of higher-order information. It has been a very active
research field in the past years. In my talk I will give an overview of
dynamic epistemic logic.