Some Problems of Normal Form in Logical Metainferentialism

Bogdan Dicher (University of the Witwatersrand)

28 November 2025, 16:00 (Lisbon Time – WET)

Faculdade de Letras de Lisboa

Sala Mattos Romão [C201.J] (Departamento de Filosofia)

Abstract: In “Logical Metainferentialism” (Ergo, forthcoming), Dicher and Paoli develop a theory of harmony for metainferential calculi in the FDE family, including ST. They identify a certain normal form—called there structurally atomic–analytic synthetic (SAAS) normal form—as 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–synthetic (all applications of elimination rules precede all applications of introduction rules). In “Sequent Calculi for First-Order ST” (JPhiLog, 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.