Computational metaphysics