DomandePuò una macchina pensare?Ragionare non è altro che calcolare
Può una macchina pensare?Pensare è calcolare

Ragionare non è altro che calcolare

La ragione come calcolo (Hobbes)

Thomas Hobbes 1588 · 1679Senza uno Stato, la vita sarebbe solitaria, brutale e breve.
Vedi la scheda
Che cosa sostiene

Dunque ragionare non è altro che calcolare su segni, e un dispositivo che applica correttamente queste regole ragiona, sia esso di carne o di ingranaggi.

Perché

Ragionare significa addizionare e sottrarre segni scelti per convenzione; un'operazione che è soltanto questo può essere eseguita da un dispositivo.

In breve

«Ragionare non è altro che calcolare» è un argomento di Thomas Hobbes (Leviatano, I, 5 (1651); De Corpore, I, 1, 2) sulla domanda «Può una macchina pensare?» (risposta: pensare è calcolare). La sua tesi: Dunque ragionare non è altro che calcolare su segni, e un dispositivo che applica correttamente queste regole ragiona, sia esso di carne o di ingranaggi. Secondo la verifica logica di AskPhilosophy (solutore Z3), l'argomento è valido solo se si ammette una premessa che l'autore non formula (P3). AskPhilosophy presenta 3 obiezioni, 2 delle quali con una risposta documentata, e il testo originale di ciascuna premessa, verificato parola per parola.

Leviatano, I, 5 (1651); De Corpore, I, 1, 2
Valido con una premessa implicita

Nel 1651 Hobbes sostiene che ragionare significa addizionare e sottrarre, come si fa con i numeri, ma con le parole. Se è vero, il pensiero che ragiona è un calcolo su segni. Hobbes non parla egli stesso di una macchina che ragiona, ma scrive anche che gli automi hanno una «vita artificiale». Per questo è spesso visto come l'antenato dell'idea che una macchina ben costruita possa pensare.

P1Ragionare significa addizionare delle parti per ottenere un tutto, oppure sottrarre una somma da un'altra per trovare un resto. Quando lo si fa con le parole, significa seguire le conseguenze dei loro nomi.
P2I nomi di cui ci serviamo sono segni generali, stabiliti per convenzione per indicare i nostri pensieri e farli conoscere agli altri. Il calcolo verte dunque su questi segni.
P3 · premessa implicitaUn'operazione che consiste soltanto nell'addizionare e sottrarre segni secondo regole può essere eseguita da qualsiasi sistema che applichi tali regole, qualunque sia la materia di cui è fatto.
Dunque ragionare non è altro che calcolare su segni, e un dispositivo che applica correttamente queste regole ragiona, sia esso di carne o di ingranaggi.

clicca su una premessa per rifiutarla

Se accetti tutte le premesse, la logica ti obbliga ad accettare la conclusione. Il dibattito riguarda dunque le premesse.
Verificato da un solutore logico: è impossibile che tutte le premesse siano vere e la conclusione falsa.
Senza la premessa implicita: Senza P3, il computer trova un caso in cui ragionare è davvero un calcolo su segni, ma che solo un essere vivente può eseguire: la definizione di Hobbes resta vera, la conclusione sulle macchine no.
Valido con P3. P1 e P2 dicono che cosa sia ragionare (un calcolo su segni). P3 dice che questo calcolo non dipende da ciò che lo esegue. Hobbes non lo scrive in questa forma; scrive soltanto che gli automi a molla possono avere una «vita artificiale». Senza P3, la conclusione sui dispositivi non segue: ragionare potrebbe essere un calcolo e richiedere comunque un cervello vivente.
Analogia. Una divisione si fa allo stesso modo a mano, con una calcolatrice o a mente: ciò che conta sono le regole, non lo strumento. Hobbes dice che anche ragionare è applicare regole a dei segni.

Obiezioni

3

Ogni obiezione è una conversazione: clicca per vedere chi risponde e a che punto è il dibattito.

René Descartes 1637 · attacca la premessa 3

Si può concepire una macchina che pronunci parole, ma non che le disponga in modi diversi per rispondere al senso di tutto ciò che si dice in sua presenza, come possono fare anche gli uomini più ottusi. E la ragione è uno strumento universale, mentre gli organi di una macchina richiedono una disposizione particolare per ogni azione: una macchina non può avere abbastanza disposizioni per agire come la ragione in ogni circostanza.

un difensore risponde
vedi l'argomento
Non abbiamo ancora individuato una risposta diretta di Hobbes nei suoi testi.
Alan Turing difensore dell'argomento · 1950
I computer digitali possono imitare qualsiasi macchina a stati discreti: non è necessario progettare una nuova macchina per ogni compito. Un solo computer digitale, opportunamente programmato per ciascun caso, può svolgerli tutti.
Noam Chomsky 1966
Chomsky riprende Descartes: l'uso normale del linguaggio è creativo, illimitato e adatto alla situazione senza esserne causato. Una macchina universale può calcolare qualsiasi cosa, ma questo non spiega tale uso.
Il dibattito continua (nostra sintesi) Cartesio scrive prima del Leviatano e Hobbes non ha risposto a questo passo. Il dibattito è continuato con i computer moderni.
A che punto è il dibattito (nostra sintesi)Nostra sintesi: il dibattito riguarda ciò che un programma può coprire. I difensori sostengono che una macchina universale non ha bisogno di un organo per ogni situazione; gli eredi di Cartesio rispondono che ciò che conta è l'uso creativo e appropriato del linguaggio, che non consiste semplicemente nell'applicare regole fissate in anticipo. Il disaccordo di fondo resta irrisolto.
Leibniz 1714 · attacca la conclusione

Anche se il ragionamento fosse un calcolo compiuto da parti, la percezione non si spiega con delle parti: entrando in una macchina ingrandita come in un mulino, vedremmo soltanto parti che si spingono l'una con l'altra, mai qualcosa che spieghi una percezione.

senza risposta
vedi l'argomento
Nessuna risposta possibile: obiezione formulata nel 1714, dopo la morte dell'autore (1679).
A che punto è il dibattito (nostra sintesi)Nostra sintesi: Leibniz parla di percezione, non di calcolo. Anche se ha ragione, si può sostenere che ragionare sia un calcolo senza che il calcolo basti a percepire o a comprendere. Il dibattito prosegue nell'argomento collegato: un punto aperto.
John Searle 1980 · attacca la conclusione

Un uomo chiuso in una stanza che segue un programma per manipolare segni cinesi può dare buone risposte senza capire una parola di cinese. Seguire regole su segni non basta dunque per comprendere, né per pensare.

un difensore risponde
vedi l'argomento
Nessuna risposta possibile: obiezione formulata nel 1980, dopo la morte dell'autore (1679).
Daniel Dennett difensore dell'argomento · 1987
Dennett sostiene che l'esperimento funziona perché immaginiamo un programma banale. Un programma in grado di sostenere una vera conversazione sarebbe di una complessità immensa, e la nostra intuizione «non comprende nulla» diventa poco affidabile.
A che punto è il dibattito (nostra sintesi)Nostra sintesi: Searle sostiene che manipolare segni non basta da solo a dare significato; i suoi critici rispondono che l'esperimento ci porta a sottovalutare ciò che sarebbe un vero programma di conversazione. Disaccordo di fondo su che cosa siano la comprensione e il significato.