Abstract

Último sermão da Igreja do naturalismo fundamentalista pelo pastor Hofstadter. Como o seu muito mais famoso (ou infame por seus erros filosóficos implacáveis) Godel, Escher, Bach, ele tem uma plausibilidade superficial, mas se se compreende que este é um cientificismo desenfreado que mistura questões científicas reais com os filosóficos (ou seja, o somente as edições reais são que jogos da língua nós devemos jogar) então quase todo seu interesse desaparece. Eu forneci um quadro para análise baseada na psicologia evolutiva e no trabalho de Wittgenstein (desde que atualizado em meus escritos mais recentes). Aqueles que desejam um quadro até à data detalhado para o comportamento humano da opinião moderna dos dois sistemas consultar meu livros Falando Macacos 3ª Ed (2019), A Estrutura Lógica da Filosofia, Psicologia, Mente e Linguagem em Ludwig Wittgenstein e John Searle 2a Ed (2019), Suicídio Pela Democracia,4aEd (2019), Entendendo as Conexões entre Ciência, Filosofia, Psicologia, Religião, Política e Economia Artigos e Análises 2006-2019 (2019), Ilusões Utópicas Suicidas no século 21 6a Ed (2020), A Estrutura Lógica do Comportamento Humano (2019), e A Estrutura Lógica da Consciência (2019) y outras. "Pode ser justamente perguntado qual a importância que a prova de Gödel tem para o nosso trabalho. Para um pedaço de matemática não pode resolver problemas do tipo que nos incomoda. --A resposta é que a situação, em que tal prova nos traz, é do nosso interesse. "O que devemos dizer agora?" -Esse é o nosso tema. No entanto, estranho soa, minha tarefa, tanto quanto diz respeito à prova de Gödel parece meramente consistir em deixar claro que tal proposição como: "suponha que isso poderia ser provado" significa em matemática. " Wittgenstein "observações sobre as fundações da matemática" p337 (1956) (escrito em 1937). "Meus teoremas só mostram que a mecanização da matemática, ou seja, a eliminação da mente e de entidades abstratas, é impossível, se alguém quiser ter uma base satisfatória e um sistema de matemática. Eu não tenho provado que existem questões matemáticas que são indecidíveis para a mente humana, mas só que não há nenhuma máquina (ou formalismo cego) que pode decidir todas as questões número-teórico, (mesmo de um tipo muito especial).... Não é a própria estrutura dos sistemas dedutivos que está a ser ameaçado com um demolir, mas apenas uma certa interpretação do mesmo, ou seja, a sua interpretação como um formalismo cego. " Gödel "obras coletadas" Vol. 5, p 176-177. (2003) "Toda inferência tem lugar a priori. Os acontecimentos do futuro não podem ser inferidos a partir do presente. A superstição é a crença no nexo causal. A liberdade da vontade consiste no fato de que as ações futuras não podem ser conhecidas agora. Só podíamos conhecê-los se a causalidade fosse uma necessidade interior, como a da dedução lógica. --A conexão do conhecimento e do que é sabido é aquela da necessidade lógica. ("A sabe que p é o caso" é sem sentido se p é um tautologia.) Se do fato que uma proposição é óbvia a nós, não segue que é verdadeiro, a seguir o obviedade não é nenhuma justificação para a crença em sua verdade. " TLP 5,133--5,1363