Paper published in a book (Scientific congresses, symposiums and conference proceedings)
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 et al.
2017In The 2nd World Congress on Logic and Religion -- Book of Abstracts
Peer reviewed
 

Files


Full Text
C63.pdf
Author preprint (40.55 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
computational metaphysics; higher-order automated theorem proving; modal logic
Disciplines :
Computer science
Religion & theology
Philosophy & ethics
Author, co-author :
Fuenmayor, David;  Freie Universität Berlin > Philosophy
Benzmüller, Christoph ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Steen, Alexander ;  Freie Universität Berlin > Mathematik und Informatik
Wsinieswki, Max;  Freie Universität Berlin > Mathematik und Informatik
External co-authors :
yes
Language :
English
Title :
The Virtues of Automated Theorem Proving in Metaphysics --- A Case Study: E. J. Lowe's Modal Ontological Argument
Publication date :
2017
Event name :
The 2nd World Congress on Logic and Religion
Event place :
Warsaw, Poland
Event date :
June 18-22, 2017
Audience :
International
Main work title :
The 2nd World Congress on Logic and Religion -- Book of Abstracts
Publisher :
Instytut Filozofii Uniwersytetu Warszawskiego, Warsaw, Poland
ISBN/EAN :
978-83-938107-9-6
Pages :
18
Peer reviewed :
Peer reviewed
Focus Area :
Computational Sciences
Available on ORBilu :
since 12 January 2018

Statistics


Number of views
146 (4 by Unilu)
Number of downloads
36 (0 by Unilu)

Bibliography


Similar publications



Contact ORBilu