Logic And Religion Association Webinar - Thursday May 12, 2022, 4pm CET STUDYING ONTOLOGICAL ARGUMENTS WITH COMPUTERS Speaker: Christoph Benzmueller (Free University of Berlin and University of Bamberg, Germany)
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. Everybody is welcome to join: https://www.logicandreligion.com/webinars Jean-Yves Beziau Vice President of LARA -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLC3O12LPRUFqX-9d5GJpP%3D_yKA9QNFCZttndO0GeeKwNw%40mail.gmail.com.
