On Computable Metaphysics: On the Uses and Limitations of Computational Metaphysics

In Mirosław Szatkowski (ed.), Ontology of Theistic Beliefs: Meta-Ontological Perspectives. De Gruyter. pp. 93-112 (2018)
  Copy   BIBTEX


Humans constantly produce strings of characters in symbolic languages, e.g., sentences in natural languages. We show that for any given moment in human history, the set of character strings that have been produced up to that moment, i.e., the sum total of human symbolic output up to that moment, is finite and so Turing computable. We then prove a much stronger result: a Turing machine can produce any particular set of symbolic output that we could possibly have produced. We then discuss metaphysical and/or theological systems, e.g., Spinoza’s, Leibniz’s, or Aquinas’s. We argue that any particular metaphysical system could be the output of a Turing machine. We then briefly discuss (i) automated theorem proving, the attempt to generate and/or prove theorems using computers, and (ii) computational metaphysics, the attempt to apply methods from computer science such as automated theorem proving to metaphysics. We conclude by arguing that: (i) computational metaphysics can succeed, at least in theory; indeed, all human metaphysical reasoning could be automated; (ii) computational metaphysics – and indeed metaphysical systems in general – will have the same limitations as Turing machines; and (iii) a number of different methods – not currently used in computational metaphysics – could be used to advance metaphysical research.



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The metaphysics of embodiment.Shimon Edelman - 2011 - International Journal of Machine Consciousness 3 (02):321-.
Computational complexity on computable metric spaces.Klaus Weirauch - 2003 - Mathematical Logic Quarterly 49 (1):3-21.
So how does the mind work?Steven Pinker - 2005 - Mind and Language 20 (1):1-38.
Olympia and Other O-Machines.Colin Klein - 2015 - Philosophia 43 (4):925-931.
The Necessity of Metaphysics.Tuomas E. Tahko - 2008 - Dissertation, Durham University
Alan Turing and the mathematical objection.Gualtiero Piccinini - 2003 - Minds and Machines 13 (1):23-48.
The Fate and Value of the Metaphysics.Jian-fei Yang - 2005 - Philosophy of the Social Sciences 35 (3):31-35.
Two dogmas of computationalism.Oron Shagrir - 1997 - Minds and Machines 7 (3):321-44.


Added to PP

88 (#189,215)

6 months
9 (#290,637)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Dan Linford
Purdue University
Jason Megill
Bentley College

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references