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