Description

• Title:
  The languages of artificial intelligence, the languages of metaphysics, and the languages of faith
• Creator:
  Leach, Javier
• Description:
  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.;
  La formalización de los lenguajes de la matemática ha dado lugar a los lenguajes de la informática y de la inteligencia artificial. En este artículo estudio algunas de las propiedades semánticas de los lenguajes formales de la inteligencia artificial que llamo lenguajes del signo. Comparo y contrapongo las propiedades semánticas de estos lenguajes formales de la inteligencia artificial con la semántica más amplia de los lenguajes humanos de la metafísica y la fe religiosa, que llamo lenguajes del símbolo.
• Object availability:
  free access
• Rights: https://creativecommons.org/licenses/by-nd/4.0
• Date:
  2014.05.27
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  Spanish; Castilian
• Source:
  Scientia et Fides; Vol. 2 No. 1 (2014); 81-98;
  Scientia et Fides; Tom 2 Nr 1 (2014); 81-98;
  2353-5636;
  2300-7648
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/SetF/article/view/SetF.2014.004/3612
• Subject:
  lenguajes formales del signo;
  lenguajes humanos del símbolo;
  inteligencia artificial;
  metafísica;
  fe religiosa;
  formal languages of sign;
  symbol languages;
  artifi cial intelligence;
  metaphysics;
  religious faith
• Identifier: https://apcz.umk.pl/SetF/article/view/SetF.2014.004
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  check license
• Type:
  text