Посылки и заключение

Логика занимается не тем, что сказано, а тем, как одно вытекает из другого

Аргумент это набор высказываний, в котором одни (посылки) приведены в поддержку другого (заключения). Логика проверяет здесь не истинность самих посылок, а сам переход от посылок к заключению: может ли случиться так, что посылки истинны, а заключение при этом оказывается ложным.

forall x: Calgary, гл. 1 «Arguments». Аристотель, «Первая аналитика», кн. I · 20 мин · обновлено 06.09.2026

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

Через несколько уроков вы сможете показать, и не «мне кажется», а точно. Поломок тут бывает ровно две, и они разные. Либо сломан переход: всё сказанное истинно, а вывод всё равно не обязан быть правдой. Либо переход цел, а неверно что-то из самого сказанного. На слух эти две вещи почти неразличимы, спорить о них надо по-разному, и путаница между ними портит больше споров, чем любая другая. Этот курс о том, как их различать, и начинается он с разбора того, из чего вообще сделано рассуждение.

Три предложения на столе

Возьмём кусок обычной речи. «Не бери эту машину: расход у неё огромный, а запчасти золотые». Здесь три утверждения: расход большой, запчасти дорогие, машину брать не стоит. Первые два предъявлены как основания, а третье и есть то, к чему вас склоняют. Разница не в содержании и не в порядке (третье утверждение стояло первым), а в роли.

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

Роли в речи почти всегда помечены словами. «Потому что», «ведь», «поскольку» стоят перед посылкой, а «значит», «следовательно», «поэтому» стоят перед заключением. Если пометок нет, работает вопрос в чём меня тут убеждают? Ответ на него и есть заключение.

То, что между

Самое интересное в аргументе не посылки и не заключение, а переход между ними. Он не написан, его нигде нет в тексте, и именно он бывает сломан. Вернёмся к кухонному спору и разложим по ролям, ничего не меняя в словах:

Посылка 1. Если он виноват, он сюда не придёт.
Посылка 2. Он пришёл.
Заключение. Он не виноват.

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

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

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

Два разных вопроса, которые все время путают

Услышав чужое рассуждение, можно спросить две совершенно разные вещи. Первый вопрос: правда ли то, что сказано в посылках? Действительно ли расход большой, действительно ли он пришёл? На это отвечает знание предмета: измерения, документы, память, специалист.

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

Шаг 1. Принимаем: если он виноват, он сюда не придёт. Спорить не будем.
Шаг 2. Принимаем: он пришёл.
Шаг 3. Спрашиваем: обязан ли он теперь быть невиновным?
Шаг 4. Ищем случай, где обе принятые вещи верны, а невиновность ложна.
Шаг 5. Случай находится за секунду. Виноватый пришёл именно затем, чтобы не выглядеть виноватым. Тогда посылка 1 просто оказалась ложной, а мы её приняли, значит внутри нашего допущения этот случай запрещён.

Здесь надо остановиться: пятый шаг сделан неаккуратно, и это видно. Если мы приняли посылку 1, то мир, где виноватый приходит, мы сами и запретили. И это, между прочим, правильный вывод: приняв обе посылки целиком, невиновность действительно получаешь. Переход в кухонном споре не сломан.

Сломано другое: посылка 1 ложна. Фраза «виноватый сюда не придёт» говорит о людях, а не о логике, и она неверна: виноватые приходят. Вот эту разницу и надо унести из урока. Плохое рассуждение бывает плохим по двум непохожим причинам: либо посылки ложны, либо сломан переход. Лечатся они разным, а путаница между ними уводит спор не туда.

Где интуиция даёт другой ответ

Спросите себя быстро: может ли рассуждение с ложными посылками быть безупречным?

Почти все отвечают «нет». Ответ неверный.

«Все птицы умеют говорить по-русски. Пингвин есть птица. Значит, пингвин умеет говорить по-русски». Первая посылка ложна, заключение ложно. И при этом переход здесь идеальный: первая посылка накрывает всех птиц разом, пингвин в их числе, и придраться тут не к чему.

Логика об этом аргументе скажет: переход безупречен, и будет права. Претензия к нему есть, но она не логическая: посылка не соответствует действительности. Работает и обратное: «Москва является столицей России. Значит, дважды два четыре». Обе фразы истинны, а перехода между ними нет никакого.

Отсюда правило, которое стоит запомнить дословно: из истинности посылок и заключения ничего не следует о качестве перехода, а из качества перехода ничего не следует об истинности посылок. Это два независимых свойства. В уроке 2 они получат отдельные имена, чтобы их нельзя было спутать даже случайно.

Гарантия и правдоподобие

Не всякое разумное рассуждение обещает гарантию. «Я видел сто ворон, все были чёрные. Значит, все вороны чёрные». Рассуждение неплохое: примерно так работает всякая наука. Но гарантии нет: сто чёрных ворон совместимы со сто первой белой.

Сравните: «Все вороны чёрные. Эта птица есть ворона. Значит, она чёрная». Здесь гарантия есть: приняв посылки, отвертеться от заключения нельзя никак.

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

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

Аргументы сцепляются

В настоящем споре редко бывает один переход: обычно их несколько, и они держатся друг за друга. «Аня не могла разбить вазу: её не было дома. Она была на работе до девяти, а ваза разбилась в семь». Разложим: тут два аргумента, а не один.

Первый. Посылка: Аня была на работе до девяти. Посылка: ваза разбилась в семь. Заключение: Аню дома не было.

Второй. Посылка: Ани дома не было. Заключение: вазу разбила не она.

Заметьте, что произошло с одним утверждением: «Ани не было дома» в первом аргументе служит заключением, а во втором уже посылкой. Одна и та же фраза, две разные роли. Отсюда важное: посылка и заключение обозначают роли, а не сорта утверждений. Спрашивать «это посылка или заключение?» про фразу саму по себе бессмысленно, вопрос имеет смысл только внутри конкретного аргумента.

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

Похоже на аргумент, но не аргумент

«Окна запотели, потому что на улице холодно». Здесь есть «потому что», есть два утверждения, формально всё как в аргументе. Но никто не убеждает вас в том, что окна запотели: вы это и так видите.

Это объяснение: оно отвечает на вопрос «почему так вышло?», а не «почему я должен в это поверить?». Заключение в объяснении уже принято обеими сторонами. Проверка занимает секунду. Спросите: спорят ли о том, что стоит после «потому что»? Если да, перед вами аргумент, а если это и так признано, то объяснение.

Разница практическая, а не терминологическая. Логику объяснения проверять бессмысленно: оно не обязано гарантировать свой вывод, оно обязано быть верным по существу. Кто требует от объяснения дедуктивной строгости, тот придирается не по адресу. И ещё две вещи, которые аргументом не являются.

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

«Закрой окно» не истинно и не ложно, его можно выполнить или не выполнить. «Холодно ли на улице?» не истинно и не ложно, на него отвечают. Проверка простая: попробуйте приставить спереди «неверно, что». Фраза «неверно, что на улице холодно» получается, значит утверждение годится. Фраза «неверно, что закрой окно» не получается.

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

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

Что дальше

Мы разделили аргумент на части и нашли ту, которой занимается логика. Дальше её надо научиться оценивать. В уроке 2 у двух свойств появятся отдельные имена (правильность и обоснованность), и станет видно, почему их нельзя смешивать даже в разговоре.

В уроке 3 появится инструмент контрпример, единственный способ доказать, что перехода нет: не «мне кажется неубедительным», а конкретный случай, который закрывает вопрос. А потом выяснится, что для надёжной работы обычного языка не хватает, и придётся строить свой.

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

Что читать

• forall x: Calgary, гл. 1 «Arguments»: Английский оригинал программы курса. Читать сразу после урока стоит по одной причине: терминология здесь намеренно совпадает с книгой, и дальше это сэкономит время.
• Аристотель, «Первая аналитика», книга I, главы 1-4: Место, где рассуждение впервые записано буквами. Читать тяжело и совершенно не обязательно, но стоит хотя бы открыть, чтобы увидеть: приём, которым мы пользуемся, придуман один раз и очень давно.