Ontological Proofs of Existence and Non-Existence

Studia Logica 90 (2):257-262 (2008)
  Copy   BIBTEX

Abstract

Caramuels’ proof of non-existence of God is compared with Gödel’s proof of existence.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-008-9151-4

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

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

A new small emendation of gödel's ontological proof.Petr Hájek - 2002 - Studia Logica 71 (2):149 - 164.
A New Small Emendation of Gödel's Ontological Proof.Petr Hájek - 2002 - Studia Logica 71 (2):149-164.
Types, Tableaus, and Gödel’s God.Roderic A. Girle - 2002 - Springer Verlag.
Model existence in non-compact modal logic.Yoshihito Tanaka - 2001 - Studia Logica 67 (1):61-73.
Gentzen Calculi for the Existence Predicate.Matthias Baaz & Rosalie Iemhoff - 2006 - Studia Logica 82 (1):7-23.
Infinite set unification with application to categorial grammar.Jacek Marciniec - 1997 - Studia Logica 58 (3):339-355.
Minimal Varieties of Involutive Residuated Lattices.Constantine Tsinakis & Annika M. Wille - 2006 - Studia Logica 83 (1-3):407-423.
Melvin fitting, types tableaus and gödel's God.Roderic A. Girle - 2005 - Studia Logica 81 (3):425-427.
Program Extraction from Normalization Proofs.Ulrich Berger, Stefan Berghofer, Pierre Letouzey & Helmut Schwichtenberg - 2006 - Studia Logica 82 (1):25-49.
Hegel's Proofs of the Existence of God.Peter C. Hodgson - 2011 - In Stephen Houlgate & Michael Baur (eds.), A Companion to Hegel. Malden, MA: Wiley‐Blackwell. pp. 414–429.

Analytics

Added to PP
2009-01-28

Downloads
122 (#151,855)

6 months
11 (#271,985)

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

Logic and Theism: Arguments for and Against Beliefs in God.Jordan Howard Sobel - 2003 - New York: Cambridge University Press. Edited by Jordan Howard Sobel.
Monadic fuzzy predicate logics.Petr Hájek - 2002 - Studia Logica 71 (2):165-175.

View all 6 references / Add more references