La svolta del mondo logicoSono convinto che le tematiche connesse all'Intelligenza Artificiale saranno nel futuro uno dei campi piů fertili delle ricerche scientifiche del nuovo millennio. Le implicazioni epistemologiche che conseguono sono quindi un terreno affascinante di ricerca. Frege, Russell, Wittgenstein, Tarski,  , con i loro geniali contributi alla logica matematica hanno costituito fonti continue di ispirazione e di dibattito. Soprattutto i lavori di Gödel hanno segnato la storia della logica, indirizzando tutte le ricerche successive e determinando un nuovo modo di concepire il metodo di indagine scientifica. I risultati di Gödel mettono in discussione pilastri del ragionamento logico-matematico quali la completezza e la coerenza delle teorie formali, che nel corso del '900 hanno sostituito i metodi classici di inferenza. Le scoperte di Gödel hanno reso necessario un ripensamento sui fondamenti della matematica, hanno vanificato le speranze della scuola hilbertiana di arrivare alla completa e coerente formalizzazione di settori importanti della stessa matematica, hanno inserito nella storia del pensiero una nuova tecnica di analisi (la formalizzazione dei metalinguaggi per mezzo della cosiddetta gödelizzazione numerica). Una nuova epoca si č dunque aperta. La scienza e l'epistemologia classiche, che avevano raggiunto con Newton e Kant le massime vette della conoscenza, hanno bisogno di nuove chiavi interpretative. L'apogeo dell'orgoglio e della sicurezza scientista, raggiunto alla fine del secolo scorso, č finito. Tutto quello che costituiva il patrimonio razionale della civiltŕ occidentale ha bisogno di essere ripensato, sono necessari altri criteri di indagine della realtŕ e del mondo.

Links         Institut Wiener Kreis            Kurt Gödel Society                            Wittgenstein Society

                      Stanford University               Science Studies Missouri                St. Andrews University