Полный академический и инженерный разбор
Фраза «это логическая ошибка» часто завершает спор ровно там, где должен
начинаться анализ. Один участник произносит латинское название, второй находит
другое название, а исходный тезис остаётся неразобранным. Каталог ошибок без
модели аргумента превращается в коллекцию ярлыков.
Этот курс строится в обратном порядке. Сначала мы учимся видеть аргумент:
что доказывают, на каких основаниях и по какому переходу. Затем проверяем
форму, качество оснований, контекст диалога и только после этого называем
типовой сбой.
Правило курса
Название ошибки не опровергает аргумент. Укажите посылку, переход или
правило диалога, которое нарушено; покажите контрпример; предложите ремонт.
1. Что логика проверяет
Рассмотрим короткое рассуждение:
Если новая версия попала в production, метрика изменилась. Метрика
изменилась. Значит, новая версия уже в production.
Здесь можно проверять разные вещи:
- Значения терминов. Одна ли и та же метрика имеется в виду?
- Истинность посылок. Всегда ли релиз меняет метрику?
- Форму перехода. Следует ли релиз из самого факта изменения?
- Полноту модели. Могли ли метрику изменить данные, сезонность или другой
сервис?
- Уместность. Отвечает ли вывод на вопрос обсуждения?
Формальная схема такова:
Если P, то Q.
Q.
Следовательно, P.
Это утверждение следствия. Контрпример мгновенный: метрика могла измениться
по другой причине. Но обнаружение формы не сообщает, какая другая причина
реальна. Логика отбрасывает недопустимый переход; расследование устанавливает
факты.
2. Четыре разных вида сбоя
2.1. Формальная ошибка
Заключение не следует из посылок даже при их истинности.
Все backend-разработчики пишут код.
Анна пишет код.
Следовательно, Анна backend-разработчик.
Анна может быть data scientist. Ошибка живёт в форме, а не в профессии Анны.
2.2. Ошибка свидетельств
Переход может быть разумным, но данные не поддерживают силу вывода.
Пять знакомых перешли на язык X и ускорили delivery.
Значит, переход на X ускоряет любую команду.
Проблема в выборке, смешивающих факторах и переносе результата.
2.3. Нарушение диалога
Реплика может быть истинной, но не выполнять обязанность участника.
— Почему этот доступ безопасен?
— А в соседней команде права настроены ещё хуже.
Соседняя команда может действительно ошибаться. Это не отвечает на вопрос.
2.4. Когнитивное искажение
Это не форма аргумента, а систематическая склонность внимания, памяти или
оценки.
После двух громких инцидентов руководитель переоценивает вероятность
повторения именно этого сценария.
Доступность примеров объясняет происхождение оценки, но сама по себе ещё не
доказывает, что итоговое решение неверно.
3. Валидность, истинность и убедительность
У аргумента есть как минимум три независимые оси.
| Ось |
Вопрос |
Возможный результат |
| Валидность |
Может ли при истинных посылках заключение быть ложным? |
валиден / невалиден |
| Обоснованность |
Истинны или приемлемы ли посылки? |
сильные / слабые основания |
| Уместность |
Продвигает ли ход цель этого диалога? |
уместен / нарушает обсуждение |
Классический пример валидного, но необоснованного аргумента:
Все базы данных умеют читать мысли.
PostgreSQL — база данных.
Следовательно, PostgreSQL умеет читать мысли.
Форма безупречна, первая посылка ложна. И наоборот, истинное заключение не
спасает плохую форму:
Все квадраты — прямоугольники.
Некоторые фигуры — прямоугольники.
Следовательно, некоторые фигуры — квадраты.
Заключение бывает истинным в мире, но не следует из данных посылок.
4. От Аристотеля к современной аргументации
timeline
title Линия курса
IV век до н. э. : Аристотель описывает термин, посылку и силлогизм
: «О софистических опровержениях» систематизирует мнимые доказательства
: «Риторика» связывает энтимему с убеждением
Античность и Средние века : развивается теория терминов и квадрат оппозиции
: диспут становится учебной технологией
XVII–XIX века : Бэкон исследует идолы познания
: Локк, Милль и Уэйтли расширяют анализ ошибок
: возникает математическая логика
1917 : Челпанов соединяет понятия, суждения, силлогизмы, индукцию и методы науки
XX век : Хэмблин возвращает ошибкам контекст реального диалога
: формируются неформальная логика и теория аргументации
XXI век : причинные модели, статистика и исследования когнитивных искажений
: аргументы проверяют в коде, данных, продуктах и AI-системах
Аристотель определяет силлогизм широко: из положенных посылок с необходимостью
следует нечто отличное от них. Его категорическая силлогистика — первая
систематическая теория такого следования. В «О софистических опровержениях»
ошибка рассматривается не просто как плохая строка формул, а как мнимое
опровержение в диалоге.
У Челпанова традиционная логика разворачивается от понятий и терминов к
суждениям, непосредственным умозаключениям, силлогизмам, индукции, причинности,
гипотезе и классификации. Мы сохраняем эту педагогическую дугу, но добавляем
оговорки современной логики: пустые классы, кванторы, вероятностные выводы и
разницу между формальной ошибкой и когнитивным механизмом.
5. Анатомия аргумента
Аргумент удобно приводить к пяти полям:
Тезис: что именно нужно принять?
Данные: какие наблюдения или факты приводятся?
Правило перехода: почему данные поддерживают тезис?
Оговорки: при каких условиях вывод ослабевает?
Альтернативы: какое ещё объяснение совместимо с данными?
Пример из code review:
Тезис:
Этот кэш нужно оставить.
Данные:
После его добавления p95 уменьшился на 30%.
Правило перехода:
Если изменение устойчиво снижает пользовательскую задержку при приемлемой
цене согласованности, оно полезно.
Оговорки:
Замер сделан на одной неделе; выросли memory footprint и stale reads.
Альтернативы:
Изменился профиль трафика; параллельно оптимизировали базу.
Теперь спор становится предметным: надо проверить дизайн эксперимента,
стоимость stale reads и альтернативные причины.
6. Универсальный протокол проверки
flowchart TD
A["1. Найдите тезис"] --> B["2. Выпишите явные посылки"]
B --> C["3. Восстановите скрытые посылки"]
C --> D{"4. Следует ли тезис
при истинных посылках?"}
D -- нет --> E["Формальный сбой:
контрпример или модель"]
D -- да --> F{"5. Приемлемы ли
сами посылки?"}
F -- нет --> G["Проблема свидетельств:
источник, выборка, причинность"]
F -- да --> H{"6. Уместен ли ход
в этом диалоге?"}
H -- нет --> I["Диалоговый сбой:
тема, бремя, стандарт"]
H -- да --> J["7. Оцените силу вывода
и сформулируйте оговорки"]
E --> K["8. Исправьте аргумент"]
G --> K
I --> K
J --> K
Шаг 1. Зафиксируйте тезис
Не «автор против микросервисов», а: «для этой команды сейчас модульный монолит
дешевле микросервисов по стоимости изменений».
Шаг 2. Отделите основания
Факт, интерпретация, прогноз и ценность — разные типы посылок:
- факт: «у команды четыре разработчика»;
- интерпретация: «границы домена нестабильны»;
- прогноз: «отдельные сервисы увеличат lead time»;
- ценность: «скорость проверки гипотез сейчас важнее независимого scaling».
Шаг 3. Достройте энтимему
В реальной речи переход почти всегда опущен. Восстановите его максимально
сильной и доброжелательной версией.
Шаг 4. Ищите не ярлык, а контрмодель
Покажите возможный мир, где посылки истинны, а тезис ложен. Если такой мир
возможен, дедуктивной необходимости нет.
Шаг 5. Проверьте основания
Источник, репрезентативность, измерение, базовая частота, альтернативные
причины, конфликт интересов, воспроизводимость.
Шаг 6. Верните контекст
Один и тот же ход может быть разумным в расследовании и недопустимым в
доказательстве. Свидетельство эксперта уместно для предварительного решения,
но не заменяет данные там, где данные доступны.
Шаг 7. Калибруйте силу
«Доказывает», «поддерживает», «повышает вероятность» и «совместимо с» — не
синонимы.
Шаг 8. Ремонтируйте
Хороший анализ заканчивается улучшенной версией:
В наблюдаемом периоде после включения кэша p95 снизился на 30%. Мы пока не
отделили эффект кэша от параллельной оптимизации базы; нужен A/B или
поэтапное выключение. Решение оставляем условно до проверки stale reads.
7. Как проходить курс
| Блок |
Главы |
Результат |
| Ориентация |
00–00a |
карта проверки аргумента и живая история идей |
| Традиционная логика |
01–05 |
понятия, суждения, силлогизмы, энтимемы, Аристотель |
| Каталог ошибок |
06–10 |
форма, релевантность, язык, причинность, искажения |
| Применение |
11–12 |
инженерный протокол и практика |
Не пытайтесь запомнить каталог за один проход. Для каждой ошибки держите четыре
вопроса:
- Какова схема?
- Какой минимальный контрпример?
- Когда похожий ход допустим?
- Как исправить аргумент?
8. Диагностические задания
Задание 1
После перехода команды на Scrum релизы участились. Значит, Scrum всегда
ускоряет delivery.
Разделите формальную проблему, проблему данных и причинную проблему.
Задание 2
Этот RFC неверен: его автор уже дважды срывал сроки.
Может ли информация об авторе быть релевантной? Что нужно проверить в самом
RFC?
Задание 3
Либо мы перепишем систему за квартал, либо навсегда останемся с legacy.
Какую посылку надо добавить, чтобы дизъюнкция стала исчерпывающей? Какие
варианты сейчас скрыты?
9. Источники и границы
Ни один конечный каталог не является «всеми ошибками». Ошибка — отношение между
аргументом, стандартом доказательства и контекстом. Поэтому курс охватывает
главные семейства и учит порождать точную диагностику для новых случаев.
Что дальше
Сначала проживём историю одной идеи: как обычный спор научились раскладывать
на посылки, как логическая форма стала алгеброй и электрической схемой, а
множества, симметрии и категории добавили новые способы видеть структуру.
Глава доступна без математической подготовки и содержит отдельные прикладные
ракурсы для исследователя и программиста.
Как человечество научилось рассуждать
