Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: Exploring Simplified Variants ...


view this post on Zulip Email Gateway (Nov 26 2021 at 10:59):

From: "Thiemann, René" <Rene.Thiemann@uibk.ac.at>
Dear all,

I’m happy to announce the following new AFP entry.

Exploring Simplified Variants of Gödel’s Ontological Argument in Isabelle/HOL
by Christoph Benzmüller

Simplified variants of Gödel's ontological argument are explored. Among those is
a particularly interesting simplified argument which is (i) valid already in
basic modal logics K or KT, (ii) which does not suffer from modal collapse, and
(iii) which avoids the rather complex predicates of essence (Ess.) and necessary
existence (NE) as used by Gödel.

Whether the presented variants increase or decrease the attractiveness and
persuasiveness of the ontological argument is a question I would like to pass on
to philosophy and theology.

https://www.isa-afp.org/entries/SimplifiedOntologicalArgument.html

Enjoy,
René


Last updated: Jul 15 2022 at 23:21 UTC