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…
Read moreExpressivism 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).