Action Type Deontic Logic

    Research output: Contribution to journalJournal articlepeer-review

    566 Downloads (Pure)

    Abstract

    A new deontic logic, Action Type Deontic Logic, is presented. To motivate this logic, a number of benchmark cases are shown, representing inferences a deontic logic should validate. Some of the benchmark cases are singled out for further comments and some formal approaches to deontic reasoning are evaluated with respect to the benchmark cases. After that follows an informal introduction to the ideas behind the formal semantics, focussing on the distinction between action types and action tokens. Then the syntax and semantics of Action Type Deontic Logic is presented and it is shown to meet the benchmarks. Finally, possibilities for further research are indicated. In the appendix, decidability of the satisfiability of formulas is proved via a technique known from monadic First Order Logic.
    Original languageEnglish
    JournalJournal of Logic, Language and Information
    Volume23
    Issue number4
    Pages (from-to)397-414
    ISSN0925-8531
    DOIs
    Publication statusPublished - 2014

    Keywords

    • Deontic logic
    • Ross’ paradox
    • Free choice inferences
    • Decidability of satisfiability

    Fingerprint

    Dive into the research topics of 'Action Type Deontic Logic'. Together they form a unique fingerprint.

    Cite this