{"id":139,"date":"2026-07-21T09:54:35","date_gmt":"2026-07-21T12:54:35","guid":{"rendered":"https:\/\/www.cchla.ufpb.br\/cf\/?p=139"},"modified":"2026-08-04T21:37:13","modified_gmt":"2026-08-05T00:37:13","slug":"seminario-permanente-de-filosofia-2","status":"publish","type":"post","link":"https:\/\/www.cchla.ufpb.br\/cf\/institucional\/seminario-permanente-de-filosofia-2\/","title":{"rendered":"Semin\u00e1rio Permanente de Filosofia"},"content":{"rendered":"\n<p class=\"wp-block-paragraph\">Comunicados p\u00fablicos, conversas e suspeitas privadas: da l\u00f3gica das a\u00e7\u00f5es epist\u00eamicas at\u00e9 a l\u00f3gica dos programas.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Prof. Diego Fernandes <\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Dia: 24\/07\/2026 \u00e0s 17h<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Local: Sala Multim\u00eddia C do CCHLA.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Resumo: Neste semin\u00e1rio pretendo apresentar como o conhecimento e ignor\u00e2ncia de um grupo de agentes podem ser modelados na l\u00f3gica epist\u00eamica. Em seguida explorarei uma extens\u00e3o deste sistema, a l\u00f3gica das a\u00e7\u00f5es epist\u00eamicas, proposta no fim dos anos 1990 por H. van Ditmarsch, A. Baltag e outros. Essa l\u00f3gica foi concebida para capturar as mudan\u00e7as dos estados epist\u00eamicos acarretadas pela intera\u00e7\u00e3o dos agentes por meio de comunicados p\u00fablicos, privados e outras a\u00e7\u00f5es epist\u00eamicas. Por fim, terminarei mostrando brevemente como essas a\u00e7\u00f5es epist\u00eamicas podem ser capturadas na l\u00f3gica proposicional din\u00e2mica, uma l\u00f3gica 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.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Comunicados p\u00fablicos, conversas e suspeitas privadas: da l\u00f3gica das a\u00e7\u00f5es epist\u00eamicas at\u00e9 a l\u00f3gica dos [&hellip;]<\/p>\n","protected":false},"author":620,"featured_media":140,"comment_status":"closed","ping_status":"","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-139","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-institucional"],"_links":{"self":[{"href":"https:\/\/www.cchla.ufpb.br\/cf\/wp-json\/wp\/v2\/posts\/139","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.cchla.ufpb.br\/cf\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.cchla.ufpb.br\/cf\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.cchla.ufpb.br\/cf\/wp-json\/wp\/v2\/users\/620"}],"replies":[{"embeddable":true,"href":"https:\/\/www.cchla.ufpb.br\/cf\/wp-json\/wp\/v2\/comments?post=139"}],"version-history":[{"count":2,"href":"https:\/\/www.cchla.ufpb.br\/cf\/wp-json\/wp\/v2\/posts\/139\/revisions"}],"predecessor-version":[{"id":148,"href":"https:\/\/www.cchla.ufpb.br\/cf\/wp-json\/wp\/v2\/posts\/139\/revisions\/148"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.cchla.ufpb.br\/cf\/wp-json\/wp\/v2\/media\/140"}],"wp:attachment":[{"href":"https:\/\/www.cchla.ufpb.br\/cf\/wp-json\/wp\/v2\/media?parent=139"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.cchla.ufpb.br\/cf\/wp-json\/wp\/v2\/categories?post=139"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.cchla.ufpb.br\/cf\/wp-json\/wp\/v2\/tags?post=139"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}