Почти все определения индукции, данные авторитетными авторами, сводят ее к извлечению выводов из известных случаев к неизвестным; утверждению о классе предиката, который был найден истинным для некоторых случаев, принадлежащих к этому классу; заключению, что, поскольку некоторые вещи обладают определенным свойством, другие вещи, которые напоминают их, обладают тем же свойством — или что, поскольку вещь проявила свойство в определенное время, она обладает и будет обладать этим свойством в другое время.
Вряд ли можно будет утверждать, что операция Кеплера была индукцией в этом смысле термина. Утверждение, что Марс движется по эллиптической орбите, не было обобщением от индивидуальных случаев к классу случаев. Также это не было распространением на все время того, что было найдено истинным в какое-то конкретное время. Весь объем обобщения, который допускал случай, был уже завершен или мог быть таковым. Задолго до того, как возникла эллиптическая теория, было установлено, что планеты периодически возвращаются в одни и те же видимые места; серия этих мест была или могла быть полностью определена, а видимый путь каждой планеты отмечен на небесном глобусе непрерывной линией. Кеплер не распространял наблюдаемую истину на другие случаи, кроме тех, в которых она наблюдалась: он не расширял субъект суждения, которое выражало наблюдаемые факты. Изменение, которое он сделал, было в предикате. Вместо того чтобы сказать: «последовательные положения Марса таковы-то», он суммировал их в утверждении, что последовательные положения Марса являются точками эллипса. Правда, это утверждение, как говорит д-р Уэвелл, не было суммой наблюдений просто; это была сумма наблюдений, увиденных под новой точкой зрения [7]. Но это не была сумма большего, чем наблюдения, как является реальная индукция. Она не включала никаких случаев, кроме тех, которые были фактически наблюдаемы или которые могли быть выведены из наблюдений до того, как представилась новая точка зрения. Не было того перехода от известных случаев к неизвестным, который составляет индукцию в первоначальном и признанном значении термина.
Старые определения, правда, не могут преобладать над новым знанием: и если кеплеровская операция как логический процесс действительно идентична тому, что происходит в признанной индукции, определение индукции должно быть расширено, чтобы включить ее; поскольку научный язык должен адаптироваться к истинным отношениям, которые существуют между вещами, которые он призван обозначать. Здесь-то я и расхожусь с д-ром Уэвеллом. Он действительно считает операции идентичными. Он не допускает никакого логического процесса ни в каком случае индукции, кроме того, что был в случае Кеплера, а именно: угадывание, пока не будет найдена догадка, которая совпадает с фактами; и соответственно, как мы увидим далее, он отвергает все каноны индукции, потому что не с помощью них мы угадываем. Теория логики науки д-ра Уэвелла была бы очень совершенной, если бы она не обходила полностью вопрос о доказательстве. Но, по моему разумению, существует такая вещь, как доказательство, и индукции полностью отличаются от описаний в своем отношении к этому элементу. Индукция — это доказательство; это вывод чего-то ненаблюдаемого из чего-то наблюдаемого: она требует, следовательно, соответствующего критерия доказательства; и обеспечить этот критерий — специальная цель индуктивной логики. Когда, напротив, мы просто коллигируем известные наблюдения и, по фразеологии д-ра Уэвелла, связываем их посредством новой концепции; если концепция действительно служит для связи наблюдений, у нас есть все, что нам нужно. Поскольку суждение, в котором она воплощена, не претендует на иную истину, чем та, которую оно может разделять со многими другими способами представления тех же фактов, соответствие фактам — это все, что от него требуется: оно не нуждается и не допускает доказательства; хотя оно может служить для доказательства других вещей, поскольку, помещая факты в ментальную связь с другими фактами, ранее не рассматривавшимися как сходные, оно ассимилирует случай к другому классу явлений, относительно которых уже были сделаны реальные индукции. Таким образом, так называемый закон Кеплера привел орбиту Марса в класс эллипсов и, сделав это, доказал, что все свойства эллипса истинны для орбиты: но в этом доказательстве закон Кеплера предоставил меньшую посылку, а не (как это бывает с реальными индукциями) большую.
Д-р Уэвелл не называет индукцией ничего, где не введена новая ментальная концепция, и называет индукцией все, где она введена. Но это значит смешивать две очень разные вещи: изобретение и доказательство. Введение новой концепции относится к изобретению: и изобретение может потребоваться в любой операции, но не является сущностью ни одной из них. Новая концепция может быть введена для описательных целей, и так же она может быть введена для индуктивных целей. Но она настолько далека от того, чтобы составлять индукцию, что индукция не обязательно нуждается в ней. Большинство индукций не требуют никакой концепции, кроме той, которая присутствовала в каждом из частных примеров, на которых основана индукция. То, что все люди смертны, — это, безусловно, индуктивное заключение; однако никакой новой концепции при этом не вводится. Тот, кто знает, что какой-либо человек умер, обладает всеми концепциями, вовлеченными в индуктивное обобщение. Но д-р Уэвелл считает процесс изобретения, который состоит в создании новой концепции, согласующейся с фактами, не просто необходимой частью всей индукции, а всей индукцией целиком.
Ментальная операция, которая извлекает из ряда разрозненных наблюдений определенные общие характеры, в которых наблюдаемые явления напоминают друг друга или напоминают другие известные факты, — это то, что Бэкон, Локк и большинство последующих метафизиков понимали под словом «абстракция». Общее выражение, полученное путем абстракции, связывающее известные факты посредством общих характеров, но без вывода из них к неизвестным, может, я думаю, со строгой логической корректностью называться описанием; и я не знаю, каким иным способом вещи могут быть описаны вообще. Моя позиция, однако, не зависит от использования этого конкретного слова; я вполне доволен использованием термина д-ра Уэвелла «коллигация» или более общих фраз: «способ представления или выражения явлений»: при условии, что будет ясно видно, что процесс — это не индукция, а нечто радикально иное.
Что еще можно полезно сказать на предмет коллигации или коррелятивного выражения, изобретенного д-ром Уэвеллом, «экспликации концепций», и вообще на предмет идей и ментальных представлений, связанных с изучением фактов, найдет более подходящее место в Четвертой Книге, об операциях, вспомогательных для индукции: к которой я должен отослать читателя для устранения любого затруднения, которое могло оставить настоящее обсуждение.
ГЛАВА III. ОБ ОСНОВАНИИ ИНДУКЦИИ.
§ 1. Индукция в собственном смысле слова, в отличие от тех ментальных операций, иногда, хотя и неправомерно, обозначаемых этим именем, которые я пытался охарактеризовать в предыдущей главе, может быть, таким образом, кратко определена как обобщение из опыта. Она состоит в выводе из некоторых индивидуальных случаев, в которых наблюдается возникновение явления, что оно возникает во всех случаях определенного класса; а именно: во всех, которые напоминают первые в том, что считается существенными обстоятельствами.
Каким образом существенные обстоятельства должны быть отличены от несущественных или почему некоторые обстоятельства являются существенными, а другие нет, мы пока не готовы указать. Мы должны сначала заметить, что в самом утверждении того, что такое индукция, подразумевается принцип; предположение относительно хода природы и порядка Вселенной; а именно: что в природе существуют такие вещи, как параллельные случаи; что то, что случается однажды, будет при достаточной степени сходства обстоятельств случаться снова, и не только снова, но и всякий раз, когда повторяются те же обстоятельства. Это, я говорю, есть предположение, вовлеченное в каждом случае индукции. И если мы обратимся к действительному ходу природы, мы обнаружим, что это предположение оправдано. Вселенная, насколько она известна нам, устроена так, что все, что истинно в любом одном случае, истинно во всех случаях определенного описания; единственная трудность — найти, какого описания.
Этот универсальный факт, который является нашим основанием для всех выводов из опыта, был описан различными философами в различных формах языка: что ход природы единообразен; что Вселенная управляется общими законами и тому подобное. Один из самых обычных способов выражения, но также один из самых неадекватных, — это тот, который был введен в привычное употребление метафизиками школы Рида и Стюарта. Склонность человеческого разума к обобщению из опыта — склонность, рассматриваемая этими философами как инстинкт нашей природы, — они обычно описывают под каким-либо таким названием, как «наше интуитивное убеждение, что будущее будет напоминать прошлое». Теперь, было хорошо указано г-ном Бэйли [8], что (независимо от того, является ли эта тенденция оригинальным и конечным элементом нашей природы или нет), время в своих модификациях прошлого, настоящего и будущего не имеет никакого отношения ни к самому убеждению, ни к его основаниям. Мы верим, что огонь будет жечь завтра, потому что он жег сегодня и вчера; но мы верим на точно таких же основаниях, что он жег до нашего рождения и что он горит в этот самый день в Кохинхине. Мы выводим не из прошлого в будущее, как прошлое и будущее, а из известного в неизвестное; из наблюдаемых фактов в ненаблюдаемые; из того, что мы восприняли или в чем были непосредственно сознательны, к тому, что не входило в наш опыт. В этом последнем положении находится вся область будущего; но также и подавляюще большая часть настоящего и прошлого.
Каков бы ни был наиболее подходящий способ выражения, суждение о том, что ход природы единообразен, является фундаментальным принципом, или общей аксиомой, индукции. Однако было бы большой ошибкой предлагать это широкое обобщение как какое-либо объяснение индуктивного процесса. Напротив, я считаю его самого примером индукции, причем отнюдь не самого очевидного рода. Далекое от того, чтобы быть первой индукцией, которую мы делаем, оно является одной из последних или, во всяком случае, одной из тех, которые позже всего достигают строгой философской точности. Как общая максима, действительно, оно едва ли входило в умы кого-либо, кроме философов; да и ими, как у нас будет много возможностей заметить, его объем и границы не всегда понимались очень справедливо. Истина заключается в том, что это великое обобщение само основано на более ранних обобщениях. Более темные законы природы были открыты с его помощью, но более очевидные должны были быть поняты и приняты как общие истины до того, как о нем вообще услышали. Мы никогда не подумали бы утверждать, что все явления происходят согласно общим законам, если бы мы сначала не пришли, в случае великого множества явлений, к некоторому знанию самих законов; что могло быть сделано не иначе как путем индукции. В каком смысле, тогда, принцип, который далек от того, чтобы быть нашей самой ранней индукцией, может рассматриваться как наше основание для всех остальных? В единственном смысле, в котором (как мы уже видели) общие суждения, которые мы помещаем во главе наших рассуждений, когда мы облекаем их в силлогизмы, когда-либо действительно способствуют их обоснованности. Как замечает архиепископ Уэйтли, каждая индукция — это силлогизм с опущенной большей посылкой; или (как я предпочитаю выражать это) каждая индукция может быть приведена к форме силлогизма путем добавления большей посылки. Если это действительно сделано, принцип, который мы сейчас рассматриваем, — принцип единообразия хода природы — появится как конечная большая посылка всех индукций и будет, следовательно, стоять ко всем индукциям в отношении, в котором, как было показано столь подробно, большая посылка силлогизма всегда стоит к заключению; не способствуя нисколько его доказательству, но будучи необходимым условием того, чтобы оно было доказано; поскольку никакое заключение не доказано, для которого не может быть найдена истинная большая посылка [9].
Утверждение, что единообразие хода природы является конечной большей посылкой во всех случаях индукции, может показаться требующим некоторого объяснения. Непосредственной большей посылкой в каждом индуктивном аргументе оно, конечно, не является. Относительно этого, должно считаться правильным объяснение архиепископа Уэйтли. Индукция «Джон, Петр и т. д. смертны, следовательно, все человечество смертно» может, как он справедливо говорит, быть приведена к силлогизму путем добавления в качестве большей посылки (что во всяком случае является необходимым условием обоснованности аргумента), а именно: что то, что истинно для Джона, Петра и т. д., истинно для всего человечества. Но как мы пришли к этой большей посылке? Она не является самоочевидной; более того, во всех случаях необоснованного обобщения она не является истинной. Как же тогда к ней приходят? Неизбежно либо путем индукции, либо путем рассуждения; и если путем индукции, процесс, как и все другие индуктивные аргументы, может быть приведен к форме силлогизма. Этот предыдущий силлогизм, следовательно, необходимо построить. В конечном счете существует только одна возможная конструкция. Реальное доказательство того, что то, что истинно для Джона, Петра и т. д., истинно для всего человечества, может состоять только в том, что иное предположение было бы несовместимо с единообразием, которое, как мы знаем, существует в ходе природы. Будет ли это несовместимость или нет, может быть делом долгого и тонкого исследования; но если бы ее не было, у нас нет достаточного основания для большей посылки индуктивного силлогизма. Отсюда следует, что если мы приведем весь ход любого индуктивного аргумента к серии силлогизмов, мы придем через большее или меньшее число шагов к конечному силлогизму, который будет иметь в качестве большей посылки принцип, или аксиому, единообразия хода природы [10].
Не следовало ожидать, что в случае этой аксиомы, как и других аксиом, будет единодушие среди мыслителей относительно оснований, на которых она должна быть принята как истинная. Я уже заявил, что рассматриваю ее как само по себе обобщение из опыта. Другие считают ее принципом, который, до всякой проверки опытом, мы вынуждены конституцией нашей мыслительной способности принять как истинный. Так недавно и столь подробно опровергнув подобную доктрину применительно к аксиомам математики аргументами, которые в значительной мере применимы к настоящему случаю, я отложу более детальное обсуждение этого спорного пункта относительно фундаментальной аксиомы индукции до более позднего периода нашего исследования [11]. В настоящее время важнее досконально понять значение самой аксиомы. Ибо суждение о том, что ход природы единообразен, обладает скорее краткостью, подходящей для популярного, чем точностью, требуемой в философском языке: его термины требуют объяснения, и более строгая, чем их обычное значение, должна быть придана им, прежде чем истинность утверждения может быть признана.
§ 2. Сознание каждого человека заверяет его, что он не всегда ожидает единообразия в ходе событий; он не всегда верит, что неизвестное будет подобно известному, что будущее будет напоминать прошлое. Никто не верит, что последовательность дождей и хорошей погоды будет одинаковой в каждом будущем году, как в настоящем. Никто не ожидает, что одни и те же сны будут повторяться каждую ночь. Напротив, каждый упоминает это как нечто необычное, если ход природы постоянен и напоминает себя в этих частностях. Искать постоянства там, где постоянства не следует ожидать, как, например, что день, который однажды принес удачу, всегда будет удачным днем, справедливо считается суеверием.
Ход природы, по правде говоря, не только единообразен, он также бесконечно разнообразен. Некоторые явления всегда наблюдаются повторяющимися в тех же самых комбинациях, в которых мы встретили их впервые; другие кажутся совершенно капризными; в то время как некоторые, которые мы привыкли считать привязанными исключительно к определенному набору комбинаций, мы неожиданно находим отделенными от некоторых элементов, с которыми мы до сих пор находили их соединенными, и объединенными с другими, совершенно противоположного описания. Для жителя Центральной Африки пятьдесят лет назад никакой факт, вероятно, не казался основанным на более единообразном опыте, чем тот, что все люди черные. Для европейцев не так много лет назад суждение «Все лебеди белые» казалось столь же недвусмысленным примером единообразия в ходе природы. Дальнейший опыт доказал обоим, что они ошибались; но им пришлось ждать пятьдесят столетий этого опыта. В течение этого долгого времени человечество верило в единообразие хода природы там, где такого единообразия на самом деле не существовало.
Согласно представлению, которое древние имели об индукции, вышеупомянутые случаи были столь же законными выводами, как и любые другие индукции. В этих двух примерах, где, поскольку заключение ложно, основание для вывода должно было быть недостаточным, тем не менее имелось столько же оснований для него, сколько допускала эта концепция индукции. Индукция древних была хорошо описана Бэконом под названием «Inductio per enumerationem simplicem, ubi non reperitur instantia contradictoria» (индукция через простое перечисление, где не встречается противоречащего примера). Она состоит в приписывании характера общих истин всем суждениям, которые верны в каждом известном нам случае. Это тот вид индукции, который естественен для ума, не привыкшего к научным методам. Тенденция, которую некоторые называют инстинктом, а другие объясняют ассоциацией, — делать выводы о будущем на основе прошлого, о неизвестном на основе известного — есть просто привычка ожидать, что то, что однажды или несколько раз оказалось верным и еще ни разу не оказалось ложным, будет верным и впредь. Мало ли случаев или много, убедительны они или неубедительны — это не сильно влияет на дело: такие соображения возникают только при размышлении; непроизвольная склонность ума состоит в том, чтобы обобщать свой опыт, если только он указывает в одном направлении; если только не встречается неискомый опыт противоречивого характера. Идея поиска такого опыта, экспериментирования ради него, «допроса природы» (используя выражение Бэкона) возникла гораздо позже. Наблюдение за природой необразованными умами чисто пассивно: они принимают факты, которые представляются им, не утруждая себя поиском других: только высший ум спрашивает себя, какие факты необходимы, чтобы прийти к надежному заключению, а затем ищет их.