Albert Anglberger, Johannes Korbmacher, Federico Faroldi
In: Deontic Logic and Normative Systems 13th International Conference, DEON 2016, Bayreuth, Germany, July 18-21, 2016, edited by Olivier Roy, Allard Tamminga, and, Malte Willer, p. 16-31, London, UK: College Publications
Publication year: 2016

Abstract. We develop an exact truthmaker semantics for permission and obligation. The idea is that with every singular act, we associate a sphere of permissions and a sphere of requirements: the acts that are rendered permissible and the acts that are rendered required by the act. We propose the following clauses for permissions and obligations:

  • a singular act is an exact truthmaker of Pφ iff every exact truthmaker of φ is in the sphere of permissibility of the act, and
  • a singular act is an exact truthmaker of Oφ iff some exact truthmaker of φ is in the sphere of requirements of the act.

We show that this semantics is hyperintensional, and that it can deal with some of the so-called paradoxes of deontic logic in a natural way. Finally, we give a sound and complete axiomatization of the semantics.