Посылка и вывод: как проверить связь между ними
Посылка — основание рассуждения; вывод — утверждение, которое из него получают. Для проверки нужно отдельно оценить посылки и связь с выводом: истинные сведения ещё не гарантируют, что именно этот вывод из них следует.
Где основание, а где результат рассуждения
В фразе «Зал работает до восьми, поэтому мы успеем после занятий» расписание используется как посылка, а возможность прийти — как вывод. Слова «потому что», «следовательно» и «поэтому» помогают увидеть связь, но не делают её правильной. Возможно, занятия заканчиваются позже или дорога занимает слишком много времени.
Ниже речь о простых цепочках, где заявлено строгое следование. В повседневных прогнозах основания могут лишь повышать вероятность вывода. Общее устройство аргумента через посылки и вывод рассмотрено в статье Stanford Encyclopedia of Philosophy о неформальной логике. Учебные правила библиотеки ниже вымышлены.
Четыре цепочки: что следует из условий
| Посылки | Вывод | Разбор |
|---|---|---|
| Все посетители с действующей записью вправе бронировать место. У Оли запись действует. | Оля вправе бронировать место. | Вывод следует из заданного правила. Фактическую действительность записи проверяют отдельно. |
| Бронь подтверждается только при свободном месте. Свободных мест нет. | Сейчас бронь не подтвердят. | Свободное место заявлено необходимым условием. При его отсутствии условие подтверждения не выполнено. |
| Зал закрывается в 20:00. Занятия заканчиваются в 19:00. | Мы точно успеем позаниматься. | Не хватает времени на дорогу, вход, доступ к месту и минимальной длительности работы. |
| Всем, кто забронировал место, пришло уведомление. Саше пришло уведомление. | Саша забронировал место. | Направление перепутано: уведомление могло относиться к другой услуге. Нужно дополнительное условие о его происхождении. |
Таблицу можно прокрутить в сторону.
Правильная форма и истинные посылки
Первая цепочка сохраняет вывод, если принять обе посылки. Но в реальной библиотеке правило может быть другим, а запись — просроченной. Проверка формы отвечает на вопрос «следует ли?», проверка сведений — на вопрос «верны ли основания?». Нельзя заменить одну другой.
В четвёртой цепочке даже истинность двух фраз оставляет возможность ошибочного вывода. Придумайте допустимую ситуацию: Саша получил уведомление о возврате книги, а место не бронировал. Это показывает, что исходных условий недостаточно. Мы не доказали, что Саша не бронировал; мы показали, что это пока не установлено.
Проверка связи между посылками и выводом
Выпишите все основания
Разделите длинное предложение на отдельные утверждения. Не считайте эмоциональную уверенность дополнительной посылкой.
Сохраните направление условия
«Если есть бронь, приходит уведомление» не означает «любое уведомление подтверждает бронь». Уточните, о каком уведомлении говорится.
Поищите случай без вывода
Могут ли названные основания быть верными, а вывод — ложным? Для строгого следования достаточно одного подходящего контрпримера.
Проверьте пропущенное условие
Если нужен дополнительный факт, обозначьте его и выясните, подтверждён ли он. Не добавляйте его молча ради спасения цепочки.
Упражнение: дополним третью цепочку
Предположим, дорога занимает 15 минут, на вход нужно ещё 5, место уже подтверждено, а для работы достаточно получаса. Тогда после занятий в 19:00 остаётся 40 минут до закрытия, и при этих условиях времени хватает. Это учебный расчёт при заданных допущениях; неожиданные задержки он не исключает.
Частые вопросы
Посылка — это обязательно доказанный факт?
Нет. В рассуждении могут использовать предположение, правило или спорное утверждение. Его роль остаётся ролью посылки, но надёжность нужно оценивать отдельно.
Вывод всегда находится в конце?
Нет. Автор может сначала назвать позицию, а затем основания. Найти вывод помогает вопрос «что здесь пытаются обосновать?», а не место предложения.
Если связь неверная, вывод точно ложен?
Нет. Он может случайно оказаться верным или поддерживаться другими основаниями. Ошибка показывает, что представленной цепочки для него недостаточно.