Deontic Logic and Normative Reasoning
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/
Recent content on Deontic Logic and Normative ReasoningHugo -- gohugo.ioen-uschristian.strasser@rub.de (Christian Strasser)christian.strasser@rub.de (Christian Strasser)Thu, 04 Jul 2019 18:40:07 +0200Session 10: Seeing to it that and Obligations
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/post/session-08-stit3/
Thu, 04 Jul 2019 18:40:07 +0200christian.strasser@rub.de (Christian Strasser)http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/post/session-08-stit3/(Update: There was unfortunately a mistake in the definition of optimal choices. This has been corrected now. [2019-07-01 Mon 22:31])
After having covered many of the essential aspects of modelling actions and choices of individual agents and groups of agents, we will now finally come to our central topic: normative reasoning. How can we, for instance, express that an agent ought to study?
Ought to be An idea that was successfully applied in the context of Standard Deontic Logic (SDL) was the idea to use the notion of deontically ideal worlds.Session 10: Seeing to it that and Obligations
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/session-08-stit3/
Thu, 04 Jul 2019 18:40:07 +0200christian.strasser@rub.de (Christian Strasser)http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/session-08-stit3/(Update: There was unfortunately a mistake in the definition of optimal choices. This has been corrected now. [2019-07-01 Mon 22:31])
After having covered many of the essential aspects of modelling actions and choices of individual agents and groups of agents, we will now finally come to our central topic: normative reasoning. How can we, for instance, express that an agent ought to study?
Ought to be An idea that was successfully applied in the context of Standard Deontic Logic (SDL) was the idea to use the notion of deontically ideal worlds.Session 9: Seeing to it that: deliberative stit, refraining, and group actions
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/post/session-08-stit2/
Thu, 04 Jul 2019 18:03:38 +0200christian.strasser@rub.de (Christian Strasser)http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/post/session-08-stit2/Last time we have learned about the \(\mathsf{cstit}\) operator for individual agents. Today we look at a variant which infuses a deliberative flavor into the operator, the so-called \(\mathsf{dstit}\). We will also develop a better understanding of the notion of refraining. Finally we will consider group actions.1
Deliberative stit For instance, one may demand that if an agent sees to it that \(A\) then there should have been at least the possibility that \(\neg A\) turns out to be true.Session 9: Seeing to it that: deliberative stit, refraining, and group actions
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/session-08-stit2/
Thu, 04 Jul 2019 18:03:38 +0200christian.strasser@rub.de (Christian Strasser)http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/session-08-stit2/Last time we have learned about the \(\mathsf{cstit}\) operator for individual agents. Today we look at a variant which infuses a deliberative flavor into the operator, the so-called \(\mathsf{dstit}\). We will also develop a better understanding of the notion of refraining. Finally we will consider group actions.1
Deliberative stit For instance, one may demand that if an agent sees to it that \(A\) then there should have been at least the possibility that \(\neg A\) turns out to be true.Session 8: Seeing to it that …
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/post/session-08-stit1/
Thu, 04 Jul 2019 18:03:22 +0200christian.strasser@rub.de (Christian Strasser)http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/post/session-08-stit1/Time for another fun blog entry … and it is indeed finally time to cover time and when we’re already at it to throw some agency in it as well.
In our last session, Michael Kesselheim gave a very nice presentation on stit-logic based on John Horty’s splendid book from 2001. In what follows, I will capture the most important insights from this session (typos and mistakes in this post are my responsibility, not his!Session 8: Seeing to it that …
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/session-08-stit1/
Thu, 04 Jul 2019 18:03:22 +0200christian.strasser@rub.de (Christian Strasser)http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/session-08-stit1/Time for another fun blog entry … and it is indeed finally time to cover time and when we’re already at it to throw some agency in it as well.
In our last session, Michael Kesselheim gave a very nice presentation on stit-logic based on John Horty’s splendid book from 2001. In what follows, I will capture the most important insights from this session (typos and mistakes in this post are my responsibility, not his!Session 7: Free Choice Permission and Truthmaker Semantics
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/post/session-07-free-choice-permission/
Thu, 06 Jun 2019 13:52:53 +0200christian.strasser@rub.de (Christian Strasser)http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/post/session-07-free-choice-permission/In this session, Tim Forche gave an excellent presentation on the very interesting solution to the problem of Free Choice Permission based on truth-maker semantics proposed by Anglberger, Korbmacher and Faroldi in their DEON 2016 paper.
[Under construction.]Session 7: Free Choice Permission and Truthmaker Semantics
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/session-07-free-choice-permission/
Thu, 06 Jun 2019 13:52:53 +0200christian.strasser@rub.de (Christian Strasser)http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/session-07-free-choice-permission/In this session, Tim Forche gave an excellent presentation on the very interesting solution to the problem of Free Choice Permission based on truth-maker semantics proposed by Anglberger, Korbmacher and Faroldi in their DEON 2016 paper.
[Under construction.]Session 6: McNamara on Supererogation (will be contributed by Laura and Thomas)
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/post/session-06/
Tue, 14 May 2019 22:06:12 +0200christian.strasser@rub.de (Christian Strasser)http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/post/session-06/This will be an entry by Laura and Thomas. It is not finished yet.Session 6: McNamara on Supererogation (will be contributed by Laura and Thomas)
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/session-06/
Tue, 14 May 2019 22:06:12 +0200christian.strasser@rub.de (Christian Strasser)http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/session-06/This will be an entry by Laura and Thomas. It is not finished yet.Exercises for Session 6 (Supererogation)
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/post/session-06-exercises/
Tue, 14 May 2019 22:04:00 +0200christian.strasser@rub.de (Christian Strasser)http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/post/session-06-exercises/In the last session Laura and Thomas presented McNamara’s account of supererogation, as presented in his 1996 article in Mind. In order to get a better grip on his semantic framework, we investigate some properties that may hold or may not hold in his system. Consider always first what your pre-analytic intuitions tell you about the property and decide for yourself whether the formal framework is useful to get a more precise understanding of the underlying concepts.Exercises for Session 6 (Supererogation)
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/session-06-exercises/
Tue, 14 May 2019 22:04:00 +0200christian.strasser@rub.de (Christian Strasser)http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/session-06-exercises/In the last session Laura and Thomas presented McNamara’s account of supererogation, as presented in his 1996 article in Mind. In order to get a better grip on his semantic framework, we investigate some properties that may hold or may not hold in his system. Consider always first what your pre-analytic intuitions tell you about the property and decide for yourself whether the formal framework is useful to get a more precise understanding of the underlying concepts.Session 5: More on SDDL and Solution to Exercises
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/post/session-05/
Wed, 08 May 2019 22:06:00 +0200christian.strasser@rub.de (Christian Strasser)http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/post/session-05/This session was mostly dedicated to exercises with the semantics of SDDL.Session 5: More on SDDL and Solution to Exercises
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/session-05/
Wed, 08 May 2019 22:06:00 +0200christian.strasser@rub.de (Christian Strasser)http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/session-05/This session was mostly dedicated to exercises with the semantics of SDDL.Session 5: More on SDDL and Solution to Exercises
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/post/session-04/
Wed, 08 May 2019 17:55:42 +0200christian.strasser@rub.de (Christian Strasser)http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/post/session-04/This session was mostly dedicated to exercises with the semantics of SDDL.Session 5: More on SDDL and Solution to Exercises
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/session-04/
Wed, 08 May 2019 17:55:42 +0200christian.strasser@rub.de (Christian Strasser)http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/session-04/This session was mostly dedicated to exercises with the semantics of SDDL.Solutions to the Exercises from Session 3
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/post/session-03-ex-sol/
Tue, 30 Apr 2019 19:05:00 +0200christian.strasser@rub.de (Christian Strasser)http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/post/session-03-ex-sol/This entry contains solutions to the exercises from Session 3.Solutions to the Exercises from Session 3
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/session-03-ex-sol/
Tue, 30 Apr 2019 19:05:00 +0200christian.strasser@rub.de (Christian Strasser)http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/session-03-ex-sol/This entry contains solutions to the exercises from Session 3.Session 3: More Problems with Normative Conditionals
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/post/session-03/
Sun, 21 Apr 2019 17:21:00 +0200christian.strasser@rub.de (Christian Strasser)http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/post/session-03/In our third session we shot the final bullet at SDL by showing that it leads to yet more problems with conditional obligations. This strongly motivates that deontic logic is a research program with its own characteristic problems that call for solutions that go beyond the canon of standard modal logics.Session 3: More Problems with Normative Conditionals
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/session-03/
Sun, 21 Apr 2019 17:21:00 +0200christian.strasser@rub.de (Christian Strasser)http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/session-03/In our third session we shot the final bullet at SDL by showing that it leads to yet more problems with conditional obligations. This strongly motivates that deontic logic is a research program with its own characteristic problems that call for solutions that go beyond the canon of standard modal logics.Solutions to Exercises from Session 2 and some new Puzzles
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/post/session-02-exercises/
Tue, 16 Apr 2019 17:21:00 +0200christian.strasser@rub.de (Christian Strasser)http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/post/session-02-exercises/Solutions to the exercises from Session 2. Some new and harder puzzles in SDL.Solutions to Exercises from Session 2 and some new Puzzles
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/session-02-exercises/
Tue, 16 Apr 2019 17:21:00 +0200christian.strasser@rub.de (Christian Strasser)http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/session-02-exercises/Solutions to the exercises from Session 2. Some new and harder puzzles in SDL.Session 2: The limitations of Standard Deontic Logic
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/post/session-02/
Fri, 12 Apr 2019 17:21:00 +0200christian.strasser@rub.de (Christian Strasser)http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/post/session-02/In our second session we read Forrester’s article on the Gentle Murderer which highlights problems with the handling of conditional obligations in Standard Deontic Logic.Session 2: The limitations of Standard Deontic Logic
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/session-02/
Fri, 12 Apr 2019 17:21:00 +0200christian.strasser@rub.de (Christian Strasser)http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/session-02/In our second session we read Forrester’s article on the Gentle Murderer which highlights problems with the handling of conditional obligations in Standard Deontic Logic.Session 1: Introduction
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/post/session-01/
Tue, 09 Apr 2019 17:20:00 +0200christian.strasser@rub.de (Christian Strasser)http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/post/session-01/In our first session we basic notions underlying deontic logic. In particular, we introduce Standard Deontic Logic.Session 1: Introduction
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/session-01/
Tue, 09 Apr 2019 17:20:00 +0200christian.strasser@rub.de (Christian Strasser)http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/session-01/In our first session we basic notions underlying deontic logic. In particular, we introduce Standard Deontic Logic.Ongoing List of Topics and Literature
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/post/topics-literature/
Mon, 08 Apr 2019 17:20:00 +0200christian.strasser@rub.de (Christian Strasser)http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/post/topics-literature/This entry contains a list of topics and literature. I will from time to time add stuff here. Feel free to suggest topics and papers you are interested in!
Possible worlds and SDL (session #1) How do possible world semantics in modal logic work? Standard Deontic Logic: what are the main ideas. Seminal work in deontic logic: the limits of SDL Von Wright’s seminal paper on deontic logic Von Wright, G.Ongoing List of Topics and Literature
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/topics-literature/
Mon, 08 Apr 2019 17:20:00 +0200christian.strasser@rub.de (Christian Strasser)http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/topics-literature/This entry contains a list of topics and literature. I will from time to time add stuff here. Feel free to suggest topics and papers you are interested in!
Possible worlds and SDL (session #1) How do possible world semantics in modal logic work? Standard Deontic Logic: what are the main ideas. Seminal work in deontic logic: the limits of SDL Von Wright’s seminal paper on deontic logic Von Wright, G.Ongoing List of Topics and Literature
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/post/topics-literature/
Tue, 02 Apr 2019 21:20:41 +0200christian.strasser@rub.de (Christian Strasser)http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/post/topics-literature/This entry contains a list of topics and literature. I will from time to time add stuff here. Feel free to suggest topics and papers you are interested in!Ongoing List of Topics and Literature
http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/topics-literature/
Tue, 02 Apr 2019 21:20:41 +0200christian.strasser@rub.de (Christian Strasser)http://homepage.ruhr-uni-bochum.de/defeasible-reasoning/deon-log-2019/topics-literature/This entry contains a list of topics and literature. I will from time to time add stuff here. Feel free to suggest topics and papers you are interested in!