52 de idei care au schimbat lumea: 36. Logica
Consilierul șef al premierului face referire la logicieni în scrisul său, deci ce înseamnă asta pentru luarea deciziilor?
Kurt Godel, logicianul preferat al lui Dominic Cummings
În această serie, Săptămâna analizează ideile și inovațiile care au schimbat permanent modul în care vedem lumea. Săptămâna aceasta, centrul atenției este pus pe logică:
Șeful de personal al lui Boris Johnson, Dominic Cummings, a publicat o postare pe blogul său în 2017 intitulată Complexitate și predicție Partea a V-a . Postarea se leagă de o lucrare, scrisă de Cummings, care își propunea să schițeze o nouă abordare a educației și formării în general, dar în special pentru cei care continuă să ia decizii importante în instituțiile politice.
La subsolul postării, Cummings l-a citat pe matematicianul maghiar-american John von Neumann despre logicianul Kurt Godel, scriind: Realizarea lui Godel în logica modernă este singulară și monumentală – într-adevăr este mai mult decât un monument, este un reper care va rămâne vizibil până departe. în spațiu și timp.
În urma apelului său pentru neadaptați și ciudați de a aplica la locul de muncă la nr. 10 Downing Street, numirea de scurtă durată a lui Cummings a superprognozatorului Andrew Sabisky pare să fi făcut parte din efortul său de a schimba stâlpurile de poartă în ceea ce privește modul în care oamenii iau decizii importante în partea superioară. eșaloane ale politicii.
Cummings l-a citit în mod clar pe Godel pe scară largă, citându-l în diferite postări de blog și articole de pe site-ul său personal. Nu este singurul care îl consideră influent și în 1999, când Timp revista a realizat un sondaj pentru a determina cei mai influenți 20 de gânditori ai secolului al XX-lea, logicianul austro-ungar a ajuns pe locul al nouălea.
Logica in 60 de secunde
Logica este studiul modului în care ajungem la premise bazate pe un set de propoziții sau dovezi.
Mai larg, logica este analiza și evaluarea argumentelor. În această definiție, premisele pot susține sau nu concluzia; atunci când nu, acest lucru este caracterizat ca o eroare.
Din punct de vedere istoric, logica a fost predominant rezerva filozofilor și matematicienilor. Cu toate acestea, mai recent, a fost studiat ca parte a științelor cognitive, care se bazează pe informatică, lingvistică și psihologie.
Contextul academic al lui Cummings este în istorie, dar pe baza scrierii sale ample, s-ar părea că teoriile logicii și logicienii înșiși influențează acum politica noastră.
Cum s-a dezvoltat?
Cuvântul logic derivă din greacă logos , adică motiv sau plan. Această etimologie ne permite să identificăm destul de ușor originile conceptului în lumea occidentală. Pentru majoritatea, studiul logicii a fost dominat de Aristotel până la sfârșitul secolului al XIX-lea.
Logica aristotelică (denumită adesea logică categorică) susține că afirmațiile logice se referă la clase de lucruri și relațiile dintre aceste clase . Un exemplu des citat este afirmația, toți oamenii sunt muritori, Socrate este un om, prin urmare Socrate este muritor.
Ceea ce reprezintă în esență acest lucru este raționamentul deductiv, în care argumentul este construit pe fiecare pas fiind dedus din ceea ce vine înainte. În Refutări sofistice , Aristotel recunoaște că munca sa despre logică a explorat un teritoriu neexplorat. El a scris că înainte de el, nimic nu a existat deloc... în ceea ce privește deducția, nu aveam absolut nimic altceva dintr-o dată anterioară de menționat.
Călugărul franciscan William de Ockham, despre care se spune că a conceput principiul de rezolvare a problemelor Razorul lui Occam, a adaptat logica aristotelică în secolul al XIV-lea, influențând opera filozofului francez Jean Buridan.
a lui Buridan Summulae de Dialectica avea să devină principalul manual de logică la universitățile europene timp de aproximativ două secole. Cu toate acestea, el este poate cel mai faimos pentru paradoxul fundului lui Buridan. Aceasta propune o situație ipotetică în care un măgar care este la fel de flămând și însetat este plasat la jumătatea distanței dintre un teanc de fân și o găleată cu apă. Paradoxul presupune că măgarul va merge întotdeauna la oricare este mai aproape, moare atât de foame, cât și de sete, deoarece nu poate lua nicio decizie logică între fân și apă. Paradoxul dezvăluie o problemă în gândirea logică, căci când nu există o concluzie logică pentru ce să facă în continuare, ce e fundul de făcut?
În aceeași perioadă, filosoful chinez Gongsun Long a propus paradoxul unu și unul nu poate deveni doi, deoarece niciunul nu devine doi, în timp ce, în același timp, studiile logice indiene au început să dezvolte teorii indicative ale logicii filozofice moderne. Ca urmare a intereselor coloniale britanice, această lucrare a început să atragă atenția multor savanți occidentali și a influențat logicienii secolului al XIX-lea, inclusiv Charles Babbage, Augustus De Morgan și George Boole.
La mijlocul secolului al XIX-lea, logica matematică a început să înlocuiască logica aristotelică în mediul academic occidental. În 1854, Boole a publicat textul captivant intitulat, O investigare a legilor gândirii pe care se întemeiază teoriile matematice ale logicii și probabilităților. Aceasta a introdus logica matematică, în care fundamentele problemelor matematice sunt aplicate școlii de logică.
Logica booleană a apărut din scrierea lui, o ramură a algebrei în care toate valorile sunt reduse fie la adevărate, fie la false. Acest binar ordonat s-ar potrivi mai târziu pentru informaticieni, deoarece poate fi reprezentat cu ușurință prin binarul 1 (adevărat) sau 0 (fals). Mai târziu avea să influențeze dezvoltarea mașinii Turing, inventată în 1936 de viitor Alan Turing, spărgătorul de coduri al Doilea Război Mondial .
Din 1910 până în 1913, Alfred North Whitehead și Bertrand Russell au publicat Principii matematice , un studiu care a încercat să definească așa-numita logică simbolică, o școală de gândire care încearcă să derive logica din matematică. Totuși, opera lui Whitehead și Russell, nu a mulțumit pe toată lumea .
În anii 1920, un logician și filozof englez, Frank Ramsey, a arătat cum sistemul de Principii matematice ar putea fi revizuită. Comentând rolul adesea confuz al studierii logicii, Ramsey a scris: Probleme de logică în tautologii, matematică în identități, filozofie în definiții; toate banale, dar toate fac parte din munca vitală de clarificare și organizare a gândirii noastre.
Logicianul preferat al lui Cummings, Godel, a conceput Prima Teoremă a Incompletității la începutul anilor 1930. Aceasta a stabilit acea logică precum cea a lui Russell și Whitehead Principii matematice nu poate dovedi orice adevăr matematic. La fel de The Economic Times notează, se spune că Albert Einstein i-a spus unui coleg că, în ultimii ani ai vieții sale, obișnuia să vină la Institutul de Studii Avansate de la Universitatea Princeton doar pentru a avea privilegiul de a putea merge acasă cu Godel.
Scriind în Revista Prospect , profesor emerit de filozofie la Universitatea din Southampton, Ray Monk, observă că ideea generală că există adevăruri care nu pot fi dovedite are un atractiv cu mult dincolo de logică. Acest lucru, spune Monk, l-a determinat pe Godel să fie etichetat matematicianul preferat al romanticului de către matematicianul american Jordan Ellenberg.
Unul dintre cei mai faimoși filosofi ai secolului al XX-lea, Ludwig Wittgenstein, și-a dedicat scrierile timpurii domeniului logicii. Tractatus Logico-Philosophicus , singura lucrare de lungă durată publicată de Wittgenstein în timpul vieții sale, a fost scrisă sub formă de note în timp ce filosoful austriac slujea ca soldat în Primul Război Mondial și a conturat o teorie care i-ar influența pe filozofii logici pozitiviști ai Cercul de la Viena .
Cercul de la Viena a fost un grup de aproximativ 13 filozofi – inclusiv Godel – care s-au întâlnit regulat la Universitatea din Viena la sfârșitul anilor 1920 și începutul anilor 1930 cu scopul de a face filosofia științifică cu ajutorul logicii moderne.
Grupul a lansat un manifest în 1929 în care sublinia utilizarea logicii matematice pentru a clarifica problemele filozofice. Membrii Cercului de la Viena erau, de asemenea, empirişti, crezând că există cunoaştere doar din experienţă. Einstein, Russell și Wittgenstein sunt numiți în manifest drept reprezentanții săi de frunte.
Îndreptându-se spre secolul 21, combinația de logică și îmbunătățiri în colectarea datelor a început să influențeze o nouă generație de științe predictive. O altă influență asupra lui Cummings, scriitorul canadian-american de științe politice Philip Tetlock, a conceput noțiunea de superprognoză, o combinație de exploatare a diverselor surse de informații, criticând în mod constant logica celuilalt.
În iulie 2011, Tetlock a co-fondat Proiectul Good Judgment, care urmărea să valorifice înțelepciunea mulțimii pentru a prognoza evenimentele mondiale prin dezvoltarea probabilităților coerente și logice. Proiectul a dat naștere unei cărți, Superforecasters: arta și știința predicției , pe care le are Cummings a sfătuit oamenii să citească , mai degrabă decât experții politici care nu știu despre ce vorbesc.
Cum a schimbat lumea?
Teoriile logicii pot părea academice și abstruse, o critică care este ușor adresată atunci când încercați să vă învăluiți teoria aristotelică sau manifestul Cercului de la Viena.
Cu toate acestea, primul studiu al logicii, când, așa cum scria Aristotel, nu exista nimic... pe tema deducției, a început un proces de clarificare a modului în care evaluăm argumentele și raționamentul.
După cum notează Frank Ramsey, logicienii lucrează în tautologii, dar influența cadrului lor analitic este clară într-o figură precum Dominic Cummings, a cărui scriere extinsă face referire regulată la logicieni precum Godel și care folosește cadrul gândirii lor în planurile sale de educație și educație. predictie.
Postarea pe blog în care Cummings l-a citat pe Godel a promis că va concepe o nouă abordare a modului în care sunt luate deciziile în politică și în a-și respecta amenințarea de a angaja ciudați precum Sabisky, Cummings pare să urmărească.
Ramsey poate să fi spus că logicienii se ocupă de banal, dar este a doua parte a acestui citat – că fac parte din munca vitală de clarificare și organizare a gândirii noastre – unde se află impactul lor.
