Академический и инженерный разбор
«О софистических опровержениях» — не перечень интернет-реплик. Текст продолжает
«Топику» и рассматривает диалектическое состязание: один участник защищает
тезис, другой задаёт вопросы и пытается вывести противоречие. Софистическое
опровержение только кажется настоящим.
Аристотель делит источники видимости на:
- зависящие от языка;
- не зависящие от языка.
Счёт «двенадцать или тринадцать» различается: ignoratio elenchi можно читать
как отдельную ошибку либо как общее объяснение того, почему остальные не
являются настоящим опровержением.
Правило главы
Чтобы опровергнуть тезис, нужно получить его противоречие в том же смысле,
отношении, времени и модальности. Всё остальное может быть эффектным, но
бьёт мимо цели.
1. Почему язык порождает видимость
Вещей и различий больше, чем отдельных слов. Поэтому один знак обслуживает
несколько значений, а похожие конструкции маскируют разные логические формы.
Опытный анализ замедляет чтение и восстанавливает значение каждого вхождения.
2. Омонимия, или двусмысленность слова
Одно слово используется в разных значениях как будто это один термин.
Все ключи должны храниться в vault.
`user_id` — ключ таблицы.
Следовательно, `user_id` должен храниться в vault.
Ключ означает криптографический секрет и атрибут идентификации записи.
Схема
M₁ обладает P.
S есть M₂.
M₁ и M₂ обозначены одним словом.
∴ S обладает P.
Проверка
Замените каждое значение отдельным термином. Если мост исчез, была омонимия.
Когда многозначность допустима
В метафоре, шутке, названии или исследовании сходства, если перенос не выдают
за необходимый вывод.
3. Амфиболия, или двусмысленность конструкции
Не слово, а синтаксис допускает несколько разборов.
Сервис отклонил запрос пользователя с ошибкой.
С ошибкой был запрос, пользователь или ответ сервиса?
Мы запретили экспорт менеджерам без MFA.
Запретили экспорт всем менеджерам, у которых нет MFA, или запретили менеджерам
экспортировать объекты, не защищённые MFA?
Проверка
Перепишите предложение так, чтобы у каждого модификатора был один владелец:
Менеджеры, у которых не настроена MFA, не могут экспортировать данные.
4. Соединение слов
То, что истинно о словах или действиях раздельно, принимают за истинное о
соединении.
Аристотелевские примеры зависят от древнегреческой записи. Современный аналог:
Пользователь может удалить черновик.
Пользователь может опубликовать черновик.
Следовательно, пользователь может удалить опубликованный черновик.
Два разрешённых действия по отдельности не гарантируют разрешённую композицию
в любом порядке и состоянии.
Инженерная форма
операция A безопасна
операция B безопасна
∴ A;B безопасна
Проверяйте переходы состояния и некоммутативность.
5. Разделение слов
Свойство целого выражения ошибочно распределяют по частям или меняют границу
группировки.
Система допускает «read only admin».
Это администратор только для чтения или чтение только административных данных?
В коде:
!user.isAdmin && resource.public
и:
!(user.isAdmin && resource.public)
не эквивалентны. Скобки — логическая пунктуация.
6. Ударение и акцент
Смысл меняется из-за выделения слова, интонации или типографики.
Мы НЕ храним пароли пользователей.
Мы не храним ПАРОЛИ пользователей.
Мы не храним пароли ПОЛЬЗОВАТЕЛЕЙ.
Первая версия отрицает действие, вторая может намекать на хранение хешей,
третья оставляет открытым хранение иных секретов.
В интерфейсе акцент создают:
- заголовок при мелкой оговорке;
- обрезанная ось графика;
- жирная относительная величина и незаметная абсолютная;
- подпись «до 2×», когда типичный результат 3%.
Акцент не всегда ошибка. Он становится софистическим, когда заставляет принять
иной тезис, чем реально подтверждён.
7. Форма выражения
Грамматическое сходство выдаёт разные категории за одинаковые.
Красный — цвет.
Красный флаг — предупреждение.
Следовательно, цвет — предупреждение.
Современная версия — категориальная ошибка:
Где в кодовой базе находится бизнес?
Бизнес-процесс реализуется множеством людей, правил, данных и сервисов; это не
один объект рядом с файлами.
Ещё пример:
Модель «знает» персональные данные.
Нужно уточнить механизм: данные есть в обучающем наборе, воспроизводятся из
параметров, передаются в контексте или доступны через инструмент.
8. Accident: случайное свойство
Свойство вещи и свойство случайно связанного с ней признака переносят друг на
друга.
Этот сервис критический.
Этот сервис написан на Java.
Следовательно, Java-сервисы критические.
Язык случаен относительно критичности. Он не становится критерием класса.
Тонкая форма
Правило, верное обычно, механически применяют к исключительному случаю:
Публичность улучшает проверяемость.
Следовательно, секреты доступа тоже надо сделать публичными.
Полезный принцип не переносится на объект, чья функция зависит от
конфиденциальности.
9. Secundum quid: от оговорённого к безусловному
Утверждение истинно в некотором отношении, но оговорка исчезает.
Canary-релиз безопаснее полного релиза по blast radius.
Следовательно, canary-релиз безопасен.
Он может быть безопаснее относительно масштаба воздействия и небезопасен по
утечке данных или необратимой миграции.
Схема
P верно при условии C / по оси R.
∴ P верно безусловно.
Ремонт
Сохраните квантор, период, базу сравнения и ось:
В этом эксперименте canary уменьшает число одновременно затронутых
пользователей, но не снижает вероятность необратимой порчи схемы.
10. Consequent: обращение следования
Аристотель замечает: если из A следует B, люди принимают, будто из B следует A.
Если процесс исчерпал память, его могли убить по OOM.
Процесс убит.
Следовательно, он исчерпал память.
Существуют сигнал оператора, лимит времени, eviction и другие причины.
Современные формы:
- утверждение следствия;
- обращение универсального суждения;
- принятие диагностического признака за уникальную причину.
11. Non-cause: не-причина как причина
В аристотелевском контексте reductio одна из посылок может быть лишней для
получения противоречия, но её объявляют причиной невозможности.
Современный пример:
Мы включили новую тему UI и новый алгоритм поиска.
Сборка упала из-за отсутствующего lockfile.
Следовательно, новая тема несовместима со сборкой.
Посылка о теме не участвовала в объяснении противоречия.
Отдельно в «Риторике» встречается более привычная ложная эмпирическая причина:
последовательность событий принимают за причинность.
12. Petitio principii: предвосхищение основания
Тезис используется как собственная посылка — прямо или через переименование.
Почему этот стандарт обязателен?
Потому что его необходимо соблюдать.
Почему необходимо?
Потому что он обязательный.
Сложный круг:
Сервис надёжен, потому что прошёл наш надёжный процесс сертификации.
Процесс надёжен, потому что допускает только надёжные сервисы.
Не всякая взаимная поддержка — круг
Несколько независимых измерений могут сходиться. Круг возникает, когда
основание в конечном счёте получает силу только от исходного тезиса.
13. Many questions: сложный вопрос
Несколько утверждений упакованы в один вопрос, а короткий ответ принимает их
все.
Вы уже перестали игнорировать требования безопасности?
И «да», и «нет» принимают прошлое игнорирование.
Инженерный пример:
Почему команда снова выбрала дорогую и ненадёжную базу?
Встроены:
- база дорогая;
- база ненадёжная;
- команда уже делала такой выбор;
- именно команда выбрала её.
Ремонт
Разделите:
- Кто принял решение?
- Какова стоимость владения?
- Какие данные о надёжности?
- Какие альтернативы сравнивались?
14. Ignoratio elenchi: незнание опровержения
Доказывается не противоречие исходного тезиса, а что-то рядом.
Тезис:
Для конкретного потока нужна идемпотентность.
Ответ:
Kafka — сложная технология.
Ответ может быть истинным и важным, но не опровергает требование к
идемпотентности. Он атакует один возможный инструмент.
Современные родственники:
- подмена тезиса;
- нерелевантное заключение;
- уход в другую проблему;
- доказательство более слабого или другого утверждения.
15. Единое определение настоящего опровержения
Для успешного опровержения нужно противоречие:
- того же предмета;
- того же предиката;
- в том же отношении;
- в то же время;
- в той же модальности;
- на основании принятых посылок;
- без включения исходного тезиса в основание.
Пример мнимого противоречия:
— Система доступна.
— Неверно: вчера она падала.
«Доступна сейчас» и «падала вчера» совместимы.
16. Таблица диагностики
| Семейство |
Что выглядит одинаковым |
Что различается |
| Омонимия |
слово |
значение |
| Амфиболия |
предложение |
синтаксический разбор |
| Соединение |
допустимые части |
композиция |
| Разделение |
выражение |
граница частей |
| Акцент |
текст |
область выделения |
| Форма выражения |
грамматика |
категория |
| Accident |
объект и случайный признак |
существенное отношение |
| Secundum quid |
локальная истина |
безусловная истина |
| Consequent |
A → B |
B → A |
| Non-cause |
сопутствующая посылка |
действующая причина |
| Petitio principii |
основание |
переименованный тезис |
| Many questions |
один вопрос |
несколько предпосылок |
| Ignoratio elenchi |
эффектный вывод |
требуемое противоречие |
17. Как отвечать на софизм
- Восстановите тезис.
- Зафиксируйте значение терминов.
- Разделите составной вопрос.
- Верните оговорки и время.
- Покажите, что вывод совместим с исходным тезисом, если это подмена.
- Постройте контрпример.
- Сформулируйте ближайший корректный вывод.
Не отвечайте ярлыком:
Это secundum quid.
Отвечайте связью:
Данные показывают снижение blast radius, но вывод говорит о безопасности
вообще. Риск необратимой миграции этой метрикой не измерялся.
18. Задания
Определите аристотелевский механизм и объясните без названия:
- «Все токены — секреты. Токен дизайна — токен. Значит, токены дизайна надо
ротировать».
- «Система доступна 99,99% за год, значит, она доступна сейчас».
- «Вы уже исправили очередную ошибку авторизации?»
- «После миграции на Kubernetes delivery ускорился; Kubernetes ускоряет
delivery».
- «Этот алгоритм экономит память, значит, он лучше».
- «Мы обсуждаем необходимость аудита». — «Но аудит займёт неделю».
- «Каждая операция разрешена по отдельности; значит, транзакция из них
разрешена».
Источники
Что дальше
Аристотелевский каталог даёт происхождение многих ошибок, но современная логика
точнее описывает форму импликаций, дизъюнкций, кванторов и модальности.
Формальные ошибки современной логики
