A Note on the Practice of Logical Inferentialism
Alexander V. Gheorghiu, Tao Gu, and David J. Pym
TL;DR
This paper discusses the State-Effect Interpretation of natural deduction rules, offering an explanatory framework that connects proof-theoretic semantics with logical inferential practices.
Contribution
It introduces the State-Effect Interpretation as a novel perspective for understanding natural deduction rules within proof-theoretic semantics.
Findings
Provides a new interpretative framework for natural deduction
Clarifies the role of inference rules in proof semantics
Links proof-theoretic semantics with inferential practices
Abstract
A short essay presenting the State-Effect Interpretation of natural deduction rules as an explanatory framework for recent developments in proof-theoretic semantics.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsPhilosophy and Theoretical Science