La competenza semantica negli esseri umani e nelle macchine. Teorie a confronto

30 
 
 La centralità accordata alle rappresentazioni mentali, in base 
all'assunzione che l’agire esterno dell’individuo sia mediato da stati e 
processi interni  
 Il ruolo esplicativo della metafora del calcolatore, secondo cui i 
processi del pensiero sono analoghi a processi di calcolo. 
13
  
La tesi che sostiene Fodor è la cosiddetta teoria computazional-
rappresentazionale della mente (TCRM), secondo la quale i processi 
cognitivi sono computazioni su rappresentazioni mentali. Per Fodor, il 
sistema rappresentazionale della mente è un vero e proprio linguaggio del 
pensiero (LdP), nel quale i contenuti del pensiero sono espressi in strutture 
simboliche che, per quanto siano più astratte degli enunciati del linguaggio 
naturale, devono avere una sintassi e una semantica molto simile alla loro.  
Fodor pensa all’uomo come ad una macchina biologica, cioè come un 
elaboratore di informazioni i cui meccanismi cognitivi operano nel cervello. 
Se si considerano gli stati mentali come strutture simboliche e i processi 
mentali come operazioni su queste strutture, allora l’analogia con il 
calcolatore risulta essere molto utile per capire la posizione della TCRM, 
poiché la mente individuale viene concepita come elaboratore di informazioni 
e il calcolatore come metafora per spiegare i processi mentali dell’uomo. I 
calcolatori possono, infatti, essere visti, oltre che come strumenti fisici che 
agiscono conformemente alle leggi della fisica, come un modello adeguato di 
dispositivi che eseguono operazioni su simboli e strutture simboliche e che 
agiscono nel rispetto delle leggi della logica, cioè quelle leggi che stanno a 
fondamento del pensiero. L’esemplificazione più appropriata dell’idea della 
condizione di formalità che sta alla base dei processi mentali come forma di 
calcolo, è la Macchina di Turing. «Se le menti sono dispositivi per manipolare 
simboli si può pensare alle menti nei termini del modello della macchina di 
Turing, poiché le macchine di Turing hanno la stessa generalità di qualsiasi 
dispositivo per la manipolazione di simboli». 
14
 
Brevemente, la macchina di Turing (MT) fu il risultato del tentativo 
di Alan Turing di produrre un modello formale dell’attività di un essere 
umano che esegue un calcolo. Essa è composta da un’unità di esecuzione, che 
esegue le operazioni specificate dallo stato in cui la macchina si trova e dal 
simbolo che sta leggendo; da un nastro infinito suddiviso in celle nelle quali 
può essere letto o scritto un simbolo; da una testina di lettura/scrittura, che ad 
ogni istante è posizionata su una casella del nastro. Oltre a scrivere simboli e 
cancellarli, l’unità di esecuzione può spostarsi sul nastro, fermarsi e porsi in 
un certo stato interno. Il comportamento della macchina è determinato da una 
                                                             
13
 F.Ferretti, 2001, p. VI 
14
 J. Fodor, 1988, p.71