{"id":149,"date":"2026-07-21T08:35:36","date_gmt":"2026-07-21T11:35:36","guid":{"rendered":"https:\/\/www.cchla.ufpb.br\/ppgf\/?p=149"},"modified":"2026-07-21T08:37:42","modified_gmt":"2026-07-21T11:37:42","slug":"24-7-prof-dr-diego-fernandes","status":"publish","type":"post","link":"https:\/\/www.cchla.ufpb.br\/ppgf\/seminarios-permanentes-de-filosofia\/24-7-prof-dr-diego-fernandes\/","title":{"rendered":"24\/7: Prof. Dr. Diego Fernandes sobre l\u00f3gica das a\u00e7\u00f5es epist\u00eamicas e l\u00f3gica dos programas"},"content":{"rendered":"\n<p class=\"wp-block-paragraph\">Os SEMIN\u00c1RIOS PERMANENTES DE FILOSOFIA  2026 continuam com o semin\u00e1rio &#8220;Comunicados p\u00fablicos, conversas e suspeitas privadas: da l\u00f3gica das a\u00e7\u00f5es epist\u00eamicas at\u00e9 a l\u00f3gica dos programas&#8221;, ministrado pelo Prof. Dr. Diego Fernandes. O evento ocorrer\u00e1 no dia 24\/07 \u00e0s 17:00 na Sala Multim\u00eddia C (1\u00b0 andar, Bloco C). As inscri\u00e7\u00f5es podem ser feitas no SIGEventos at\u00e9 o dia 23\/07.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Resumo<\/strong>: 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\n\n\n<figure class=\"wp-block-image size-large\"><img loading=\"lazy\" decoding=\"async\" width=\"724\" height=\"1024\" src=\"https:\/\/www.cchla.ufpb.br\/ppgf\/wp-content\/uploads\/sites\/122\/sites\/494\/2026\/07\/diego-724x1024.jpeg\" alt=\"\" class=\"wp-image-150\" srcset=\"https:\/\/www.cchla.ufpb.br\/ppgf\/wp-content\/uploads\/sites\/122\/sites\/494\/2026\/07\/diego-724x1024.jpeg 724w, https:\/\/www.cchla.ufpb.br\/ppgf\/wp-content\/uploads\/sites\/122\/sites\/494\/2026\/07\/diego-212x300.jpeg 212w, https:\/\/www.cchla.ufpb.br\/ppgf\/wp-content\/uploads\/sites\/122\/sites\/494\/2026\/07\/diego-768x1086.jpeg 768w, https:\/\/www.cchla.ufpb.br\/ppgf\/wp-content\/uploads\/sites\/122\/sites\/494\/2026\/07\/diego-1086x1536.jpeg 1086w, https:\/\/www.cchla.ufpb.br\/ppgf\/wp-content\/uploads\/sites\/122\/sites\/494\/2026\/07\/diego.jpeg 1131w\" sizes=\"auto, (max-width: 724px) 100vw, 724px\" \/><\/figure>\n","protected":false},"excerpt":{"rendered":"<p>Os SEMIN\u00c1RIOS PERMANENTES DE FILOSOFIA 2026 continuam com o semin\u00e1rio &#8220;Comunicados p\u00fablicos, conversas e suspeitas [&hellip;]<\/p>\n","protected":false},"author":621,"featured_media":151,"comment_status":"closed","ping_status":"","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[5],"tags":[],"class_list":["post-149","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-seminarios-permanentes-de-filosofia"],"_links":{"self":[{"href":"https:\/\/www.cchla.ufpb.br\/ppgf\/wp-json\/wp\/v2\/posts\/149","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.cchla.ufpb.br\/ppgf\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.cchla.ufpb.br\/ppgf\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.cchla.ufpb.br\/ppgf\/wp-json\/wp\/v2\/users\/621"}],"replies":[{"embeddable":true,"href":"https:\/\/www.cchla.ufpb.br\/ppgf\/wp-json\/wp\/v2\/comments?post=149"}],"version-history":[{"count":3,"href":"https:\/\/www.cchla.ufpb.br\/ppgf\/wp-json\/wp\/v2\/posts\/149\/revisions"}],"predecessor-version":[{"id":154,"href":"https:\/\/www.cchla.ufpb.br\/ppgf\/wp-json\/wp\/v2\/posts\/149\/revisions\/154"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.cchla.ufpb.br\/ppgf\/wp-json\/wp\/v2\/media\/151"}],"wp:attachment":[{"href":"https:\/\/www.cchla.ufpb.br\/ppgf\/wp-json\/wp\/v2\/media?parent=149"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.cchla.ufpb.br\/ppgf\/wp-json\/wp\/v2\/categories?post=149"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.cchla.ufpb.br\/ppgf\/wp-json\/wp\/v2\/tags?post=149"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}