A Norm-Giver Meets Deontic Action Logic

• Autorzy: Robert Trypuz , Piotr Kulicki
• Języki publikacji: EN

Abstrakty

EN

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 the- ses of our logic and (2) facts from the ontology of action whose relevance for the systems of norms we postulate.

Słowa kluczowe

EN

deontic action logic; lawmaking; situations; agents’ abilities

• Wydawca: Uniwersytet Mikołaja Kopernika (Nicolaus Copernicus University in Toruń)
• Czasopismo: Logic and Logical Philosophy
• Rocznik: 2011
• Tom: 20
• Numer: 1-2
• Strony: 59-72

Daty

wydano

2011-06-01

online

2013-07-02

Twórcy

autor

Robert Trypuz

• Department of Logic Faculty of Philosophy The John Paul II Catholic University of Lublin Al. Raclawickie 14 Lublin, Poland,

autor

Piotr Kulicki

• Department of Foundation of Computer Science Faculty of Philosophy The John Paul II Catholic University of Lublin Al. Raclawickie 14 Lublin, Poland,

Bibliografia

• [1] Blackburn, P., M. de Rijke and Y. Venema, Modal Logic, Cambridge University Press, 2001.
• [2] 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.[WoS]
• [3] Gert-Jan Lokhorst, C., “Reasoning about actions and obligations in first- order logic”, Studia Logica 57, 1 (1996): 221-237.
• [4] Lorini, E., and Herzig, A., “A logic of intention and attempt”, Synthese 163, 1 (2008): 45-77.
• [5] O’Shaughnessy, B., “Trying (as the mental ‘pineal gland’)”, Journal ofPhilosophy 70 (1973): 365-386.
• [6] Segerberg, K., “Applying modal logic”, Studia Logica, 39, 2-3 (1980).
• [7] Segerberg, K., “A deontic logic of action”, Studia Logica, 41, 2-3 (1982).
• [8] Segerberg, K., “Towards an exact philosophy of actio”, Topoi 3, 1 (1984).
• [9] Trypuz, R., “Setna - prosta teoria norm i działań”, Filozofia Nauki 3-4 (2008): 155-175.
• [10] 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.
• [11] Trypuz, R., and P. Kulicki, “Towards metalogical systematisation of de- ontic action logics based on Boolean algebra”, pages 132-147 in: G. Gov- ernatori and G. Sartor (eds.), Deontic Logic in Computer Science (DEON2010), 2010.
• [12] Trypuz, R., and P. Kulicki, “On deontic action logics based on Boolean algebra”, Journal of Applied Logic (submitted).

Identyfikatory

DOI

10.12775/LLP.2011.003