Computabilidade e Computacionalismo:

Da matemática às teorias da mente.

Em torno do legado de Alan Turing no centenário do seu nascimento.

Uma série de 4 sessões dirigida por

Luís M. Augusto (mlag • IF • FLUP / FCT)

Novembro – Dezembro 2012

Os participantes deverão familiarizar-se com o material indicado. Trata-se do material “mínimo”, tanto em quantidade quanto em complexidade/dificuldade, para a participação nas sessões.

Sessão 1 – Computabilidade: As máquinas de Turing (Programa)

• “Turing machines” in Stanford Encyclopedia of Philosophy (até à secção 2.2 inclusive)

Sessão 2 – Computacionalismo hard: Sistemas simbólicos físicos (Programa)

• The physical symbol system hypothesis

• Searle, J. R. (1990). Is the brain’s mind a computer program? Scientific American, January Issue, 26-31. (aconselha-se a leitura de pelo menos as primeiras páginas [pp. 26-7] deste artigo)

Sessão 3 – Computacionalismo soft: Cognitivismo clássico (Programa)

• “The standard cognitivist model of the mind” in Hanna, R. (2006), Rationality and Logic (pp. 79 – 91). MIT Press. (disponível em http://pt.scribd.com/doc/34616321/Rationality-and-Logic)

Sessão 4 – Computacionalismo hoje: Ainda as máquinas de Turing? (Programa)

• Cooper, S. B. (2012). Turing’s Titanic machine. Communications of the ACM, 55, 74-83. (disponível em http://dl.acm.org/citation.cfm?id=2093569&bnc=1)

• Scheutz, M. (2002). Computationalism: New Directions. MIT Press. (ler Prefácio, pp. x-xii; disponível em http://books.google.pt/books?id=Y59zyNWnNfYC&printsec=frontcover&source=gbs_ge_summary_r&cad=0#v=onepage&q&f=false)