Seems disappointing that this article doesn't have anything to say about what the pursuit of metaphysical truths means when given the advancements of modern and theoretical artificial intelligence.
Computational Philosophy is to use software to prove theorems. The FP link is to an overview of the field, below is a link to descriptions of the software systems: