LanCog seminar: Bogdan Dicher on logical metainferentialism
Ricardo Santos
SEMINAR SERIES IN ANALYTIC PHILOSOPHY
2025-26: Session 10
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.
All are welcome, in-person!