Посылка 2: Все полярные медведи живут на Северном полюсе.
Вывод: все медведи на Северном полюсе белые.
Вывод в данном случае не является правильным следствием из посылок. Причина в том, что хотя вторая посылка ограничивает место обитания белых медведей (то есть на Северном полюсе), это не исключает того, что другие медведи (не полярные) также могут оказаться на Северном полюсе. Следовательно, популяция медведей на Северном полюсе может состоять из белых медведей и некоторого количества бурых медведей. Эта возможность не обязательно делает утверждение ложным, так как не гарантирует, что бурые медведи непременно окажутся на Северном полюсе; однако это не исключено, значит, есть возможность того, что вывод неверен. Другими словами, вывод не обязательно верен и, следовательно, не ведет к достоверному знанию.
Как и индукция, дедукция — распространенный инструмент человеческого мышления, без которого мы не смогли бы уверенно ориентироваться в окружающем мире. Хотя Аристотель, возможно, первым назвал и охарактеризовал дедукцию, это не изобретение Аристотеля. Он лишь описал процесс, который, как и индукция, является нормальной частью повседневного человеческого мышления. Дедуктивное мышление можно найти и у детей дошкольного возраста[28]. Это не означает, что люди являются безупречными умниками; на самом деле целый ряд исследований показал, что мы склонны делать неправильные выводы, особенно в определенных обстоятельствах[29].
Правильное применение формальной логики — очень сложная и глубоко разработанная область, большая часть которой трудна для изучения и уж точно не интуитивна. Тем не менее, как и индукция, дедукция — это нормальная часть человеческого мышления, которую мы применяем в процессе взаимодействия с окружающим миром. Однако ошибки в дедукции — тоже нормальная человеческая черта. Более того, когда мы делаем такие ошибки, нам часто кажется, что мы пришли к правильному выводу, хотя на самом деле это не так. Именно по этой причине логики изобрели особые способы выражения логических утверждений, определили различные типы логики и правила, по которым они работают, и добились огромного прогресса в логическом мышлении. Действительно, большую часть математики можно описать как дедуктивный язык.
Хотя дедукция очень эффективна, она не решает проблему знания. Первое, что следует отметить, что является фундаментальным ограничением дедуктивного мышления, — дедукция не генерирует информацию о ненаблюдаемом; скорее, она только выявляет сложности, которые уже содержатся в предпосылках, но не очевидны, пока не будет полностью выполнено дедуктивное рассуждение. Другими словами, мы не получаем никакой новой информации, которая уже не содержится в предпосылках; тем не менее без силлогизма существующие факты не могут быть представлены и оценены во всей их полноте. Это можно назвать ограничением дедукции, поскольку без возможности делать какие-либо прогнозы относительно ненаблюдаемого наша способность прогнозировать или контролировать внешний мир ограничена. Однако это ограничение можно преодолеть, если посылки универсальны, что позволяет делать универсальные выводы. Например, возьмем посылки в форме разговорного языка «каждый A является B» или «никакой A не является B». Исходя из таких универсальных посылок, можно вывести утверждения о знаниях, которые применимы к каждому экземпляру A, даже к случаям, которые не были испытаны. Таким образом, человек выводит знание о ненаблюдаемом. Это одна из причин, по которой мыслители-дедуктивисты склонны отдавать предпочтение предпосылкам универсального вида (например, все A являются B), поскольку без таких универсальных предпосылок выводы не универсальны. Если выводы не универсальны, то нельзя делать абсолютных утверждений о ненаблюдаемых вещах. Если человек не достиг уверенности в том, что не наблюдается, значит, он не получил истинного знания (по крайней мере, как мы его определили), и проблема знания остается нерешенной.
Если дедукция может генерировать истинное знание, пока она использует посылки универсального характера, то в чем проблема? В том, чтобы суметь определить оправданные посылки универсального характера. На протяжении веков многие известные философы считали, что люди обладают некоторой врожденной способностью распознавать естественные истины. Однако в последнее время понимание человеческого восприятия и мышления неврологами и когнитивными психологами продвинулось до такой степени, что теперь мы понимаем — люди могут совершать ужасающие ошибки при восприятии явлений мира, представленных прямо перед их глазами, не говоря уже о том, чтобы придумывать универсальные истинные посылки (этот вопрос подробно рассматривается в следующих разделах). Если есть хотя бы одна ошибка в предпосылке, на которой построена выведенная система знания, то вся система может рухнуть. Если посылки недостоверны, значит, и знание недостоверно, независимо от того, насколько верны рассуждения. Если нет надежного источника для строгих предпосылок, то дедуктивное мышление не может решить проблему знания.
28
Hawkins R. D., Pea J., Glick J., Scribner S. 1984. Merds That Laugh Don't Like Mushrooms: Evidence for Deductive Reasoning by Preschoolers. Developmenal Psychology 20: 584-594.
29
Evans J. St. B. T. 2017. Belief Bias in Deductive Reasoning. In Rudiger P.F. (Ed.). Cognitive Illusions, pp. 165-181. New York: Routledge.