A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of Gödel's Ontological Argument

@inproceedings{Benzmller2020AS,
  title={A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of G{\"o}del's Ontological Argument},
  author={Christoph Benzm{\"u}ller},
  year={2020}
}
An approach to universal (meta-)logical reasoning in classical higher-order logic is employed to explore and study simplifications of Kurt Gödel’s modal ontological argument. Some argument premises are modified, others are dropped, modal collapse is avoided and validity is shown already in weak modal logics K and T. Key to the gained simplifications of Gödel’s original theory is the exploitation of a link to the notions of filter and ultrafilter in topology. The paper illustrates how modern… 

Figures from this paper

A Simplified Variant of G\"odel's Ontological Argument

: A simplified variant of Gödel’s ontological argument is presented. The simplified argument is valid already in basic modal logics K or KT, it does not suffer from modal collapse, and it avoids the

The correctness and relevance of the modal ontological argument

This paper deals with some metaphilosophical aspects of the modal ontological argument originating from Charles Hartshorne. One of the specific premises of the argument expresses the idea that the

Applying Second-Order Quantifier Elimination in Inspecting Gödel's Ontological Proof

Previously unnoticed or obscured aspects and details of Gödel’s proof become apparent and practical application possibilities of second-order quantifier elimination are shown.

The correctness and relevance of the modal ontological argument

This paper deals with some metaphilosophical aspects of the modal ontological argument originating from Charles Hartshorne, and points to some criteria of formal correctness, and distinguishes two types of relevance for these versions: strong and weak.

References

SHOWING 1-10 OF 56 REFERENCES

Gödel's ontological proof revisited

THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF

G Gödel’s early intentions of a liberal comprehension principle for the higher order modal logic, an explicit use of second-order Barcan schemas, as well as seemingly defining a rigidity condition for the system are revealed.

Some Emendations of Gödel's Ontological Proof

A new version of the ontological argument for the existence of God was outlined by Kurt Godel and elaborated by Dana Scott. J. Howard Sobel has given a careful explication of the details and has

Types, Tableaus, and Gödel's God

Preface. Part I: Classical Logic. 1. Classical Logic - Syntax. 2. Classical Logic - Semantics. 3. Classical Logic - Basic Tableaus. 4. Soundness and Completeness. 5. Equality. 6. Extensionality. Part

Computer science and metaphysics: A crossfertilization

  • Open Philosophy, 2:230–251,
  • 2019

Philosophical Perspectives

Because of the disparate character of these papers, we have decided that Professor Gewirth and I would throw the discussion open immediately to the audience. Dr. Gewirth, I was curious that you ended

Computer-Supported Exploration of a Categorical Axiomatization of Modeloids

This paper develops a generalization of a modeloid first to an inverse semigroup and then to a inverse category using an axiomatic approach to category theory, and shows that this formulation enables a purely algebraic view on Ehrenfeucht-Fraïssé games.

Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument

Three variants of Kurt Godel's ontological argument, as proposed by Dana Scott, Anthony Anderson and Melvin Fitting, are encoded and rigorously assessed on the computer, and a careful distinction between extensions and intensions of positive properties is made.

On Gödel's ontological proof

On being and saying : essays for Richard Cartwright

Richard Cartwright's impact on other philosophers has been as much a product of his own personal contact with students and colleagues as the result of his written work. The essays in this book
...