Контрпример
Спорить с посылками бесполезно, если хочешь опровергнуть переход
Контрпример это ситуация, в которой все посылки аргумента истинны, а заключение ложно. Один контрпример доказывает, что заключение не следует из посылок. Другого способа показать «не следует» в логике нет, и потому поиск контрпримера остаётся главным рабочим приёмом.
forall x: Calgary, гл. 2 «The scope of logic», метод подстановки идёт от Аристотеля · 24 мин · обновлено 06.09.2026
После урока вы сможете
- Строить контрпример: случай, где посылки истинны, а заключение ложно
- Опровергать переход подстановкой другого содержания в ту же форму
- Понимать, почему отсутствие найденного контрпримера ничего не доказывает
- Не подменять опровержение перехода спором о посылках
Спор в чате. Кто-то пишет: «Если человек читает книги, он умный. Петя читает книги. Значит, Петя умный». Вы чувствуете, что возразить есть что, и начинаете: «Ну не все же читающие умные, бывают и дураки с книжкой».
Всё, вы проиграли этот спор, и не потому, что не правы, а потому, что ударили не туда. Вы усомнились в посылке, а переход в этом аргументе как раз безупречный: если принять, что читающие умны, и что Петя читает, то умность Пети никуда не денется.
Собеседник это чувствует и отвечает: «Я же сказал: если читает, то умный. Ты просто с этим не согласен». И он прав. Есть другой удар, и он бьёт по переходу. Этот урок о том, как его наносить.
Что такое контрпример
Вспомним, что означает правильность: невозможен случай, где все посылки истинны, а заключение ложно. Отрицание этого утверждения устроено просто: если правильность означает «такого случая не бывает», то неправильность означает «такой случай бывает». Значит, чтобы показать, что следования нет, достаточно предъявить один такой случай. Он называется контрпримером.
Требования к нему жёсткие и всего два: все посылки в нём истинны и заключение в нём ложно. Больше ничего не требуется: ни правдоподобия, ни реалистичности, ни того, чтобы случай когда-нибудь бывал.
И одного достаточно, а не двух, не десяти и не «в большинстве случаев»: один случай закрывает вопрос окончательно, потому что опровергнутое утверждение было о невозможности. Это стоит осознать отдельно, потому что в спорах о фактах всё устроено иначе. Там один пример почти ничего не весит: одна выздоровевшая бабушка не доказывает пользы лекарства. Здесь один пример весит всё.
Реплика «У меня знакомый читает и глупый» не является контрпримером к аргументу про Петю. Это возражение против посылки «кто читает, тот умный». Спор о посылках остаётся законным делом, но он не про логику и решается фактами. Контрпример устроен наоборот: он принимает все посылки как истинные и всё равно рушит заключение.
Разбор по шагам: строим контрпример
Возьмём аргумент, где переход действительно сломан: «если шёл дождь, асфальт мокрый. Асфальт мокрый. Значит, шёл дождь». Ищем случай, и каждый шаг назову вслух, ни один не пропущу.
Шаг 1. Выписываем, что должно быть истинным: посылка «если шёл дождь, асфальт мокрый» и посылка «асфальт мокрый».
Шаг 2. Выписываем, что должно быть ложным: заключение «шёл дождь». Значит, в нашем случае дождя не было.
Шаг 3. Проверяем, не поссорились ли требования между собой. Дождя не было, асфальт мокрый: ссоры нет, это сочетание мыслимо.
Шаг 4. Проверяем первую посылку. «Если шёл дождь, асфальт мокрый», а дождя-то не было. Утверждение о том, что бывает при дожде, не нарушено ничем: дождя просто не случилось. Посылка истинна.
Шаг 5. Придумываем, как это выглядит. Ночью проехала поливальная машина.
Случай построен: дождя не было, асфальт мокрый, обе посылки истинны, заключение ложно. Переход опровергнут.
Пятый шаг, кстати, необязателен. Логике достаточно четвёртого: сочетание значений непротиворечиво, и этого хватает. Поливалку мы придумали для себя (чтобы случай стал видимым, а не остался строчкой значений), но проверяет логика именно строчку.
Подстановка: как опровергнуть форму
Есть второй способ, и он часто быстрее: он бьёт не по конкретному аргументу, а по его форме. Приём такой: оставить устройство, поменять содержание так, чтобы ложность заключения стала очевидной каждому.
Вернёмся к спору про Петю. Форма там: «если A, то B; A; значит B». Пробуем подставить и не находим ничего: эта форма правильная, подстановкой её не сломать, и слава богу. Это modus ponens, самое надёжное правило в логике.
Теперь возьмём похожий, но другой аргумент: «если человек умный, он читает книги. Петя читает книги. Значит, Петя умный». Форма: «если A, то B; B; значит A». Подставляем что-нибудь безжалостное: «если человек есть кот, он млекопитающее. Собака есть млекопитающее. Значит, собака есть кот».
Готово: посылки бесспорны, заключение оказалось чушью, форма та же самая, значит, форма не работает, а с ней и рассуждение про Петю. Красота приёма в том, что спорить теперь не с чем. Собеседник не может сказать «я не согласен с твоей посылкой»: посылки он и сам признаёт. Ему остаётся либо признать поломку, либо объяснить, чем его случай устроен иначе, а это уже разговор по существу.
Подстановка работает и в обратную сторону, как способ проверить себя. Если для формы никак не подбирается провальная подстановка, это повод заподозрить, что форма правильная, и переключиться с опровержения на доказательство. Подстановку надо уметь выбирать, и правил тут три.
Первое: брать область, которую знают все. Кошки, собаки, города, дни недели, числа. Подстановка про белки и рибосомы никого не убедит: собеседник будет спорить не с формой, а с биологией.
Второе: делать ложность заключения бесспорной. «Собака есть кот» хорошо именно тем, что тут не может быть двух мнений: если заключение подстановки спорное, спор просто переедет туда.
Третье: следить, чтобы форма совпала полностью. Это место, где подстановки чаще всего портятся: стоит потерять одно «не» или переставить посылки, и вы опровергаете уже другую форму, а собеседник справедливо это заметит.
Когда посылок несколько
С одной посылкой всё просто, а с тремя появляется работа: истинными должны стать все, а не какая-нибудь. «Если Аня пришла, то Боря пришёл. Если Боря пришёл, то Вера пришла. Вера пришла. Значит, Аня пришла».
Строим случай. Заключение должно быть ложным, значит Ани нет. Записываем: Аня не пришла. Третья посылка должна быть истинной, значит Вера есть. Записываем: Вера пришла. Про Борю пока ничего не сказано, попробуем оба варианта, их всего два.
Пробуем: Боря пришёл. Проверяем первую посылку: «если Аня, то Боря». Ани нет, поэтому утверждение о том, что бывает при Ане, не нарушено, посылка истинна. Вторая: «если Боря, то Вера». Боря есть, Вера есть, истинна. Третья истинна, все три сошлись, заключение ложно. Контрпример готов: Ани нет, Боря и Вера пришли. Этого достаточно, второй вариант можно не проверять.
Обратите внимание на приём: мы не гадали наугад. Мы шли от жёстких требований к свободным: сначала записали то, что определено однозначно (заключение ложно, третья посылка истинна), а перебирать стали только то, что осталось неопределённым. Свободное место было одно, и вариантов у него два. При трёх свободных местах вариантов набирается восемь. Отсюда видно, куда всё катится и почему в модуле III понадобится способ выписывать такие переборы аккуратно, а не в уме.
Асимметрия, о которой надо помнить всегда
Здесь начинается самое важное место урока, и оно же самое неудобное: контрпример остаётся инструментом односторонним. Если он найден, вопрос закрыт: следования нет, и никакие дальнейшие рассуждения этого не изменят. Если он не найден, не доказано ничего. Ровно ничего. Возможно, случая нет, а возможно, вы плохо искали.
Разница между «я не нашёл» и «его не существует» здесь такая же, как между «я не видел чёрных лебедей» и «чёрных лебедей нет».
Отсюда честный ответ на вопрос, где мы сейчас находимся: опровергать переходы мы умеем, и умеем окончательно, а подтверждать не умеем вовсе. Это неприятно, и с этим надо что-то делать. Делать будем двумя разными способами, и оба займут по модулю.
Способ первый: перебрать все случаи. Если случаев конечное число, их можно просто выписать все и посмотреть, нет ли среди них провального. Это таблица истинности, модуль III.
Способ второй: построить путь от посылок к заключению. Если удаётся дойти маленькими шагами, каждый из которых заведомо надёжен, то результат надёжен весь. Это вывод, модуль IV. Первый способ надёжнее, второй практичнее, а почему нужны оба, станет ясно в уроке 10.
Асимметрия «одно опровержение сильнее тысячи подтверждений» составляет общую черту многих строгих рассуждений. Одно измерение, противоречащее теории, весит больше сотни согласующихся. Логика остаётся редким случаем, где эту асимметрию удаётся снять: перебрав все случаи, доказать отсутствие контрпримера всё-таки можно. В науке о природе перебрать все случаи нельзя никогда.
Чего контрпример не делает
Три оговорки, без которых инструмент используют не по назначению. Контрпример не показывает, что заключение ложно. Он показывает, что заключение не гарантировано посылками: Петя вполне может быть умным, просто не в силу того, что читает. Это различие рушится в спорах постоянно: «твой аргумент сломан» слышится как «ты неправ по существу», хотя означает совсем другое, а именно «твой довод не работает, найди другой».
Контрпример не показывает, что посылки ложны. Наоборот: он их принимает, в этом весь приём.
Контрпример не работает против правдоподобных рассуждений. Для рассуждения «Сто ворон были чёрные, значит все вороны чёрные» случай, где посылка истинна, а заключение ложно, придумывается мгновенно. И что? Рассуждение и не обещало гарантии, оно обещало правдоподобие, и оценивать его надо по другой мерке, вероятностной.
Мерка выбирается по тому, на что аргумент претендует. Если на гарантию, то контрпример уместен и убийствен. Если на правдоподобие, то контрпример уже не опровержение, а просто напоминание, что гарантии не было. Как понять, на что претендует чужой довод? По словам вокруг: «значит», «следовательно», «обязательно», «не может быть иначе» обещают гарантию, а «скорее всего», «как правило», «обычно», «есть основания думать» обещают правдоподобие.
Если слов нет вовсе (а их часто нет), стоит спросить прямо: «ты говоришь, что это обязательно так, или что это вероятно?» Вопрос звучит въедливо, зато сразу прекращает половину бесплодных споров. Люди нередко защищают гарантию, имея в виду правдоподобие, и обнаруживают это только когда их спрашивают.
И всё же оговорки не отменяют главного, ради чего инструмент заводили. Найденный контрпример закрывает вопрос навсегда: спорить о переходе больше не о чем, и ни авторитет, ни красноречие тут не помогут. Такого не даёт ни один довод по существу, ведь они всегда допускают встречный.
Что дальше
Тренажёр ниже даёт шесть аргументов: в части из них контрпример есть, в части его нет вовсе, и заранее не сказано, где что. Стоит попробовать честно: сначала строить случай руками, и только потом смотреть полный перебор. Ощущение «ищу и не могу найти» и есть рабочее ощущение логика, и его полезно прочувствовать до того, как появится таблица.
Дальше нас ждёт неприятное открытие. Обычный язык для этой работы плохо приспособлен: одно и то же слово в нём значит разное, а форма спрятана за словами так, что её не видно. Модуль II строит язык, в котором она видна.
Случай, которого не должно быть
Шесть аргументов. В части из них контрпример есть, в части его нет вовсе, и заранее не сказано где что. Стройте случай руками, а полный перебор смотрите только после честной попытки.
Откуда это и кто доказал
| Аристотель, «Первая аналитика» | ок. 350 до н. э. | Метод опровержения силлогистической формы подстановкой другого содержания: чтобы отвергнуть модус, приводится тройка терминов с истинными посылками и ложным заключением. |
Ловушки и теоремы
Естественный ход в споре состоит в том, чтобы усомниться в посылке, и он бьёт мимо перехода. Аргумент «кто читает, тот умный; Петя читает; значит Петя умный» имеет безупречный переход, и возражение «бывают глупые читатели» его не задевает: оно спорит с посылкой, которую собеседник и не собирался доказывать. Контрпример устроен наоборот: он принимает все посылки истинными и рушит заключение.
Ненайденный контрпример не доказывает ничего: возможно, случая нет, а возможно, поиск был плохой. Инструмент односторонний: он опровергает окончательно и не подтверждает никак. Доказательство правильности требует другого: перебрать все случаи (таблица истинности, модуль III) или построить путь от посылок к заключению (вывод, модуль IV).
Он показывает только, что заключение не гарантировано посылками. Петя может быть умным, просто не в силу того, что читает. В спорах эта разница исчезает постоянно: «твой аргумент сломан» слышат как «ты неправ по существу», хотя сказано «твой довод не работает, найди другой».
Термины
- контрпримерcounterexample
- Случай, в котором все посылки аргумента истинны, а заключение ложно. Одного достаточно, чтобы показать отсутствие следования. Правдоподобие от него не требуется.
- подстановкаsubstitution instance
- Замена содержания аргумента другим при сохранении логической формы. Приём опровержения: если у формы есть подстановка с истинными посылками и ложным заключением, форма неправильна.
- асимметрия опроверженияasymmetry of refutation
- Свойство контрпримера: найденный закрывает вопрос окончательно, ненайденный не доказывает ничего. Поэтому опровергать переходы курс умеет с третьего урока, а подтверждать научится только с восьмого.
- перебор случаевexhaustive check
- Способ доказать отсутствие контрпримера: выписать все мыслимые случаи и убедиться, что провального среди них нет. Возможен, только когда случаев конечное число.
- modus ponensmodus ponens
- Форма «если A, то B; A; значит B». Правильна: подстановки с истинными посылками и ложным заключением для неё не существует.
- подтверждение следствияaffirming the consequent
- Форма «если A, то B; B; значит A». Неправильна: опровергается подстановкой «если это кот, то млекопитающее; собака есть млекопитающее; значит собака есть кот».
Практикум · Двенадцать минут против одной формы
Упражнение на скорость: контрпример должен стать движением, а не сочинением. Возьмите один аргумент (свой или из спора, который вы наблюдали) и обработайте его целиком.
- Выпишите аргумент столбиком, а рядом запишите его форму, заменив содержание буквами.
- Заведите две колонки: «должно быть истинным» (все посылки) и «должно быть ложным» (заключение). Впишите туда требования.
- Проверьте, не противоречат ли требования друг другу. Если противоречат, контрпримера этим путём не построить. Переходите к шагу 5.
- Подберите содержание, при котором обе колонки выполняются, и запишите случай одной фразой: «бывает так, что…». Проверьте вслух каждую посылку на истинность в этом случае. Именно этот шаг пропускают чаще всего.
- Если случай не нашёлся за десять минут, не объявляйте аргумент правильным. Запишите честно: «контрпример не найден» и отметьте, какие сочетания вы успели перебрать. К этой записи вы вернётесь после урока 8.
Вопросы для самопроверки
«Все врачи учились в вузе. Аня училась в вузе. Значит, Аня врач». Какой из случаев является контрпримером?
- Аня врач, но училась не в вузе, а в училище: заключение верно, а посылка нарушена
- Аня работает инженером с высшим образованием, и все врачи действительно учились в вузе
- Аня не училась нигде и врачом не является
- Некоторые врачи получили диплом за границей, и обобщение из первой посылки не выдерживает проверки
Вы искали контрпример полчаса и не нашли. Что из этого следует?
- Аргумент правилен: получаса перебора достаточно, чтобы это установить
- Аргумент, скорее всего, правилен, ведь вероятность растёт с длительностью поиска
- Ничего не следует: инструмент опровергает, но не подтверждает
- Аргумент неправилен, просто контрпример слишком сложен, чтобы его увидеть
Чем контрпример отличается от возражения против посылки?
- Контрпример принимает все посылки истинными и рушит заключение
- Контрпример опирается на реальный случай, а возражение строится на выдуманном
- Контрпример относится к дедуктивным аргументам, а возражение относится к правдоподобным
- Ничем: это два названия одного и того же приёма
«Если препарат работает, больным становится лучше. Больным стало лучше. Значит, препарат работает». Какая подстановка опровергает эту форму лучше всего?
- Если препарат работает, больным становится лучше; препарат не работает; значит, больным не стало лучше
- Если больным стало лучше, препарат работает; больным стало лучше; значит, препарат работает
- Если человек в Москве, он в России; человек в России; значит, он в Москве
- Если препарат работает, больным становится лучше; больным не стало лучше; значит, препарат не работает
«Сто проверенных лебедей были белыми, значит все лебеди белые». Годится ли здесь контрпример как опровержение?
- Да, и он окончателен: чёрный лебедь существует
- Да, но только если чёрного лебедя действительно нашли
- Нет, потому что посылка о ста проверенных лебедях истинна, а контрпример требует ложной посылки, какой здесь не найти
- Опровержением он не является: рассуждение и не обещало гарантии, оценивать его надо вероятностной меркой
Ответы и разбор открываются в самопроверке урока: она считает результат и отмечает урок пройденным. Пройти самопроверку.
Что читать
- Тренажёр «Контрпример» на этой странице: Шесть аргументов, часть из которых правильные. Кнопку полного перебора стоит нажимать только после честной попытки: ощущение «ищу и не нахожу» и есть рабочее состояние, и его полезно узнать заранее.
- forall x: Calgary, гл. 2 «The scope of logic»: Короткий и точный разбор с упражнениями. Упражнения стоит сделать: приём осваивается количеством, а не пониманием.