{"id":2115,"date":"2025-11-25T12:12:39","date_gmt":"2025-11-25T12:12:39","guid":{"rendered":"https:\/\/cful.letras.ulisboa.pt\/lancog\/?p=2115"},"modified":"2025-11-25T12:12:39","modified_gmt":"2025-11-25T12:12:39","slug":"seminar-series-in-analytic-philosophy-2025-26-session-10-2","status":"publish","type":"post","link":"https:\/\/cful.demiurgos.eu\/lancog\/seminar-series-in-analytic-philosophy-2025-26-session-10-2\/","title":{"rendered":"Seminar Series in Analytic Philosophy 2025-26: Session 10"},"content":{"rendered":"<p style=\"font-weight: 400;\"><strong>Some Problems of Normal Form in Logical Metainferentialism<\/strong><\/p>\n<p style=\"font-weight: 400;\">Bogdan Dicher (University of the Witwatersrand)<\/p>\n<p>&nbsp;<\/p>\n<p style=\"font-weight: 400;\">28 November 2025, 16:00 (Lisbon Time \u2013 WET)<\/p>\n<p style=\"font-weight: 400;\">Faculdade de Letras de Lisboa<\/p>\n<p style=\"font-weight: 400;\">Sala Mattos Rom\u00e3o [C201.J] (Departamento de Filosofia)<\/p>\n<p>&nbsp;<\/p>\n<p style=\"font-weight: 400;\"><strong>Abstract:\u00a0<\/strong>In \u201cLogical Metainferentialism\u201d (<em>Ergo<\/em>, forthcoming), Dicher and Paoli develop a theory of harmony for metainferential calculi in the FDE family, including ST. They identify a certain normal form\u2014called there structurally atomic\u2013analytic synthetic (SAAS) normal form\u2014as the mark of harmony. A proof is in SAAS normal form iff it is structurally atomic (the structural rules apply to\/produce only atomic formulae) and analytic\u2013synthetic (all applications of elimination rules precede all applications of introduction rules). In \u201cSequent Calculi for First-Order ST\u201d (<em>JPhiLog<\/em>, 2024), Paoli and Prenosil introduce a sequent calculus for ST employing generalized elimination rules for the quantifiers. In this talk, I present a calculus for ST in which all elimination rules are in general form, and I discuss which normal forms can be identified for this calculus and their significance for metainferential harmony.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Some Problems of Normal Form in Logical Metainferentialism Bogdan Dicher (University of the Witwatersrand) &nbsp; 28 November 2025, 16:00 (Lisbon Time \u2013 WET) Faculdade de Letras de Lisboa Sala Mattos Rom\u00e3o [C201.J] (Departamento de Filosofia) &nbsp; Abstract:\u00a0In \u201cLogical Metainferentialism\u201d (Ergo, forthcoming), Dicher and Paoli develop a theory of harmony for metainferential calculi in the FDE [&hellip;]<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"activitypub_content_warning":"","activitypub_content_visibility":"","activitypub_max_image_attachments":4,"activitypub_interaction_policy_quote":"anyone","activitypub_status":"federate","footnotes":""},"categories":[1],"tags":[],"class_list":["post-2115","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"https:\/\/cful.demiurgos.eu\/lancog\/wp-json\/wp\/v2\/posts\/2115","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/cful.demiurgos.eu\/lancog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/cful.demiurgos.eu\/lancog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/cful.demiurgos.eu\/lancog\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/cful.demiurgos.eu\/lancog\/wp-json\/wp\/v2\/comments?post=2115"}],"version-history":[{"count":1,"href":"https:\/\/cful.demiurgos.eu\/lancog\/wp-json\/wp\/v2\/posts\/2115\/revisions"}],"predecessor-version":[{"id":2116,"href":"https:\/\/cful.demiurgos.eu\/lancog\/wp-json\/wp\/v2\/posts\/2115\/revisions\/2116"}],"wp:attachment":[{"href":"https:\/\/cful.demiurgos.eu\/lancog\/wp-json\/wp\/v2\/media?parent=2115"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/cful.demiurgos.eu\/lancog\/wp-json\/wp\/v2\/categories?post=2115"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/cful.demiurgos.eu\/lancog\/wp-json\/wp\/v2\/tags?post=2115"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}