OBLIGATION, FREE CHOICE, AND THE LOGIC OF WEAKEST PERMISSIONS

We introduce a new understanding of deontic modals that we call obligations as weakest permissions. We argue for its philosophical plausibility, study its expressive power in neighborhood models, provide a complete Hilbert-style axiom system for it and show that it can be extended and applied to practical norms in decision and game theory.

[1]  F. Brown.  The frame problem in artificial intelligence , 1987 .

[2]  Paul McNamara,et al.  Deontic logic , 2006, Logic and the Modalities in the Twentieth Century.

[3]  Alan Donagan,et al.  Consistency in Rationalist Moral Systems , 1984 .

[4]  Piotr Kulicki,et al.  A systematics of deontic action logics based on Boolean algebra , 2010 .

[5]  N. Belnap,et al.  Facing the Future: Agents and Choices in Our Indeterminist World , 2001 .

[6]  David O. Brink,et al.  Moral conflict and its structure , 1994 .

[7]  James M. Joyce.  Regret and instability in causal decision theory , 2012, Synthese.

[8]  Hans Kamp,et al.  IV—Free Choice Permission , 1974 .

[9]  Peter Singer,et al.  Practical Ethics: Contents , 2011 .

[10]  David Lewis,et al.  A Problem About Permission , 1979 .

[11]  Björn Lellmann,et al.  Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications , 2014, IJCAR.

[12]  C. Allen,et al.  Stanford Encyclopedia of Philosophy , 2011 .

[13]  Richard Spencer-Smith,et al.  Modal Logic , 2007 .

[14]  David Makinson.  Stenius' approach to disjunctive permission , 2008 .

[15]  Norbert Gratzl,et al.  Sequent Calculi for Multi-modal Logic with Interaction , 2013, LORI.

[16]  Jan M. Broersen.  Action negation and alternative reductions for dynamic deontic logics , 2004, J. Appl. Log..

[17]  J. McCarthy.  Circumscription|a Form of Nonmonotonic Reasoning , 1979 .

[18]  Robert Sugden,et al.  COMMON REASONING IN GAMES: A LEWISIAN ANALYSIS OF COMMON KNOWLEDGE OF RATIONALITY , 2014, Economics and Philosophy.

[19]  Huimin Dong,et al.  Open Reading without Free Choice , 2014, DEON.

[20]  David Lewis,et al.  Causal decision theory , 1981 .

[21]  Piotr Kulicki,et al.  A Norm-Giver Meets Deontic Action Logic , 2013 .

[22]  Albert J. J. Anglberger,et al.  The Logic of Best Actions from a Deontic Perspective , 2014, Johan van Benthem on Logic and Information Dynamics.

[23]  C. Aitken,et al.  The logic of decision , 2014 .

[24]  Nicholas Asher,et al.  Free Choice Permission is Strong Permission , 2005, Synthese.

[25]  Hans Kamp,et al.  Free Choice Permission , 2013 .

[26]  E. Rasmussen.  Games and Information , 1989 .

[27]  J.F.A.K. van Benthem.  Minimal Deontic Logics , 1979 .

[28]  R. M. Hare,et al.  Norm and Action: A Logical Enquiry. , 1965 .

[29]  Adam Brandenburger,et al.  Intrinsic correlation in games , 2008, J. Econ. Theory.

[30]  Janusz Czelakowski,et al.  Action and Deontology , 2015 .

[31]  E. Eells.  Causal Decision Theory , 1984, PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association.

[32]  Piotr Kulicki,et al.  On deontic action logics based on Boolean algebra , 2015, J. Log. Comput..

[33]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[34]  J. Horty.  Reasons as Defaults , 2012 .