EL SEMINARIO DEL POSGRADO EN FILOSOFÍA DE LA CIENCIAINVITA 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
"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
AULA JOSÉ GAOS
INSTITUTO DE INVESTIGACIONES FILOSÓFICAS, UNAM
Abstract:
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 suchas `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.
