Зазор

Заметьте, кстати, что третья антиномия — свобода против причинности — осталась висеть с тех пор, и мы к ней вернёмся, когда будем говорить о свободе. Кант считал, что разрешил её, и в некотором смысле разрешил — разведя обе стороны по разным этажам: мир явлений подчинён причинности, а мир вещей в себе — свободе. Но сама её неснимаемость на одном этаже — вещь, которую стоит запомнить: есть вопросы, где противоречие не исчезает от лучшего аргумента, потому что оно не логическое, а структурное. Не потому, что мы плохо думаем, а потому, что так устроен предмет.

И это, возможно, самый важный урок Канта: не всякое противоречие — признак ошибки; иногда это признак того, что мы добрались до границы, за которой кончаются наши понятия, и самое честное, что можно сделать, — это признать границу и не выдавать её за решение.

Противоречие как двигатель

Гегель прочёл кантовские антиномии и сделал из них вывод, обратный кантовскому. Кант, столкнувшись с противоречием, отступил: здесь разуму нельзя. Гегель сказал: здесь разум как раз и начинается.

Его мысль сложнее и темнее едва ли не всего в истории философии, и я не буду делать вид, что она умещается в несколько абзацев. Но одну её жилу вытащить можно, и жила эта прочная. Гегель заметил: противоречие — не досадный сбой, случающийся с мыслью на границах. Это способ, которым мысль движется всегда, — просто внутри опыта это движение не бросается в глаза, а на границах становится видно. Всякое определённое понятие, говорит он, содержит в себе своё отрицание: «конечное» определено через «бесконечное», без которого оно не было бы конечным; «господин» — через «раба», без которого он не господин; «свобода» — через принуждение, от которого она свободна. Мысль, взяв понятие всерьёз и доведя его до конца, натыкается на то, что оно переходит в противоположное, — и вот тут у мысли два пути. Можно остановиться и объявить противоречие пределом, как Кант. А можно пойти дальше и найти понятие шире, в котором обе стороны уместятся — не как компромисс, а как моменты одного целого, каждый на своём месте.

Для этого движения Гегель берёт немецкое слово Aufhebung, у которого три значения сразу: отменить, сохранить и поднять. Противоречие снимается так, что обе стороны и отменены в качестве последних слов, и сохранены в качестве необходимых моментов, и подняты на ступень, откуда видно, зачем нужна была каждая. Школьная формула «тезис — антитезис — синтез», которую приписывают Гегелю, ему не принадлежит и огрубляет дело: синтез звучит как усреднение, а Гегель имел в виду рост. Гусеница и бабочка не усредняются в нечто среднее; бабочка — это гусеница, которая отрицала себя и через отрицание стала тем, чем была с самого начала.

Что из этого взять человеку, не собирающемуся читать «Науку логики»? Одно, но важное. Когда вы обнаруживаете в себе противоречие — вы одновременно убеждены в двух несовместимых вещах и не можете отказаться ни от одной, — не всегда это признак ошибки, которую надо устранить, выбрав сторону. Иногда это признак того, что понятие, которым вы думаете, мало и должно вырасти. Человек уверен, что любовь — это принимать другого таким, каков он есть, и что любовь — это желание, чтобы он стал лучше. Эти вещи противоречат друг другу, и можно годами метаться между ними, поочерёдно обвиняя себя то в потакании, то в требовательности. А можно заметить, что оба убеждения — моменты чего-то более широкого, чего сам человек ещё не назвал, и что задача не выбрать, а дорасти.

Гегелевский урок — в том, что противоречие может быть не тупиком, а указателем: думай дальше, здесь понятие тесно. И в том, что истина — не точка, а путь, вместивший в себя ошибки, через которые к ней шли; «истинное есть целое», говорил он, и целое включает свои отрицания как пройденные ступени, а не выкидывает их.

Осторожность здесь нужна та же, что и с сомнением во второй главе. Гегелевская мысль соблазнительна тем, что позволяет объявить любое противоречие «диалектическим» и тем самым не решать его. Это подделка. Настоящее снятие — тяжёлая работа, в результате которой появляется новое понятие, объясняющее, почему обе стороны были правы и в чём каждая была неполна; если такого понятия не появилось, а есть только слово «диалектика», противоречие не снято, а прикрыто. Гегель даёт право не выбирать сторону — но только в обмен на обязанность построить целое.

Предложение, которое говорит о себе

Осталась последняя граница, и провёл её не философ, а двадцатипятилетний математик из Вены — и провёл так, что после него думать о логике по-старому стало нельзя.

К началу двадцатого века математики решили навести окончательный порядок в собственном доме. Великий Давид Гильберт сформулировал программу: построить формальную систему — набор аксиом и правил вывода, — из которой выводились бы все истины арифметики, и доказать средствами самой этой системы, что она непротиворечива. Тогда математика стояла бы на собственных ногах: замкнутая, полная, сама себя проверившая. Это была мечта Аристотеля и Декарта, доведённая до последней строгости, — разум, обосновавший себя целиком изнутри.

В 1931 году Курт Гёдель опубликовал статью, которая эту мечту закрыла. Он показал: любая непротиворечивая формальная система, достаточно богатая, чтобы вместить арифметику, содержит истинные утверждения, которые внутри неё недоказуемы. И более того — такая система не может доказать собственную непротиворечивость своими же средствами. Приём, которым он это сделал, гениален и прост по замыслу: он научился кодировать утверждения о системе числами внутри самой системы и построил утверждение, которое говорит о себе — «это утверждение недоказуемо». Если оно доказуемо, система доказала ложь, и она противоречива. Если недоказуемо — оно истинно, и вот истина, до которой система не дотягивается. Третьего не дано. Аристотелев закон исключённого третьего, применённый к самой логике, обнаружил в ней дыру.

Что это значит — и чего не значит.

Не значит, что математика ненадёжна или что «всё относительно»: теоремы, доказанные вчера, остаются доказанными и сегодня. Не значит, как любят говорить, что «разум бессилен»: свою теорему Гёдель доказал средствами разума, и это одно из самых сильных его достижений. Не значит, вопреки многим популярным книгам, что человеческий ум «выше машины»: этот вывод из теоремы не следует, и сам Гёдель был осторожнее своих толкователей. Значит же вот что: ни одна достаточно богатая система мысли не может обосновать себя изнутри целиком. Всегда останется истина, которую видно только снаружи, и всегда останется вопрос о надёжности целого, на который само целое ответить не может. Чтобы оценить систему, приходится встать вне её. А встав вне, ты уже находишься в другой системе — к которой относится всё то же самое. Замкнутого, самодостаточного разума, о котором мечтали Гильберт и Декарт, не существует. Не потому, что мы слабы, а потому, что так устроена сама структура вывода.

Это математическая форма того, что Кузанец говорил о многоугольнике и круге, а Кант — о голубе: у орудия есть предел, и предел этот виден только с помощью самого орудия.

И у этого есть судьба, о которой нельзя не сказать, потому что она слишком точна, чтобы быть случайной. Гёдель, величайший логик со времён Аристотеля, к концу жизни был убеждён, что его хотят отравить. Он ел только то, что готовила его жена Адель. Когда в конце 1977 года её надолго положили в больницу, он перестал есть. В январе 1978 года он умер в Принстоне; в свидетельстве о смерти написано: истощение, вызванное расстройством личности. Человек, доказавший, что логика не может обосновать себя изнутри, погиб от убеждения, до которого никакая логика не дотянулась.

Я привожу это не как курьёз. Это самая честная иллюстрация всего, о чём эта глава: орудие, отделённое от руки, совершенно; рука остаётся тем, чем была.

Что мы знаем теперь

Бэкон составил опись идолов, опираясь на интроспекцию и наблюдения за современниками, — не экспериментами и статистикой, но силой проницательности. Через триста пятьдесят лет его опись проверили, и оказалось, что он был прав почти во всём и лишь в одном оказался недостаточно радикален.

В 1974 году два израильских психолога, Даниэль Канеман и Амос Тверски, опубликовали в журнале Science статью о том, как люди судят в условиях неопределённости. Они показали, что человек не рассуждает по правилам вероятности даже приблизительно — он пользуется быстрыми эвристиками, которые обычно работают и систематически ошибаются в предсказуемых местах. Проще говоря, вместо счёта по формуле мозг хватается за первое, что подворачивается под руку, и в большинстве бытовых случаев этого хватает; но там, где цена ошибки высока, привычка хвататься за первое попавшееся решение, объяснение подводит.

Вот как это выглядит в опытах. Человек оценивает вероятность события по тому, как легко оно приходит на ум, — и потому боится самолётов больше автомобилей: авиакатастрофу показывают по всем каналам, она яркая и запоминается, а статистика, по которой на дорогах гибнет в сотни раз больше людей, в голове не всплывает, потому что скучна и невидима. Это называется эвристикой доступности: чем легче пример, тем выше кажется вероятность.

Дальше — знаменитая задача про Линду, из-за которой Канемана с Тверски и запомнили. Испытуемым описывали выдуманную женщину: Линда, тридцать один год, прямая и откровенная, в университете изучала философию, в студенчестве участвовала в демонстрациях против ядерного оружия и в защиту прав женщин. После этого спрашивали: что вероятнее — [а] Линда работает кассиром в банке; [б] Линда работает кассиром в банке и активно участвует в феминистском движении? Большинство выбирало второй вариант — он же явно больше похож на Линду! — хотя второй вариант невозможен без первого: любая «кассир и феминистка» автоматически «кассир», и прибавить к профессии ещё одно качество можно только сузив круг, а значит, уменьшив вероятность. Ошибка настолько устойчивая, что её назвали ошибкой конъюнкции: подробность и правдоподобие подменяют в голове математику, и детальный портрет кажется вероятнее скупого.

Третий опыт — про якорь. Канеман и Тверски крутили перед испытуемым колесо рулетки, которое выдавало то десять, то шестьдесят пять, а потом спрашивали, какой процент африканских стран входит в ООН. Люди, которым выпало десять, в среднем отвечали «двадцать пять процентов», люди, которым выпало шестьдесят пять, — «сорок пять». Случайное число не имело никакого отношения к вопросу, но оно оседало в голове якорем, и от него человек отсчитывал дальше. Отсюда правило: первое число в разговоре — даже взятое с потолка — задаёт рамку всему торгу, и тот, кто его произносит, уже наполовину выиграл.

За следующие десятилетия таких искажений описали больше сотни, и Канеман в 2011 году свёл всё это в книгу «Думай медленно, решай быстро», где предложил различать две системы мышления: быструю, автоматическую, интуитивную — и медленную, требующую усилий, рассуждающую. Первая работает всегда, сама собой и бесплатно; вторая включается неохотно, устаёт, и её легко усыпить. Мы живём первой и думаем, что живём второй.

Теперь про имена. Чтобы проверить свою догадку про доступность, Тверски и Канеман дали участникам четыре списка имён. В двух списках было по девятнадцать известных мужчин и по двадцать менее известных женщин, в двух других — наоборот, девятнадцать известных женщин и двадцать менее известных мужчин. Списки специально составили так, чтобы женщин и мужчин было больше в тех категориях, где они менее знамениты. Участников разделили на две группы: одних попросили вспомнить как можно больше имён, других — просто сказать, каких имён в списках больше. И в обеих группах люди называли и оценивали как более частые именно имена знаменитостей — хотя по факту их было меньше. Знаменитое имя всплывает в памяти само, без усилий, и мозг делает вывод: раз вспомнилось легко, значит, таких много.

Это и есть эвристика доступности в чистом виде: лёгкость припоминания подменяет статистику. Отсюда же и страх самолётов: авиакатастрофу показывают по всем каналам, она яркая и запоминается, а статистика, по которой на дорогах гибнет в сотни раз больше людей, в голове не всплывает, потому что, да, правильно, скучна и невидима.

К той же породе ошибок относится и другая, которую описали уже не Канеман с Тверски, а их коллеги, психологи Хэл Аркес и Кэтрин Блюмер, в 1985 году. Сценарий такой. Представьте: вы купили билет на горнолыжную поездку в Мичиган за сто долларов. Или другие города подставьте, которые вам лучше знакомы. Через некоторое время вам подворачивается поездка в Висконсин, которая, как вы точно знаете, будет интереснее, — и вы покупаете билет и туда, за пятьдесят. А потом выясняется, что даты совпадают, и выбрать надо одну. Оба билета невозвратные. Куда вы поедете? Большинство — и это устойчивый результат, повторённый много раз, — выбирают Мичиган: дороже, жалко терять сотню. Хотя едут в итоге туда, где будет скучнее, и теряют не только сотню, но и собственный отпуск. Это называется ошибкой невозвратных затрат: вложенное — деньги, время, силы — давит на решение сильнее, чем реальная выгода от того, что ещё впереди. Дальше в главе это нам очень пригодится: именно на этой ошибке стоит вся индустрия, которая продаёт вам «продолжение», потому что вы уже вложились. Логика говорит — бросайте и уходите туда, где лучше. Голос в голове говорит — но я же столько потратил. Голос в голове побеждает.

Есть и эксперимент про то, как одна и та же ситуация меняет смысл от одной только формулировки. Испытуемым говорили: представьте, что страна готовится к вспышке редкой болезни, которая, по прогнозам, убьёт шестьсот человек. Есть две программы. Программа А: двести человек будут спасены. Программа Б: вероятность один к трём, что спасутся все шестьсот, и вероятность два к трём, что не спасётся никто. Большинство выбирало программу А — надёжные двести жизней. Но другой группе ту же задачу давали в других словах. Программа А: четыреста человек умрут. Программа Б: вероятность один к трём, что никто не умрёт, и вероятность два к трём, что умрут все шестьсот. Теперь большинство выбирало программу Б — рискованную. Хотя программы в обоих случаях одинаковы, люди предпочитают разное в зависимости от того, как было сказано «спасены» или «умрут». Это эффект фрейминга: не то, что сказано, а как сказано решает, куда качнётся выбор. В бизнесе это оружие: один и тот же контракт можно продать как «гарантию защиты» и как «страховку от потерь», и люди будут голосовать кошельком по-разному.

Возникает вопрос: почему абстрактная логика у нас буксует, а социальная работает? Ответ дала психолог Леда Космидес в 1989 году. Она показала: в мозгу есть специализированный механизм обнаружения обманщиков — того, кто берёт выгоду, не заплатив положенного. Механизм этот срабатывает на социальные правила и молчит на буквы и цифры. Там, где от правильного вывода зависело выживание племени, природа инструмент встроила; там, где надо рассуждать про абстракции, — не встроила, потому что за миллион лет эволюции это никому не понадобилось. Бэкон говорил, что ум — неровное зеркало; выяснилось, что он и не зеркало вовсе, а набор инструментов под конкретные задачи, ни один из которых не был задуман как инструмент истины.

В 2011 году когнитивисты Юго Мерсье и Дан Спербер предложили объяснение, которое собирает всё это воедино и переворачивает привычный взгляд на само рассуждение. Если разум так плох в поиске истины — если он систематически ищет подтверждения и игнорирует опровержения, — то, может быть, он и не для этого? Их гипотеза, которую так и называют — аргументативной теорией рассуждения, — звучит так: способность рассуждать возникла в эволюции не для того, чтобы одинокий индивид добирался до истины, а для того, чтобы люди убеждали друг друга и оценивали чужие доводы. Рассуждение — социальный орган, как рука или глаз. Отсюда и склонность к подтверждению: адвокат, ищущий доводы за свою позицию, — не сломанный судья, а хорошо работающий адвокат. Отсюда и поразительный факт, что люди, рассуждая в одиночку, решают те же уэйсоновские задачи плохо, а обсуждая их в небольшой группе, где каждый может возразить, — хорошо: сам человек не находит своих ошибок, зато отлично находит чужие, и двое, обменивающиеся доводами, вместе оказываются гораздо ближе к истине, чем каждый в отдельности.

Разум — не судья, а участник процесса; и справедливый приговор получается не тогда, когда участник честен, а тогда, когда есть другая сторона.

И последнее, самое неудобное. Естественно было бы думать, что от всего этого спасает интеллект: умный человек искажается меньше. Это не так, и это показано неоднократно. Группа Дэна Кахана из Йеля давала людям задачу на интерпретацию таблицы с числами — простая работа: посмотреть на цифры и сделать вывод. Когда таблица была про крем от сыпи, люди с высокой числовой грамотностью решали её лучше. Когда ту же таблицу, с теми же числами, представляли как данные о влиянии контроля за оружием на преступность, картина переворачивалась: люди с высокой грамотностью решали задачу верно, только если правильный ответ совпадал с их политическими взглядами, и ошибались, если не совпадал. И чем выше была грамотность, тем сильнее было расхождение.

Ум не защищает от предвзятости. Ум её вооружает: даёт более изощрённые средства доказать себе то, что и так хотелось. Психолог Кит Станович показал то же самое на десятках задач: склонность оценивать доводы в пользу своей стороны как более убедительные почти не связана с интеллектом; блестящие люди делают это блестяще. Бэкон, при всей своей проницательности, полагал, что идолы можно изгнать. Оказалось, что можно лишь построить вокруг них ограждение — и что самые опасные идолы прячутся именно у тех, кто уверен, что уже изгнал их.

Из всего этого следует вывод, к которому и вела вся глава. Логика — протез. Не природная способность, которую надо развить, а внешнее приспособление, которое надо надеть — сознательно, усилием, каждый раз заново, зная, что тело будет сопротивляться. Она работает именно потому, что ей всё равно, кто её держит: силлогизм не знает, кому выгодно заключение, — и в этом равнодушии его ценность, потому что всё остальное в нас знает, кому выгодно, и подстраивается. Протез не срастается с телом. Гёдель это доказал, а потом продемонстрировал.

Зазор между убедительным и верным

Теперь можно назвать зазор этой главы. Он проходит между двумя вещами, которые ощущаются изнутри как одна: между тем, что убедительно, и тем, что верно.

Убедительность — чувство. Оно производится быстрой системой, бесплатно и мгновенно, по критериям, которые не имеют отношения к истине: привычно ли, приятно ли, совпадает ли с тем, что я уже думаю, легко ли представить, говорит ли это человек, который мне нравится. Верность рассуждения — это то, что проверяется на всём его пути: истинны ли посылки и правилен ли переход к выводу. Это две разные проверки, и одна не заменяет другой: переход может быть правильным и при ложной посылке, но тогда правильный переход сам по себе не гарантирует истинность вывода. Поэтому одной безупречной формы мало. Эту верность нельзя почувствовать; её можно только проверить, шаг за шагом, медленной системой, которая включается неохотно. Между убедительностью и верностью нет никакой естественной связи. Верное рассуждение часто ощущается неубедительным — теорема, противоречащая интуиции; убедительное часто неверно — как почти любая речь, после которой хочется встать и идти. Здоровый ум держит эти две вещи порознь и никогда не принимает первое за свидетельство второго.

Схлопывание этого зазора — самое распространённое умственное заболевание, и у него две формы, зеркальные, как у всех зазоров этой книги. Первая: «мне это очевидно, значит, это так». Человек принимает силу чувства за силу довода, и чем сильнее уверен, тем меньше проверяет, — мы видели в первой главе, что жар в споре почти всегда выдаёт мнение, а не знание. Вторая: «мне это неприятно, значит, это неверно». Человек отвергает вывод потому, что тот колет, — и не замечает, что боль довода не имеет отношения к его правильности. Обе формы — работа бэконовского неровного зеркала. И обе неотличимы от мышления — что изнутри, что снаружи: и там и здесь они выглядят как оно.

Разрыв зазора — противоположная беда, реже встречающаяся, но не менее вредная: убеждение, что раз ум устроен так плохо, то и полагаться на рассуждение нечего, всё равно каждый верит во что хочет. Это цинизм второй главы, перенесённый на логику. Он ложен по той же причине: из того, что рука дрожит, не следует, что скальпель бесполезен; следует, что нужна опора для руки. Люди, проваливающие уэйсоновские карты, решают их в группе; люди, не видящие своих ошибок, отлично видят чужие. Значит, орудие работает — надо только правильно его приложить.

Как приложить? Ответ вытекает из открытия Мерсье и Спербера, и он неожиданно прост. Если разум — орган спора, а не орган истины, то к истине он приходит не тогда, когда честно старается, а тогда, когда есть спор: когда каждому доводу противостоит другой, и обоим приходится выдерживать проверку. Природа не дала человеку внутреннего оппонента. Она дала ему адвоката и рассчитывала, что оппонент найдётся снаружи. Но снаружи он находится не всегда — а в собственной голове, где принимаются самые важные решения, не находится никогда. Значит, его надо построить. Это и есть протез в точном смысле: искусственный орган, замещающий отсутствующий.

Я называю эту конструкцию мыслью в три такта, и она проста настолько, что её легко недооценить.

Первый такт — тезис. Вы формулируете то, что думаете. Не смутно, а так, чтобы можно было возразить: «эту работу надо бросить», «он поступил подло», «этот метод не работает». Формулировка должна быть достаточно определённой, чтобы быть неправой, — иначе она, как теория Адлера из второй главы, совместима со всем и ни о чём не говорит.

Второй такт — самое сильное возражение. Не самое удобное, не первое попавшееся, не карикатура, которую легко опрокинуть, — а такое, какое выставил бы самый умный человек, искренне убеждённый в обратном. Такое, под которым он подписался бы. Такое, от которого вам становится не по себе. Это такт, до которого не доходит большинство человеческих рассуждений — не потому, что люди ленивы, а потому, что орган, которым мы рассуждаем, для этого не приспособлен: адвокат не пишет речь обвинителя, а если пишет, то слабую, чтобы её удобнее было разбить. Заставить себя написать сильную — усилие противоестественное, и потому оно и есть мышление, а не его имитация.

Третий такт — то, что выжило. Иногда выживает тезис, но уже не тот: очищенный, уточнённый, с оговорками, которых не было. Иногда выживает возражение, и это значит, что вы были неправы и узнали об этом раньше, чем узнала жизнь. Чаще всего выживает нечто третье — то, чего не было ни в тезисе, ни в возражении, что появилось только оттого, что они столкнулись: гегелевское снятие в домашнем масштабе. И очень редко не выживает ничего — оба довода стоят непоколебимо, и это кантовский сигнал: вопрос поставлен не на том уровне, — ищите понятие шире, в котором оба довода окажутся моментами одного целого.

Три такта — не изобретение, а сведение воедино того, что лучшие умы делали всегда. Дарвин пишет в автобиографии, что много лет следовал золотому правилу: всякий раз, когда ему встречался факт или мысль, противоречащие его теории, он записывал их немедленно и без исключений, — потому что заметил по опыту, что такие факты ускользают из памяти гораздо легче, чем благоприятные. Это второй такт, поставленный на поток человеком, знавшим, что его собственная голова будет саботировать. Джон Стюарт Милль в трактате «О свободе» написал, что тот, кто знает только свою сторону дела, знает мало и о ней: его доводы могут быть хороши, и никто не сумел их опровергнуть, — но если он сам не в состоянии опровергнуть доводы противной стороны, если даже не знает, каковы они, у него нет оснований предпочитать своё мнение. И добавил, что недостаточно услышать доводы противника от своих учителей, в их изложении и с их опровержениями: надо услышать их от людей, которые в них верят, в самой убедительной форме, — иначе даже истина будет усвоена как предрассудок, «мёртвая догма, а не живая истина».

Философ Дэниел Деннет уже в наше время свёл это в правила, которые приписал математику Анатолю Рапопорту: прежде чем критиковать, изложи позицию оппонента так ясно и справедливо, чтобы он сказал: «спасибо, жаль, что я сам не сумел сформулировать так хорошо»; перечисли, в чём согласен; назови, чему научился; и только потом возражай. Экономист Брайан Каплан предложил тест, который назвал идеологическим тестом Тьюринга: сумеете ли вы изложить взгляды противника так, что сами его единомышленники не отличат ваш текст от текста своего? Если нет — вы не понимаете, против чего спорите, и ваша победа в споре — победа над чучелом.