The languages of artificial intelligence, the languages of metaphysics, and the languages of faith

Javier Leach



The formalization of the languages of mathematics has led to the formal languages of computer science and artificial intelligence. This article studies a few semantic properties of the formal languages of artificial intelligence, which I call languages of sign. This paper compares and opposes the semantic properties of these formal languages of artificial intelligence with the richer semantic properties of the languages of metaphysics and religious faith, which I call languages of symbol.


formal languages of sign; symbol languages; artifi cial intelligence; metaphysics; religious faith

Full Text:

PDF (Español)


Carpenter, B.E., and R.W. Doran (eds.). 1986. A. M. Turing’s ACE Report of 1946 and Other Papers. Vol. 10 of Charles Babbage Institute Reprint Series for the History of Computing. Cambridge, MA: MIT Press.

Gödel, K. 1931. “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. ” Monatshefte für Mathematik und Physik 38: 173–198.

Kurzweil, R. 2011. “Kurzweil is confident machines will pass Turing Test by 2029.” Accessed February 28, 2014. dent-machines-will-pass-turing-test-by–2029-video–2/.

Leach, J. 2010. Mathematics and Religion. West Conshohocken, Pa: Templeton Press. [Traducción española: 2011. Matemáticas y Religión. Madrid: Sal Terrae.]

Leach, J. 2012 “Taking Options and Decisions.” Revista Portuguesa de Filosofía 68/1–2: 87–104.

Leach, J. 2014 “I linguaggi della scienza, della metafisica e della religione.” La Civiltà Cattolica (to be published).

Searle, J. 1984. Minds, Brains and Science. Harvard: Harvard Univ Press. [Traducción española: 2001. Mentes, Cerebros, Ciencia. Madrid: Cátedra.]

ISSN 2300-7648 (print)
ISSN 2353-5636 (online)

Partnerzy platformy czasopism