Steps Toward a Computational Metaphysics

  title={Steps Toward a Computational Metaphysics},
  author={Branden Fitelson and Edward N. Zalta},
  journal={J. Philosophical Logic},
In this paper, the authors describe their initial investigations in computational metaphysics. Our method is to implement axiomatic metaphysics in an automated reasoning system. In this paper, we describe what we have discovered when the theory of abstract objects is implemented in prover9 (a first-order automated reasoning system which is the successor to otter). After reviewing the second-order, axiomatic theory of abstract objects, we show (1) how to represent a fragment of that theory in… CONTINUE READING
Highly Cited
This paper has 26 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 24 references

Automated Reasoning with Otter

  • J. Kalman
  • 2001
Highly Influential
7 Excerpts

Automatic deduction with hyper-resolution

  • J. A. Robinson
  • International Journal of Computer Mathematics
  • 1965
Highly Influential
6 Excerpts

Prover9 Manual

  • W. McCune
  • Technical report, Argonne National Laboratory
  • 2006
3 Excerpts

Automated Reasoning

  • F. Portoraro
  • The Stanford Encyclopedia of Philosophy
  • 2005
1 Excerpt

1677, Ethics. Edited and translated by G.H.R

  • B. Spinoza
  • 2000

Similar Papers

Loading similar papers…