Логика / исследуем тему
Чем дедукция отличается от индукции: необходимый вывод, обобщение и прогноз. Разбор примера из типографии, абдукция, контрпримеры и упражнения с ответами.
О чём этот раздел
Дедукция и индукция различаются прежде всего силой связи между посылками и заключением. Корректный дедуктивный переход гарантирует истинность заключения при истинных посылках. Индуктивный вывод получает поддержку от наблюдений, но выходит за пределы того, что ими непосредственно установлено. Поэтому новые сведения могут потребовать его пересмотра.
Формула «дедукция — от общего к частному, индукция — обратно» описывает лишь часть примеров. Из двух конкретных альтернатив тоже можно сделать дедуктивный вывод. А на основании статистического обобщения можно сформировать ожидание об одном случае. Существенно не направление движения между «общим» и «частным», а то, какую поддержку обеспечивает основание.
Рядом стоит абдукция — рассуждение к предполагаемому объяснению. На этой странице она отделена от индуктивных обобщений и прогнозов. В более широком употреблении «индукцией» иногда называют недедуктивные выводы вообще; поэтому при сравнении авторов нужно учитывать их определения. Далее все три способа рассмотрены на условной работе типографии с тиражом пригласительных билетов.
Библиотека темы
Материалы по теме: выберите вопрос, который интересует вас сейчас.
Несколько ракурсов
Назовите конкретные посылки: условие заказа, результаты проверки билетов или сведения о файле. «На десяти билетах неверная дата» описывает проверенные экземпляры. «В макете неверная дата» относит ошибку к исходному файлу и требует его проверки. Одно наблюдение не следует незаметно подменять другим.
Установить следствие принятых условий, оценить непроверенную часть тиража и найти причину дефекта — разные задачи. Одни данные могут участвовать в каждой, но требования к переходу будут различаться. Сначала полезно сформулировать точное заключение.
Укажите условия применения вывода. Данные об одном заказе не описывают автоматически все заказы. Верный расчёт не подтверждает правильность введённых чисел. А подходящее объяснение одного признака может оказаться слабым при учёте остальных наблюдений.
Это вопросы для чтения и размышления. Объяснение конкретной ситуации требует учитывать её обстоятельства.
Карта вопроса
Типография готовит 2000 билетов. Числа и обстоятельства заданы для объяснения логики; это не готовый план контроля качества.
Логика↗01ДедукцияИзвестно: утверждён хотя бы один из двух макетов, А или Б. Макет А не утверждён. Следовательно, утверждён Б. При истинности обеих посылок заключение не может быть ложным. Если же заказчик не утвердил ничего, ошибочной окажется первая посылка, а не форма перехода. Здесь нет движения от общего правила ко всем его частным случаям.
Юм и опыт↗02ИндукцияПроверены 80 билетов: номера на каждом напечатаны чётко. Это может поддерживать ожидание о читаемости номеров в тираже, но не гарантирует её для остальных 1920 билетов. Сила поддержки зависит от отбора: 80 соседних билетов с вершины одной пачки дают иные сведения, чем выбор по всему тиражу. Точный процент уверенности из одного числа 80 не получается.
Аргументация↗03АбдукцияНа нескольких билетах напечатана одна и та же неверная дата. Возможное объяснение — ошибка в общем исходном макете. Другое — в печать отправили устаревший файл. Гипотезы объясняют наблюдение, но само совпадение дат не выбирает между ними. Нужно учитывать их соответствие всем данным и искать проверки, при которых ожидания различаются.
Условная ситуация для разбора
Продолжим случай с неверной датой. Проверяющий хочет выяснить причину, не подменяя проверку уверенным названием проблемы.
Уточним версии: дата ошибочна уже в утверждённом макете; либо в нём дата верна, но отправленный файл отличается. Такая формулировка задаёт, какие именно файлы и значения сравнивать. Пока это кандидаты в объяснение, а не установленная история заказа.
Первая версия предполагает неверную дату в утверждённом макете. Для второй должны обнаружиться правильная дата в утверждённом файле и отличие отправленного. Эти проверки требуют надёжно установить версии файлов: неверная идентификация исходника разрушит связь между наблюдением и гипотезой.
Если проверка не согласуется с ожиданием, нужно пересмотреть гипотезу или использованные вспомогательные сведения. Если согласуется, она получает поддержку, но не исключает автоматически все другие причины. Отдельно оценивается распространённость дефекта в тираже: обнаружить механизм ошибки и подсчитать затронутые билеты — разные результаты.
Сравнение понятий
Слово «верно» может скрывать несколько разных оценок. Для ясности лучше назвать каждую отдельно.
Невозможно, чтобы все посылки были истинны, а заключение ложно.
Исходные утверждения действительно верны. Одна проверка формы этого не устанавливает.
Наблюдения существенно поддерживают заключение при заданных условиях.
Ложное заключение исключено при истинных посылках. К индукции такое требование не предъявляется.
Для тезиса «все номера напечатаны чётко» достаточно одного подтверждённого исключения.
Один нечитаемый номер ещё не устанавливает долю таких билетов во всём тираже.
Опорные понятия
Короткие пояснения помогают ориентироваться в материалах этого раздела.
С чего начать
Выберите вопрос и пройдите от базового разбора к исследованию или практике.
Можно ли сохранить посылки, отвергнув заключение?
Почему наблюдения поддерживают ожидания о новых случаях?
Практика понимания
Определите, что именно известно и насколько далеко идёт заключение.
На проверенных 80 билетах номера читаются. Проверяющий записал: «Следовательно, номера чёткие на всех 2000 билетах».
Как сохранить сведения и убрать лишнюю гарантию?
Зафиксировать результат в проверенной части и отдельно описать способ отбора. Заключение о тираже будет оценкой, зависящей от плана проверки и предположений. Не следует превращать 100% чётких номеров среди наблюдаемых экземпляров в установленную характеристику всей совокупности.
Случайный отбор помогает избежать систематического предпочтения одних экземпляров другим, но не гарантирует идеальную представительность конкретной выборки.
Если напечатан старый макет, на билетах старая дата. Старая дата обнаружена. Значит, точно напечатан старый макет.
Почему гипотеза ещё не доказана дедуктивно?
Та же дата могла попасть и в новый макет. Посылки допускают эту альтернативу, поэтому переход не гарантирует заключение. Гипотеза может оставаться разумной для проверки; её оценка требует сравнения файлов и других относящихся к делу сведений.
Отсутствие дедуктивного доказательства не делает объяснение автоматически бесполезным.
Частые вопросы
Нет. Пример с двумя макетами использует конкретные альтернативы. Критерий дедуктивной корректности — невозможность истинных посылок при ложном заключении. Поэтому направление «от общего к частному» не определяет дедукцию, а направление в обратную сторону само по себе не определяет индукцию.
Не обязательно. Форма может сохранять истину при условии истинных посылок, хотя в действительности одна из них ложна. Тогда этот аргумент не даёт гарантии истинности реального заключения. Оно тоже может быть ложным, но может оказаться истинным: нужно проверять содержание.
Размер важен, но не исправляет автоматически смещённый отбор. Повторная проверка только удобной пачки не заменяет сведений о других частях тиража. Следует также учитывать изменения условий: вывод о прежнем заказе может плохо переноситься на новый материал или другой процесс.
Юм спрашивает, чем обоснован переход от наблюдавшегося к ещё не наблюдавшемуся. Продолжение прежней регулярности не следует с необходимостью, а ссылка на прошлые успехи такого переноса сама использует спорный принцип. Это вопрос об основании вывода, а не заявление, что опыт бесполезен или все прогнозы одинаковы.
Простота может участвовать в сравнении, но не заменяет соответствия данным. Самая удобная из рассмотренных версий может уступать гипотезе, которую ещё не предложили. Абдукция требует объяснительной работы и сравнения альтернатив; её вывод остаётся открытым для пересмотра.
Источники и контекст
Учебные, академические и исследовательские источники для знакомства с темой. Материалы раздела содержат собственные пояснения и ссылки.
Как мы работаем с материалами ↗Особенно §§15–21: основания переноса опыта на ненаблюдавшиеся случаи. Английский первичный текст.
Разделы о дедуктивной корректности, контрпримерах и индуктивных выводах.
Разделы 1.1–2 и 3.1: объяснительный вывод, его варианты и ограниченность набора гипотез.
Почему случайный отбор помогает избежать смещения, не гарантируя идеальности каждой выборки.
Раздел 1: широкое и узкое употребление «индукции», различие корректности перехода и истинности оснований.
Продолжить маршрут
