Taking Options and Decisions

• Published in: Revista portuguesa de filosofia 2012-07, Vol.68 (1/2), p.87-104
• Main Author: LEACH, JAVIER
• Format: Article
• Language: English
• Subjects: Arithmetic; Formal languages; Language; Mathematics; Metaphysics; Natural language; Symbolic languages; Symbols; Turing machines; Turing test
• ISSN: 0870-5283; 2183-461X
• DOI: 10.17990/RPF/2012_68_1_0087

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. 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.