The Virtues of Automated Theorem Proving in Metaphysics --- A Case Study: E. J. Lowe's Modal Ontological Argument

, , &
In David Fuenmayor, Christoph Benzmüller, Alexander Steen & Max Wsinieswki (eds.), The 2nd World Congress on Logic and Religion -- Book of Abstracts. Instytut Filozofii Uniwersytetu Warszawskiego (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: 92,150

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 Case Study on Computational Hermeneutics: E. J. Lowe’s Modal Ontological Argument.David Fuenmayor & Christoph Benzmueller - manuscript
Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument.Benzmüller Christoph & Fuenmayor David - 2017 - Archive of Formal Proofs 2017.
Identity in modal logic theorem proving.Francis J. Pelletier - 1993 - Studia Logica 52 (2):291 - 308.
Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic.Fuenmayor David & Benzmüller Christoph - 2017 - In David Fuenmayor & Christoph Benzmüller (eds.), KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI. Springer International Publishing.
On the PROVER9 Ontological Argument.T. Parent - 2015 - Philosophia 43 (2):475-483.
Free-variable tableaux for propositional modal logics.Bernhard Beckert & Rajeev GorÉ - 2001 - Studia Logica 69 (1):59-96.
Lowe on "The Ontological Argument".Graham Oppy - 2013 - In Chad Meister, J. P. Moreland & K. Sweus (eds.), Debating Christian Theism. Oxford University Press. pp. 72-84.
Automated Theorem-proving in Non-classical Logics.Paul B. Thistlewaite, Michael A. McRobbie & Robert K. Meyer - 1988 - Pitman Publishing.
On Computable Metaphysics: On the Uses and Limitations of Computational Metaphysics.Jason Megill & Dan Linford - 2018 - In Mirosław Szatkowski (ed.), Ontology of Theistic Beliefs: Meta-Ontological Perspectives. De Gruyter. pp. 93-112.
A Logical Choice.Tracy Lupher - 2012 - Southwest Philosophy Review 28 (1):237-246.
Effective Higher-Order Automated Theorem Proving with integrated Descente Infinie and Presburger Arithmetic LEO-III.Benzmüller Christoph & Wirth Claus-Peter - 2009
The Modal Ontological Argument Meets Modal Fictionalism.Ted Parent - 2016 - Analytic Philosophy 57 (4):338-352.
First-Order Logic and Automated Theorem Proving.Melvin Fitting - 1998 - Studia Logica 61 (2):300-302.
Thephilosophyofautomatedtheoremproving.Francis Jeffry Pelletier - unknown
Human-oriented and machine-oriented reasoning: Remarks on some problems in the history of Automated Theorem Proving. [REVIEW]Furio Di Paola - 1988 - AI and Society 2 (2):121-131.

Analytics

Added to PP
2018-01-16

Downloads
9 (#1,256,605)

6 months
2 (#1,203,099)

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