A logic for instrumental obligation
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866908359706279936 |
|---|---|
| author | Yan, Jialiang He, Qingyu |
| author_facet | Yan, Jialiang He, Qingyu |
| contents | This paper develops a logic based on causal inferences to formally capture the concept of instrumental obligation. We establish a causal deontic model that extends causal models with priority structures, allowing us to represent both the instrumental and deontic aspects of an obligation. In this framework, instrumental obligation is defined as a derived notion through intervention formulas of causal reasoning, where an action is considered obligatory if it is the best way to achieve the goal. We provide a sound and complete axiomatic system and show that the logic is NP-complete. The concept of instrumental permission is also taken into account in the model. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_06824 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | A logic for instrumental obligation Yan, Jialiang He, Qingyu Logic This paper develops a logic based on causal inferences to formally capture the concept of instrumental obligation. We establish a causal deontic model that extends causal models with priority structures, allowing us to represent both the instrumental and deontic aspects of an obligation. In this framework, instrumental obligation is defined as a derived notion through intervention formulas of causal reasoning, where an action is considered obligatory if it is the best way to achieve the goal. We provide a sound and complete axiomatic system and show that the logic is NP-complete. The concept of instrumental permission is also taken into account in the model. |
| title | A logic for instrumental obligation |
| topic | Logic |
| url | https://arxiv.org/abs/2505.06824 |