Analysis of an Ontological Proof Proposed by Leibniz

, , &
In Charles Tandy (ed.), Death and Anti-Death, Volume 14: Four Decades After Michael Polanyi, Three Centuries After G.W. Leibniz. Ria University Press (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

ISBN(s)

9781934297254

Links

PhilArchive



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

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

Higher-Order Modal Logic—A Sketch.Melvin Fitting - unknown
Cut-Elimination for Quantified Conditional Logic.Christoph Benzmüller - 2017 - Journal of Philosophical Logic 46 (3):333-353.
System description: { A higher-order theorem prover?Michael Kohlhase - manuscript
Computer-Assisted Analysis of the Anderson–Hájek Ontological Controversy.C. Benzmüller, L. Weber & B. Woltzenlogel Paleo - 2017 - Logica Universalis 11 (1):139-151.
Revising Carnap’s Semantic Conception of Modality.Toby Meadows - 2012 - Studia Logica 100 (3):497-515.
CERES in higher-order logic.Stefan Hetzl, Alexander Leitsch & Daniel Weller - 2011 - Annals of Pure and Applied Logic 162 (12):1001-1034.
Proof theory of modal logic.Heinrich Wansing (ed.) - 1996 - Boston: Kluwer Academic Publishers.
An Untyped Higher Order Logic with Y Combinator.James H. Andrews - 2007 - Journal of Symbolic Logic 72 (4):1385 - 1404.
Topos Semantics for Higher-Order Modal Logic.Steve Awodey, Kohei Kishida & Hans-Cristoph Kotzsch - 2014 - Logique Et Analyse 228:591-636.
Higher-order automated theorem proving.Michael Kohlhase - unknown
Implementing a relational theorem prover for modal logic K.Angel Mora, Emilio Munoz Velasco & Joanna Golińska-Pilarek - 2011 - International Journal of Computer Mathematics 88 (9):1869-1884.
Proof Analysis: A Contribution to Hilbert's Last Problem.Sara Negri & Jan von Plato - 2011 - Cambridge and New York: Cambridge University Press. Edited by Jan Von Plato.
The Broadest Necessity.Andrew Bacon - 2018 - Journal of Philosophical Logic 47 (5):733-783.
Multimodal and intuitionistic logics in simple type theory.Christoph Benzmueller & Lawrence Paulson - 2010 - Logic Journal of the IGPL 18 (6):881-892.
Leibniz’s Ontological Proof of the Existence of God and the Problem of »Impossible Objects«.Wolfgang Lenzen - 2017 - Logica Universalis 11 (1):85-104.

Analytics

Added to PP
2017-12-04

Downloads
27 (#576,320)

6 months
7 (#418,426)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

Add more citations

References found in this work

No references found.

Add more references