Deontic Logic with Action Types and Tokens

Risultato della ricerca: Contributo in libroChapter


A new characterization of the deontic operators of permission and prohibition is introduced based on a distinction between action types and action tokens. The resulting deontic action logic constitutes a hyperintensional system providing resources for a fine-grained study of the basic deontic notions. The logic is proved to be complete with respect to an appropriate semantics, where models include both possible worlds and action tokens, and the philosophical significance of the distinction is demonstrated by showing that a number of puzzles afflicting current accounts of the deontic operators find intuitive solutions in the new framework.
Lingua originaleEnglish
Titolo della pubblicazione ospiteLogic in High Definition, Trends in Logical Semantics
Numero di pagine31
Stato di pubblicazionePubblicato - 2020


  • action tokens
  • action types
  • deontic logic
  • hyperintensionality


Entra nei temi di ricerca di 'Deontic Logic with Action Types and Tokens'. Insieme formano una fingerprint unica.

Cita questo