Что такое наука, и как она работает - страница 18

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

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

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

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