Leach, J. The Languages of Artificial Intelligence, the Languages of Metaphysics, and the Languages of Faith. SetF 2014, 2, 81-98.