Rocksolid Light

News from da outaworlds

mail  files  register  groups  login

Message-ID:  

Q: Who cuts the grass on Walton's Mountain? A: Lawn Boy.

sci / sci.philosophy.tech / Studying Ontological Arguments with Computers: The Logic and Religion Webinar, May 12

SubjectAuthor
o Studying Ontological Arguments with Computers: The Logic and Religion Webinar, MFrancisco de Assis Mariano

1
Subject: Studying Ontological Arguments with Computers: The Logic and Religion Webinar, May 12
From: Francisco de Assis M
Newsgroups: sci.philosophy.tech
Date: Tue, 10 May 2022 15:35 UTC
X-Received: by 2002:ac8:4e45:0:b0:2f3:b5bf:808e with SMTP id e5-20020ac84e45000000b002f3b5bf808emr20412316qtw.537.1652196913993;
Tue, 10 May 2022 08:35:13 -0700 (PDT)
X-Received: by 2002:ad4:5aa8:0:b0:45a:f1e4:7b24 with SMTP id
u8-20020ad45aa8000000b0045af1e47b24mr16011988qvg.127.1652196913840; Tue, 10
May 2022 08:35:13 -0700 (PDT)
Path: eternal-september.org!news.eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.philosophy.tech
Date: Tue, 10 May 2022 08:35:13 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=2607:fb90:38b1:cc05:e122:fdcd:3a27:8cad;
posting-account=IBtGPAoAAADjh1c9Na29fb62t459MJjy
NNTP-Posting-Host: 2607:fb90:38b1:cc05:e122:fdcd:3a27:8cad
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <10fe2a80-7102-4707-9067-e4ce6d7d4d60n@googlegroups.com>
Subject: Studying Ontological Arguments with Computers: The Logic and Religion
Webinar, May 12
From: fm7mf@umsystem.edu (Francisco de Assis Mariano)
Injection-Date: Tue, 10 May 2022 15:35:13 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2442
View all headers

Dear Colleague,
You are invited to participate in the next session of the Logic and Religion Webinar Series which will be held on May 12, 2022, at 4:00 pm CET with the topic:
Studying Ontological Arguments with Computers
Speaker: Christoph Benzmueller (University of Bamberg & FU Berlin)
Chair: Andrea Vestrucci (Graduate Theological Union, USA)
Please register in advance!
https://www.logicandreligion.com/webinars
Abstract: Several emendations of Gödel's modal ontological argument have been proposed persevering the intended conclusion of God's necessary existence while avoiding the problem of modal collapse, which expresses that there are no contingent truths (everything is determined, there is no free will). In this webinar, we summarize recent computer-supported verification studies on some of these modern variants of the ontological argument. Our purpose is to provide further evidence that the interaction with computer technology can not only enable the formal assessment of ontological arguments but can, in fact, help to sharpen our conceptual understanding of the notions and concepts involved.

With best wishes,
Francisco de Assis Mariano
The University of Missouri-Columbia
LARA Secretary

1

rocksolid light 0.9.8
clearnet tor