24/7: Prof. Dr. Diego Fernandes sobre lógica das ações epistêmicas e lógica dos programas
Os SEMINÁRIOS PERMANENTES DE FILOSOFIA 2026 continuam com o seminário “Comunicados públicos, conversas e suspeitas privadas: da lógica das ações epistêmicas até a lógica dos programas”, ministrado pelo Prof. Dr. Diego Fernandes. O evento ocorrerá no dia 24/07 às 17:00 na Sala Multimídia C (1° andar, Bloco C). As inscrições podem ser feitas no SIGEventos até o dia 23/07.
Resumo: Neste seminário pretendo apresentar como o conhecimento e ignorância de um grupo de agentes podem ser modelados na lógica epistêmica. Em seguida explorarei uma extensão deste sistema, a lógica das ações epistêmicas, proposta no fim dos anos 1990 por H. van Ditmarsch, A. Baltag e outros. Essa lógica foi concebida para capturar as mudanças dos estados epistêmicos acarretadas pela interação dos agentes por meio de comunicados públicos, privados e outras ações epistêmicas. Por fim, terminarei mostrando brevemente como essas ações epistêmicas podem ser capturadas na lógica proposicional dinâmica, uma lógica com propriedades bastante interessantes, que foi desenvolvida inicialmente nos anos 1970 por C. Hoare, V. Pratt e outros para descrever o comportamento de programas de computador.
