El Posgrado en Filosofía, El Posgrado en Filosofía de la Ciencia y el Posgrado en Ciencia e Ingeniería de la Computación de la UNAM tienen el gusto de invitar a la comunidad universitaria al Curso:

                           LOGICAS DINAMICAS DEL  CONOCIMIENTO


que impartiran los profesores
Bartled Kooi y Allard Tamminga de la
Universidad de Groninga en Holanda.

El curso tendrá lugar en el Instituto de Investigaciones Filosóficas los
                          martes 29 de abril, 6, 13, 20 y 27
                          de mayo de 10:30 a la 14hr


            Se incluye la descripción detallada del curso. Favor de
            enviar un correo si planea asistir al curso completo
            o a algunas sesiones.
            (atocha@filosoficas. unam.mx)


------------ --------- -
MIERCOLES 30 DE ABRIL, 17HRS.
SALA GAOS,
INSTITUTO DE INVESTIGACIONES FILOSOFICAS, UNAM.


A GUIDED TOUR OF DYNAMIC EPISTEMIC LOGIC
BARTELD KOOI
(Groninga, Holanda)

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 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
analyse 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.
------------ --------- --------- --------- --------- --------- --------- ------

 


Comments




Leave a Reply