Taking Options and Decisions





• Taking Options and Decisions

  Author	Javier Leach
  Rights	© 2015 Aletheia - Associação Científica e Cultural | © 2015 Revista Portuguesa de Filosofia
  Volume	68
  Issue	1-2
  Pages	87-104
  Publication	Revista Portuguesa de Filosofia
  ISSN	0870-5283; 2183-461X
  Date	2012
  DOI	10.17990/RPF/2012_68_1_0087
  Language	English
  Abstract	Resumo Distinguimos entre dois tipos de linguagem, a que chamaremos de linguagem do signo e linguagem do símbolo. Usamos a linguagem do signo quando tomamos decisões em ciência e tecnologia. A linguagem do símbolo é a linguagem que utilizamos para falar sobre as nossas opções em metafísica e religião. O significado analítico da linguagem do signo e o significado global da linguagem do símbolo são estudadas por relação com as semânticas de ambas as linguagens. A formalização matemática das linguagens do signo provaram a incompletude e indecidibilidade dessas linguagens. Por outro lado, a inteligência artificial levantou a questão da possibilidade da redução de qualquer linguagem de símbolos a uma linguagem do signo. Contudo, é mostrado que a linguagem do símbolo não pode ser totalmente reduzida à linguagem do signo. Na última secção, apresentam-se dois exemplos de duas demonstrações clássicas da existência de Deus. A estrutura lógica dessas demonstrações é clara e pode ser expressa na linguagem do signo, mas o significado metafísico dos enunciados da prova depende das opções metafísicas que só podem ser expressas na linguagem do símbolo. Palavras-chave : analítica, decisão, inclusivo, inteligência artificial, opção, signo, símbolo, teorema de Gödel  Abstract I distinguish two types of language, which I will call the language sign and the language of symbol. We use the language of sign when we take decisions in science and technology. The language of symbol is the language we use to speak about our options in metaphysics and religion. The analytical meaning of the language of sign and the global meaning of the language of symbol is studied in relation with the semantics of both languages. The mathematical formalization of the languages of sign has proved the incompleteness and undecidability of these languages. On the other hand Artificial Intelligence has raised the question of the possibility of reducing any language of symbol to a language of sign. But it is shown that the language of symbol cannot be totally reduced to the language of sign. I end the last section with two examples of two classical demonstrations of the existence of God. The logical structure of these demonstrations is clear and can be expressed in the language of sign, but the metaphysical meaning of the statements of the proof depends on metaphysical options that can only be expressed in the language of symbol. Keywords : analytical, artificial intelligence, decision, Gödel’s theorem, inclusive, option, sign, symbol
  Date Added	02/07/2015, 17:20:43
  Modified	13/07/2015, 10:01:16

  Tags:

  • analytical
  • artificial intelligence
  • decision
  • Gödel’s theorem
  • inclusive
  • option
  • sign
  • symbol