Contextual Permission: A Solution to the Free Choice Paradox

A.J.I. Jones (Editor), F. Dignum, M. Sergo (Editor), J.-J.Ch. Meyer, Roelf J. Wieringa

    Research output: Contribution to conferencePaperpeer-review

    76 Downloads (Pure)

    Abstract

    In this paper, we give a solution to the Free Choice Paradox. This is done in two stages. First, we have a close look at the logical interpretation of the natural language statements that lead to the paradox. This leads to making the important distinction of permitting an action in isolation or permitting it in combination with some or any other action, i.e. in a certain context. This distinction is made formal by the introduction of a new operator on actions, which forces them to be performed in isolation. With this distinction made clear it is possible to give a "new", stronger definition for the permission operator, which solves the Free Choice Paradox and which does not lead to any new inconsistencies or paradoxes.
    Original languageUndefined
    Pages107-130
    Number of pages24
    Publication statusPublished - Jan 1994
    Event2nd International Workshop on Deontic Logic in Computer Science, DEON 1994 - Oslo, Norway
    Duration: 6 Jan 19948 Jan 1994
    Conference number: 2

    Workshop

    Workshop2nd International Workshop on Deontic Logic in Computer Science, DEON 1994
    Abbreviated titleDEON
    CountryNorway
    CityOslo
    Period6/01/948/01/94

    Keywords

    • EWI-10660
    • SCS-Services
    • IR-76210

    Cite this