52 myšlenek, které změnily svět: 36. Logika
Hlavní poradce premiéra ve svém psaní odkazuje na logiky, takže co to znamená pro jeho rozhodování?
Kurt Godel, oblíbený logik Dominica Cummingsa
V této sérii se The Week zabývá nápady a inovacemi, které trvale změnily způsob, jakým vidíme svět. Tento týden je středem pozornosti logika:
De facto šéf štábu Borise Johnsona Dominic Cummings zveřejnil na svém blogu v roce 2017 příspěvek s názvem Složitost a předpověď Část V . Příspěvek souvisí s dokumentem napsaným Cummingsem, jehož cílem bylo načrtnout nový přístup ke vzdělávání a odborné přípravě obecně, ale zejména pro ty, kteří pokračují v přijímání důležitých rozhodnutí v politických institucích.
Na konci příspěvku Cummings citoval maďarsko-amerického matematika Johna von Neumanna o logikovi Kurtu Godelovi, který napsal: Godelův úspěch v moderní logice je jedinečný a monumentální – ve skutečnosti je to víc než jen pomník, je to orientační bod, který zůstane viditelný daleko. v prostoru a čase.
Po jeho apelu na nezbedníky a podivíny, aby se ucházeli o práci na Downing Street č. 10, se zdá, že Cummingsovo krátkodobé jmenování superprognostika Andrewa Sabiskyho se stalo součástí jeho snahy posunout branky, pokud jde o to, jak lidé dělají důležitá rozhodnutí v horní části země. patra politiky.
Cummings zjevně četl Godela široce a citoval ho v různých příspěvcích na blogu a v dokumentech na svých osobních webových stránkách. Není sám, kdo ho považuje za vlivného a v roce 1999, kdy Čas časopis provedl průzkum, který měl určit 20 nejvlivnějších myslitelů 20. století, rakousko-uherský logik skončil devátý.
Logika za 60 sekund
Logika je studium toho, jak dojdeme k předpokladům na základě souboru návrhů nebo důkazů.
V širším smyslu je logika analýzou a hodnocením argumentů. V této definici předpoklady mohou nebo nemusí podporovat závěr; když ne, je to charakterizováno jako omyl.
Historicky byla logika převážně hájemstvím filozofů a matematiků. V poslední době je však studován jako součást kognitivních věd, které čerpají z informatiky, lingvistiky a psychologie.
Cummingsovo akademické zázemí je v historii, ale na základě jeho rozsáhlého psaní by se zdálo, že teorie logiky a samotní logici nyní ovlivňují naši politiku.
Jak se to vyvíjelo?
Slovo logika pochází z řečtiny loga , což znamená důvod nebo plán. Tato etymologie nám umožňuje poměrně snadno určit původ tohoto konceptu v západním světě. Pro většinu z nich až do konce 19. století dominoval studiu logiky Aristoteles.
Aristotelská logika (často označovaná jako kategorická logika) tvrdí, že logická tvrzení se týkají třídy věcí a vztahy mezi těmito třídami . Často uváděným příkladem je výrok, všichni lidé jsou smrtelníci, Sokrates je člověk, tedy Sokrates je smrtelník.
To, co to v podstatě představuje, je deduktivní uvažování, kde je argument postaven na tom, že každý krok je odvozen z toho, co bylo předtím. v Sofistické vyvrácení Aristoteles uznává, že jeho práce na logice zkoumala neprobádané území. Napsal, že před ním neexistovalo vůbec nic... na téma dedukce jsme neměli absolutně nic jiného z dřívějšího data, co bychom mohli zmínit.
Františkánský mnich William z Ockhamu, o kterém se říká, že vymyslel princip řešení problémů Occamova břitva, adaptoval aristotelskou logiku ve 14. století a ovlivnil dílo francouzského filozofa Jeana Buridana.
Buridanova Dialektické summuly se na zhruba dvě století stala hlavní učebnicí logiky na evropských univerzitách. Nejznámější je však možná paradox Buridanova zadku. To navrhuje hypotetickou situaci, kdy je stejně hladový a žíznivý osel umístěn uprostřed mezi hromadu sena a vědro s vodou. Paradox předpokládá, že osel půjde vždy k tomu, co je blíže, zemře hlady i žízní, protože nemůže učinit žádné logické rozhodnutí mezi senem a vodou. Paradox odhaluje problém v logickém myšlení, protože když neexistuje žádný logický závěr, co dělat dál, co má dělat prdel?
Ve stejném období čínský filozof Gongsun Long navrhl paradox jeden a jeden se nemůže stát dvěma, protože ani jeden se nestává dvěma, zatímco ve stejnou dobu indická logická věda začala rozvíjet teorie svědčící o moderní filozofické logice. V důsledku britských koloniálních zájmů začala tato práce přitahovat pozornost mnoha západních učenců a ovlivnila logiky 19. století včetně Charlese Babbage, Augusta De Morgana a George Boolea.
V polovině 19. století začala matematická logika v západní akademii nahrazovat logiku aristotelskou. V roce 1854 Boole publikoval poutavě nazvanou, Zkoumání zákonů myšlení, na kterých jsou založeny matematické teorie logiky a pravděpodobností. To představilo matematickou logiku, ve které jsou základy matematických problémů aplikovány na školu logiky.
Z jeho psaní vyrostla booleovská logika, odvětví algebry, ve které jsou všechny hodnoty redukovány buď na true nebo false. Tato úhledná dvojhvězda by později dokonale vyhovovala počítačovým vědcům, protože ji lze snadno reprezentovat pomocí dvojhvězdy 1 (pravda) nebo 0 (nepravda). Později to ovlivnilo vývoj Turingova stroje, vynalezeného v roce 1936 budoucností Lamač kódů z druhé světové války Alan Turing .
V letech 1910 až 1913 publikovali Alfred North Whitehead a Bertrand Russell Matematické principy , studie, která se pokusila definovat takzvanou symbolickou logiku, myšlenkový směr, který se pokouší odvodit logiku z matematiky. Práce Whiteheada a Russella však neuspokojilo všechny .
Ve dvacátých letech minulého století anglický logik a filozof Frank Ramsey ukázal, jak systém Matematické principy mohla být revidována. V komentáři k často matoucí roli studia logiky Ramsey napsal: Logické problémy v tautologiích, matematika v identitách, filozofie v definicích; vše triviální, ale vše je součástí životně důležité práce objasňování a organizování našich myšlenek.
Cummingsův oblíbený logik Godel vymyslel počátkem 30. let první větu o neúplnosti. To potvrdilo logiku jako Russell a Whitehead Matematické principy nelze dokázat každou matematickou pravdu. Tak jako The Economic Times poznamenává, že Albert Einstein údajně řekl kolegovi, že v pozdějších letech svého života přicházel do Institutu pokročilého studia na Princetonské univerzitě pouze proto, aby měl tu čest jít domů s Godlem.
Zapisování Časopis Prospect , emeritní profesor filozofie na University of Southampton, Ray Monk, poznamenává, že obecná myšlenka, že existují pravdy, které nelze dokázat, má přitažlivost daleko za logikou. To, říká Monk, vedlo Godela k tomu, aby byl americkým matematikem Jordanem Ellenbergem označen za oblíbeného matematika romantika.
Jeden z nejslavnějších filozofů 20. století Ludwig Wittgenstein zasvětil své rané psaní oblasti logiky. Tractatus Logico-Philosophicus , jediné celovečerní dílo vydané Wittgensteinem za jeho života, bylo napsáno jako poznámky, když rakouský filozof sloužil jako voják v první světové válce, a nastínil teorii, která ovlivnila logické pozitivistické filozofy Vídeňský kruh .
Vienna Circle byla skupina asi 13 filozofů – včetně Godla – kteří se pravidelně scházeli na vídeňské univerzitě koncem 20. a začátkem 30. let 20. století s cílem učinit filozofii vědeckou pomocí moderní logiky.
Skupina vydala manifest v roce 1929, ve kterém nastínila použití matematické logiky k objasnění filozofických problémů. Členové Vídeňského kruhu byli také empirikové, věřili, že poznání existuje pouze ze zkušenosti. Einstein, Russell a Wittgenstein jsou v manifestu uvedeni jako její přední představitelé.
S přechodem do 21. století začala kombinace logiky a zlepšení sběru dat ovlivňovat novou generaci prediktivních věd. Další vliv na Cummings, kanadsko-americký spisovatel politologie Philip Tetlock, vymyslel pojem superforecasting, což je kombinace využívání různých zdrojů informací, přičemž neustále kritizuje logiku toho druhého.
V červenci 2011 Tetlock spoluzaložil projekt Good Judgment Project, jehož cílem bylo využít moudrost davu k předpovídání světových událostí rozvojem koherentních a logických pravděpodobností. Z projektu vznikla kniha, Superforecasters: The Art and Science of Prediction , kterou má Cummings radil lidem, aby četli , spíše než političtí vědci, kteří nevědí, o čem mluví.
Jak to změnilo svět?
Teorie logiky se mohou zdát akademické a nesrozumitelné, což je kritika, kterou lze snadno srovnat, když se pokoušíte omotat hlavu kolem aristotelské teorie nebo manifestu Vídeňského kruhu.
Nicméně první studium logiky, kdy, jak napsal Aristoteles, neexistovalo vůbec nic... na téma dedukce, začalo proces objasňování toho, jak hodnotíme argumenty a uvažování.
Jak poznamenává Frank Ramsey, logici pracují v tautologiích, ale vliv jejich analytického rámce je zřejmý u postavy jako Dominic Cummings, jehož rozsáhlé psaní pravidelně odkazuje na logiky jako Godel a který využívá rámec jejich myšlení ve svých plánech na vzdělávání a předpověď.
Příspěvek na blogu, ve kterém Cummings citoval Godela, slíbil, že vymyslí nový přístup k tomu, jak se v politice rozhodují, a tím, že se bude držet své hrozby najmout podivíny, jako je Sabisky, Cummings podle všeho pokračuje.
Ramsey možná řekl, že logici se zabývají triviálními věcmi, ale jejich dopad spočívá ve druhé části tohoto citátu – že jsou součástí životně důležité práce objasňování a organizování našich myšlenek.
