Categorical Approaches to Inferentialist Semantics

Explore a Berkeley seminar presentation that delves into the fascinating intersection of applied category theory and inferentialist semantics in the philosophy of language. Learn about the remarkable parallels between these fields, including their shared emphasis on making implicit structures explicit, non-foundational approaches to meaning, content characterization through external structure, open systems analysis, and the unified treatment of syntax and semantics. Discover formalizations of inferentialism, including a generalization of Girard's phase semantics developed by Hlobil and Brandom, while gaining insights into their categorical interpretations. Access supplementary materials through provided slides and a related blog post to deepen understanding of these complex theoretical connections.