If you need an accessible version of this item please contact JSTOR User Support

A Deontic Logic of Action

Krister Segerberg
Studia Logica: An International Journal for Symbolic Logic
Vol. 41, No. 2/3, Proceedings of the 1981 Annual Conference of the Australasian Association of Symbolic Logic (1982), pp. 269-282
Published by: Springer
Stable URL: http://www.jstor.org/stable/20015057
Page Count: 14
  • Download PDF
  • Cite this Item

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If you need an accessible version of this item please contact JSTOR User Support
A Deontic Logic of Action
Preview not available

Abstract

The formal language studied in this paper contains two categories of expressions, terms and formulas. Terms express events, formulas propositions. There are infinitely many atomic terms and complex terms are made up by Boolean operations. Where α and β are terms the atomic formulas have the form α = β (α is the same as β), Forb α (α is forbidden) and Perm α (α is permitted). The formulae are truth functional combinations of these. An algebraic and a model theoretic account of validity are given and an axiomatic system is provided for which they are characteristic. The 'closure principle', that what is not forbidden is permitted is shown to hold at the level of outcomes but not at the level of events. In the two final sections some other operators are considered and a semantics in terms of action games.

Page Thumbnails

  • Thumbnail: Page 
[269]
    [269]
  • Thumbnail: Page 
270
    270
  • Thumbnail: Page 
271
    271
  • Thumbnail: Page 
272
    272
  • Thumbnail: Page 
273
    273
  • Thumbnail: Page 
274
    274
  • Thumbnail: Page 
275
    275
  • Thumbnail: Page 
276
    276
  • Thumbnail: Page 
277
    277
  • Thumbnail: Page 
278
    278
  • Thumbnail: Page 
279
    279
  • Thumbnail: Page 
280
    280
  • Thumbnail: Page 
281
    281
  • Thumbnail: Page 
282
    282