Utente:Luigi Catalani/sandbox/radici filosofiche
La filosofia digitale...
L'eredità pitagorica[modifica]
L'assunto di fondo della filosofia digitale è che l'universo possa essere presentato come una gigantesca macchina che processa informazione di bits, di 0 e di 1. Tale impostazione epistemologica può essere ricondotta a un'antica tradizione di pensiero, la quale ha inizio con la Scuola italica di matematiche: i Pitagorici per primi credettero che i principi della matematica fossero principi di tutti gli esseri.
Il modello bipolare è caratteristico di molte scuole filosofiche dell'antichità: anche per i pitagorici, tutti i numeri del mondo possono essere ricavati da due soli principi, il pari e il dispari, l'illimite e il limite. I Pitagorici erano convinti che l’uni verso si reggesse su accordi aritmetici. Tutto era riconducibile a semplici proporzioni ed era perfetto, cioè compiuto, come le corde della lira. La matematica era il mezzo per unificare musica, cosmologia, filosofia, religione.
La loro astrazione matematica sconfinava però nella contemplazione mistica: nessuno doveva dubitare che i numeri interi e i loro rapporti, cioè i numeri razionali (ratio in latino vuol dire rapporto) fossero l’essenza genuina della natura, basato su valenze etiche. Eppure, uno di loro, Ippaso di Metaponto, dubitò: nel V secolo a.C. i dotti della Scuola s’impantanarono in una problematica solo all’apparenza banale: calcolare la diagonale del quadrato.
La risoluzione passò attraverso il famoso Teorema di Pitagora: in un triangolo rettangolo la somma dei quadrati costruiti sui cateti è equivalente al quadrato costruito sull'ipotenusa. Ippaso comprese per primo che una semplice formula mai avrebbe fornito in quel caso un risultato preciso e nemmeno una serie limitata di calcoli avrebbe potuto derivarlo: sussistevano pertanto grandezze incommensurabili, sfuggenti, come √2 o ∏: quantità reali che sviluppano dopo la virgola una serie infinita di decimali. La scoperta dei numeri irrazionali mette in crisi il primo tentativo di decodificare ciascun ente nel mondo, matematicamente, come “misto” di due sole cifre, e apre la prima grave crisi nella storia delle matematiche.
Medioevo[modifica]
L'Ars di Raimondo Lullo (1232-1316) è un sistema generale d’interpretazione della realtà visibile e invisibile, che si serve di tecniche semimeccaniche, di notazione simbolica e di diagrammi combinatori. L’Arte è il fondamento dell’apologetica e fornisce un metodo unico per tutti i campi del sapere, teologia compresa. L’Ars lulliana può essere integrata nell’orizzonte teorico dell’informatica poiché può essere tradotta nel linguaggio computazionale.
Diversi componenti del sistema lulliano possono essere integrati nel mondo dei concetti informatici: l’idea (poi esplorata da Leibniz) di calcolare i risultati del ragionamento logico, l’idea di un alfabeto del pensiero (interpretata poi matematicamente da Georges Boole), l’idea di un metodo generale euristico e deduttivo, la teoria dei grafi. L’informatica poggia sull’idea di un calcolo logico e la sua ulteriore automazione: entrambe fanno parte, anche se in modo rudimentale, del progetto di combinatoria che costituisce un elemento di base dell’Arte lulliana.
Il sogno di Leibniz[modifica]
L’idea di Lullo fu sviluppata da Leibniz (Dissertatio de arte combinatoria, nata dall’Ars magna). Egli si appropria dell’idea lulliana di un alfabeto del pensiero umano che funzioni automaticamente, mediante la combinazione di lettere, e la mette in relazione con la sua idea di una mathesis universalis, cioè di una logica concepita come matematica generalizzata. "Secondo ciò — scrive Leibniz — quando sorga una controversia, non ci sarà più necessità di discussione tra due filosofi di quella che c’è tra due calcolatori. Sarà sufficiente prendere una penna, sedersi al tavolo e dirsi l’un l’altro: calcoliamo (calculemus)!". L’ Arte lulliana è interpretata, dunque, come un tipo di pensiero automatico, una sorta di meccanismo concettuale che, una volta stabilito, funziona da sé. Questo automatismo concettuale fu a lungo accarezzato da Leibniz, il primo a progettare, dopo Pascal, la realizzazione di una macchina per calcolare affidabile.
Leibniz creò la notazione per il calcolo differenziale e integrale per eseguire facilmente e quasi senza sforzi intellettuali calcoli complicatissimi. Leibniz sognava di realizzare qualcosa di simile per l’intera conoscenza umana: una compilazione enciclopedica, un linguaggio matematico artificiale universale in cui fosse possibile esprimere ogni aspetto dell e nostre conoscenze, e regole di calcolo che mettessero in luce tutte le interrelazioni logiche esistenti fra le proposizioni di un simile linguaggio. Affascinato dalla divisione aristotelica dei concetti in categorie, Leibniz concepì l’idea di un alfabeto speciale – i cui elementi stessero per concetti – in grado di stabilire, per mezzo di calcoli simbolici, quali dei suoi enunciati erano veri e quali relazioni logiche intercorrevano tra loro. Leibniz comprese che il primo passo verso un alfabeto dei concetti consisteva nell’enumerare tutte le possibili combinazioni dei concetti medesimi (Dissertatio de arte combinatoria, 1666).
Nel 1673 Leibniz presentò a Londra un modello di macchina calcolatrice capace di eseguire le quattro operazioni aritmetiche fondamentali. Leibniz intuì che riuscire a meccanizzare il calcolo aveva un significato ben più ampio. Leibniz paragonò il ragionamento logico a un meccanismo, con l’intento di ridurre ogni ragionamento a una sorta di calcolo e costruire una macchina capace di calcolare in questo senso generale. Nel 1675 Leibniz fece importanti passi in avanti - concettuali e computazionali – nell’uso dei passaggi al limite (ossia i tentativi di ottenere nei calcoli un valore esatto, non accontentandosi di valori approssimati particolari), fino a giungere all’invenzione del calcolo infinetisimale. Leibniz comprese la necessità di scegliere simboli adatti a rappresentare tutti i concetti fondamentali (l’alfabeto del pensiero umano) e di trovare regole (strumenti calcolo) che ne governassero la manipolazione.
Nella terminologia di Leibniz, un sistema simbolico con queste proprietà era una 'caratteristica'. Ogni simbolo del tipo di quelli usati in algebra, chimica o astronomia (non i simboli alfabetici, privi di significato) rappresenta un'idea definita, una ‘caratteristica reale’. Ma Leibniz avvertiva la necessità di una caratteristica universale, cioè di un sistema di simboli che non solo fosse reale ma abbracciasse anche tutto il pensiero umano. Leibniz rimase colpito dalla semplicità della notazione binaria, che permetteva di scrivere qualsiasi numero usando solo 0 e 1.
Leibniz divise il suo programma in tre parti:
- la creazione di un’enciclopedia che abbracciasse tutta la conoscenza umana;
- la scelta delle nozioni fondamentali e dei simboli ad esse adeguati;
- la riduzione delle regole deduttive a manipolazioni di questi simboli, ovvero al calculus ratiocinator, l’odierna logica simbolica.
Il sogno di Leibniz: la complessità dell’universo riducibile a un unico calcolo simbolico. Sarebbe stato così possibile trasformare il ragionamento in calcolo, ma non solo: la characteristica sarebbe stata preziosa anche come ars inveniendi poiché attraverso la combinazione dei caratteri primitivi sarebbe, infatti, stato possibile ottenere sistematicamente e in modo ordinato tutte le nozioni possibili. Inventore di macchine calcolatrici, il filosofo tedesco anticipa dunque con straordinaria consapevolezza le ricerche di logica simbolica, algebra, combinatoria, probabilistica, binaria, oltre alle nuove forme di calcolo infinitesimale, che avrebbero poi condotto, tra le altre cose, alla creazione del computer e ai temi della digital philosophy. La characteristica universalis anticipa il dibattito sull'Intelligenza Artificiale poiché si pone già l'obiettivo di trasformare il ragionamento in calcolo.
Riferimenti bibliografici[modifica]
- M. Davis, The Universal Computer. The Road from Leibniz to Turing, 2000; tr. it. Il calcolatore universale, Milano 2003, nuova ed. 2012.
- U. Pagallo, Introduzione alla filosofia digitale. Da Leibniz a Chaitin, Torino 2005.