Uploaded June 2026 | Updated September 2026, 1 day ago
Carl Friedrich von Weizsäcker Colloquium - June 27, 2026
My talk is based on a joint work with Leonardo Ceragioli and Antonio Piccolomini d'Aragona. We claim that two strands can be identified in Proof-Theoretic Semantics: From Semantics To Rules (SR) and From Rules to Semantics (RS). SR appeals to validity criteria of proof-structures in terms of global reducibility of the latter to semantically privileged forms. Conversely, RS prioritizes structural features of inferences, deriving meaning from balance of I and E-rules. We argue that these traditions are grounded on different interpretations of Gentzen’s insights into Natural Deduction and that Dummett’s philosophy of deduction constitutes a connecting link between them.
Carl Friedrich von Weizsäcker Colloquium - June 27, 2026
My talk is based on a joint work with Leonardo Ceragioli and Antonio Piccolomini d'Aragona. We claim that two strands can be identified in Proof-Theoretic Semantics: From Semantics To Rules (SR) and From Rules to Semantics (RS). SR appeals to validity criteria of proof-structures in terms of global reducibility of the latter to semantically privileged forms. Conversely, RS prioritizes structural features of inferences, deriving meaning from balance of I and E-rules. We argue that these traditions are grounded on different interpretations of Gentzen’s insights into Natural Deduction and that Dummett’s philosophy of deduction constitutes a connecting link between them.
