
doi: 10.1007/bf00133139
The usual axioms and inference rules of deontic logic employ as a new primitive term an operator for ‘obligatory’ or for ‘permitted’. These axioms and inference rules are here derived from a language which instead of the operator contains a predicate ‘admissible’ defined on the set of state descriptions of an assertoric language. This approach eliminates the problem of constructing a deontic formalism of its own. The predicate version requires fewer and weaker decisions and is closer to intuitive notions than the operator version. The solutions of some open problems of deontic logic flow automatically from the well-known rules of the assertoric predicate calculus. Special attention is given to the relations between deontic and assertoric statements.
Modal logic (including the logic of norms)
Modal logic (including the logic of norms)
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 2 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
