Академический и инженерный разбор
«Не мержи этот PR: тесты красные». Формально здесь нет полной дедукции. Почему
красные тесты запрещают merge? Потому что команда принимает скрытое правило:
PR с непройденными обязательными проверками не мержат.
У этого PR не пройдены обязательные проверки.
Следовательно, этот PR не мержат.
Обычная речь почти всегда энтимематична. Если требовать произносить каждую
посылку, разговор станет невозможным. Задача логики — не запретить сокращение,
а научиться раскрывать его в спорных местах.
Правило главы
Восстанавливайте минимальную посылку, которая делает аргумент сильным и
соответствует контексту. Затем проверяйте именно её.
1. Энтимема у Аристотеля
В «Риторике» Аристотель связывает:
- пример с риторической индукцией;
- энтимему с риторическим силлогизмом.
Энтимема обычно короче строгого доказательства, потому что аудитория сама
добавляет известное или правдоподобное основание. Это не просто «силлогизм с
пропущенной строкой»: риторическое рассуждение работает с тем, что считается
приемлемым для конкретной аудитории и в вопросах, где возможны разные исходы.
2. Три сокращения у Челпанова
Челпанов показывает три способа сократить:
Большая посылка: Все M есть P.
Меньшая посылка: S есть M.
Заключение: S есть P.
Пропущена большая посылка
Этот релиз нельзя выпускать, потому что обязательная проверка не пройдена.
Скрыто:
Релизы с непройденной обязательной проверкой выпускать нельзя.
Пропущена меньшая посылка
Этот релиз нельзя выпускать, потому что релизы с непройденной обязательной
проверкой выпускать нельзя.
Скрыто:
У этого релиза проверка не пройдена.
Пропущено заключение
Релизы с непройденными проверками не выпускают, а у этого релиза проверка
красная...
Пауза предлагает аудитории завершить вывод.
3. Зачем мы опускаем посылки
- Общее знание. «На улице дождь — возьми зонт».
- Экономия внимания. Полная форма повторяла бы правила команды.
- Вежливость. Вывод оставляют собеседнику.
- Эмоциональный эффект. Незавершённость усиливает участие.
- Сокрытие спорного. Самая важная посылка исчезает из поля проверки.
Последний случай:
Нельзя давать пользователям экспорт: это персональные данные.
Возможная скрытая посылка:
Любая операция с персональными данными запрещена.
Она ложна. Корректная модель спрашивает об основании обработки, цели, составе,
доступе, локализации, сроках, журналировании и правах субъекта.
4. Алгоритм реконструкции

Шаг 1. Найдите заявленный тезис
Не тему «про микросервисы», а предложение:
Команде не следует выделять Billing в отдельный сервис в этом квартале.
Шаг 2. Выпишите явные основания
Граница Billing менялась четыре раза за полгода.
Команда состоит из четырёх инженеров.
Независимое масштабирование пока не требуется.
Шаг 3. Спросите «почему это поддерживает тезис?»
Кандидат на скрытое правило:
Если граница нестабильна, команда мала, а независимое масштабирование не
требуется, цена раннего выделения обычно выше ожидаемой выгоды.
Шаг 4. Сделайте правило минимальным
Не добавляйте:
Микросервисы всегда плохи.
Это сильнее необходимого и превращает разумный локальный аргумент в карикатуру.
Шаг 5. Проверьте совместимость с речью автора
Если есть несколько реконструкций, задайте вопрос:
Правильно ли я понял, что главный критерий — нестабильная граница и
отсутствие независимого scaling, а не запрет микросервисов вообще?
Шаг 6. Проверьте форму и посылки отдельно
Даже если правило делает переход валидным, оно может быть слабым эмпирическим
обобщением.
5. Принцип благожелательности и steelman
Принцип благожелательности предлагает выбирать разумную интерпретацию,
совместимую с текстом и контекстом. Steelman идёт дальше: строит сильнейшую
версию позиции, которую мог бы защищать компетентный сторонник.
Ограничения:
- нельзя подменять реальную позицию новой;
- нельзя скрывать, что формулировка улучшена;
- в аудите требований важнее точность автора, чем философски лучший тезис;
- в безопасности «добрая догадка» не заменяет уточнение.
Полезная маркировка:
Автор сказал: ...
Я восстанавливаю скрытую посылку так: ...
Сильнейшая разумная версия была бы: ...
6. Гарантия перехода
Современная теория аргументации часто называет скрытое общее правило
гарантией (warrant):
Данные ──[гарантия]──> Тезис
Пример:
Данные:
В трёх последних релизах ошибка сериализации возникла после изменения
схемы без backward compatibility.
Гарантия:
Повторяющийся механизм в сопоставимых условиях повышает вероятность той
же причины.
Тезис:
Сначала проверить несовместимость схемы.
Это абдуктивный, а не дедуктивный вывод. Нужна оговорка:
если профиль ошибки и путь данных сопоставимы
7. Пример как риторическая индукция
Аристотелевский пример переносит знание от одного случая к другому или от
нескольких случаев к общему.
Команда A отделила сервис до стабилизации границ и получила распределённый
монолит.
Команда B сделала то же.
Нам тоже стоит отложить выделение.
Проверки:
- случаи действительно сходны по релевантным признакам?
- не отобраны только провалы?
- есть ли контрпримеры?
- механизм переноса понятен?
- сила заключения соответствует числу и качеству примеров?
Аналогия не обязана быть дедуктивной, чтобы быть полезной. Она должна показать
релевантное структурное сходство.
8. Знак и необходимый признак
В «Риторике» важна разница между:
- признаком, который делает вывод вероятным;
- необходимым знаком, обеспечивающим более сильный переход.
Высокий CPU может быть признаком нагрузки.
OOM kill — более прямой знак исчерпания памяти процессом, но тоже требует
контекста cgroup и системных логов.
Ошибка возникает, когда вероятный признак выдают за однозначную причину.
9. Максима
Максима — общее высказывание о выборе или поведении:
Измеряй прежде, чем оптимизировать.
Максима с объяснением становится энтимемой:
Не оптимизируй этот участок до профилирования: без измерения мы не знаем,
является ли он ограничением.
Максимы сжимают опыт, но легко превращаются в абсолюты:
- «DRY» не запрещает осознанное дублирование;
- «You build it, you run it» требует ресурсов и полномочий;
- «двигайся быстро» не определяет допустимый риск.
10. Логос, этос и пафос
Три способа убеждения нельзя делить на «логичный» и «ошибочные».
Логос
Структура доводов, данные и переход.
Этос
Основание доверять компетенции и добросовестности говорящего.
Эксперт по PostgreSQL сообщает о редкой аномалии конкретной версии.
Это релевантное свидетельство, если:
- область компетенции совпадает;
- утверждение передано точно;
- нет более сильного доступного свидетельства;
- доверие не превращается в непогрешимость.
Пафос
Работа с эмоциями и значимостью. В рассказе об утечке реальные последствия для
людей помогают верно оценить тяжесть риска. Ошибка начинается, когда эмоция
подменяет отсутствующую связь или намеренно блокирует проверку.
11. Типовые скрытые посылки
Норма
Это нарушает style guide, значит, надо исправить.
Скрыто: правила style guide обязательны и применимы здесь.
Причина
После деплоя выросли ошибки, значит, виноват релиз.
Скрыто: других изменений, способных объяснить рост, не было.
Классификация
Это персональные данные, значит, нужен такой процесс.
Скрыто: объект подпадает под конкретный правовой режим и процесс.
Прогноз
Команда раньше срывала сроки, значит, сорвёт и этот.
Скрыто: условия и механизм задержки сохранились.
Ценность
Решение увеличит конверсию, значит, его надо выпускать.
Скрыто: прирост конверсии перевешивает риск, стоимость и другие ценности.
12. Как скрывают слабость
Пассивный залог
Считается, что архитектура масштабируема.
Кем считается и на основании чего?
Номинализация
Произошло улучшение эффективности.
Какая метрика, относительно чего, кем измерена?
Непрояснённое «очевидно»
Очевидно, что пользователю нужен AI.
«Очевидно» часто охраняет слабую посылку от вопроса.
Встроенная пресуппозиция
Когда вы перестанете игнорировать безопасность?
Вопрос заранее утверждает, что игнорирование имело место.
13. Практика: RFC
Исходная фраза:
Берём Kafka, потому что нам нужна надёжность.
Реконструкция 1:
Системы на Kafka надёжны.
Нам нужна надёжность.
Следовательно, нам нужна Kafka.
Форма невалидна: утверждение следствия / нераспределённый средний.
Сильная версия:
Требования:
переживать краткую недоступность consumer;
повторно доставлять события;
независимо масштабировать чтение;
хранить историю N дней.
Данные:
Kafka поддерживает durable log, consumer offsets и replay в наших
эксплуатационных ограничениях.
Оговорки:
команда умеет её эксплуатировать; стоимость кластера приемлема; exactly
once не предполагается.
Вывод:
Kafka — один из подходящих кандидатов; сравниваем с managed queue и
transactional outbox по таблице решений.
Теперь аргумент допускает проверку.
14. Чек-лист реконструкции
- Тезис записан одним предложением?
- Явные основания отделены от вывода?
- Какой вопрос «почему?» раскрывает мост?
- Скрытая посылка минимальна?
- Она соответствует словам и контексту автора?
- Не превращена ли локальная рекомендация во всеобщий запрет?
- Скрытая посылка фактическая, нормативная, причинная или ценностная?
- Можно ли спросить автора вместо угадывания?
- Сила вывода обозначена: необходимо, вероятно, правдоподобно?
- Реконструкция помогает улучшить аргумент, а не победить человека?
15. Задания
Восстановите минимум две возможные скрытые посылки и выберите наиболее
благожелательную:
- «Не нанимайте этого кандидата: он не задавал вопросов».
- «Перепишем на Rust — исчезнут падения».
- «Эту метрику нельзя использовать: она vanity».
- «Нам не нужен threat model, продукт внутренний».
- «Статья заслуживает доверия: она опубликована в хорошем журнале».
Для каждого случая укажите, какое свидетельство проверит скрытую посылку.
Источники
Что дальше
Мы умеем видеть пропущенный мост. Теперь вернёмся к первому систематическому
каталогу мнимых доказательств: языковым и внеязыковым софизмам Аристотеля.
Тринадцать софизмов Аристотеля