Who is obliged when many are involved? Labelled transition system modelling of how obligation arises

Artificial Intelligence and Law 29 (3):395-415 (2021)
  Copy   BIBTEX


The paper tackles the problem of the relation between rights and obligations. Two examples of situations in which such a relation occurs are discussed. One concerns the abortion regulations in Polish law, the other one—a clash between freedom of expression and freedom of enterprise occurring in the context of discrimination. The examples are analysed and formalised using labelled transition systems in the \ framework. Rights are introduced to the system as procedures allowing for their fulfilment. Obligations are based on the requirement of cooperation in the realisation of the goals of the agent that has a right. If the right of an agent cannot be fulfilled without an action of another agent, then that action is obligatory for that agent. If there are many potential contributors who are individually allowed to refuse, then the last of them is obliged to help when all the others have already refused. By means of formalisation this account of the relation under consideration is precisely expressed and shown consistent.



    Upload a copy of this work     Papers currently archived: 77,712

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On Being Obliged to Act.Alan R. White - 1968 - Royal Institute of Philosophy Supplement 1:64-82.
On Being Obliged to Act.Alan R. White - 1968 - Royal Institute of Philosophy Lectures 1:64-82.
Personal Bonds: Directed Obligations without Rights.Adrienne M. Martin - 2021 - Philosophy and Phenomenological Research 102 (1):65-86.
Ability, Frankfurt Examples, and Obligation.Ishtiyaque Haji & Ryan Hebert - 2018 - The Journal of Ethics 22 (2):163-190.
A logical analysis of the relationship between commitment and obligation.Churn-Jung Liau - 2001 - Journal of Logic, Language and Information 10 (2):237-261.
The Jurisdiction Argument for Immigration Control.Andy Lamey - 2016 - Social Theory and Practice 42 (3):581-604.
Two Faces of Obligation.Piotr Kulicki & Robert Trypuz - 2013 - In Anna Brożek, Jacek Jadacki & Berislav Žarnić (eds.), Theory of Imperatives from Different Points of View (2). Wydawnictwo Naukowe Semper.
‘Ought’ Does Not Imply ‘Can’.Moti Mizrahi - 2009 - Philosophical Frontiers 4 (1):19-35.
Active control, agent-causation and free action.Ishtiyaque Haji - 2004 - Philosophical Explorations 7 (2):131-148.
Reasoning About Collectively Accepted Group Beliefs.Raul Hakli & Sara Negri - 2011 - Journal of Philosophical Logic 40 (4):531-555.


Added to PP

12 (#812,731)

6 months
1 (#481,788)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Piotr Kulicki
John Paul II Catholic University of Lublin
Robert Trypuz
Katolicki Uniwersytet Lubelski (KUL)

Citations of this work

No citations found.

Add more citations