Формальные логические ошибки

Ошибки в самой форме вывода, независимо от темы

Условное высказывание «если P, то Q» обещает ровно одно: там, где есть P, будет и Q. О мире без P и о других причинах Q оно молчит, поэтому два хода из четырёх сломаны: подтверждение следствия («есть Q, значит есть P») и отрицание антецедента («нет P, значит нет Q»). Формальная ошибка опознаётся без знания предмета и закрывается контрпримером: случаем той же формы, где посылки истинны, а вывод ложен.

Модуль II. Логические ошибки · навыки Б1 · 19 мин · обновлено 12.09.2026

Прочитай два рассуждения. На слух они близнецы:

Если идёт дождь, асфальт мокрый. Дождь идёт. Значит, асфальт мокрый.
Если идёт дождь, асфальт мокрый. Асфальт мокрый. Значит, идёт дождь.

Первое безупречно: если посылки истинны, вывод не может быть ложным. Второе сломано: асфальт мог намочить поливальщик, мойка машин, прорванная труба. Ритм одинаковый, уверенность в голосе одинаковая, а судьба принципиально разная. Вот в чём беда: ухо не слышит разницы между правильным рассуждением и его сломанным двойником. Её видит только глаз, который знает, куда смотреть.

В модуле 1 мы научились разбирать аргумент на посылки и тезис и проверять посылки. Сегодня проверяем вторую деталь конструкции, связь. Даже при истинных посылках мостик к выводу бывает построен неправильно. Такие поломки называются формальными ошибками, потому что дефект не в содержании, а в самой форме. Их можно найти, вообще не зная, о чём речь, так же как инженер видит трещину в балке, не спрашивая, что на ней висит.

Что на самом деле обещает «если… то…»

Вся сегодняшняя история крутится вокруг одной конструкции: «Если P, то Q». Например: «Если у человека грипп (P), у него температура (Q)».

Важно понять, что эта фраза обещает и чего НЕ обещает. Она обещает ровно одно: где есть P, там будет и Q. Билет в одну сторону. Она молчит о том, откуда ещё берётся Q, ведь температура бывает от сотни причин. Молчит и о том, что происходит, когда P нет: нет гриппа, а температура всё равно возможна.

Представь «если P, то Q» как круг внутри круга: маленький круг P целиком лежит внутри большого круга Q. Всё, что в маленьком, находится и в большом. Но в большом круге полно мест за пределами маленького.

Достаточное и необходимое: два разных обещания

У той же конструкции есть вторая формулировка, и она объясняет почти все дальнейшие поломки одним движением. Стоит потратить на неё пять минут: дальше будет легче.

P называют достаточным условием для Q: чтобы получить Q, хватит P. Грипп достаточен для температуры: если грипп есть, температура будет. Но достаточное условие не обязано быть единственным. Дорог, ведущих к Q, может быть десяток, и P лишь одна из них.

А необходимое условие даёт совсем другое обещание: без него Q не бывает вовсе. Совершеннолетие необходимо для водительских прав, но одного совершеннолетия мало, права им не выдаются. Заметь, что эти два свойства независимы. Условие бывает достаточным и не необходимым (грипп для температуры), необходимым и не достаточным (возраст для прав), тем и другим сразу или ни тем ни другим.

Теперь фокус. Обе ломающиеся дальше ошибки это одна и та же подмена: достаточное условие прочитано как необходимое. «Раз есть температура, значит грипп» работало бы, только если бы грипп был единственной дорогой к температуре. «Раз гриппа нет, температуры не будет» говорит о том же, вид сбоку. Кто держит в голове разницу между «хватит» и «без этого никак», тот половину формальных ошибок ловит не задумываясь.

Проверять, какое из двух обещаний перед вами, удобно подстановкой. Фразу «Диплом нужен, чтобы работать врачом» попробуйте прочитать как «диплома достаточно, чтобы работать врачом». Звучит дико, значит, условие необходимое. Реплику «Хватит нажать эту кнопку, и дверь откроется» попробуйте прочитать как «дверь открывается только этой кнопкой». Тоже дико: условие достаточное. Русское «нужно» и «чтобы» одинаково обслуживают оба смысла, и половина бытовых недоразумений живёт ровно здесь.

Четыре машины на одной схеме

Из «Если P, то Q» можно построить четыре рассуждения. Два работают. Два ломаются. Прогони все четыре на примере с гриппом.

Ход 1 работает. «У него грипп → значит, у него температура». Из P следует Q, как и обещала посылка. Учёное имя звучит как modus ponens, но имя нам нужно меньше, чем рефлекс.

Ход 2 работает. «У него НЕТ температуры → значит, у него нет гриппа». Смотри, как это красиво: если бы грипп был, температура была бы обязательно, так сказала посылка. Температуры нет, значит, гриппа быть не может. Отрицание следствия законно отменяет причину (modus tollens). Это, кстати, любимая машина науки: теория предсказывает Q, мы проверяем и видим, что Q нет, значит, с теорией беда.

Ход 3 ломается. «У него температура → значит, у него грипп». Знакомая поломка? Это наш мокрый асфальт. Температура и есть большой круг, в нём кроме гриппа живут ангина, ковид, перегрев на пляже и прорезающиеся зубы. Имя поломки: подтверждение следствия.

Ход 4 ломается. «У него нет гриппа → значит, у него нет температуры». Посылка ничего не говорила о мире без гриппа. Убрали маленький круг, а большой никуда не делся. Имя: отрицание антецедента. Антецедент это P, часть после «если».

Запомнить, что работает, помогает одно правило: законно утверждать P («есть P, значит есть Q») и отрицать Q («нет Q, значит нет P»). Незаконно утверждать Q и отрицать P: про «есть Q» и про «нет P» посылка не обещала ничего.

Полезно заметить, что законные ходы идут в противоположные стороны. Утверждать можно только вперёд, от причины к следствию. Отрицать можно только назад, от отсутствия следствия к отсутствию причины. Стрелка разрешена в одну сторону, запрет действует в другую, и это не мнемоника, а прямое следствие того, что маленький круг лежит внутри большого.

Почему подтверждение следствия так липуче

Из четырёх ходов третий встречается чаще всех. Причина проста: он часто подтверждается. Температура и правда нередко идёт от гриппа, а мокрый асфальт от дождя. Мозг получает подкрепление и перестаёт видеть, что рассуждение не гарантирует, а лишь угадывает.

Где это стоит денег: «Успешные стартапы делают яркие питчи. Мы сделали яркий питч, значит, мы успешный стартап». «У лидеров рынка большие офисы. Снимем большой офис и станем лидером». Весь жанр «скопируй признак успешного и получи успех» сводится к одному большому подтверждению следствия, поставленному на поток. Признак не производит причину, как мокрый асфальт не вызывает дождь.

Отрицание антецедента встречается реже, но обходится дороже, потому что оно закрывает вопрос. «У него нет диплома, значит, он не разбирается». «Компания не тратит на рекламу, значит, у неё нет клиентов». «Он не спорил, значит, был согласен». В каждом случае убрали один путь к следствию и объявили, что путей больше нет. Проверяется этот ход одним вопросом: а какими ещё способами получается то же самое? Если способ находится хотя бы один, рассуждение уже не работает.

Стоит сказать и то, что этот ход не всегда бесполезен. «Асфальт мокрый, наверное, был дождь» звучит как разумная догадка, если поливальных машин в городе нет, а дожди часты. Незаконна не мысль, а слово «значит»: догадка выдаётся за вывод. Разница между «вероятно, P» и «следовательно, P» и есть всё содержание этой ошибки. Эта же разница заодно проводит границу между двумя сортами аргументов из прошлого урока.

Проверка формы за тридцать секунд

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

Делается это в три шага. Первый: сотри содержание и оставь схему «если A, то B; известно B; значит A». Второй: подставь в схему что угодно другое, где посылки очевидно истинны. «Если человек в Париже, он во Франции. Человек во Франции. Значит, он в Париже». Третий: посмотри на вывод. Он явно ложный при истинных посылках, значит, форма сломана, и с исходным рассуждением всё то же самое.

Приём хорош тем, что заканчивает споры. Собеседник может бесконечно доказывать, что в его случае вывод верен. Но если вы предъявили другой случай с той же схемой, истинными посылками и ложным выводом, вопрос о форме закрыт, независимо от того, кто прав по существу.

И полезно знать, что различать эти четыре хода людям тяжело даже в чистом виде. В психологии есть классическая задача выбора, где на одной и той же логической форме доля правильных ответов меняется в разы. Всё зависит от сюжета: про буквы и числа решают плохо, а про житейское правило заметно лучше. Разбор этой задачи с числами есть в курсе логики, а нам достаточно вывода. Форму надо проверять процедурой, а не чутьём: чутьё здесь работает плохо у всех, включая профессиональных спорщиков.

Зачем это тебе

Формальные ошибки это редкий случай, когда мышление проверяется почти механически. Найди «если… то…», определи, каким из четырёх ходов едет автор, и ты знаешь вердикт до всякого спора о содержании. Ни знание предмета, ни авторитет говорящего на этот вердикт не влияют.

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

Конспект

«Если P, то Q» обещает только одно: где P, там Q. Билет в одну сторону. Второе имя того же: P достаточно для Q, но не обязано быть необходимым, а дорог к Q может быть много. Обе поломки дня сводятся к чтению достаточного условия как необходимого. Законные ходы: есть P → есть Q (modus ponens) и нет Q → нет P (modus tollens). Поломки: есть Q → «есть P» (подтверждение следствия) и нет P → «нет Q» (отрицание антецедента). Подтверждение следствия липуче, потому что часто угадывает. Незаконна не догадка, а слово «значит». Проверку формы делает контрпример: сотри содержание, подставь другой случай с истинными посылками, посмотри на вывод. Спор о форме не равен спору о посылках: аргумент сдаёт два экзамена, и провалить их можно по отдельности. Тренажёр: Б1.

Вопросы для самопроверки

Что читать

• Курс логики школы «Фонтум», урок 6 «„Если"»: Добавка, а не условие: там та же связка разбирается формально, вместе с таблицей истинности и знаменитыми странностями материальной импликации. Здесь нам хватает четырёх ходов и контрпримера.
• Ирвинг Копи, «Введение в логику», глава об условных высказываниях: Классический учебник, где четыре хода разобраны подробно и с десятками примеров. Брать его целиком незачем, а нужная глава читается за вечер и закрывает тему навсегда.