Seminário Permanente de Filosofia
Comunicados públicos, conversas e suspeitas privadas: da lógica das ações epistêmicas até a lógica dos programas.
Prof. Diego Fernandes
Dia: 24/07/2026 às 17h
Local: Sala Multimídia C do CCHLA.
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.
