Introduction to Deontic Logic and the Theory of Normative Systems |
Contents
ACKNOWLEDGEMENTS pag | 5 |
PARADOXES AND DILEMMAS | 25 |
TEN SMILEYHANSON SYSTEMS OF MONADIC DEON | 89 |
Copyright | |
7 other sections not shown
Common terms and phrases
A V B alethic H-models alethic modal alethic modal logic alethic systems argument axiom schemata binary relation canonical clause Coincidence Lemma conditional proof conjunct connectives Consider deduction Def Odfl defined definition deontic fragment derive discharging disjunction elimination Dyadic Deontic Logic EI-hypothesis English sentences Exercise existential instantiation formal Fraassen H3-validity Hansson Hence hypothesis hypothesis induction Kutschera 1974 language Lemma on Relations LogCon logically valid modal logic modus ponens Monadic Deontic Logic normative notion obligatory OdyS4 OdyS5N Paradox PAVBA post the letter proposition letter prove Q.E.D. by Def Q→øB reflexive right-to-left rules of inference satisfies schema semantics sentence-set set of sentences simplified strong H3-models Smiley-Hanson systems Soundness Theorem strong deontic H3-model subset supra tautologies theory tion Translation Theorem truth condition van Fraassen vKpr Wright Σ¹