Практикум по логике: разбор аргумента от тезиса до исправления

Цель анализа — не назвать ошибку быстрее собеседника, а сделать следующий вывод точнее и следующее решение лучше.

Карточка на пять вопросов

Для обычного разбора не нужен YAML и словарь латинских названий. Запишите:

Что хотят доказать или решить?
На что ссылаются?
Какое правило пропущено?
Что ещё могло бы объяснить ситуацию?
Какой вывод будет честнее и что проверить дальше?

Разбор вместе

Мой знакомый прошёл онлайн-курс и сразу нашёл работу. Значит, этот курс гарантирует трудоустройство.

Тезис: курс гарантирует работу.

Основание: один знакомый прошёл курс и нашёл работу.

Скрытое правило: если после курса один человек получил работу, курс даёт тот же результат каждому.

Сбой: один случай не отделяет вклад курса от опыта, рынка, усилий человека и случайности. Слово «гарантирует» намного сильнее наблюдения.

Ремонт: «Курс мог помочь знакомому. Перед покупкой нужно посмотреть программу, исходный уровень выпускников, долю завершивших, метод подсчёта трудоустройства и независимые отзывы».

Кейсы для самостоятельного разбора

Покупка

У этой модели больше всего отзывов, значит она лучшая.

Проверьте, что число отзывов говорит о популярности, но не обязательно о качестве. Предложите критерии сравнения.

Новости

После нового правила число зарегистрированных случаев выросло. Значит, правило ухудшило ситуацию.

Могли измениться регистрация, внимание или реальная частота. Как их различить?

Разговор

— Мне не понравился один пункт плана. — Тебе никогда ничего не нравится.

Верните обсуждение к конкретному пункту и отделите общий упрёк.

Работа

Лучшие сотрудники отвечают вечером. Олег не отвечает вечером, значит он плохой сотрудник.

Какие определения и скрытые нормы здесь требуют проверки?

Исследование

В опросе 80% читателей поддержали идею.

Кто увидел опрос, кто ответил, как был сформулирован вопрос и сколько было участников?

Формат сильного ответа

Плохо:

Это ложная причинность.

Хорошо:

Наблюдение показывает последовательность событий, но не исключает сезон, рекламу и изменение измерения. Пока корректно говорить о совпадении. Чтобы оценить причинный вклад, сравним похожие периоды и проверим альтернативы.

Итоговая практика

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

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

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

Академический и инженерный разбор

Эта глава объединяет весь курс в одну процедуру. Сначала решайте задания без ответов. Для каждого кейса недостаточно написать ad hominem или post hoc. Нужны:

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

Правило главы

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

1. Карточка полного разбора

id: logic.chapter.case
context: "Где и зачем возник аргумент"
thesis: "Одно проверяемое предложение"
explicit_premises:
  - "Явная посылка"
hidden_premises:
  - "Минимальная гарантия перехода"
argument_type: "deduction | induction | abduction | analogy | testimony"
form: "P -> Q; Q; therefore P"
evidence:
  provenance: "Источник"
  sample: "Отбор"
  uncertainty: "Диапазон"
dialogue:
  type: "inquiry | persuasion | negotiation | decision | eristic"
  burden: "Кто что обязан показать"
failure:
  category: "formal | evidence | dialogue | cognitive"
  location: "Конкретная строка или переход"
counterexample: "Мир, где посылки истинны, вывод ложен"
repair: "Ближайшая поддерживаемая формулировка"
next_test: "Что сильнее всего различит гипотезы"

2. Быстрое дерево диагностики

flowchart TD A["Есть тезис и основания?"] -->|нет| A1["Это не аргумент:
уточнить тезис"] A -->|да| B["Восстановить скрытую посылку"] B --> C{"Вывод заявлен
как необходимый?"} C -->|да| D{"Есть контрмодель?"} D -->|да| D1["Формальная ошибка"] D -->|нет| E["Проверить истинность посылок"] C -->|нет| F["Оценить силу свидетельства"] E --> G{"Данные и источник
приемлемы?"} F --> G G -->|нет| G1["Ошибка evidence / causal / statistical"] G -->|да| H{"Реплика выполняет
задачу диалога?"} H -->|нет| H1["Ошибка релевантности / бремени"] H -->|да| I["Калибровать вывод и решение"] D1 --> J["Ремонт"] G1 --> J H1 --> J I --> J

3. Нормальная форма ответа

Плохо:

Это ложная дилемма.

Хорошо:

В первой посылке перечислены только «полный rewrite» и «ничего не делать». Но постепенная замена модулей совместима с отказом от обоих вариантов, поэтому дизъюнкция не исчерпывающая. Корректный вывод: если поэтапные варианты не удовлетворяют ограничениям X и Y, тогда сравниваем rewrite с остановкой развития.

4. Уровень A: форма

`logic.form.affirming-consequent`

Если включён новый parser, появляются ошибки типа X. Ошибки X появились. Значит, parser включён.

Задача: форма, контрпример, допустимый вывод.

`logic.form.denying-antecedent`

Если пользователь администратор, он видит отчёт. Пользователь не администратор. Значит, отчёт недоступен.

`logic.form.quantifier-shift`

У каждого проекта есть ответственный. Значит, существует человек, ответственный за все проекты.

`logic.form.existential-import`

Все системы, никогда не ошибающиеся, сертифицированы. Значит, некоторые сертифицированные системы никогда не ошибаются.

`logic.form.inclusive-or`

Ошибка находится во frontend или backend. Мы нашли ошибку во frontend. Значит, backend исправен.

`logic.form.modal-jump`

Система может выдержать 10 000 RPS. Значит, сейчас она выдерживает 10 000 RPS при любой нагрузочной модели.

5. Уровень B: понятия и язык

`logic.language.equivocation`

Все secrets надо ротировать. client_secret_name — secret. Значит, строку имени надо ротировать.

`logic.language.amphiboly`

Система удаляет документы пользователей с истёкшим сроком.

Назовите минимум два чтения и перепишите требование.

`logic.language.definition`

Надёжная система — система, на которую можно положиться.

Постройте operational definition для конкретного сервиса.

`logic.language.classification`

Категории инцидентов:

database
frontend
критический
регрессия

Найдите смешанные основания и предложите фасеты.

`logic.language.composition`

Каждый компонент имеет availability 99,9%; система тоже имеет 99,9%.

`logic.language.division`

Компания прибыльна; каждый продукт прибыльный.

6. Уровень C: релевантность и диалог

`logic.dialogue.ad-hominem`

Не учитывайте расчёт: его автор уже ошибался в прошлом квартале.

Когда история автора была бы релевантна?

`logic.dialogue.straw-man`

Предложение: обязательный review миграций схемы. Ответ: «Нельзя требовать согласование каждого изменения в коде».

`logic.dialogue.whataboutism`

«У нас публичный токен». — «В другом продукте вообще нет MFA».

`logic.dialogue.authority`

Известный основатель стартапа сказал, что тесты замедляют delivery; значит, нам тесты не нужны.

`logic.dialogue.force`

Архитектура правильная, потому что решение директора обязательно.

Разделите нормативный и эпистемический тезисы.

`logic.dialogue.consequences`

Если аудит верен, релиз придётся отложить. Отложить нельзя. Значит, аудит ошибочен.

7. Уровень D: презумпции

`logic.presumption.loaded-question`

Почему команда снова проигнорировала безопасность?

Разделите предпосылки на вопросы.

`logic.presumption.false-dilemma`

Или Kubernetes, или ручное управление каждым сервером.

`logic.presumption.circular-metric`

Модель хороша, потому что совпадает с качественной разметкой. Разметка качественная, потому что модель уверенно её подтверждает.

`logic.presumption.moving-goalposts`

Критерий пилота был «не хуже baseline по качеству и на 20% быстрее». После успеха владелец требует ещё год production-данных, не меняя заявленную цель.

Какая новая информация могла бы сделать требование разумным?

`logic.presumption.special-pleading`

Все команды проходят privacy review, но наш AI-прототип можно исключить, потому что он инновационный.

`logic.presumption.slippery-slope`

Один временный bypass неизбежно уничтожит всю систему контроля.

Постройте цепь механизмов, барьеров и вероятностей.

8. Уровень E: данные и причинность

`logic.evidence.post-hoc`

После внедрения Scrum lead time снизился. Scrum снизил lead time.

Назовите три альтернативы и дизайн следующей проверки.

`logic.evidence.base-rate`

Детектор:

prevalence = 0.1%
sensitivity = 95%
false positive rate = 2%

Среди 100 000 случаев посчитайте вероятность дефекта после тревоги.

`logic.evidence.survivorship`

Изучили десять компаний, выросших до миллиарда, и нашли общую привычку основателей.

Какую популяцию надо добавить?

`logic.evidence.regression`

Выбрали десять самых медленных команд за месяц, провели workshop, в следующем месяце средняя скорость выросла.

`logic.evidence.multiple-testing`

Проверили 80 метрик и 10 сегментов, нашли два результата с p < 0,05.

`logic.evidence.simpson`

В каждой платформе conversion вырос, общий снизился. Какие веса могли измениться?

`logic.evidence.collider`

Среди нанятых кандидатов техническая и коммуникативная оценки отрицательно связаны. Почему отбор по найму может создать связь?

`logic.evidence.denominator`

Число ошибок выросло вдвое.

Какие знаменатели и абсолютные значения запросить?

9. Уровень F: когнитивный процесс

`logic.cognitive.anchoring`

Руководитель первым называет срок 12 месяцев. После обсуждения все оценки — 10–14 месяцев.

`logic.cognitive.hindsight`

После отказа базы команда пишет: «было очевидно, что capacity не хватит».

Какие записи нужны до события?

`logic.cognitive.sunk-cost`

Нельзя закрывать продукт после двух лет разработки.

Что из прошлых затрат действительно влияет на будущие варианты?

`logic.cognitive.outcome-bias`

Рискованный deploy без rollback прошёл успешно. Было ли решение хорошим?

`logic.cognitive.groupthink`

На design review лидер первым поддержал вариант; альтернативы после этого не обсуждались.

`logic.cognitive.confirmation`

Команда считает сеть причиной и собирает только timeout, не проверяя несовместимость схемы.

10. Смешанные кейсы

Реальный аргумент почти никогда не имеет одну метку.

Кейс 1. «AI ускорил всех»

В пилоте 20 добровольцев с AI завершили задачи на 30% быстрее. Значит, AI увеличит продуктивность всех инженеров на 30%.

Возможные слои:

self-selection;
малая выборка;
неясный construct «продуктивность»;
перенос на другую популяцию;
причинность до/после или отсутствие control;
ложная точность;
игнорирование качества;
безусловный квантор «всех».

Кейс 2. «Автор слабый, RFC плохой»

Автор раньше не проектировал распределённые системы и предлагает Kafka. Значит, RFC надо отклонить.

Слои:

ad hominem, если содержание не проверяется;
экспертность релевантна к confidence и необходимости review;
appeal to authority, если противопоставят только статус другого;
скрытая посылка «только опытный автор может предложить верное решение».

Кейс 3. «У нас никогда не было утечки»

За пять лет мы не зарегистрировали утечек. Значит, контроль доступа достаточен.

Слои:

appeal to ignorance;
detection gap;
отсутствие base rate и sensitivity наблюдения;
survivorship;
утверждение следствия;
смешение отсутствия зарегистрированного события с отсутствием события.

11. Ответы к уровню A

Утверждение следствия

Parser → X
X
∴ Parser

Контрпример: X вызывает старый consumer. Допустимый вывод: parser остаётся кандидатом; сравнить cohort с включённым и выключенным flag.

Отрицание основания

Admin → Access
¬Admin
∴ ¬Access

Контрпример: Auditor → Access. Для вывода нужна эквивалентность или полный список ролей.

Квантор

∀project ∃owner

не даёт:

∃owner ∀project

Существование

Универсальная посылка не доказывает существование безошибочной системы.

Дизъюнкция

При включающем «или» ошибки могут быть в обоих слоях.

Модальность

Capability зависит от профиля запросов, состояния и условий теста; ◇P не даёт фактическое или необходимое P.

12. Ответы к вероятностному кейсу

На 100 000 случаев:

дефекты:              100
истинные тревоги:      95
нормальные случаи: 99 900
ложные тревоги:      1 998
все тревоги:         2 093

P(дефект | тревога) = 95 / 2093 ≈ 4,54%

Тревога сильно повышает вероятность относительно 0,1%, но большинство тревог ложные.

13. Ответы к причинным кейсам

Scrum и lead time

Альтернативы:

изменилась сложность задач;
команда стабилизировалась;
внедрили CI/CD;
ушла крупная dependency;
поменялось измерение;
сезонность.

Следующая проверка: interrupted time series, сопоставимые команды, поэтапное внедрение, механизм по составляющим lead time.

Regression to mean

Команды выбраны по экстремально плохому шумному результату. Нужны несколько периодов до, control/reference class и оценка естественной вариации.

Collider

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

14. Как давать обратную связь

Формула:

1. Я понял тезис так: ...
2. Основания: ...
3. Для перехода нужна посылка: ...
4. Сейчас она не подтверждена, потому что ...
5. Контрпример / альтернатива: ...
6. Доступный вывод: ...
7. Следующая проверка: ...

Пример:

Я понял тезис так: новый parser вызвал ошибки X. Основание — совпадение по времени. Для перехода нужно исключить другие изменения или показать специфический механизм. Старые pods тоже дают X, поэтому одного времени недостаточно. Пока parser — гипотеза, а не установленная причина. Сравним версии по trace и выключим flag на части трафика.

15. Командный формат разбора

Раунд 1. Независимая реконструкция

Каждый письменно фиксирует тезис и посылки.

Раунд 2. Согласование

Автор подтверждает или корректирует реконструкцию.

Раунд 3. Контрмодели

Команда ищет возможный мир, альтернативную причину и пропущенную группу.

Раунд 4. Ремонт

Формулируется ближайший поддерживаемый вывод.

Раунд 5. Решение

Выбирается тест, владелец, срок и условие пересмотра.

Так разбор не превращается в соревнование терминов.

16. Основа будущего тренажёра

Тренажёр будет оценивать не только метку:

Компонент ответа	Баллы
точный тезис	1
явные и скрытые посылки	2
место сбоя	2
контрпример / альтернативная модель	2
корректный ограниченный вывод	2
следующая проверка	1

Некоторые кейсы допускают несколько классификаций. Полный балл получает объяснение связи, а не совпадение со словарём.

17. Финальный чек-лист

Понятия

Термины определены и стабильны?
Классы не смешивают основания?
Пограничные и пустые случаи учтены?

Форма

Посылки и заключение выделены?
Скрытая гарантия восстановлена?
Есть контрмодель?
Кванторы, отрицание и модальность сохранены?

Свидетельства

Источник и provenance видны?
Выборка соответствует популяции?
Есть base rate и denominator?
Причинные альтернативы рассмотрены?
Неопределённость показана?

Диалог

Ответ относится к исходному тезису?
Бремя доказательства не переложено?
Позиция передана в сильной узнаваемой форме?
Стандарт проверки задан заранее?

Решение

Факт отделён от ценности?
Реальные альтернативы сравниваются симметрично?
Цена ошибок учтена?
Есть prediction и revisit condition?

18. Итог курса

Логика начинается с устойчивых понятий, а не с названий ошибок.
Истинность посылок и валидность перехода независимы.
Силлогизм учит отслеживать объём и строить контрмодели.
Энтимема раскрывает реальную речь: спорное часто спрятано в пропуске.
Аристотель рассматривает ошибку как мнимое опровержение в диалоге.
Формальные ошибки ломаются маленькой моделью.
Неформальные ошибки требуют контекста, бремени и стандарта.
Корреляция, вероятность и причинность требуют разных утверждений.
Bias объясняет процесс формирования оценки, но не опровергает тезис.
Инженерный аргумент заканчивается проверкой, решением и условием пересмотра.

Полная литература

Первичные тексты

Аристотель. «Категории».
Аристотель. «Об истолковании».
Аристотель. «Первая аналитика».
Аристотель. «Топика».
Аристотель. «О софистических опровержениях».
Аристотель. «Риторика».
Георгий Челпанов. «Учебник логики».
George Boole. An Investigation of the Laws of Thought.
Claude Shannon. A Symbolic Analysis of Relay and Switching Circuits.
Samuel Eilenberg, Saunders Mac Lane. General Theory of Natural Equivalences.
John Stuart Mill. A System of Logic.
Charles S. Peirce. Избранные работы об абдукции и прагматизме.

Формальная логика

forall x: Calgary.
Open Logic Project.
Patrick Hurley. A Concise Introduction to Logic.
Graham Priest. Logic: A Very Short Introduction.

Ошибки и аргументация

Stanford Encyclopedia of Philosophy: Fallacies.
C. L. Hamblin. Fallacies.
Douglas Walton. Informal Logic: A Pragmatic Approach.
Frans van Eemeren, Rob Grootendorst. A Systematic Theory of Argumentation.
T. Edward Damer. Attacking Faulty Reasoning.
Stephen Toulmin. The Uses of Argument.

Причинность и статистика

Judea Pearl. Causality.
Miguel Hernán, James Robins. Causal Inference: What If.
David Spiegelhalter. The Art of Statistics.
Deborah Mayo. Statistical Inference as Severe Testing.
NIST/SEMATECH e-Handbook.

Решения и мышление

Daniel Kahneman. Thinking, Fast and Slow.
Daniel Kahneman, Olivier Sibony, Cass Sunstein. Noise.
Philip Tetlock, Dan Gardner. Superforecasting.
Gary Klein. Sources of Power.
Julia Galef. The Scout Mindset.

Куда идти дальше

Для строгой символической логики: «Математическая логика и доказательства».
Для коммуникации и письменного аргумента: Communication Engineering.
Для проектирования решений: «Архитектурные решения».
Для экспериментов и продуктовых выводов: «MVP и эксперименты».
Для математической вероятности: «Вероятность и статистика».

Вернитесь к любому спору и заполните одну карточку полного разбора. Один качественно разобранный реальный аргумент полезнее сотни заученных названий.

Нашли неточность? Выделите фрагмент текста — рядом появится жучок.

Практикум по логике: разбор аргумента от тезиса до исправления

Практикум по логике: разбор аргумента от тезиса до исправления

Карточка на пять вопросов

Разбор вместе

Кейсы для самостоятельного разбора

Покупка

Новости

Разговор

Работа

Исследование

Формат сильного ответа

Итоговая практика

Нужен разбор именно вашей ситуации?

К заявке приложится контекст статьи

Что здесь нужно исправить?