Causal interpretation of Gödel's ontological proof

In Kordula Świętorzecka (ed.), Gödel's Ontological Argument: History, Modifications, and Controversies. Semper. pp. 163.201 (2015)
  Copy   BIBTEX

Abstract

Gödel's ontological argument is related to Gödel's view that causality is the fundamental concept in philosophy. This explicit philosophical intention is developed in the form of an onto-theological Gödelian system based on justification logic. An essentially richer language, so extended, offers the possibility to express new philosophical content. In particular, theorems on the existence of a universal cause on a causal "slingshot" are formulated.

Categories

Keywords

Reprint years

Links

PhilArchive

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.
Gödel's "slingshot" argument and his onto-theological system.Srećko Kovač & Kordula Świętorzecka - 2015 - In Kordula Świętorzecka (ed.), Gödel's Ontological Argument: History, Modifications, and Controversies. Semper. pp. 123-162.
Some Emendations of Gödel's Ontological Proof.C. Anthony Anderson - 1990 - Faith and Philosophy 7 (3):291-303.
Questioning Gödel's Ontological Proof: Is Truth Positive?Gregor Damschen - 2011 - European Journal for Philosophy of Religion 3 (1):161-169.
Godel's Ontological Proof and Its Variants.Petr Hájek - 2011 - In Matthias Baaz (ed.), Kurt Gödel and the foundations of mathematics: horizons of truth. New York: Cambridge University Press. pp. 307.
Gödelov ontologický dôkaz existencie Boha.Pavol Zlatoš - 1996 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 3 (3):211-238.
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.
Computational Logic and Proof Theory 5th Kurt Gödel Colloquium, Kgc '97, Vienna, Austria, August 25-29, 1997 : Proceedings'.G. Gottlob, Alexander Leitsch, Daniele Mundici & Kurt Gödel Society - 1997 - Springer Verlag.
Kurt Gödel and the foundations of mathematics: horizons of truth.Matthias Baaz (ed.) - 2011 - New York: Cambridge University Press.
Arithmetic Proof and Open Sentences.Neil Thompson - 2012 - Philosophy Study 2 (1):43-50.
Two Types of Ontological Frame and Gödel’s Ontological Proof.Sergio Galvan - 2012 - European Journal for Philosophy of Religion 4 (2):147--168.
Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : Proceedings.Georg Gottlob & Alexander Leitsch - 1993 - Springer Verlag.
Proof theory. Gödel and the metamathematical tradition.Jeremy Avigad - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.
Godel's Proof.S. R. Peterson - 1961 - Philosophical Quarterly 11 (45):379.
Higher-order ontological arguments.Graham Oppy - 2008 - Philosophy Compass 3 (5):1066-1078.

Analytics

Added to PP
2016-04-07

Downloads
276 (#70,806)

6 months
132 (#25,415)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Srećko Kovač
Institute of Philosophy, Zagreb

Citations of this work

Add more citations

References found in this work

No references found.

Add more references