The paradoxes of deontic logic revisited: a computer science perspective

J.-J.Ch. Meyer, F.P.M. Dignum, Roelf J. Wieringa

    Research output: Book/ReportReportOther research output

    436 Downloads (Pure)

    Abstract

    This paper revisits a number of well-known paradoxes of deontic logic, namely Ross'paradox (if you ought to mail a letter, you ought to mail or burn it), the free choice paradox (if you are permitted to mail a letter, you are permitted to mail or burn it), the paradox of No Conflicting Obligations (ought implies permitted), the Good Samaritan Paradox (if you ought to help Jones who is robbed, then Jones ought to be robbed) and Chisholm's paradox (if you ought to do A, and if A ought to imply B, and not A implies that you ought to do not B, then this is inconsistent with doing not A). Framing these paradoxes in dynamic logic removes some of them and sheds light on others. This paper is based on an invited talk presented at DEON'94.
    Original languageUndefined
    Place of PublicationUtrecht
    PublisherUtrecht University
    Number of pages24
    Publication statusPublished - Sept 1994

    Publication series

    NameTechnical Report
    PublisherUniversity of Utrecht, Department of Computer Science
    No.UU-CS-1994-38
    ISSN (Print)0924-3275

    Keywords

    • EWI-10713
    • SCS-Services
    • IR-76218

    Cite this