Что такое наука, и как она работает - Джеймс Цимринг

Дедукция — это отдельный способ выработки утверждений о понимании и знании, который не страдает ни одной из проблем индукции. Это не означает, что у него нет своих проблем и ограничений, но, по крайней мере, они отличаются от проблем индукции. В трудах Аристотеля представлена самая ранняя из известных западных кодификаций дедукции, которую он продемонстрировал в форме силлогистических конструкций. Аристотель определяет силлогизм как «дискурс, в котором дается нечто предполагаемое и вытекает нечто отличное от предполагаемого как неизбежный результат наличия предположения». Это утверждение, хотя и выглядит почти замкнутым на себя, определяет традиционную основу дедукции. Силлогизм имеет посылки (утверждения о факте) и вывод, который выглядит «отличным» от обособленных посылок. Например, рассмотрим следующие две посылки.

Посылка 1: Все полярные медведи белые.

Посылка 2: Все медведи на Северном полюсе — полярные медведи.

Эти два утверждения представлены как факты, известные мыслителю. На основании этих двух посылок можно сделать следующий вывод:

Все медведи на Северном полюсе белые.

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

Более общая форма предыдущего силлогизма, но той же конструкции, выглядит следующим образом:

Посылка 1: Все A обладают свойством B.

Посылка 2: Все C являются A.

Вывод: все C обладают свойством B.

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

Посылка 1: Все полярные медведи белые.

Посылка 2: Все полярные медведи живут на Северном полюсе.

Вывод: все медведи на Северном полюсе белые.

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

Как и индукция, дедукция — распространенный инструмент человеческого мышления, без которого мы не смогли бы уверенно ориентироваться в окружающем мире. Хотя Аристотель, возможно, первым назвал и охарактеризовал дедукцию, это не изобретение Аристотеля. Он лишь описал процесс, который, как и индукция, является нормальной частью повседневного человеческого мышления. Дедуктивное мышление можно найти и у детей дошкольного возраста[28]. Это не означает, что люди являются безупречными умниками; на самом деле целый ряд исследований показал, что мы склонны делать неправильные выводы, особенно в определенных обстоятельствах[29].

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

Хотя дедукция очень эффективна, она не решает проблему знания. Первое, что следует отметить, что является фундаментальным ограничением дедуктивного мышления, — дедукция не генерирует информацию о ненаблюдаемом; скорее, она только выявляет сложности, которые уже содержатся в предпосылках, но не очевидны, пока не будет полностью выполнено дедуктивное рассуждение. Другими словами, мы не получаем никакой новой информации, которая уже не содержится в предпосылках; тем не менее без силлогизма существующие факты не могут быть представлены и оценены во всей их полноте. Это можно назвать ограничением дедукции, поскольку без возможности делать какие-либо прогнозы относительно ненаблюдаемого наша способность прогнозировать или контролировать внешний мир ограничена. Однако это ограничение можно преодолеть, если посылки универсальны, что позволяет делать универсальные выводы. Например, возьмем посылки в форме разговорного языка «каждый A является B» или «никакой A не является B». Исходя из таких универсальных посылок, можно вывести утверждения о знаниях, которые применимы к каждому экземпляру A, даже к случаям, которые не были испытаны. Таким образом, человек выводит знание о ненаблюдаемом. Это одна из причин, по которой мыслители-дедуктивисты склонны отдавать предпочтение предпосылкам универсального вида (например, все A являются B), поскольку без таких универсальных предпосылок выводы не универсальны. Если выводы не универсальны, то нельзя делать абсолютных утверждений о ненаблюдаемых вещах. Если человек не достиг уверенности в том, что не наблюдается, значит, он не получил истинного знания (по крайней мере, как мы его определили), и проблема знания остается нерешенной.

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