Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra
The aim of the present paper is to provide a metalogical systematisation in the area of deontic action logic based on Boolean algebra. Differences among the systems in question lie in two aspects: the level of closedness of a deontic action logic and the possibility of performing no action at all. It is also shown that the existing definitions of obligation in those systems are not acceptable due to their unintuitive interpretation or paradoxical consequences. As a solution we propose an axiomatic characterisation of obligation with an adequate class of models.
KeywordsDeontic action logic obligation Boolean algebra
Unable to display preview. Download preview PDF.
- 1.Castañeda, H.N.: The Paradoxes of Deontic Logic: The simplest colution to all of them in one fell swoop. In: Hilpinen, R. (ed.) New Studies in Deontic Logic, pp. 37–85. Reidel, Dordrecht (1981)Google Scholar
- 5.Føllesdal, D., Hilpinen, R.: Deontic logic: an introduction. In: Hilpinen, R. (ed.) Deontic Logic: Introductory and Systematic Reading, pp. 1–35. D. Reidel, Dordrecht (1971)Google Scholar
- 9.McCarty, L.T.: Permissions and Obligations. In: Proccedings of IJCAI-83, pp. 287–294 (1983)Google Scholar
- 11.Meyer, J.J.C.: A Different Approach to Deontic Logic: Deontic Logic Viewed as a Variant of Dynamic Logic. Notre Dame Journal of Formal Logic 1, 109–136 (1988)Google Scholar
- 12.Ross, A.: Imperatives and logic. Theoria 7, 53–71 (1941)Google Scholar
- 15.Trypuz, R., Kulicki, R.: A systematics of deontic action logics based on boolean algebra. Logic and Logical Philosophy (forthcoming, 2010)Google Scholar
- 16.von Wright, G.H.: Deontic logic. Mind LX(237), 1–15 (1951)Google Scholar
- 17.von Wright, G.H.: An Essay in Deontic Logic and the General Theory of Action. North Holland, Amsterdam (1968)Google Scholar