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)
Download Edit this record How to cite View on PhilPapers
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).
PhilPapers/Archive ID
Upload history
Archival date: 2022-01-12
View other versions
Added to PP index

Total views
3 ( #67,291 of 65,657 )

Recent downloads (6 months)
3 ( #64,736 of 65,657 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.