Godel's Ontological Proof and Its Variants

In Matthias Baaz (ed.), Kurt Gödel and the foundations of mathematics: horizons of truth. New York: Cambridge University Press. pp. 307 (2011)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Modal collapse in Gödel's ontological proof.Srećko Kovač - 2012 - In Miroslaw Szatkowski (ed.), Ontological Proofs Today. Ontos Verlag. pp. 50--323.
Questioning Gödel's Ontological Proof: Is Truth Positive?Gregor Damschen - 2011 - European Journal for Philosophy of Religion 3 (1):161-169.
Some Emendations of Gödel's Ontological Proof.C. Anthony Anderson - 1990 - Faith and Philosophy 7 (3):291-303.
A new small emendation of gödel's ontological proof.Petr Hájek - 2002 - Studia Logica 71 (2):149 - 164.
Kurt Gödel and the foundations of mathematics: horizons of truth.Matthias Baaz (ed.) - 2011 - New York: Cambridge University Press.
Two Types of Ontological Frame and Gödel’s Ontological Proof.Sergio Galvan - 2012 - European Journal for Philosophy of Religion 4 (2):147--168.
Arithmetic Proof and Open Sentences.Neil Thompson - 2012 - Philosophy Study 2 (1):43-50.
Descartes's Ontological Proof of God's Existence.Cecilia Wee - 2012 - British Journal for the History of Philosophy 20 (1):23-40.
On gödel's ontological proof.A. P. Hazen - 1998 - Australasian Journal of Philosophy 76 (3):361 – 377.
Godel's Theorem in Focus.Stuart Shanker (ed.) - 1987 - Routledge.
Chaitin interview for simply gödel website.Palle Yourgrau - unknown
The gödel paradox and Wittgenstein's reasons.Francesco Berto - 2009 - Philosophia Mathematica 17 (2):208-219.
On gödel's theorems on lengths of proofs I: Number of lines and speedup for arithmetics.Samuel R. Buss - 1994 - Journal of Symbolic Logic 59 (3):737-756.
Kurt Gödel: essays for his centennial.Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.) - 2010 - Ithaca, NY: Association for Symbolic Logic.

Analytics

Added to PP
2014-01-28

Downloads
34 (#461,374)

6 months
4 (#793,623)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references