Permission from an Input/Output Perspective.

Input/output logics are abstract structures designed to represent conditional obligations and goals. In this paper we use them to study conditional permission. This perspective provides a clear separation of the familiar notion of negative permission from the more elusive one of positive permission....

Descripción completa

Detalles Bibliográficos
Publicado en:Journal of Philosophical Logic Vol. 32; no. 4; pp. 391 - 417
Autores principales: Makinson, David, van der Torre, Leendert
Formato: Artículo
Publicado: Springer Nature Aug2003
Materias:
Acceso en línea:Ver este registro en EBSCOhost
fields @attributes:
  recordID: 1
pdfLink:
plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=17039639&site=ehost-live
header:
  @attributes:
    shortDbName: hlh
    uiTerm: 17039639
    longDbName: Humanities International Complete
    uiTag: AN
  controlInfo:
    bkinfo:
    jinfo:
      jid:
        00223611
        JPH
      jtl: Journal of Philosophical Logic
      issn: 00223611
      maglogo: N
    pubinfo:
      dt: Aug2003
      vid: 32
      iid: 4
      pid: 237
      pub: Springer Nature
    artinfo:
      ui:
        17039639
        10.1023/A:1024806529939
      ppf: 391
      ppct: 26
      formats:
        fmt:
          @attributes:
            type: P
            size: 163KB
      tig:
        atl: Permission from an Input/Output Perspective.
      aug:
        au:
          Makinson, David
          van der Torre, Leendert
        affil:
          Department of Computer Science King's College London Strand Campus, London WC 2R 2LS, United Kingdom
          CWI, Kruislaan 413 PO Box 94079 1090 GB Amsterdam, The Netherlands
      su:
        Mathematical logic
        Description logics
        Abstract algebra
        Social norms
        Law enforcement
        Duty
      sug:
        subj:
          Mathematical logic
          Description logics
          Abstract algebra
          Social norms
          Law enforcement
          Duty
      keyword:
        conditional norms
        deontic logic
        input/output logics
        permission
      ab: Input/output logics are abstract structures designed to represent conditional obligations and goals. In this paper we use them to study conditional permission. This perspective provides a clear separation of the familiar notion of negative permission from the more elusive one of positive permission. Moreover, it reveals that there are at least two kinds of positive permission. Although indistinguishable in the unconditional case, they are quite different in conditional contexts. One of them, which we call static positive permission, guides the citizen and law enforcement authorities in the assessment of specific actions under current norms, and it behaves like a weakened obligation. Another, which we call dynamic positive permission, guides the legislator. It describes the limits on the prohibitions that may be introduced into a code, and under suitable conditions behaves like a strengthened negative permission.
      pubtype: Academic Journal
      doctype: Article
      src: R
    language: English
    refInfo:
    copyright:
      @attributes:
        flag: Y
      custom: Journal of Philosophical Logic is a copyright of Springer, 2003. All Rights Reserved.
      item: Journal of Philosophical Logic
      holder: Springer Nature
      dt:
        @attributes:
          year: 2003
    holdings:
      @attributes:
        islocal: N