You are not currently logged in.
Access JSTOR through your library or other institution:
A Deontic Logic of Action
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
You can always find the topics here!Topics: Permanent waves, Deontic logic, Algebra, Axioms, Toy marbles, Logical theorems, Forbs, Games, Model theory, Permission
Were these topics helpful?See something inaccurate? Let us know!
Select the topics that are inaccurate.
Preview not available
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.
Studia Logica: An International Journal for Symbolic Logic © 1982 Springer