The Stanford Encyclopedia of Philosophy recently (March 2020) published an entry on Computational Philosophy, a newly forming field that employs "the use of mechanized computational techniques to instantiate, extend, and amplify philosophical research."