Computer Science and Metaphysics: A Cross-Fertilization

Computer Science and Metaphysics: A Cross-Fertilization

Computational philosophy is the use of mechanized computational techniques to unearth philosophical insights that are either difficult or impossible to find using traditional philosophical methods. Computational metaphysics is computational philosophy with a focus on metaphysics. In this paper, we (...

Full description

Bibliographic Details
Main Authors: Kirchner Daniel, Benzmüller Christoph, Zalta Edward N.
Format: Article
Language:English
Published: De Gruyter 2019-08-01
Series:Open Philosophy
Subjects:
computational metaphysics
abstract object theory
shallow semantic embedding
gödel’s ontological argument
theorem proving
automated reasoning
Online Access:http://www.degruyter.com/view/j/opphil.2019.2.issue-1/opphil-2019-0015/opphil-2019-0015.xml?format=INT

Internet

http://www.degruyter.com/view/j/opphil.2019.2.issue-1/opphil-2019-0015/opphil-2019-0015.xml?format=INT

Similar Items