L'argomento della simulazione: tre possibilità, una delle quali è vera
L'argomento della simulazione (Bostrom); il trilemma della simulazione; viviamo in Matrix?
Dunque almeno una di queste tre cose è vera: (1) quasi nessuna civiltà raggiunge lo stadio postumano; (2) quasi nessuna civiltà postumana avvia simili simulazioni; (3) siamo quasi certamente in una simulazione. Bostrom non sceglie tra le tre, e consiglia di ripartire la propria fiducia più o meno equamente tra di esse.
Se molte civiltà avanzate simulassero storie umane, quasi tutte le esperienze come la nostra sarebbero simulate.
«L'argomento della simulazione: tre possibilità, una delle quali è vera» è un argomento di Nick Bostrom («Are You Living in a Computer Simulation?», Philosophical Quarterly, 2003, 2003) sulla domanda «Il mondo esiste davvero?» (risposta: probabilmente una simulazione). La sua tesi: Dunque almeno una di queste tre cose è vera: (1) quasi nessuna civiltà raggiunge lo stadio postumano; (2) quasi nessuna civiltà postumana avvia simili simulazioni; (3) siamo quasi certamente in una simulazione. Bostrom non sceglie tra le tre, e consiglia di ripartire la propria fiducia più o meno equamente tra di esse. Secondo la verifica logica di AskPhilosophy (solutore Z3), la conclusione segue effettivamente dalle sue 4 premesse. AskPhilosophy presenta 3 obiezioni, 3 delle quali con una risposta documentata, e il testo originale di ciascuna premessa, verificato parola per parola.
Immagina che i nostri discendenti diventino così potenti nell'informatica da poter simulare, nei loro computer, milioni di storie umane complete, con persone simulate che pensano e provano sensazioni. Allora le menti simulate sarebbero molto più numerose di quelle «originali». Nel 2003, Nick Bostrom ne trae non una, ma tre possibilità, di cui almeno una è vera: o quasi nessuna civiltà raggiunge questo stadio (si estingue prima), o quasi nessuna di quelle che lo raggiungono avvia simili simulazioni, o siamo quasi certamente in una simulazione. Attenzione: Bostrom non dice che la terza sia vera. Difende la disgiunzione, e afferma che bisogna ripartire la propria fiducia tra le tre. Ciò che il grande pubblico ricorda («siamo probabilmente in Matrix») è una versione semplificata, ed è per questo che l'argomento rientra in questo campo.
clicca su una premessa per rifiutarla
Obiezioni
3Ogni obiezione è una conversazione: clicca per vedere chi risponde e a che punto è il dibattito.
BBrian Weatherson 2003 · attacca la premessa 4Weatherson accetta il ragionamento fino al penultimo passaggio, ma rifiuta il principio di indifferenza. Osserva che le nostre prove potrebbero non limitarsi a ciò che sentiamo: vedere un vero pugnale non è la stessa prova che «vedere» un pugnale simulato. Allora non si può dire che nulla distingua un umano da una persona simulata, e la proporzione x non fornisce più il nostro grado di fiducia.
Bostrom risponde
Weatherson accetta il ragionamento fino al penultimo passaggio, ma rifiuta il principio di indifferenza. Osserva che le nostre prove potrebbero non limitarsi a ciò che sentiamo: vedere un vero pugnale non è la stessa prova che «vedere» un pugnale simulato. Allora non si può dire che nulla distingua un umano da una persona simulata, e la proporzione x non fornisce più il nostro grado di fiducia.
John Searle 1980 · attacca la premessa 1Searle sostiene che una simulazione non è un duplicato: nessuno crede che un incendio simulato bruci il quartiere, né che un temporale simulato ci bagni. Perché una simulazione della comprensione dovrebbe comprendere qualcosa? Se Searle ha ragione, le persone «simulate» di Bostrom non avrebbero alcuna coscienza e non conterebbero tra le persone come noi.
un difensore risponde
Searle sostiene che una simulazione non è un duplicato: nessuno crede che un incendio simulato bruci il quartiere, né che un temporale simulato ci bagni. Perché una simulazione della comprensione dovrebbe comprendere qualcosa? Se Searle ha ragione, le persone «simulate» di Bostrom non avrebbero alcuna coscienza e non conterebbero tra le persone come noi.
JJonathan Birch 2013 · attacca la premessa 2Birch rileva una tensione: l'argomento di Bostrom presuppone che abbiamo buone prove sui limiti fisici del calcolo (per dire che i posthumani potrebbero simulare), pur ammettendo che potremmo non avere buone prove sulla nostra stessa costituzione (dato che potremmo essere simulati). Se fossimo simulati, le prove su cui poggia P2 sarebbero sospette. Birch lo chiama «scetticismo selettivo».
Bostrom risponde
Birch rileva una tensione: l'argomento di Bostrom presuppone che abbiamo buone prove sui limiti fisici del calcolo (per dire che i posthumani potrebbero simulare), pur ammettendo che potremmo non avere buone prove sulla nostra stessa costituzione (dato che potremmo essere simulati). Se fossimo simulati, le prove su cui poggia P2 sarebbero sospette. Birch lo chiama «scetticismo selettivo».