From linguistics to deontic logic via category theory

Clayton Peterson


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 problem 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.


  • There are currently no refbacks.