A multi-succedent sequent calculus for logical expressivists
In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2017. College Publications. pp. 139-153 (2018)
Abstract
Expressivism in logic is the view that logical vocabulary plays a primarily expressive role: that is, that logical vocabulary makes perspicuous in the object language structural features of inference and incompatibility (Brandom, 1994, 2008). I present a precise, technical criterion of expressivity for a logic (§2). I next present a logic that meets that criterion (§3). I further explore some interesting features of that logic: first, a representation theorem for capturing other logics (§3.1), and next some novel logical vocabulary for expressing structural features of inference (§4).Author's Profile
Analytics
Added to PP
2022-01-12
Downloads
66 (#65,820)
6 months
42 (#31,082)
2022-01-12
Downloads
66 (#65,820)
6 months
42 (#31,082)
Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?