52 идеи, които промениха света: 36. Логика
Главният съветник на премиера се позовава на логиците в своето писане, така че какво означава това за вземането на решения?
Кърт Годел, любимият логик на Доминик Къмингс
В тази поредица The Week разглежда идеите и иновациите, които завинаги промениха начина, по който виждаме света. Тази седмица светлините на прожекторите са върху логиката:
Де факто началникът на кабинета на Борис Джонсън Доминик Къмингс публикува публикация в своя блог през 2017 г., озаглавена Сложност и прогнозиране, част V . Публикацията е свързана с документ, написан от Къмингс, който има за цел да очертае нов подход към образованието и обучението като цяло, но особено за тези, които продължават да вземат важни решения в политическите институции.
В подножието на публикацията Къмингс цитира унгарско-американския математик Джон фон Нойман относно логика Кърт Годел, като пише: Постижението на Гьодел в съвременната логика е уникално и монументално – всъщност това е повече от паметник, това е забележителност, която ще остане видима далеч в пространството и времето.
След призива му неподходящи и странници да кандидатстват за работа на Даунинг Стрийт № 10, краткотрайното назначение на Къмингс за суперпрогнозист Андрю Сабиски изглежда е част от усилията му да измести стълбовете на вратата по отношение на това как хората вземат важни решения в горната част. ешелони на политиката.
Къмингс очевидно е чел Гьодел нашироко, цитирайки го в различни публикации в блогове и статии на личния си уебсайт. Не сам го смята за влиятелен и през 1999г., когато Време списание проведе проучване, за да определи 20-те най-влиятелни мислители на 20-ти век, австро-унгарският логик зае девети.
Логика за 60 секунди
Логиката е изследването на това как стигаме до предпоставките въз основа на набор от предложения или доказателства.
В по-широк план логиката е анализът и оценката на аргументите. В това определение предпоставките могат или не могат да подкрепят заключението; когато не го правят, това се характеризира като заблуда.
В исторически план логиката е била предимно притежание на философи и математици. Напоследък обаче се изучава като част от когнитивните науки, която се основава на компютърните науки, лингвистиката и психологията.
Академичният опит на Къмингс е в историята, но въз основа на широкообхватното му писане изглежда, че теориите на логиката и самите логици сега влияят върху нашата политика.
Как се разви?
Думата логика произлиза от гръцки лога , което означава причина или план. Тази етимология ни позволява сравнително лесно да определим произхода на понятието в западния свят. За повечето изучаването на логиката е доминирано от Аристотел чак до края на 19 век.
Аристотеловата логика (често наричана категорична логика) твърди, че логическите твърдения са свързани с класове неща и връзките между тези класове . Често цитиран пример е твърдението, всички хора са смъртни, Сократ е човек, следователно Сократ е смъртен.
Това, което по същество представлява, е дедуктивно разсъждение, където аргументът се изгражда върху всяка стъпка, която се извежда от предходното. В Софистични опровержения , Аристотел признава, че работата му по логика е изследвала неизследвана територия. Той написа, че преди него изобщо не е съществувало нищо... по отношение на дедукцията нямахме абсолютно нищо друго от по-ранна дата за споменаване.
Францисканският монах Уилям от Окам, за когото се твърди, че е измислил принципа за решаване на проблеми Бръсначът на Окам, адаптира аристотеловата логика през 14-ти век, оказвайки влияние върху работата на френския философ Жан Буридан.
на Буридан Диалектични суми ще се превърне в основен учебник по логика в европейските университети за около два века. Въпреки това той е може би най-известният с парадокса на задника на Буридан. Това предлага хипотетична ситуация, в която магаре, което е еднакво гладно и жадно, е поставено по средата между купа сено и кофа с вода. Парадоксът предполага, че дупето винаги ще отиде до това, което е по-близо, то умира и от глад, и от жажда, тъй като не може да вземе никакво логично решение между сеното и водата. Парадоксът разкрива проблем в логическото мислене, тъй като когато няма логическо заключение какво да се прави по-нататък, какво да прави задника?
През същия период китайският философ Гонсун Лонг предлага парадокса едно и едно не може да стане две, тъй като нито едно не става две, докато в същото време индийската логическа наука започва да развива теории, показателни за съвременната философска логика. В резултат на британските колониални интереси, тази работа започва да привлича вниманието на много западни учени и оказва влияние върху логиците от 19-ти век, включително Чарлз Бабидж, Август Де Морган и Джордж Бул.
В средата на 19 век математическата логика започва да измества аристотеловата логика в западните академични среди. През 1854 г. Бул публикува закачливото заглавие, Изследване на законите на мисълта, върху които се основават математическите теории на логиката и вероятностите. Това въведе математическа логика, в която основите на математическите проблеми се прилагат към логическата школа.
Булевата логика израства от неговото писане, клон на алгебрата, в който всички стойности са сведени до вярно или невярно. Този спретнат двоичен файл по-късно ще подхожда идеално на компютърните учени, тъй като може лесно да бъде представен чрез двоичен файл от 1 (вярно) или 0 (невярно). По-късно ще повлияе на развитието на машината на Тюринг, изобретена през 1936 г. от бъдещето Разрушител на кодове от Втората световна война Алън Тюринг .
От 1910 до 1913 г. Алфред Норт Уайтхед и Бъртран Ръсел публикуват Математически принципи , изследване, което се опитва да дефинира така наречената символична логика, школа на мисълта, която се опитва да извлече логиката от математиката. Работата на Уайтхед и Ръсел обаче не удовлетвори всички .
През 20-те години на миналия век английският логик и философ Франк Рамзи показва как системата на Математически принципи може да бъде ревизиран. Коментирайки често объркващата роля на изучаването на логиката, Рамзи пише: Логически проблеми в тавтологиите, математиката в идентичностите, философията в дефинициите; всичко е тривиално, но е част от жизненоважната работа по изясняване и организиране на нашата мисъл.
Любимият логик на Къмингс Гьодел измисли Първата теорема за непълнотата в началото на 30-те години на миналия век. Това установи тази логика като Ръсел и Уайтхед Математически принципи не може да докаже всяка математическа истина. Като The Economic Times отбелязва, че Алберт Айнщайн е казал на свой колега, че през последните години от живота си е идвал в Института за напреднали изследвания в Принстънския университет само за да има привилегията да може да се прибере вкъщи с Годел.
Вписване в Списание Проспект , почетен професор по философия в университета в Саутхемптън, Рей Монк, отбелязва, че общата идея, че има истини, които не могат да бъдат доказани, е привлекателна далеч отвъд логиката. Това, казва Монк, накара Годел да бъде обявен за любимия математик на романтика от американския математик Джордан Еленбърг.
Един от най-известните философи на 20-ти век, Лудвиг Витгенщайн, посвети ранното си писане на областта на логиката. Tractatus Logico-Philosophicus , единствената цялостна работа, публикувана от Витгенщайн приживе, е написана като бележки, докато австрийският философ е служил като войник в Първата световна война и очертава теория, която ще повлияе на логическите позитивисти философи от Виенски кръг .
Виенският кръг е група от около 13 философи – включително Гьодел – които се срещат редовно във Виенския университет през края на 1920-те и началото на 1930-те години с цел да направят философията научна с помощта на съвременната логика.
Групата пусна манифест през 1929 г., в който очертава използването на математическа логика за изясняване на философски проблеми. Членовете на Виенския кръг също са били емпиристи, вярвайки, че има знание само от опит. Айнщайн, Ръсел и Витгенщайн са посочени в манифеста като негови водещи представители.
Насочвайки се към 21-ви век, комбинацията от логика и подобрения в събирането на данни започна да влияе на ново поколение предсказващи науки. Друго влияние върху Къмингс, канадско-американският писател по политически науки Филип Тетлок, разработи идеята за суперпрогнозата, комбинация от използване на различни източници на информация, като същевременно непрекъснато критикува логиката на другия.
През юли 2011 г. Тетлок е съосновател на проекта Good Judgment Project, който има за цел да впрегне мъдростта на тълпата за прогнозиране на световните събития чрез разработване на последователни и логични вероятности. Проектът създаде книга, Суперпрогнозисти: Изкуството и науката на прогнозирането , който има Къмингс посъветва хората да четат , а не политически експерти, които не знаят за какво говорят.
Как промени света?
Теориите на логиката може да изглеждат академични и сложни, критика, която лесно се отправя, когато се опитвате да обвиете главата си около теорията на Аристотел или манифеста на Виенския кръг.
Въпреки това, първото изследване на логиката, когато, както пише Аристотел, изобщо не е съществувало... по въпроса за дедукцията, започва процес на изясняване на това как оценяваме аргументите и разсъжденията.
Както отбелязва Франк Рамзи, логиците работят в тавтологии, но влиянието на тяхната аналитична рамка е ясно в фигура като Доминик Къмингс, чието обширно писане прави редовни препратки към логици като Годел и който използва рамката на тяхното мислене в своите планове за образование и прогноза.
Публикацията в блога, в която Къмингс цитира Гьодел, обеща да изработи нов подход към това как се вземат решенията в политиката и като се придържаме към заплахата му да наеме чудаци като Сабиски, изглежда, че Къмингс следва.
Рамзи може да е казал, че логиците се занимават с тривиалното, но именно втората част от този цитат – че те са част от жизненоважната работа по изясняване и организиране на нашата мисъл – е тяхното въздействие.
