Abstract

I offer a series of axiomatic formalizations of Divine Command Theory motivated by certain methodological considerations. Given these considerations, I present what I take to be the best axiomatization of Divine Command Theory, an axiomatization which requires a non-standardsemantics for quantified modal logic