Cheatsheet

Definitions

Логика — это нормативная наука о правильном мышлении. Она не описывает, как люди думают на самом деле (это делает психология), а устанавливает, как нужно думать, чтобы прийти к истинным выводам. Хорошее мышление — не врождённый дар, а навык, который поддаётся обучению.

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

Аргумент состоит из трёх элементов: тезис (утверждение, которое нужно доказать), основания (посылки, факты, данные) и связка (логический переход от оснований к тезису).

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

Definitions

Логическая ошибка (fallacy) — аргумент, который кажется убедительным, но нарушает правила правильного вывода или апеллирует к нерелевантным факторам. Умение распознавать их — одна из самых практичных интеллектуальных компетенций. Они встречаются в политических речах, рекламе, судебных заседаниях,...

Утверждение следствия (affirming the consequent): «Если идёт дождь, улицы мокрые. Улицы мокрые. Значит, идёт дождь». Неверно — улицы могли помыть. Форма: P→Q; Q; следовательно P. Неправильно.

Отрицание основания (denying the antecedent): «Если идёт дождь, улицы мокрые. Дождя нет. Значит, улицы сухие». Неверно — могли помыть. Форма: P→Q; не-P; следовательно не-Q. Неправильно.

Ad hominem — атака на личность, а не на аргумент. «Вы не можете говорить об экономике — вы никогда не управляли бизнесом». Но аргумент может быть правильным независимо от того, кто его высказал.

Definitions

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

Критическое мышление — не «постоянно всё критиковать». Это умение задать правильные вопросы и честно оценить ответы. Хороший критический мыслитель ищет истину, а не подтверждение своих взглядов.

Пол и Элдер (Paul & Elder) выделили восемь интеллектуальных стандартов: ясность (чётко ли сформулировано?), точность (насколько конкретно?), релевантность (относится ли к вопросу?), глубина (охватывает ли сложность?), широта (учтены ли альтернативные точки зрения?), логичность (следует ли вывод и...

Даниэль Канеман описал два режима мышления: Система 1 (быстрая, интуитивная, автоматическая) и Система 2 (медленная, аналитическая, осознанная). Большинство когнитивных искажений — продукт Системы 1, работающей там, где нужна Система 2.

Definitions

Естественный язык богат и гибок, но именно поэтому он неточен. Одно и то же предложение может значить разное в зависимости от контекста, интонации, умолчаний. Формальная логика создаёт искусственный язык с чёткими правилами, в котором нет места двусмысленности. Это незаменимо в математике, програ...

Высказывание (proposition) — предложение, у которого есть истинностное значение: истина (И) или ложь (Л). «Дождь идёт» — высказывание. «Закройте дверь» — не высказывание.

Атомарное высказывание — простое, не разложимое далее. P: «Компания прибыльна». Q: «Акции растут».

Молекулярное высказывание строится из атомарных с помощью логических связок:

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

Вероятность события — число от 0 до 1, показывающее относительную частоту или степень убеждённости. P(A) = 1: событие А произойдёт наверняка. P(A) = 0: никогда. P(A) = 0.5: с равной вероятностью да или нет.

Сложение (взаимоисключающие события): P(A ∨ B) = P(A) + P(B). Если монета: P(орёл) + P(решка) = 1. Умножение (независимые события): P(A ∧ B) = P(A) × P(B). Два бросания монеты: P(два орла) = 0.5 × 0.5 = 0.25. Условная вероятность: P(A|B) — вероятность A при условии B.

Где H — гипотеза, E — наблюдаемое свидетельство. Мы обновляем априорную вероятность P(H) с учётом нового свидетельства E, чтобы получить апостериорную вероятность P(H|E).

Definitions

Риторика (греч. rhetorike) — искусство убедительной речи. Часто её путают с пустословием или манипуляцией. Но у Аристотеля риторика — серьёзная дисциплина, сестра диалектики (логики). «Риторика» Аристотеля — систематический анализ того, как убеждать правильно.

Этос — доверие к оратору. Слушатели убеждаются, потому что доверяют говорящему. Три составляющие этоса: компетентность (знает ли он дело?), добросовестность (говорит ли правду?) и благожелательность (заинтересован ли в благе аудитории?). Этос строится до речи (репутация) и в ходе речи (как говори...

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

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

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

Чарли Мангер (партнёр Уоррена Баффета) называл широкую коллекцию ментальных моделей из разных дисциплин «решёткой мышления» (lattice of mental models). Чем больше моделей — тем богаче взгляд на проблему.

Инверсия: вместо «как добиться успеха» спросить «как гарантированно провалиться» — и избегать этого. Мангер: «Всегда инвертируй».

Второй порядок эффектов: любое действие имеет прямые последствия (первый порядок) и непрямые (второй, третий порядок). Снизить цену → вырастут продажи (первый порядок) → конкуренты тоже снизят цены → маржа упадёт у всех (второй порядок).

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

Системное мышление — альтернативный подход: фокус не на частях, а на взаимодействиях; не на структуре, а на поведении; не на элементах, а на петлях обратной связи.

Донелла Медоуз («Мышление системами», 2008) выделяет три элемента: запасы (stocks) — накопленные ресурсы, меняющиеся медленно (численность населения, уровень доверия, количество денег на счёте); потоки (flows) — скорость изменения запасов (рождаемость, расходы, инвестиции); петли обратной связи —...

Усиливающая петля (R — reinforcing): рост одного элемента усиливает другие, которые усиливают первый. Сложные проценты: деньги приносят проценты, проценты добавляются к капиталу, больший капитал приносит больше процентов. Вирусное распространение: больше носителей → больше заражений → больше носи...

Дизайн-мышление (design thinking) — методология творческого решения сложных, «нечётко поставленных» проблем с ориентацией на пользователя. Оно берёт начало в Стэнфордской d.school и IDEO (Тим Браун). В отличие от аналитических методов, которые хорошо работают с хорошо определёнными проблемами, ди...

Его ключевые черты: эмпатия (понять реального пользователя, а не абстрактного); итеративность (прототипировать быстро и рано, ошибаться дёшево); интегративность (объединять желаемое людьми, технически осуществимое и коммерчески жизнеспособное).

1. Эмпатия: глубокое понимание пользователя и его контекста. Инструменты: полевые наблюдения, интервью, «теневое следование» (shadow), картирование пути пользователя (customer journey map). Цель — выйти за пределы заявленных потребностей к скрытым («jobs to be done»).

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

Философы со времён Платона определяли знание как «обоснованное истинное убеждение» (justified true belief, JTB). Три условия: (1) убеждение (я верю, что P); (2) истинность (P — истинно); (3) обоснованность (у меня есть основания считать P истинным).

В 1963 году Эдмунд Гетье показал, что эти три условия недостаточны. «Случаи Гетье»: можно иметь обоснованное истинное убеждение, не имея знания. Пример: вы смотрите на остановившиеся часы, показывающие 3:15. На самом деле сейчас 3:15. Ваше убеждение обосновано (часы обычно показывают правильно), ...

Гетье запустил полвека дискуссий о том, как улучшить определение знания. Один подход: добавить условие «нефальсифицируемости» (ваша убеждённость не должна зависеть от ложных предпосылок). Другой: заменить «обоснованность» на «надёжный процесс получения убеждения» (reliabilism). Единого решения не...

Априорное знание — независимое от опыта. Математика, логика: «2+2=4» не нужно проверять экспериментально — оно истинно по смыслу понятий. Кант добавил: некоторые суждения о мире тоже априорны, потому что они — форма нашего восприятия (пространство и время).

Наука — самый успешный метод получения надёжного знания о природе, изобретённый человечеством. Но что именно делает теорию «научной», а не просто «умной идеей»?

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

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

Томас Кун («Структура научных революций», 1962) атаковал образ науки как линейного прогресса знаний. Он предложил понятие парадигмы: совокупности принятых в научном сообществе образцов, теорий, методов и стандартов, определяющих «нормальную науку».

Definitions

В 1931 году австрийский математик Курт Гёдель доказал теорему, потрясшую математику и философию. Первая теорема о неполноте: в любой достаточно мощной и непротиворечивой формальной системе существуют истинные утверждения, недоказуемые внутри этой системы. Вторая теорема: такая система не может до...

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

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

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

В конце XIX века математики думали, что нашли твёрдый фундамент для всей математики через теорию множеств Кантора. Затем в 1902 году молодой Бертран Рассел написал письмо Готлобу Фреге, работавшему над «Основаниями арифметики»: в самом фундаменте системы Фреге содержится противоречие.

Парадокс Рассела: рассмотрим множество всех множеств, которые не являются элементами самих себя. Является ли это множество элементом самого себя? Если да — оно не должно быть в множестве. Если нет — оно должно там быть. Это логическое противоречие разрушило систему Фреге. Фреге, получив письмо Ра...

Рассел предложил решение — теорию типов: запрет на самореференцию через иерархию уровней. Высказывания об объектах — одного типа, высказывания о высказываниях — другого типа. Тогда «множество всех множеств» просто запрещено конструировать.

С Уайтхедом он написал «Principia Mathematica» (1910–1913) — три тома, логически выводящих математику из логики. Доказательство того, что 1+1=2, занимает сотни страниц и содержится в Томе 2. Это была грандиозная попытка — и она показала, насколько сложна «очевидная» математика.

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

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

Вторая теорема о неполноте: никакая достаточно мощная непротиворечивая система не может доказать свою собственную непротиворечивость.

Это разрушило программу Гильберта. Математика не может быть полной и непротиворечивой одновременно. Это не «дыра» в нашем понимании — это математически доказанный предел формальных систем.

Алан Тьюринг в 1936 году, параллельно с Гёделем и независимо, доказал другой фундаментальный предел: существуют задачи, которые принципиально невычислимы — ни одна машина (и, вероятно, ни один алгоритм) не сможет их решить.

«Проблема остановки» (Halting Problem): можно ли написать программу, которая для любой другой программы и входных данных определяет, остановится ли эта программа (даст результат) или зациклится навсегда?

Тьюринг доказал: нет. Предположим, такая программа H(p, x) существует. Тогда можно построить программу D, которая: берёт программу p, запускает H(p, p), и если H говорит «остановится» — зацикливается, если «зациклится» — останавливается. Что делает H(D, D)? Противоречие неизбежно.

Проблема остановки — лишь первая из огромного класса невычислимых задач. «Десятая проблема Гильберта»: определить, имеет ли диофантово уравнение целочисленное решение. Юрий Матиясевич (1970) доказал: невычислима. «Проблема соответствия Поста»: невычислима. Многие «практические» задачи верификации...

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

Джон фон Нейман и Оскар Моргенштерн («Теория игр и экономическое поведение», 1944) заложили основы. Их главный результат — теорема об игре с нулевой суммой: в двухигровой игре с нулевой суммой (выигрыш одного = проигрыш другого) всегда существует оптимальная смешанная стратегия.

Джон Нэш («Beautiful Mind») обобщил результат на игры с ненулевой суммой. Равновесие Нэша: ситуация, в которой ни один игрок не хочет в одностороннем порядке менять стратегию, зная стратегию других. Это не обязательно лучший исход — это устойчивый исход.

Самый известный пример в теории игр. Два заключённых, арестованных совместно, допрашиваются раздельно. Каждый может сотрудничать (молчать) или предать (дать показания против другого). Матрица результатов: оба молчат — 1 год тюрьмы каждому. Оба предают — 3 года каждому. Один предаёт, другой молчит...

Как принимать решения при неопределённости? Теория ожидаемой полезности (von Neumann, Morgenstern, 1944): рациональный агент максимизирует математическое ожидание своей функции полезности. Это нормативная теория: как должен вести себя рациональный агент.

Ожидаемая стоимость vs. ожидаемая полезность. Пример: лотерея — 50% шанс выиграть 200 рублей, 50% — ничего. Ожидаемая стоимость = 100 рублей. Но большинство людей согласятся продать этот билет за меньше 100 рублей — они риск-аверзивны. Это объясняется убывающей предельной полезностью денег: допол...

Парадокс Санкт-Петербурга (Бернулли, 1738): монету бросают до первого орла. Если орёл выпал на n-м броске — выплата 2^n рублей. Ожидаемая стоимость бесконечна. Но никто не заплатит за участие в этой игре большие суммы. Почему? Убывающая предельная полезность, ограниченные возможности казино запла...

Морис Аллэ (1953) показал: люди систематически нарушают теорию ожидаемой полезности. «Парадокс Аллэ»: большинство людей предпочтут A (100% получить 1 млн) против B (89% получить 1 млн, 10% — 5 млн, 1% — ничего) — и одновременно предпочтут C (10% получить 5 млн) против D (11% получить 1 млн). Эти ...

Классическая теория игр предполагала рациональных агентов, сознательно максимизирующих выигрыш. Эволюционная теория игр (Мейнард Смит, Прайс, 1970-е) применила аппарат к биологической эволюции: стратегии — это не сознательный выбор, а поведенческие программы, отбираемые эволюцией.

«Эволюционно стабильная стратегия» (ESS): стратегия, которую, если её придерживается большинство популяции, не может «захватить» ни одна мутантная стратегия. Это аналог равновесия Нэша для эволюционного контекста.

Классический пример: «Ястреб vs. Голубь». Ястреб всегда атакует за ресурс, Голубь всегда отступает. Чистая популяция Ястребов нестабильна: слишком дорогостоящие конфликты. Чистая популяция Голубей нестабильна: Ястреб захватит ресурсы. ESS — смешанная популяция.

Роберт Аксельрод («Эволюция сотрудничества», 1984) провёл компьютерный турнир: разные стратегии играют многократно в дилемму заключённого. Победитель — «Tit for Tat» (Зуб за зуб): начинай сотрудничать, потом копируй последний ход противника.

Вероятность кажется интуитивно понятной — но при ближайшем рассмотрении вызывает глубокие философские вопросы. Существует три основных интерпретации, каждая с разными следствиями.

Частотная интерпретация (Фишер, фон Мизес): вероятность события — предел частоты его наступления при бесконечном повторении эксперимента. Это работает для казино и страхования. Но что значит «вероятность» того, что Наполеон выиграл бы Ватерлоо при другой диспозиции? Такой «эксперимент» нельзя пов...

Субъективная (байесовская) интерпретация (де Финетти, Сэвидж): вероятность — мера степени уверенности рационального агента. Это позволяет говорить о единственных событиях. Но разные агенты могут иметь разные «субъективные вероятности» — и это нормально: они должны сходиться при накоплении доказат...

Объективная байесовская интерпретация (Кейнс, Джеффрис): вероятность объективно определяется имеющимися доказательствами. Это попытка избежать субъективности при сохранении байесовского формализма.

Томас Байес (XVIII в.) сформулировал теорему, ставшую основой байесовской статистики и рационального мышления: P(H|E) = P(E|H) × P(H) / P(E).

P(H) — «априорная» вероятность гипотезы до получения доказательства. P(E|H) — вероятность наблюдать доказательство E, если гипотеза H верна (правдоподобие). P(H|E) — «апостериорная» вероятность гипотезы после получения доказательства. P(E) — вероятность доказательства (нормировочный множитель).

Это формула рационального обновления убеждений. Байесовское мышление: у вас есть «априорная» уверенность в гипотезе. Вы наблюдаете новое доказательство. Апостериорная уверенность = функция вашей априорной уверенности и силы доказательства.

Применения байесовского метода распространились далеко за пределы академической статистики. Спам-фильтры (Байесовский классификатор): вероятность того, что письмо — спам, обновляется при каждом новом слове.

Бенджамин Дизраэли (или Твен): «Есть три вида лжи: ложь, наглая ложь и статистика». Это не значит, что статистика всегда лжёт — это значит, что она может вводить в заблуждение при отсутствии критического мышления.

Парадокс Симпсона: тренд, существующий в нескольких группах данных, исчезает или переворачивается при объединении групп. Пример: лечение A имеет лучший результат у женщин И лучший результат у мужчин — но в объединённой популяции хуже, чем лечение B. Как? Если в лечении B непропорционально много м...

Выживший уклон (survivorship bias): мы анализируем только «выживших» — успешные компании, вернувшиеся самолёты, завершённые проекты — и делаем выводы, игнорируя тех, кто не выжил. Уолтер Шварц во время ВМВ: не укрепляйте места попаданий в вернувшихся самолётах — укрепляйте места, где попаданий не...

«После — значит, вследствие» (post hoc ergo propter hoc): после X произошло Y, значит, X вызвал Y. Петух кричит перед восходом — петух вызывает рассвет? Корреляция смертей от утопления и продаж мороженого (сезонность — скрытая переменная).

Каррая-Говарда соответствие (Curry-Howard correspondence): программы и доказательства — одно и то же. Тип в программировании соответствует высказыванию в логике; программа, реализующая этот тип, — доказательству этого высказывания. Это не метафора — это строгая математическая связь.

Следствие: языки программирования с богатыми системами типов (Haskell, Coq, Agda) позволяют кодировать логические ограничения в сам код — так, что некорректная программа просто не скомпилируется. «Тип системы — спецификация; компилятор — верификатор».

Формальная верификация программ: математическое доказательство того, что программа соответствует спецификации. Используется в критически важных системах: ядерные реакторы, авиация, медицинские устройства. В 2022 году компилятор CompCert (формально верифицированный компилятор C) первым получил фор...

P vs. NP — главный открытый вопрос информатики. Практические следствия. Коммивояжёр (TSP): для n городов найти кратчайший маршрут. NP-полная задача — нет известного полиномиального алгоритма. Для 1000 городов перебор требует больше операций, чем атомов во Вселенной. Применяются эвристики: генетич...

ИИ развивался по двум принципиально разным подходам. Символьный ИИ (Good Old-Fashioned AI, GOFAI): представить знания в явной логической форме, написать правила вывода. «Экспертные системы» 1980-х: база знаний из if-then правил + механизм вывода. Преимущество: прозрачность, интерпретируемость, то...

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

Современный тренд: гибриды. «Нейросимвольный ИИ» — попытки объединить нейронные сети с символьным рассуждением. Google DeepMind AlphaCode — нейронная сеть для программирования, встроенная в символьную систему проверки корректности.

Машинное обучение — это статистическая оптимизация, но с логическими ограничениями. Логика первого порядка позволяет задавать ограничения: «Если рентгенограмма показывает тень — вероятность X выше». «Индуктивное логическое программирование» — обучение логических правил из примеров.

Цифровая среда создаёт беспрецедентные условия для логических ошибок. Скорость: решения принимаются за секунды. Объём: тысячи единиц информации в день. Алгоритмы: рекомендации оптимизированы под вовлечённость, а не под истинность.

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

Инфодемия (ВОЗ, термин 2020 года): избыток информации о пандемии, включая ложную, затрудняющий принятие правильных решений. Логика «если это звучит правдоподобно — возможно, это правда» особенно опасна в кризисных ситуациях.

«Рефлексивный скептицизм» (в отличие от «скептицизма ради скептицизма»): оценка утверждений по методу, качеству доказательств, возможным альтернативным объяснениям. Это не отрицание — это стандарт.