Объективное знание

Помимо этой логической проблемы индукции, которую — я утверждаю — Юм решил полностью (хотя его решение и отрицательно), есть другая логическая проблема индукции, которую некоторые называют «юмовской проблемой индукции». Это проблема: как можно показать, что индуктивные выводы (по крайней мере вероятностные) достоверны (valid) или могут быть достоверными?

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

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

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

27. Почему юмовская логическая проблема индукции глубже его проблемы причинности?

Вполне возможен легкий спор по вопросу о том, какая из проблем глубже — юмовская проблема причинности или та, что я назвал его проблемой индукции?

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

Мои аргументы обратны: проблема индукции решена отрицательно — мы никогда не можем оправдать истинность веры (belief) в некоторую регулярность. Однако мы постоянно используем регулярности как предположения, как гипотезы; и у нас есть иногда хорошие основания предпочитать определенные предположения некоторым из конкурирующих с ними.

Во всяком случае в свете некоторого предположения мы не только можем объяснить связь причины с действием гораздо лучше Юма, но и можем даже сказать, в чем состоит «необходимая причинная связь».

Если дана некоторая предположительная регулярность и некоторые начальные условия, позволяющие дедуктивно вывести из нашего предположения определенные предсказания, то мы можем назвать заданные условия (предполагаемой) причиной, а предсказанное событие (предполагаемым) действием. А предположение, связывающее их логической необходимостью, и есть то самое давно отыскиваемое (предположительное) необходимое звено между причиной и действием. (Все это вместе можно назвать «причинным объяснением», как я это назвал в L. Sc. D., раздел 12).

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

28. Вклад Канта: объективное знание

Кант понимал, что отрицательное решение Юмом проблемы индукции уничтожает рациональность оснований ньютоновской динамики. Кант, как и все его образованные современники, не сомневался в истинности теории Ньютона. Юмовский анализ сводит ее к «обычаю» или «привычке» — а это совершенно неприемлемая [для Канта] позиция.

Юм показал, что индукции угрожает бесконечный регресс. Кант указал, что со своим эмпиристическим догматизмом Юм не учел возможности того, что существует принцип причинности (а лучше — принцип индукции), верный a, priori. Эту позицию занял Кант (как я разъяснил в разделе 1 моей L. Sc. D.), а за ним и Бертран Рассел — оба пытались спасти человеческую рациональность от юмовского иррационализма.

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

Поскольку все аналитические высказывания по определению априорны, получаем следующую таблицу: