Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: Conditional normative reasoning

view this post on Zulip Email Gateway (Mar 29 2024 at 12:30):

From: Lawrence Paulson <lp15@cam.ac.uk>
I’m happy to announce a new contribution to the formalisation to philosophical theories, Conditional normative reasoning as a fragment of HOL, by Xavier Parent and Christoph Benzmüller:

We present a mechanisation of (preference-based) conditional normative reasoning. Our focus is on Åqvist’s system E for conditional obligation and its extensions. We present both a correspondence-theory-focused metalogical study and a use-case application to Parfit’s repugnant conclusion, focusing on the mere addition paradox. Our contribution is explained in detail in [2]. This document presents a corresponding (but sligthly modified) Isabelle/HOL dataset.

Now online at https://www.isa-afp.org/entries/CondNormReasHOL.html

Larry Paulson

Last updated: May 04 2024 at 16:18 UTC