Thou Shalt is not You Will
arXiv:1404.1685v360 citations
Originality Incremental advance
AI Analysis
This addresses a foundational issue in formal logic and norm modeling, but it appears incremental as it builds on existing deontic logic concepts.
The paper tackles the problem of modeling real-life norms with temporal logic by presenting a novel deontic logic paradox involving obligations, permissions, and contrary-to-duty obligations, showing that temporal logic may be unsuitable for this purpose.
In this paper we discuss some reasons why temporal logic might not be suitable to model real life norms. To show this, we present a novel deontic logic contrary-to-duty/derived permission paradox based on the interaction of obligations, permissions and contrary-to-duty obligations. The paradox is inspired by real life norms.