 previous article in this issue |
|
Document Details : Title: From Linguistics to Deontic Logic via Category Theory Author(s): PETERSON, Clayton Journal: Logique et Analyse Volume: 235 Date: 2016 Pages: 317-346 DOI: 10.2143/LEA.235.0.3170112 Abstract : The present paper aims to bridge the gap between deontic logic, categorial grammar and category theory. We propose to analyze Forrester’s (1984) paradox through the framework of Lambek’s (1958) syntactic calculus. We first recall the definition of the syntactic calculus and then explain how Lambek (1988) defines it within the framework of category theory. Then, we briefly present Forrester’s paradox in conjunction with standard deontic logic, showing that this paradox contains some features that reflect many problems within the literature. Finally, we analyze Forrester’s paradox within the framework of the syntactic calculus and we show how a typed syntax can provide conceptual insight regarding some of the problems that deontic logic faces. |
 |
