“School of Mathematics”

Back to Papers Home
Back to Papers of School of Mathematics

Paper   IPM / M / 17074
School of Mathematics
  Title:   Consistency and permission in deontic justification logic
  Author(s):  Meghdad Ghari (Joint with F. L. G. Faroldi, E. Lehmann and Th. Studer)
  Status:   To Appear
  Journal: J. Logic Comput.
  Supported by:  IPM
Different notions of the consistency of obligations collapse in standard deontic logic. In justification logics, which feature explicit reasons for obligations, the situation is different. Their strength depends on a constant specification and on the available set of operations for combining different reasons. We present different consistency principles in justification logic and compare their logical strength. We propose a novel semantics for which justification logics with the explicit version of axiom D, jd, are complete for arbitrary constant specifications. Consistency is sometimes formulated in terms of permission. We therefore study permission in the context of justification logic, introducing a notion of free-choice permission for the first time. We then discuss the philosophical implications with regard to some deontic paradoxes.

Download TeX format
back to top
scroll left or right