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 (...
Main Authors: | Kirchner Daniel, Benzmüller Christoph, Zalta Edward N. |
---|---|
Format: | Article |
Language: | English |
Published: |
De Gruyter
2019-08-01
|
Series: | Open Philosophy |
Subjects: | |
Online Access: | http://www.degruyter.com/view/j/opphil.2019.2.issue-1/opphil-2019-0015/opphil-2019-0015.xml?format=INT |
Similar Items
-
Automate Reasoning: Computer Assisted Proofs in Set Theory Using Godel's Algorithm for Class Formation
by: Goble, Tiffany Danielle
Published: (2005) -
Gödel’s Incompleteness Theorem and the Anti-Mechanist Argument: Revisited
by: Yong Cheng
Published: (2020-11-01) -
Hammering towards QED
by: Jasmin C. Blanchette, et al.
Published: (2016-01-01) -
On the Anti-Mechanist Arguments Based on Gödel’s Theorem
by: Stanisław Krajewski
Published: (2020-11-01) -
LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset)
by: Christoph Benzmüller, et al.
Published: (2020-12-01)