Ciências

Lógica Moderna e Ciências Cognitivas
Uma controversa contribuição da lógica no desenvolvimento das ciências da mente.
Monalisa M. Lauro* Carolina Blasio**
RESUMO: Discute-se neste ensaio a relação entre o desenvolvimento da Lógica Moderna e o surgimento das Ciências Cognitivas. È argumentado que os trabalhos John McCarthy enfatizaram esta relação nos anos 50, quando houve o desenvolvimento da Inteligência Artificial Lógica. Ao final, são discutidas as dificuldades da Inteligência Artificial Lógica elaboradas por Alan Turing, John Searle e
Gödel.
Palavras Chaves: Lógica, Ciências Cognitivas, Filosofia da Mente.
ABSTRACT: In the essay it is argued the connection between the development of the Modern Logic and emergence of Cognition Science. It is argued that John McCarthy’s works emphasized such connection by the 50’s, when the Logic Artificial Intelligence (AI) was developed. Finally, it is introduced the difficulties of the Logic AI presented by Alan Turing, John Searle and Gödel
Key words: Logic, Cognition Science, Philosophy of Mind.
*Psicóloga pela Universidade Federal de Juiz de Fora e professora substituta do
Departamento de Psicologia/UFJF
**Graduanda do curso de Psicologia da Universidade Federal de Juiz de Fora. INTRODUÇÃO
A obra Ideografia de Frege (Begriffsschrift), de 1879, irá contribuir para uma grande revolução na lógica da qual emergiu, historicamente, boa parte da filosofia do século XX. Em seu trabalho, Frege se empenhou em mostrar que a aritmética pode ser construída exclusivamente a partir de leis lógicas, afastando a lógica da análise gramatical e a aproximando-a da análise matemática.
Apesar dos seus aspectos notáveis, a construção de Frege foi rapidamente minada pela descoberta de uma contradição por Russell, em 1902. Mesmo assim,
Russell prosseguindo com a obra de Frege, não apenas querendo fundamentar a aritmética, mas com o sonho de criar uma ciência rigorosa e fundadora de todas as
outras