Что же касается индукции (или индуктивной логики, или индуктивного поведения, или обучения путем индукции или повторения или «инструктирования»), то я, вместе с Юмом, заявляю, что такой вещи не существует. Если я прав, то это, конечно, решает проблему индукции[244]. (Остаются другие проблемы, которые также могут быть названы проблемами индукции — такие как вопрос, будет ли будущее похоже на прошлое. Но и эта, по-моему, далеко не волнующая проблема тоже может быть решена: будущее будет частично похоже на прошлое, а частично совсем на него не похоже.)
В чем в наше время состоит самый модный ответ Юму? В том, что индукция, конечно, не «верна», потому что слово «верна» означает «дедуктивно верна»; поэтому неверность (в дедуктивном смысле) индуктивных аргументов не составляет никакой проблемы: есть дедуктивный способ мышления, и есть индуктивный способ мышления; и хотя они имеют много общего между собой — и тот и другой состоят из рассуждений в соответствии с хорошо испытанными, привычными и достаточно интуитивными правилами, — они имеют и много различий[245].
То общее, что, как предполагают, имеют между собой индукция и дедукция, может быть выражено следующим образом. Верность дедуктивной схемы вывода не может быть доказана, так как это было бы доказательство логики логикой, то есть порочным кругом. Однако, говорят сторонники этой точки зрения, такая круговая аргументация на самом деле может прояснять наши идеи и укреплять нашу веру. То же самое можно сказать и об индукции. Индукция может не поддаваться индуктивному обоснованию, но индуктивные рассуждения об индукции могут быть полезными и плодотворными, а возможно, и необходимыми[246]. Более того, и теория дедукции, и теория индукции могут апеллировать к таким вещам, как интуиция, привычка или соглашение; а иногда они и обязаны это делать.
В качестве критики этой точки зрения я повторю то, что сказал ранее в этом разделе: дедуктивная схема вывода верна, если не существует контрпримера. Поэтому в нашем распоряжении имеется объективный метод критической проверки: для любого предлагаемого правила дедукции мы можем попытаться построить контрпример. Если мы в этом преуспеем, то вывод, или правило вывода, является неверным независимо от того, придерживается его интуитивно кто-нибудь, или даже все, или нет. (Брауэр думал, что он сделал именно это — что он нашел контрпример для косвенных доказательств, — пояснив, что их ошибочно считали верными только потому, что существуют лишь бесконечные их контрпримеры, так что косвенные доказательства верны для всех конечных случаев.) Поскольку в нашем распоряжении имеются объективные проверки и объективные доказательства, психологические соображения, субъективные убеждения, привычки и соглашения не имеют никакого отношения к делу.
А как же обстоит дело в отношении индукции? Когда индуктивный метод индуктивно «неразумен» (чтобы не использовать снова слово «неверен»)? Ответ предлагается только один: когда он приводит к частым практическим ошибкам в индуктивном поведении. Но я утверждаю, что любое правило индуктивного вывода, когда-либо и кем-либо предложенное, всегда будет приводить к таким частым ошибкам.
Суть здесь в том, что никогда не было предложено ни одного правила индуктивного вывода — вывода, приводящего к теориям и универсальным законам, — которое можно было бы принять всерьез хотя бы на минуту. Карнап, по-видимому, согласен с этим, так как он пишет[247]: «Кстати, Поппер находит интересным, что в моей лекции я даю пример дедуктивного вывода и ни одного примера индуктивного вывода. Поскольку моя концепция вероятностного (индуктивного) рассуждения по сути состоит не в построении таких выводов, а скорее в приписывании вероятностей, он должен был вместо этого потребовать привести примеры принципов приписывания вероятностей. И это требование, не прозвучавшее, но разумное, я предвидел и удовлетворю».
Однако Карнап развил лишь систему, приписывающую нулевую вероятность всем универсальным законам[248]: и хотя Хинтик-ка (и другие) с тех пор развили системы, приписывающие универсальным утверждениям вероятности, отличные от нуля, нет сомнений, что применимость этих систем существенно ограничена очень бедными языками, в которых не могут быть сформулированы даже примитивные естественнонаучные теории. Более того, они ограничены случаями, когда в любой момент времени в наличии имеется лишь конечное число теорий[249]. (Но это не мешает этим системам быть пугающе сложными.) В любом случае, мне кажется, что универсальным законам — которых на практике всегда бесконечно много — следует всегда приписывать нулевую «вероятность» (в смысле исчисления вероятностей), хотя их степень подкрепления может быть больше нуля. И если мы примем новую систему — систему, которая приписывает некоторым законам вероятность, скажем, 0,7 — что мы тогда выиграем? Говорит ли нам это, что закон имеет хорошую или плохую индуктивную поддержку? Никоим образом; все, о чем это говорит, состоит в том, что, в соответствии с некоей (большей частью произвольной) новой системой — неважно какой — мы должны верить в закон со степенью веры, равной 0,7, если мы хотим, чтобы наше чувство веры соответствовало этой системе. Какие различия проводит такая система, и если она проводит различия, то как ее критиковать — что она исключает, и почему ее следует предпочесть моим и Карнапа аргументам в пользу приписывания нулевой вероятности универсальным законам — трудно сказать[250].
Разумных правил индуктивного вывода не существует. (По-видимому, это было понято индуктивистом Нельсоном Гудменом)[251]. Лучшее правило, которое я сумел выжать из всего моего знакомства с индуктивистской литературой, выглядит так: «Будущее, похоже, будет не очень отличаться от прошлого».
Конечно, это правило, которое всякий применяет на практике и которое мы должны принять теоретически, если мы являемся реалистами (а мне кажется, что мы все ими являемся, кто бы что ни говорил). Это правило, однако, так расплывчато, что вряд ли может быть интересным. Но несмотря на всю свою расплывчатость, это правило предполагает очень многое, во всяком случае гораздо более того, что мы (а потому и любое индуктивное правило) должны предполагать до формирования теории, потому что оно предполагает теорию времени.
Но все это и следовало ожидать. Раз не может быть ни свободных от теорий наблюдений, ни свободного от теорий языка, то не может быть и свободных от теорий принципов или правил индукции, правил и принципов, на которых должны базироваться все теории.
Таким образом, индукция — это миф. Никакой «индуктивной логики» не существует. И хотя существует «логическая» интерпретация исчисления вероятностей, хороших оснований предполагать, что эта «обобщенная логика» (как ее можно было бы назвать) является системой «индуктивной логики», нет[252].
И не стоит горевать, что индукции не существует: мы, кажется, хорошо обходились без нее — с теориями, которые являются смелыми догадками, которые мы критикуем и проверяем со всей суровостью и изобретательностью, на какие только способны.
Конечно, если в этом состоит хорошая практика — успешная практика, — то Гудмен и другие могут сказать, что это «индуктивно верное» правило индукции. Но моя главная идея состоит в том, что эта практика хороша не потому, что она успешна, надежна или что там еще, а потому, что эта практика говорит нам, что она может привести к ошибке, и потому заставляет нас осознавать необходимость искать эти ошибки и пытаться их устранить.
