Work

Notes on Gödel’s and Scott’s variants of the ontological argument

Year: 2025

Type: article

Abstract: Notes on Kurt Gödel’s modal ontological argument and Dana Scott’s variant of it are presented. These remarks, supported by experimental studies with a proof assistant system for classical higher-order logic, implicitly answer some questions the authors have received over the last decade(s). In addition, some new insights resulting from the conducted experiments are reported.

Source: Monatshefte für Mathematik

DOI: 10.1007/s00605-025-02078-x

Authors: Christoph Benzmüller, Dana Scott

Institutions: Freie Universität Berlin, University of Bamberg, Topos Institute

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Estimated APC paid: $3,190

OpenAlex ID: W4409610162

FWCI: 1.632

Cites: 96

Cited by: 4

Related to: 10