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