A deontic logic of action
A deontic logic of action
复制标题
行动的道义逻辑
DOI：
10.1007/bf00370348
复制
发表时间：
1982
期刊：
影响因子：
0.7
通讯作者：
K. Segerberg
中科院分区：
文献类型：
--
作者：
K. Segerberg
本文所研究的形式语言包含两类表达式：术语和公式。术语表达事件，公式命题。有无限多的原子项，而复数项是由布尔运算组成的。其中α和β是术语，原子式的形式为α=β(α与β相同)，禁止α(α)，允许PERMα(α)。这些公式是这些公式的真实函数组合。给出了有效性的代数和模型论解释，并提供了它们所特有的公理系统。不被禁止的东西被允许在结果层面上而不是在事件层面上的闭合原则被证明是成立的。在最后的两节中，我们考虑了其他一些算子，并介绍了动作游戏中的语义。
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.