The languages of artificial intelligence, the languages of metaphysics, and the languages of faith
A few semantic properties of the formal languages of artificial intelligence, which I call languages of sign, are studied to compare and oppose with the richer semantics of the languages of metaphysics and religious faith, which are called languages of symbol.
Abstract
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.