52 myšlienok, ktoré zmenili svet: 36. Logika
Hlavný poradca premiéra sa vo svojom písaní odvoláva na logikov, takže čo to znamená pre jeho rozhodovanie?
Kurt Godel, obľúbený logik Dominica Cummingsa
V tejto sérii sa The Week zameriava na nápady a inovácie, ktoré natrvalo zmenili spôsob, akým vidíme svet. Tento týždeň je stredobodom pozornosti logika:
De facto šéf personálu Borisa Johnsona Dominic Cummings zverejnil na svojom blogu v roku 2017 príspevok s názvom Zložitosť a predpoveď, časť V . Príspevok súvisí s dokumentom, ktorý napísal Cummings a ktorého cieľom bolo načrtnúť nový prístup k vzdelávaniu a odbornej príprave vo všeobecnosti, ale najmä pre tých, ktorí pokračujú v prijímaní dôležitých rozhodnutí v politických inštitúciách.
Na konci príspevku Cummings citoval maďarsko-amerického matematika Johna von Neumanna o logikovi Kurtovi Godelovi, ktorý napísal: Godelov úspech v modernej logike je jedinečný a monumentálny – je to skutočne viac ako len pamätník, je to orientačný bod, ktorý zostane viditeľný ďaleko. v priestore a čase.
Po jeho výzve pre nezbedníkov a čudákov, aby sa uchádzali o prácu na Downing Street č. 10, Cummingsovo krátkodobé vymenovanie superprognostika Andrewa Sabiskyho sa zdá byť súčasťou jeho snahy posunúť latky, pokiaľ ide o to, ako ľudia robia dôležité rozhodnutia v hornej časti. poschodia politiky.
Cummings jasne čítal Godla široko a citoval ho v rôznych blogových príspevkoch a dokumentoch na svojej osobnej webovej stránke. Nie je sám, kto ho považuje za vplyvného a v roku 1999, kedy čas časopis uskutočnil prieskum s cieľom určiť 20 najvplyvnejších mysliteľov 20. storočia, rakúsko-uhorský logik sa umiestnil na deviatom mieste.
Logika za 60 sekúnd
Logika je štúdium toho, ako sa dostávame k priestorom na základe súboru návrhov alebo dôkazov.
V širšom zmysle je logikou analýza a hodnotenie argumentov. V tejto definícii predpoklady môžu alebo nemusia podporovať záver; ak tak neurobia, je to charakterizované ako omyl.
Historicky bola logika predovšetkým doménou filozofov a matematikov. V poslednej dobe sa však skúma ako súčasť kognitívnych vied, ktoré čerpajú z informatiky, lingvistiky a psychológie.
Cummingsovo akademické pozadie je v histórii, ale na základe jeho rozsiahleho písania sa zdá, že teórie logiky a samotní logici teraz ovplyvňujú našu politiku.
Ako sa to vyvinulo?
Slovo logika pochádza z gréčtiny logá , čo znamená dôvod alebo plán. Táto etymológia nám umožňuje pomerne ľahko určiť pôvod tohto pojmu v západnom svete. Pre väčšinu z nich až do konca 19. storočia dominoval v štúdiu logiky Aristoteles.
Aristotelovská logika (často označovaná ako kategorická logika) tvrdí, že logické tvrdenia sa týkajú triedy vecí a vzťahy medzi týmito triedami . Často uvádzaným príkladom je výrok, všetci ľudia sú smrteľníci, Sokrates je človek, teda Sokrates je smrteľný.
To, čo to v podstate predstavuje, je deduktívne uvažovanie, kde je argument založený na tom, že každý krok je odvodený z toho, čo prišlo predtým. In Sofistické vyvrátenia Aristoteles uznáva, že jeho práca o logike skúmala neprebádané územie. Napísal, že pred ním neexistovalo vôbec nič... čo sa týka odpočtu, nemali sme absolútne nič iné z predchádzajúceho dátumu, čo by sme mohli spomenúť.
Františkánsky mních Viliam z Ockhamu, o ktorom sa hovorí, že vymyslel princíp riešenia problémov Occam's Razor, adaptoval aristotelovskú logiku v 14. storočí a ovplyvnil dielo francúzskeho filozofa Jeana Buridana.
Buridanove Dialektické summy sa na dve storočia stala primárnou učebnicou logiky na európskych univerzitách. Možno ho však najviac preslávil paradox Buridanovho zadku. Toto navrhuje hypotetickú situáciu, v ktorej osol, ktorý je rovnako hladný a smädný, je umiestnený uprostred medzi kopou sena a vedro s vodou. Paradox predpokladá, že zadok pôjde vždy k tomu, čo je bližšie, umiera od hladu aj smädu, pretože nemôže urobiť žiadne logické rozhodnutie medzi senom a vodou. Paradox odhaľuje problém v logickom myslení, pretože keď neexistuje žiadny logický záver, čo robiť ďalej, čo má robiť zadok?
V tom istom období čínsky filozof Gongsun Long navrhol paradox jeden a jeden sa nemôže stať dvoma, pretože ani jeden sa nestáva dvoma, zatiaľ čo v tom istom čase indická logická veda začala rozvíjať teórie poukazujúce na modernú filozofickú logiku. V dôsledku britských koloniálnych záujmov začala táto práca priťahovať pozornosť mnohých západných učencov a ovplyvnila logikov 19. storočia vrátane Charlesa Babbagea, Augusta De Morgana a Georgea Boolea.
V polovici 19. storočia začala matematická logika v západnej akademickej obci vytláčať aristotelovskú logiku. V roku 1854 Boole publikoval pútavo s názvom, Skúmanie zákonov myslenia, na ktorých sú založené matematické teórie logiky a pravdepodobnosti. Tým sa zaviedla matematická logika, v ktorej sa základy matematických problémov aplikujú na školu logiky.
Z jeho písania vyrástla booleovská logika, vetva algebry, v ktorej sú všetky hodnoty redukované buď na true alebo false. Táto úhľadná dvojhviezda by neskôr dokonale vyhovovala počítačovým vedcom, pretože ju možno ľahko reprezentovať pomocou dvojhviezdy 1 (pravda) alebo 0 (nepravda). Neskôr to ovplyvnilo vývoj Turingovho stroja, ktorý bol vynájdený v roku 1936 v budúcnosti Lamač kódov z druhej svetovej vojny Alan Turing .
V rokoch 1910 až 1913 publikovali Alfred North Whitehead a Bertrand Russell Matematické princípy , štúdia, ktorá sa pokúšala definovať takzvanú symbolickú logiku, myšlienkový smer, ktorý sa pokúša odvodiť logiku z matematiky. Práca Whiteheada a Russella však neuspokojila všetkých .
V 20. rokoch 20. storočia anglický logik a filozof Frank Ramsey ukázal, ako systém Matematické princípy mohla byť revidovaná. V komentári k často mätúcej úlohe štúdia logiky Ramsey napísal: Logické problémy v tautológiách, matematika v identitách, filozofia v definíciách; všetko triviálne, ale všetko je súčasťou životne dôležitej práce objasňovania a organizovania našich myšlienok.
Cummingsov obľúbený logik Godel vymyslel prvú vetu o neúplnosti začiatkom tridsiatych rokov minulého storočia. Toto potvrdilo logiku ako Russell a Whitehead Matematické princípy nemôže dokázať každú matematickú pravdu. Ako The Economic Times poznamenáva, Albert Einstein údajne povedal kolegovi, že v neskorších rokoch svojho života prichádzal do Inštitútu pokročilého štúdia na Princetonskej univerzite len preto, aby mal tú česť ísť domov s Godlom.
Zapisovanie Časopis Prospect emeritný profesor filozofie na univerzite v Southamptone, Ray Monk, poznamenáva, že všeobecná myšlienka, že existujú pravdy, ktoré nemožno dokázať, má príťažlivosť ďaleko za hranicou logiky. To, hovorí Monk, viedlo Godela k tomu, aby bol americkým matematikom Jordanom Ellenbergom označený za obľúbeného matematika romantika.
Jeden z najznámejších filozofov 20. storočia Ludwig Wittgenstein venoval svoje rané písanie oblasti logiky. Tractatus Logico-Philosophicus , jediné celovečerné dielo vydané Wittgensteinom za jeho života, bolo napísané ako poznámky, keď rakúsky filozof slúžil ako vojak v prvej svetovej vojne, a načrtol teóriu, ktorá by ovplyvnila logických pozitivistických filozofov Viedenský kruh .
Vienna Circle bola skupina asi 13 filozofov – vrátane Godla – ktorí sa pravidelne stretávali na Viedenskej univerzite koncom 20. a začiatkom 30. rokov 20. storočia s cieľom urobiť filozofiu vedeckou pomocou modernej logiky.
Skupina vydala v roku 1929 manifest, v ktorom načrtla použitie matematickej logiky na objasnenie filozofických problémov. Členovia Viedenského kruhu boli tiež empirikmi, ktorí verili, že poznatky existujú len zo skúsenosti. Einstein, Russell a Wittgenstein sú v manifeste uvedení ako jeho vedúci predstavitelia.
Smerom do 21. storočia začala kombinácia logiky a zlepšenia zberu údajov ovplyvňovať novú generáciu prediktívnych vied. Ďalší vplyv na Cummingsa, kanadsko-americký spisovateľ politických vied Philip Tetlock, vymyslel pojem superforecasting, kombináciu využívania rôznych zdrojov informácií, pričom neustále kritizoval logiku toho druhého.
V júli 2011 Tetlock spoluzakladal projekt Good Judgment Project, ktorého cieľom bolo využiť múdrosť davu na predpovedanie svetových udalostí vývojom koherentných a logických pravdepodobností. V rámci projektu vznikla kniha, Superforecasters: Umenie a veda predpovedí , ktorý má Cummings odporučil ľuďom, aby čítali , a nie politickí experti, ktorí nevedia, o čom hovoria.
Ako to zmenilo svet?
Teórie logiky sa môžu zdať akademické a nejasné, čo je kritika, ktorá sa dá ľahko nasmerovať, keď sa pokúsite omotať hlavu okolo aristotelovskej teórie alebo manifestu Viedenského kruhu.
Avšak prvé štúdium logiky, keď, ako napísal Aristoteles, neexistovalo vôbec nič... na tému dedukcie, začalo proces objasňovania, ako hodnotíme argumenty a úvahy.
Ako poznamenáva Frank Ramsey, logici pracujú v tautológiách, ale vplyv ich analytického rámca je zreteľný na postave ako Dominic Cummings, ktorého rozsiahle texty pravidelne odkazujú na logikov ako Godel a ktorý používa rámec ich myslenia vo svojich plánoch vzdelávania a predpoveď.
Blogový príspevok, v ktorom Cummings citoval Godela, sľúbil, že navrhne nový prístup k tomu, ako sa rozhodujú v politike, a pri dodržiavaní svojej hrozby zamestnať čudákov ako Sabisky, Cummings, zdá sa, pokračuje.
Ramsey možno povedal, že logici riešia triviálne veci, ale ich vplyv spočíva v druhej časti tohto citátu – že sú súčasťou životne dôležitej práce objasňovania a organizovania našich myšlienok.
