Don't ever do that! Long-term duties in \(PD_{e}L\) (Q935022)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Don't ever do that! Long-term duties in \(PD_{e}L\) |
scientific article |
Statements
Don't ever do that! Long-term duties in \(PD_{e}L\) (English)
0 references
31 July 2008
0 references
Meyer's propositional deontic logic \(PD_eL\) presents deontic operators in the framework of dynamic logic enlarged with a propositional constant for `a violation has occurred'. Prohibition and obligation are there understood as active in the current state, rather than in the future. The paper under review considers the introduction into \(PD_eL\) of `long term' deontic operators that legislate for the future. Long-term prohibitions `don't ever do such-and-such' appear to be conceptually straightforward and easy to integrate into the framework of \(PD_eL\) but, as the authors observe, long-term obligations are more subtle conceptually and likewise formally tricky. The paper explores one way of effecting their integration, and comments on its shortcomings.
0 references
deontic logic
0 references
dynamic logic
0 references
prohibition
0 references
obligation
0 references
0 references