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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
J. A. W. Kamp, Free choice permission, Proceedings of the Aristotelian Society, vol. 74 (1973–1974), pp. 57–74.
Helena Rasiowa & Roman Sikorski, The Mathematics of Metamathematics. Warsaw, Państwowe Wydawnictwo Naukowe, 1963.
Imre Ruzsa, Semantics for von Wright's latest deontic logic, Studia Logica, vol. 35 (1976), pp. 297–314.
Krister Segerberg, Action-games, Acta Philosophica Fennica, to appear.
S. K. Thomason, Semantic analysis of tense logics, The Journal of Symbolic Logic, vol. 37 (1972), pp. 150–158.
Georg Henrik von Wright, Deontic logic revisited, Rechtstheorie, vol. 4 (1973), pp. 37–46.
Georg Henrik von Wright, Problems and prospects of deontic logic: A survey, In Modern Logic — A Survey, edited by E. Agazzi, pp. 399–423. Dordrecht, Reidel, 1980.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Segerberg, K. A deontic logic of action. Stud Logica 41, 269–282 (1982). https://doi.org/10.1007/BF00370348
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00370348