Дедуктивное умозаключение: логика и распространенные ошибки

Дедуктивное умозаключение — это единственный вид рассуждения, который дает гарантию. Если посылки истинны, а структура правильна, вывод не может быть ложным. Это более твердое обещание, чем дает любая другая форма аргументации, и именно поэтому дедукция лежит в основе математики, формальной логики и того, как проверяются гипотезы в науке.

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

<CTA title="Стройте аргументы, которые выдержат критику" description="Jenni помогает структурировать рассуждения, проверять утверждения по источникам и писать с точностью" buttonLabel="Попробовать Jenni бесплатно" link="https://app.jenni.ai/register" />

Что такое дедуктивное умозаключение?

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

Учебный пример состоит всего из трех строк:

Все млекопитающие — позвоночные. Все киты — млекопитающие. Следовательно, все киты — позвоночные.

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

Валидность и обоснованность — это не одно и то же

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

Дедуктивный аргумент является валидным, когда его структура гарантирует вывод: как формулирует Интернет-энциклопедия философии, валидным аргументом является тот, форма которого такова, что если посылки истинны, то и вывод должен быть истинным. Валидность вообще ничего не говорит о том, истинны ли посылки на самом деле.

Аргумент является обоснованным, когда он валиден и все его посылки на самом деле истинны. Обоснованность — это то свойство, которое вам действительно нужно.

Вот совершенно валидный аргумент, который абсолютно необоснован:

Все птицы умеют летать. Пингвины — птицы. Следовательно, пингвины умеют летать.

Логика безупречна. Первая посылка ложна, поэтому вывод бесполезен. Это имеет огромное значение в академическом письме, поскольку обзор литературы — это цепочка аргументов, построенных на посылках, которые вы не проверяли сами. Ваши рассуждения могут быть безупречными, а вывод все равно окажется неверным из-за того, что один из процитированных результатов не удалось воспроизвести. Аудит посылок — это отдельная работа, отличная от проверки логики, и понимание того, что делает источник заслуживающим доверия, — это то, как вы ее выполняете.

<ProTip title="🗝️ Ключевая идея:" description="Валидность касается структуры, а обоснованность — истины. Когда кто-то называет аргумент валидным, спросите, имеют ли они в виду, что рассуждение логично или что вывод верен, потому что это разные утверждения" />

Повседневные примеры дедуктивного умозаключения

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

• Медицина. У каждого пациента с этой инфекцией тест на этот анализ оказывается положительным. У этого пациента тест отрицательный. Следовательно, у этого пациента нет этой инфекции.

• Право. Закон применяется к договорам, подписанным после января 2024 года. Этот договор был подписан в 2022 году. Следовательно, закон не применяется.

• Программное обеспечение. Если конфигурационный файл отсутствует, служба не запускается. Служба запустилась. Следовательно, конфигурационный файл присутствует.

• Математика. Каждое доказательство по своей сути является дедуктивным. Аксиомы — это посылки, а теорема — вынужденный вывод.

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

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

Пять форм, о которых стоит знать

Дедуктивные аргументы принимают узнаваемые формы. Изучение их названий — это не педантизм: как только вы научитесь видеть форму, вы сможете проверить аргумент за секунды, вместо того чтобы спорить о нем часами.

Modus ponens (утверждающий модус)

Если P, то Q. P истинно. Следовательно, Q. Если прошел дождь, то поле мокрое. Прошел дождь. Значит, поле мокрое. Это рабочая лошадка тестирования гипотез и форма, которую принимает практически каждое исследовательское предсказание.

Modus tollens (отрицающий модус)

Если P, то Q. Q ложно. Следовательно, P ложно. Если лекарство работает, симптомы уменьшаются. Симптомы не уменьшились. Значит, лекарство не работает. Это логическая форма фальсификации, и именно эта форма придает силу отрицательным результатам.

Гипотетический силлогизм

Если P, то Q. Если Q, то R. Следовательно, если P, то R. Если финансирование растет, штат сотрудников увеличивается. Если штат сотрудников увеличивается, время ожидания сокращается. Значит, если финансирование растет, время ожидания сокращается. Цепочки таких условных связей — это то, как строятся теоретические аргументы в обзоре литературы.

Разделительный силлогизм

Или P, или Q. Не P. Следовательно, Q. Либо образец был загрязнен, либо срок годности реагента истек. Образец не был загрязнен. Значит, срок годности реагента истек. Полезен для исключения объяснений и опасен, когда список альтернатив не полон.

Категорический силлогизм

Все M суть P. Все S суть M. Следовательно, все S суть P. Классическая форма с тремя суждениями и ровно тремя терминами: большим термином, который является предикатом вывода, меньшим термином, который является его субъектом, и средним термином, который присутствует в обеих посылках, но отсутствует в выводе.

Две невалидные формы, которые кажутся валидными

Этим двум формам стоит уделить больше внимания, чем всем пяти валидным формам вместе взятым, потому что они убедительны, чрезвычайно распространены и приводят к уверенно звучащим выводам, которые на самом деле не следуют из посылок.

Подтверждение консеквента. Если P, то Q. Q истинно. Следовательно, P. Если теория верна, показатели растут. Показатели выросли. Значит, теория верна. Невалидно, поскольку показатели могли вырасти по какой-то другой причине. Это самая важная ошибка в эмпирических исследованиях по причинам, о которых пойдет речь в следующем разделе.

Отрицание антецедента. Если P, то Q. P ложно. Следовательно, не Q. Если теория верна, показатели растут. Теория неверна. Значит, показатели не вырастут. Невалидно, поскольку существуют другие причины.

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

<ProTip title="🧩 Проверка формы:" description="Прежде чем оценивать аргумент, сведите его к P и Q. Как только содержательная часть исчезнет, невалидная форма станет очевидной — в отличие от ситуации, когда предложения звучат авторитетно" />

Дедуктивное умозаключение против индуктивного

Большинство исследований используют оба метода циклически. Различие заключается в направлении и в том, что каждый из них может вам гарантировать.

Связь с теорией — это то, что стоит запомнить. Как пишет Бхаттачерджи в своем учебнике по методологии, индуктивное исследование — это исследование, направленное на построение теории, а дедуктивное — на ее проверку, и для развития науки необходимы оба подхода.

Как дедуктивное умозаключение работает в исследованиях

Формальное название для применения в исследованиях — гипотетико-дедуктивный метод: вы выводите наблюдаемые следствия из проверяемой гипотезы, а затем идете и проверяете их. Стэнфордская философская энциклопедия отмечает, что у него нет единственного основателя, поскольку этот метод развивался Уэвеллом в девятнадцатом веке, а его стандартную современную формулировку дал Гемпель в 1966 году.

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

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

<ProTip title="📐 Структура:" description="Запишите ваше предсказание в виде одного предложения по формуле: если [теория] верна, то в [популяции] мы должны наблюдать [измеряемый результат]. Если вы не можете заполнить все три поля, гипотеза не готова к проверке" />

Логическая ошибка, стоящая за большинством завышенных результатов

Вот связь, которую почти никто не формулирует явно, и это самая полезная мысль на этой странице.

Ваше предсказание имеет форму: если моя теория верна, то я получу этот результат. Вы проводите исследование и получаете этот результат. Что из этого следует? Формально — ничего. Делать вывод о том, что теория верна, — значит подтверждать консеквент, ту самую невалидную форму из двух разделов выше. Какой-то другой механизм мог привести к такому же результату.

Вот почему в отрицательном направлении логика работает гораздо лучше. Если вы предсказали результат и не получили его, это modus tollens, а modus tollens валиден. Карл Поппер построил целую философию науки на этой асимметрии, утверждая в работе «Логика научного исследования», что логически невозможно верифицировать универсальное утверждение ссылкой на опыт, в то время как один единственный подлинный контрпример фальсифицирует соответствующий универсальный закон.

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

Одно честное замечание. Реальная фальсификация тоже редко бывает однозначной, поскольку, когда предсказание не сбывается, вы одновременно тестируете свои методы измерения, выборку и экспериментальные манипуляции. Отрицательный результат говорит о том, что что-то в этом комплексе неверно, и не обязательно сама теория. Открытое признание этого в разделе обсуждения — признак вдумчивого автора.

<ProTip title="🚫 Не так быстро:" description="Найдите в результатах и обсуждении слова «доказывать», «доказывает» и «доказано». В дедуктивном дизайне подтвержденное предсказание никогда не доказывает теорию, и выбор именно этого слова чаще всего выдает неопытность автора" />

Дедуктивное умозаключение в качественных исследованиях

Дедукцию обычно относят к количественной работе, что является ошибкой. У нее есть прямой аналог в качественных исследованиях — дедуктивное кодирование, когда вы создаете свою книгу кодов на основе существующей теории или концепции еще до того, как начнете работать с данными, вместо того чтобы позволить кодам формироваться в процессе.

Строгая версия метода не просто навязывает рамки теории. В статье в International Journal of Qualitative Methods Файф и Госснер описывают дедуктивный качественный анализ как сочетание дедуктивной и индуктивной работы для изучения подтверждающих, противоречащих, уточняющих и расширяющих доказательств для проверяемой теории с использованием концептов из направляющей теории, которые все равно должны доказать свою применимость в результатах и оставаться подкрепленными данными.

Проще говоря: теория указывает вам, куда смотреть. Она не говорит вам, что именно вы там обнаружили.

Полезная привычка, которую стоит перенять

Дедукция — это не абстракция, которую достаточно выучить один раз и забыть. Это процедура проверки. Когда аргумент в статье кажется убедительным, сведите его к логической форме и посмотрите, действительно ли вывод неизбежен или он просто вероятен. Когда вы пишете собственный вывод, спросите себя, вытекает ли он с необходимостью из того, что вы показали, или это лишь одно из нескольких правдоподобных объяснений.

<CTA title="Пишите утверждения, которые ваш рецензент не сможет опровергнуть" description="Создавайте черновики с привязкой к источникам и проверяйте каждое утверждение на соответствие тому, что действительно подтверждают доказательства" buttonLabel="Попробовать Jenni бесплатно" link="https://app.jenni.ai/register" />

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