Experiments in Computational Metaphysics: Gödel’s Proof of God’s Existence

&
Savijnanam: Scientific Exploration for a Spiritual Paradigm. Journal of the Bhaktivedanta Institute 9:43-57 (2017)
  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,386

External links

  • This entry has no external links. Add one.
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

Intensional Logic — Beyond First Order.Melvin Fitting - unknown
The Broadest Necessity.Andrew Bacon - 2018 - Journal of Philosophical Logic 47 (5):733-783.
Higher-order automated theorem proving.Michael Kohlhase - unknown
Higher-Order Modal Logic—A Sketch.Melvin Fitting - unknown
Topos Semantics for Higher-Order Modal Logic.Steve Awodey, Kohei Kishida & Hans-Cristoph Kotzsch - 2014 - Logique Et Analyse 228:591-636.
System description: { A higher-order theorem prover?Michael Kohlhase - manuscript
Intensional and higher-order modal logic.Daniel Gallin - 1972 - [Berkeley,: [Berkeley.
Intensional and higher-order modal logic: with applications to Montague semantics.Daniel Gallin - 1975 - New York: American Elsevier Pub. Co..
Extending Montague's system: A three valued intensional logic.E. H. Alves & J. A. D. Guerzoni - 1990 - Studia Logica 49 (1):127 - 132.
Extensionalizing Intensional Second-Order Logic.Jonathan Payne - 2015 - Notre Dame Journal of Formal Logic 56 (1):243-261.
Higher-Order Contingentism, Part 3: Expressive Limitations.Peter Fritz - 2018 - Journal of Philosophical Logic 47 (4):649-671.
Higher Order Modal Logic.Reinhard Muskens - 2006 - In Patrick Blackburn, Johan Van Benthem & Frank Wolter (eds.), Handbook of Modal Logic. Elsevier. pp. 621-653.
Steps Toward a Computational Metaphysics.Branden Fitelson & Edward N. Zalta - 2007 - Journal of Philosophical Logic 36 (2):227-247.
Multimodal and intuitionistic logics in simple type theory.Christoph Benzmueller & Lawrence Paulson - 2010 - Logic Journal of the IGPL 18 (6):881-892.
Higher-Order Contingentism, Part 1: Closure and Generation.Peter Fritz & Jeremy Goodman - 2016 - Journal of Philosophical Logic 45 (6):645-695.

Analytics

Added to PP
2017-12-04

Downloads
1 (#1,886,728)

6 months
1 (#1,510,037)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

No references found.

Add more references