A deontic logic of action
暂无分享,去创建一个
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.
[1] Hans Kamp,et al. IV—Free Choice Permission , 1974 .
[2] R. Sikorski,et al. The mathematics of metamathematics , 1963 .
[3] Imre Ruzsa. Semantics for von Wright's latest deontic logic , 1976 .
[4] Steven K. Thomason,et al. Semantic analysis of tense logics , 1972, Journal of Symbolic Logic.