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)
  Copy   BIBTEX

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

Daniel Kaplan
Concordia University

Analytics

Added to PP
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?