52 idee che hanno cambiato il mondo: 36. Logic
Il consigliere capo del Primo Ministro fa riferimento ai logici nei suoi scritti, quindi cosa significa questo per il suo processo decisionale?
Kurt Godel, il logico preferito di Dominic Cummings
In questa serie, The Week esamina le idee e le innovazioni che hanno cambiato in modo permanente il modo in cui vediamo il mondo. Questa settimana i riflettori sono puntati sulla logica:
Il capo dello staff de facto di Boris Johnson Dominic Cummings ha pubblicato un post sul suo blog nel 2017 intitolato Complessità e previsione Parte V . Il post era legato a un paper, scritto da Cummings, che mirava a delineare un nuovo approccio all'istruzione e alla formazione in generale ma in particolare per coloro che andranno a prendere decisioni importanti nelle istituzioni politiche.
In fondo al post, Cummings ha citato il matematico ungherese-americano John von Neumann sul logico Kurt Godel, scrivendo: Il successo di Godel nella logica moderna è singolare e monumentale – anzi è più di un monumento, è un punto di riferimento che rimarrà visibile lontano nello spazio e nel tempo.
In seguito al suo appello ai disadattati e ai tipi strani di fare domanda per lavorare al n. 10 di Downing Street, la nomina di breve durata di Cummings del superprevisore Andrew Sabisky sembra aver fatto parte del suo sforzo per spostare i pali in termini di come le persone prendono decisioni importanti nella parte superiore gradi della politica.
Cummings ha chiaramente letto ampiamente Godel, citandolo in vari post di blog e articoli sul suo sito web personale. Non è il solo a considerarlo influente e nel 1999, quando Volta rivista ha condotto un sondaggio per determinare i 20 pensatori più influenti del 20 ° secolo, il logico austro-ungarico è arrivato nono.
Logica in 60 secondi
La logica è lo studio di come arriviamo alle premesse basate su un insieme di proposizioni o prove.
Più in generale, la logica è l'analisi e la valutazione degli argomenti. In questa definizione, le premesse possono o meno supportare la conclusione; quando non lo fanno, questo è caratterizzato come un errore.
Storicamente, la logica è stata prevalentemente appannaggio di filosofi e matematici. Tuttavia, più recentemente, è stato studiato come parte delle scienze cognitive, che attingono all'informatica, alla linguistica e alla psicologia.
Il background accademico di Cummings è nella storia, ma in base ai suoi scritti di ampio respiro, sembrerebbe che le teorie della logica e gli stessi logici stiano ora influenzando la nostra politica.
Come si è sviluppato?
La parola logica deriva dal greco loghi , che significa ragione o piano. Questa etimologia permette di individuare abbastanza facilmente le origini del concetto nel mondo occidentale. Per la maggior parte, lo studio della logica fu dominato da Aristotele fino alla fine del XIX secolo.
La logica aristotelica (spesso indicata come logica categorica) sostiene che le affermazioni logiche si riferiscono alla classi di cose, e le relazioni tra quelle classi . Un esempio spesso citato è l'affermazione, tutti gli uomini sono mortali, Socrate è un uomo, quindi Socrate è mortale.
Ciò che questo rappresenta essenzialmente è il ragionamento deduttivo, in cui l'argomentazione è costruita su ogni passo che viene dedotto da ciò che viene prima. In Confutazioni sofisticate , Aristotele riconosce che il suo lavoro sulla logica stava esplorando un territorio inesplorato. Ha scritto che prima di lui non esisteva proprio nulla... in tema di deduzione non avevamo assolutamente nient'altro di una data precedente da menzionare.
Il frate francescano Guglielmo di Occam, che si dice abbia ideato il principio risolutivo Il rasoio di Occam, adattò la logica aristotelica nel XIV secolo, influenzando l'opera del filosofo francese Jean Buridan.
di Buridano Summule Dialettiche sarebbe diventato il principale libro di testo di logica nelle università europee per circa due secoli. Tuttavia, è forse più famoso per il paradosso del culo di Buridano. Questo propone una situazione ipotetica in cui un asino che è ugualmente affamato e assetato è posto a metà strada tra un mucchio di fieno e un secchio d'acqua. Il paradosso presuppone che l'asino vada sempre da chi è più vicino, muore sia di fame che di sete poiché non può prendere alcuna decisione logica tra il fieno e l'acqua. Il paradosso espone un problema nel pensiero logico, perché quando non c'è una conclusione logica su cosa fare dopo, cosa è l'asino da fare?
Nello stesso periodo, il filosofo cinese Gongsun Long ha proposto il paradosso uno e uno non può diventare due, poiché nessuno dei due diventa due, mentre allo stesso tempo, la borsa di studio logica indiana ha iniziato a sviluppare teorie indicative della logica filosofica moderna. Come risultato degli interessi coloniali britannici, questo lavoro iniziò ad attirare l'attenzione di molti studiosi occidentali e influenzò i logici del XIX secolo tra cui Charles Babbage, Augustus De Morgan e George Boole.
A metà del XIX secolo, la logica matematica iniziò a soppiantare la logica aristotelica nel mondo accademico occidentale. Nel 1854, Boole pubblicò l'accattivante titolo, Un'indagine sulle leggi del pensiero su cui si fondano le teorie matematiche della logica e delle probabilità. Questo ha introdotto la logica matematica, in cui i fondamenti dei problemi matematici vengono applicati alla scuola della logica.
La logica booleana è nata dai suoi scritti, una branca dell'algebra in cui tutti i valori sono ridotti a veri o falsi. Questo binario pulito sarebbe in seguito adatto agli scienziati informatici in quanto può essere facilmente rappresentato attraverso il binario di 1 (vero) o 0 (falso). In seguito avrebbe influenzato lo sviluppo della macchina di Turing, inventata nel 1936 dal futuro Il decifratore della seconda guerra mondiale Alan Turing .
Dal 1910 al 1913, Alfred North Whitehead e Bertrand Russell pubblicarono Principi matematici , uno studio che ha tentato di definire la cosiddetta logica simbolica, una scuola di pensiero che tenta di derivare la logica dalla matematica. Il lavoro di Whitehead e Russell, tuttavia, non ha soddisfatto tutti .
Negli anni '20, un logico e filosofo inglese, Frank Ramsey, mostrò come il sistema di Principi matematici potrebbe essere rivisto. Commentando il ruolo spesso confuso dello studio della logica, Ramsey ha scritto: Problemi logici nelle tautologie, matematica nelle identità, filosofia nelle definizioni; tutto banale, ma tutto parte del vitale lavoro di chiarire e organizzare il nostro pensiero.
Il logico preferito di Cummings, Godel, ideò il primo teorema di incompletezza nei primi anni '30. Questo stabilì quella logica come quella di Russell e Whitehead Principi matematici non può dimostrare ogni verità matematica. Come I tempi economici note, si dice che Albert Einstein abbia detto a un collega che negli ultimi anni della sua vita veniva all'Institute of Advanced Study dell'Università di Princeton solo per avere il privilegio di poter tornare a casa a piedi con Godel.
scrivendo in Rivista potenziale , professore emerito di filosofia all'Università di Southampton, Ray Monk, osserva che l'idea generale che ci siano verità che non possono essere dimostrate ha un fascino ben oltre la logica. Questo, dice Monk, ha portato Godel ad essere etichettato come il matematico preferito del romantico dal matematico americano Jordan Ellenberg.
Uno dei filosofi più famosi del XX secolo, Ludwig Wittgenstein, dedicò i suoi primi scritti al campo della logica. Tractatus Logico-Philosophicus , l'unico lavoro integrale pubblicato da Wittgenstein durante la sua vita, è stato scritto come note mentre il filosofo austriaco prestava servizio come soldato nella prima guerra mondiale e ha delineato una teoria che avrebbe influenzato i filosofi positivisti logici del Circolo di Vienna .
Il Circolo di Vienna era un gruppo di circa 13 filosofi, tra cui Godel, che si incontravano regolarmente all'Università di Vienna tra la fine degli anni '20 e l'inizio degli anni '30 con l'obiettivo di rendere scientifica la filosofia con l'aiuto della logica moderna.
Il gruppo pubblicò un manifesto nel 1929 in cui delineava l'uso della logica matematica per chiarire i problemi filosofici. I membri del Circolo di Vienna erano anche empiristi, credendo che ci fosse conoscenza solo dall'esperienza. Einstein, Russell e Wittgenstein sono nominati nel manifesto come i suoi principali rappresentanti.
Entrando nel 21° secolo, la combinazione di logica e miglioramenti nella raccolta dei dati ha iniziato a influenzare una nuova generazione di scienze predittive. Un'altra influenza su Cummings, lo scrittore di scienze politiche canadese-americano Philip Tetlock, ha ideato la nozione di superprevisione, una combinazione di sfruttamento di diverse fonti di informazione, mentre criticava costantemente la logica dell'altro.
Nel luglio 2011, Tetlock ha co-fondato il Good Judgment Project, che mirava a sfruttare la saggezza della folla per prevedere gli eventi mondiali sviluppando probabilità coerenti e logiche. Il progetto ha generato un libro, Superforecaster: l'arte e la scienza della previsione , che ha Cummings consigliato alle persone di leggere , piuttosto che esperti politici che non sanno di cosa stanno parlando.
Come ha cambiato il mondo?
Le teorie della logica possono sembrare accademiche e astruse, una critica che è facilmente livellata quando si cerca di avvolgere la testa intorno alla teoria aristotelica o al manifesto del Circolo di Vienna.
Tuttavia, il primo studio della logica, quando, come scrisse Aristotele, non esisteva proprio nulla… in materia di deduzione, iniziò un processo di chiarimento su come valutiamo argomenti e ragionamenti.
Come osserva Frank Ramsey, i logici lavorano nelle tautologie, ma l'influenza della loro struttura analitica è chiara in una figura come Dominic Cummings, la cui ampia scrittura fa regolarmente riferimento a logici come Godel e che impiega la struttura del loro pensiero nei suoi piani per l'istruzione e predizione.
Il post sul blog in cui Cummings citava Godel prometteva di escogitare un nuovo approccio al modo in cui vengono prese le decisioni in politica e nell'attenersi alla sua minaccia di assumere tipi strani come Sabisky, Cummings sembra seguire.
Ramsey potrebbe aver detto che i logici si occupano del banale, ma è la seconda parte di quella citazione – che fanno parte del lavoro vitale di chiarire e organizzare il nostro pensiero – dove risiede il loro impatto.
