A norm-giver meets deontic action logic

Robert Trypuz, Piotr Kulicki

DOI: http://dx.doi.org/10.12775/LLP.2011.003


In the paper we present a formal system motivated by a specific methodology of creating norms. According to the methodology, a norm-giver before establishing a set of norms should create a picture of the agent by creating his repertoire of actions. Then, knowing what the agent can do in particular situations, the norm-giver regulates these actions by assigning deontic qualifications to each of them. The set of norms created for each situation should respect (1) generally valid deontic principles being the theses of our logic and (2) facts from the ontology of action whose relevance for the systems of norms we postulate.


: deontic action logic; lawmaking; situations; agents’ abilities

Full Text:



Blackburn, P., M. de Rijke and Y. Venema, Modal Logic, Cambridge University Press, 2001.

Castro, P.F., and T.S.E. Maibaum, “Deontic action logic, atomic Boolean algebras and fault-tolerance”, Journal of Applied Logic 7, 4 (2009): 441–466.

Gert-Jan Lokhorst, C., “Reasoning about actions and obligations in first-order logic”, Studia Logica 57, 1 (1996): 221–237.

Lorini, E., and Herzig, A., “A logic of intention and attempt”, Synthese 163, 1 (2008): 45–77.

O’Shaughnessy, B., “Trying (as the mental ‘pineal gland’)”, Journal of Philosophy 70 (1973): 365–386.

Segerberg, K., “Applying modal logic”, Studia Logica, 39, 2–3 (1980).

Segerberg, K., “A deontic logic of action”, Studia Logica, 41, 2–3 (1982).

Segerberg, K., “Towards an exact philosophy of actio”, Topoi 3, 1 (1984).

Trypuz, R., “Setna – prosta teoria norm i działań”, Filozofia Nauki 3–4 (2008): 155–175.

Trypuz, R., and P. Kulicki, “A systematics of deontic action logics based on Boolean algebra”, Logic and Logical Philosophy, 18, 3–4 (2009): 253–270.

Trypuz, R., and P. Kulicki, “Towards metalogical systematisation of deontic action logics based on Boolean algebra”, pages 132–147 in: G. Governatori and G. Sartor (eds.), Deontic Logic in Computer Science (DEON 2010), 2010.

Trypuz, R., and P. Kulicki, “On deontic action logics based on Boolean algebra”, Journal of Applied Logic (submitted).

ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism