CENTRO UNIVERSITRIO CLARETIANO

Curso:

Licenciatura em Filosofia

Disciplina: Filosofia da Mente Tutor: Aluno: Unidade:

Luis Geraldo da Silva Moacir Alves Tobias RA: 1081321

Turma: DGLF1103SPOJ

Unid 2 Funcionalismo Computacional e a Inteligncia Artificial 1) Principais aspectos do problema lgico no qual se pretendeu encontrar uma soluo por meio da mquina de Turing?

Atividade:

2) Motivaes para que Putnan rejeitasse suas prprias ideias sobre o modelo funcionalista. 3) Crticas observadas ao programa da Inteligncia Artificial. 4) Desenvolver a ideia de que regras inatas que podem ser transformadas em algoritmos e implementadas em um computador.

Sumrio

1. Introduo 2. Desenvolvimento 2.1. 2.2. 2.3. Objetivo da Mquina de Turing Putnam e o Modelo Funcionalista Crticas Inteligncia Artificial

3. Referncias bibliogrficas

1. Introduo
a. Dissertao que discuta as questes: i. Principais aspectos do problema lgico no qual se pretendeu encontrar uma soluo por meio da mquina de Turing? ii. Motivaes para que Putnan rejeitasse suas prprias ideias sobre o modelo funcionalista (segundo Moraca). iii. Crticas observadas ao programa da Inteligncia Artificial.

2. Desenvolvimento 2.1. Objetivo da Mquina de Turing

A Mquina de Turing era a resposta de Alan Turing ao "problema da deciso". O desafio do "problema de deciso" (David Hilbert, 1928) um problema da lgica simblica que consiste em achar um algoritmo genrico para determinar se um dado enunciado da lgica de primeira ordem pode ser provado. A Mquina de Turing (mT) um modelo abstrato (matemtico) do processo computacional, que se restringe apenas aos aspectos lgicos do seu funcionamento (memria, estados e transies) e que apresenta estrutura simples e universalmente aceito. O desafio do problema demonstrar que um dado "problema matemtico" insolvel. Este algoritmo que receber como entrada uma descrio de uma linguagem formal e um enunciado matemtico e produzir, como resultado Verdadeiro ou Falso. Um tipo de "problema de deciso" um sistema formal que exige uma resposta do tipo "sim" ou "no", como, por exemplo, a questo "dados dois nmeros (x e y), pergunta-se se o y divisvel por x". Este problema pode ser "indecidvel" caso no exista algortimo que determine uma resposta correta para o mesmo. Lembremos que, algortmo um mtodo eficaz, expresso como uma lista finita de instrues bem definidas, para o clculo de uma funo. As instrues descrevem uma "computao" que, no momento que executada, utilizando os dados iniciais, processa um nmero finito de estados sucessivos e bem definidos, que produziro a "sada" e concluem com um estado de finalizao. Para atender esta demanda, Alan Turing, em 1936, idealizou uma mquina que se propunha a demonstrar que certor problemas so, de fato, indecidveis. Esta mquina um "processo mecnico", isto , algo que pode ser feito por uma mquina; algo como um modelo formal de um ser humano calculante: suas estruturas so concebidas como uma folha de papel, o alfabeto de entrada e sade de trabalho. sada, o

Em matemtica, teorema uma afirmao que pode ser provada como verdadeira atravs de outras afirmaes j demonstradas, inclusive, por outros teoremas. Por exemplo, Teorema de Tales, importante ferramenta na determinao de medidas utilizando a proporcionalidade. Axioma, tanto na matemtica quanto na lgica, no , necessariamente, uma verdade autoevidente, mas, sim, uma expresso lgica formal usada em uma deduo, visando obter resultados mais facilmente. Por exemplo, o todo maior que a parte. Um sistema axiomtico um conjunto qualquer de axiomas, que podem ser usados, todos ou s alguns, para a derivao lgica de teoremas. Aqui, parte-se de premissas aceitas como verdadeiras e regras ditas vlidas, que iro conduzir a novas sentenas verdadeiras. As concluses podem ser alcanadas manipulando-se smbolos de acordo com conjuntos de regras. Esta ferramenta para aumentar a capacidade humana de pensar. Chegamos, ento, ao sistema formal que pode ser visto como uma espcie de jogo rigorosamente definido, que especifica regras para manipulao de smbolos. Turing visualizou a possibilidade de executar operaes computacionais por meio de uma mquina que tivesse embutidas as regras de um sistema formal. A "mquina" pode no existir, mas seus mecanismos podem ser construdos; descreve, ento, em termos matematicamente precisos, como este sistema, com comandos simples de operao, pode manipular os smbolos de acordo com suas regras; esta "mquina terica" prova que, fisicamente, mquinas computacionais podem ser construidas.

2.2.

Putnam e o Modelo Funcionalista

Hilary Whitehall Putnam (1926) destaque da filosofia ocidental desde 1964, nos campos das filosofias da mente, da linguagem e da cincia. E sua principal qualidade tambm sua grande "inimiga": detalhista, rigoroso e crtico ao analisar suas prprias posies filosficas e a de outros filsofos. Sendo assim, suas interpretaes e posicionamentos alteram-se frequentemente e ele criticado por isto. Putnam introduz, nos anos 60, a teoria do funcionaliemo computacional: baseada nas teorias da inteligncia artificial, pretende definir o crebro como "mquina de tratamento de informao", que atravs de um programa (mente) processa a informao que lhe chega atravs de um input (dado/informao/entrada/estmulo). Processado e convertido, este resultado disponibilizado para o meio de um output (sada/resposta). Utiliza-se do princpio da Mquina de Turing para sustentar a ideia de que a mente pode ser concebida exatamente como um programa (software), funcionando sobre um determinado suporte fsico (hardware) e que, fazendo uso de um complexo e preciso sistema de instrues predefinidas, gera determinados resultados em funo do tratamento da informao ou estmulos recolhidos. O resultado do processamento determinado pela natureza dos dados recebidos (entradas) e pelo estado em que se encontra o sistema no momento da introduo da informao. Mas, nos anos 80, Putnam abandona a defesa do funcionalismo devido s dificuldades que tm essa teoria de tratar o "externalismo" do contedo mental, como ilustrava o experimento mental da "Terra Gmea", do prprio Putnam. Este experimento foi um dos primeiros argumentos do "externalismo semntico": aqui se apresentam dois sujeitos cujos estados fsicos internos so indistinguveis, embora usem uma mesma palavra com significados distintos. Esta possibilidade explicada por meio do externalismo semntico: o estado psicolgico do sujeito, considerado isoladamente do ambiente, no determina o significado dos termos que ele utiliza. O externalismo uma teoria em semntica filosfica e o seu problema principal diz respeito ao tema da referncia e do significado.

A semntica filosfica a parte da filosofia da linguagem que compreende o papel das expresses lingusticas (nomes, conceitos, constantes lgicas, etc.) e considera as contribuies destas para determinar o valor de verdade de cada sentena na qual uma expresso ocorre (a sentena a portadora de um valor de verdade). Da conclui-se que o "contedo" do crebro de uma pessoa no suficiente para determinar a referncia dos termos que empregam e que, portanto, se deve examinar a 'histria causal' e o 'estado psicolgico' que levou a estes indivduos a adquirir o termo. Resumindo, os 'significados' no esto na mente. Em filosofia da mente, externalismo a tese de que a identidade do contedo mental relativa a objetos ou tipos de objetos exteriores mente; indivduos distintos podem ser idnticos nas propriedades intrnsecas relevantes e ter propriedades mentais com contedos distintos. J para o internalismo, as propriedades mentais so supervenientes (vem depois, que sobrevm) s propriedades intrnsecas(que prprio e essencial) do sujeito. O externalismo de Putnam conclui que um mesmo pensamento teria diferentes significados em diferentes ambientes. O externalismo afirma que o significado das nossas palavras e frases e o contedo de nossos estados mentais intencionais esto relacionados com o mundo externo; o que pensado, o que objeto da experincia e o que objeto da fala depende, tambm, do que est alm da mente do sujeito ou, at, causado por ele. Sendo assim, a existncia de 'estados mentais' dependem do "mundo exterior" deste indivduo; suas atitude e proposies (crenas, desejos, intenes, pensamentos) devem ser caracterizadas e individualizadas atravs dos objetos e do mundo no qual este indivduo est situado em determinado tempo e espao. Diante deste novo cenrio, Putnam rejeita as suas prprias ideias funcionalistas, ao perceber outras complexidades atreladas ao estados mentais e que impossibilitam a sua teorizao. Abandona, tambm, a idia de que a Mquina de Turing possa ser o modelo ideal para representar a organizao funcional da mente. Putnam demonstra que se o ambiente fsico ou social da pessoal se modifica, em certos aspectos, o contedo dos pensamentos e crenas da pessoa tambm sero afetados. Fatos, objetos e acontecimentos que ocorrem ao seu redor (no meio ambiente fsico-social) atuam na individualizao dos contedos dos seus pensamentos.

2.3. Crticas Inteligncia Artificial

Hubert Dreyfus, desde 1965, declara as semelhanas entre os problemas tratados pela filosofia e aqueles tratados pela inteligncia artificial (IA): a natureza do entendimento e do conhecimento. Dreyfus alerta sobre a fragilidade dos modelos adotados pela IA: a mente como um sistema de smbolos e a inteligncia como processo para resoluo de problemas. Ele destaca que esto sendo desprezadas estruturas bsicas do processo mental, como os "movimentos corporais" e o "reconhecimento de padres" que esto vinculadas s habilidades para representao e resoluo de problemas. A IA supe que a natureza da mente so "regras" e "representaes" nos momentos de percepo e resoluo de problemas; mas, deixa-se de lado o "senso comum" que no "conhecimento de fatos", mas, sim, o que "sabemos sem saber e que nunca foi aprendido", por exemplo: somos mais rpidos andando para frente do que andando para trs. Tambm alerta que, nas simulaes com computadores, os pesquisadores no consideram nossa tolerncia s ambiguidades, os limites de nossa conscincia, as impresses subjetivas, as influncias do meio, a impacincia, cansao e a motivao ou a falta dela. John Searle um crtico famoso dos limites do modelo computacional da mente e afirma que a experincia mental do "Quarto Chines" (QC) torna clara a possibilidade de um sistema que tem 'intencionalidade atribuda' mas no 'semntica genuna'. Os programas so sintticos, pois so estruturados por regras. Nas esta sintaxe no suficiente para a semntica que esto presentes nas mentes e que demandam interpretao e significncia. Implementar um programa insuficiente para haver mente. Est errado dizer que 'a mente est para o crebro como o software para o hardware': a mente essencialmente conscincia, e a existncia de conscincia um fato biolgico, portanto, vida. O QC mostraria ento que a mente no um programa e que por isso programar apropriadamente alguma coisa nunca poderia dar-lhe uma mente.

O filsofo David Chalmers (1996) apresenta uma comparao esclarecedora: As receitas so sintticas (regras). A sintaxe no suficiente para ser saboroso. A maioria dos bolos so saborosos. As receitas no so suficientes para fazer bolos.

3. Referncias Bibliogrficas MORACA, R. J. Filosofia da Mente. Batatais:Claretiano,2012.Unidade 2 TEIXEIRA, J. F. O que Filosofia da mente. Editora Brasiliense, 1994. Disponvel em: <http://www.filosofiadamente.org/images/stories/pdf/o_que_e_filosofia_ da_mente.pdf>. MATTHEWS, E. Mente: Conceitos Chave em Filosofia. Artmed, 2007, p. 81-106 (confira na Biblioteca Digital Pearson). CHALMERS, David, 1996, The Conscious Mind, Oxford, Oxford University Press. PINTO, Joo Alberto, 1999, Materialismo, Supervenincia e Experincia, Dissertao de Mestrado, Faculdade de Letras da Universidade do Porto. SEARLE, John, 1998, A Redescoberta da Mente, Lisboa, Instituto Piaget.

10