Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument

&
Archive of Formal Proofs 2017 (2017)
  Copy   BIBTEX

Abstract

Computers may help us to understand --not just verify-- philosophical arguments. By utilizing modern proof assistants in an iterative interpretive process, we can reconstruct and assess an argument by fully formal means. Through the mechanization of a variant of St. Anselm's ontological argument by E. J. Lowe, which is a paradigmatic example of a natural-language argument with strong ties to metaphysics and religion, we offer an ideal showcase for our computer-assisted interpretive method.

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



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

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
Formal Approaches to the Ontological Argument.Ricardo Silvestre & Jean-Yves Beziau - 2018 - Journal of Applied Logics 5 (7):1433-1440.
Formal reconstructions of St. Anselm’s ontological argument.Esther Ramharter & Günther Eder - 2015 - Synthese 192 (9):2795-2825.
St. Anselm's Ontological Argument as Expressive: A Wittgensteinian Reconstruction.Scott Aikin & Michael Hodges - 2013 - Philosophical Investigations 37 (2):130-151.
The Ontological Argument.Robert E. Maydole - 2009 - In William Lane Craig & J. P. Moreland (eds.), The Blackwell Companion to Natural Theology. Wiley-Blackwell. pp. 553–592.
Lowe on "The Ontological Argument".Graham Oppy - 2013 - In J. P. Moreland, K. A. Sweis & Ch V. Meister (eds.), Debating Christian Theism. Oxford Univ. Press. pp. 72-84.
The Virtues of Automated Theorem Proving in Metaphysics --- A Case Study: E. J. Lowe's Modal Ontological Argument.Fuenmayor David, Benzmüller Christoph, Steen Alexander & Wsinieswki Max - 2017 - 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.
A Simplified Variant of Gödel’s Ontological Argument.Christoph Benzmüller - 2023 - In Vestrucci Andrea (ed.), Beyond Babel: Religion and Linguistic Pluralism. Springer Verlag. pp. 271-286.
Anselm's God in Isabelle/HOL.Ben Blumson - 2017 - Archive of Formal Proofs:9.
Mechanized analysis of Anselm’s modal ontological argument.John Rushby - 2020 - International Journal for Philosophy of Religion 89 (2):135-152.

Analytics

Added to PP
2018-01-16

Downloads
9 (#1,268,194)

6 months
1 (#1,722,086)

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

Ontological Dependence.Tuomas E. Tahko & E. J. Lowe - 2020 - Stanford Encyclopedia of Philosophy.

Add more references