Mente e cervelloDal rappresentazionalismo alla stanza cinese

Temi filosofici dell’informatica4 maggio 2009

2

Temi filosofici dell’informatica

RappresentazionalismoSistemi simbolici e sistemi connessionisti

L’argomento della stanza cineseBersagli critici e replicheNaturalismo biologico

Dalle macchine alla mente

3

Temi filosofici dell’informatica

Sistema fisico di simboli come modello computazionaledei processi cognitivi umani

L’attività cognitiva umana può essere simulata da un processo computazionaleL’attività cognitiva umana intelligente consiste nella manipolazione di simboli

Computazionalismo forte

4

Temi filosofici dell’informatica

RappresentazionalismoStati rappresentazionali (o intenzionali o semantici) essenziali per una teoria di come funzionano i nostri processi cognitivi

EliminazionismoNozioni semantiche (come la rappresentazione) eliminate per basarsi su un vocabolario neurologico o sintattico o di comportamenti

Rappresentare o eliminare

5

Temi filosofici dell’informatica

Computazionalismo e connessionismo

Fodor e Pylyshyn 1988Anche gli stati sub-simbolici hanno una semantica (sebbene diversa da quella degli stati simbolici)Anche il connessionismo èrappresentazionalista(sebbene con stati rappresentazionali meno strutturati)

6

Temi filosofici dell’informatica

Rappresentazione essenziale per distinguere fra livelli cognitivi e livelli non cognitivi

Teorie classiche o simboliche: contenuto semantico associato alle espressioniTeorie connessioniste o subsimboliche: contenuto semantico associato ai nodi (unità o aggregati di unità in una rete)

Rappresentazione

7

Temi filosofici dell’informatica

Linguaggio del pensieroSintassi e semantica combinatorie formano le rappresentazioni mentaliRappresentazioni atomiche e molecolari

Il modello classico

8

Temi filosofici dell’informatica

Il pensare ha luogo in un linguaggio del pensieroCaratteristiche del linguaggio mentale (mentalese)

Consiste in un sistema di rappresentazioni fisicamente realizzate nel cervello del pensanteLe operazioni sulle rappresentazioni dipendono solo dalle proprietà sintattiche delle rappresentazioni

Il linguaggio del pensiero

9

Temi filosofici dell’informatica

Le strutture simboliche del modello classico corrispondono a strutture fisiche reali nel cervelloLa struttura combinatoria di una rappresentazione ha una controparte nelle relazioni strutturali tra le proprietà fisiche del cervello

Il sistema fisico di simboli

10

Temi filosofici dell’informatica

Se ho un pensiero che si riferisce a Bill Clinton èperché questo pensiero è in relazione a una rappresentazione mentale che si riferisce a Bill ClintonSe penso “Clinton era presidente nel 1995” è perchésono in una relazione funzionale particolare che ha il contenuto “Clinton era presidente nel 1995”

Un esempio

11

Temi filosofici dell’informatica

Il problema della semantica

Il linguaggio del pensiero spiega le proprietàsemantiche degli stati mentaliI pensieri ereditano le loro proprietà semantiche dalle rappresentazioni mentali nel linguaggio del pensiero

12

Temi filosofici dell’informatica

Nessuna struttura né sintattica né semantica nelle rappresentazioni mentaliRappresentazioni mentali viste come liste e non come insiemi strutturatiOgni collezione di oggetti può essere una listaNulla che prevenga menti che siano arbitrariamente non sistematiche

Contro il connessionismo

13

Temi filosofici dell’informatica

Differenza fra modello e implementazioneConnessionismo come teoria dell’implementazione e non come teoria dei processi cognitivi

Connessionismo come implementazione

14

Temi filosofici dell’informatica

Minds, Brains, and Programs

Searle 1980Un attacco contro l’IA forte

La mente è un computer e il pensiero una sorta di computazioneCiò che una macchina e il suo programma fanno spiega la capacità umana di comprendere

15

Temi filosofici dell’informatica

GedankenexperimentEsplorare le conseguenze di due posizioni

Intenzionalità come prodotto di proprietà causali del cervello (fatto empirico)Realizzazione corretta di un programma condizione non sufficiente per l’intenzionalità

L’argomento della stanza cinese

16

Temi filosofici dell’informatica

Persona che parla solo inglese chiusa in una stanza con due aperture verso l’esternoLibro di regole in inglesePile di fogli sia bianchi sia con iscrizioni indecifrabili

Il sistema

17

Temi filosofici dell’informatica

Persona che parla solo ingleseCPU

Stanza con due apertureInput e output

Libro di regole in ingleseProgramma

Pile di fogli sia bianchi sia con iscrizioni indecifrabili Memoria

L’interpretazione del sistema

18

Temi filosofici dell’informatica

Dall’apertura passate strisce di carta con segni indecifrabiliLa persona cerca i simboli sul libretto di regole e segue le istruzioni (in inglese)

A certe forme vengono fatte corrispondere certe altre forme

La persona passa all’esterno le strisce di carta con le istruzioni eseguite

Dall’interno

19

Temi filosofici dell’informatica

Dall’apertura passate alla persona nella stanza domande in cineseDopo un certo lasso di tempo la persona passa all’esterno fogli di carta con le risposte in cinese alle domande in cinese

Dall’esterno

20

Temi filosofici dell’informatica

Accettare frasi in cinese come input e generare come output frasi in cineseProdurre risposte dalla manipolazione di simboli formali non interpretatiRisultato: nessuna comprensione generata

La persona nella stanza, il libro di regole e le pile di fogli non capiscono il cinese

Cosa può fare il sistema

21

Temi filosofici dell’informatica

Il sistema esegue un programma e supera il test di Turing, ma non capisce nulla dei suoi input e output L’esecuzione di un programma appropriato non ècondizione sufficiente per la comprensione

Conseguenze

22

Temi filosofici dell’informatica

L’argomento della stanza cinese è un supporto per la premessa 3Ma la premessa 3 può essere accettata?

La struttura dell’argomentazione

1. I programmi per computer sono entità formali e sintattiche2. Le menti hanno un contenuto mentale, ovvero una semantica3. La sintassi da sola non è sufficiente alla semantica4. I cervelli causano le menti

23

Temi filosofici dell’informatica

I. Quelle che concedono che la persona nella stanza non capisce il cinese, ma affermano che c’è qualcosa che lo capisce

II. Quelle che concedono che un programma come quello descritto non capisce, ma che una variazione del programma può capire

III. Quelle che sostengono che la persona capisce il cinese

Le obiezioni

24

Temi filosofici dell’informatica

Non le singole parti, ma l’intero sistema (persona, regole, fogli) capisce il cinese Searle: anche se l’uomo memorizzasse il libro di regole e il contenuto di tutte le pile di fogli non capirebbe il cinese

I – La replica del sistema

25

Temi filosofici dell’informatica

Non un programma, ma un robot che percepisce, cammina, si muove, ecc. può comprendere e avere stati mentali Searle

Replica che concede che la comprensione non è solo manipolazione di simboli ma anche un insieme di relazioni con il mondoI sensori del robot sono solo ulteriori input sintattici al computer

II – La replica del robot

26

Temi filosofici dell’informatica

Come sappiamo che gli altri capiscono il cinese? Solo dal loro comportamento Searle

Stessa presupposizione per l’esistenza degli oggetti in fisicaRischio del solipsismo

III – La replica delle altre menti

27

Temi filosofici dell’informatica

Una macchina può pensare?Sì e noi siamo precisamente tali tipi di macchine

Una macchina fatta dall’uomo può pensare?Solo se si riuscisse a riprodurre artificialmente una macchina con un sistema nervoso (duplicare le cause per duplicare gli effetti)

Qualcosa può pensare in virtù dell’essere un computer con il giusto programma?

No

Domande e risposte

28

Temi filosofici dell’informatica

La manipolazione di simboli di per se stessa non ha alcuna intenzionalitàSolo qualcosa che ha lo stesso potere causale del cervello può avere intenzionalitàSono le proprietà causali del cervello a essere rilevantiGli stati intenzionali sono definiti nei termini del loro contenuto e non della loro forma

Naturalismo biologico (1)

29

Temi filosofici dell’informatica

‘Naturalismo’La mente è parte della natura

‘Biologico’La spiegazione dell’esistenza dei fenomeni mentali èbiologica (e non computazionale)

Portata metodologicaPartire da ciò che sappiamo del mondo

Naturalismo biologico (2)

30

Temi filosofici dell’informatica

Quale relazione fra stati mentali e stati fisici?Gli stati mentali sono computazioni fra simboli?Gli stati mentali sorgono da processi neurobiologicisottostanti?Gli stati mentali dipendono dalle funzioni che hanno nei sistemi cognitivi di cui fanno parte?

Per concludere

31

Temi filosofici dell’informatica

Fodor, J. (1975), The Language of Thought. Cambridge: MIT Press.Fodor, J. and Pylyshyn, Z. (1988), “Connectionism and Cognitive Architecture”, Cognition 28, 3-71.Searle, J. R. (1980), “Minds, Brains, and Programs”, Behavioral and Brain Sciences 3 (3), 417-457.

Riferimenti bibliografici