Чарльз Сандерс Пирс

«Шанс, любовь и логика: Философские эссе»

Страница 5 из 10 · 56 407 зн. · 64 мин. чтения

III

В последней из этих статей мы исследовали природу индуктивного или синтетического рассуждения. Мы обнаружили, что это процесс взятия проб. Ряд образцов класса берется не путем выбора внутри этого класса, а наугад. Эти образцы будут соглашаться во многих отношениях. Если бы теперь было вероятно, что вторая партия согласится с первой в большинстве этих отношений, мы могли бы основывать на этом соображении вывод в отношении любого из этих характеров. Но такой вывод не был бы ни по своей природе индукцией, ни (за исключением особых случаев) был бы он обоснованным, потому что подавляющее большинство точек согласия в первой взятой пробе было бы, как правило, совершенно случайным, а также незначительным. Чтобы проиллюстрировать это, я беру возраст смерти первых пяти поэтов, приведенных в «Биографическом словаре» Уиллера. Они таковы:

Aagard, 48.

Abeille, 70.

Abulola, 84.

Abunowas, 48.

Accords, 45.

Эти пять возрастов имеют следующие общие характеристики:

1. Разность двух цифр, составляющих число, деленная на три, дает остаток один.

2. Первая цифра, возведенная в степень, указанную второй, и деленная на три, дает остаток один.

3. Сумма простых множителей каждого возраста, включая единицу, делится на три.

Легко видеть, что количество случайных согласий такого рода было бы совершенно бесконечным. Но предположим, что вместо рассмотрения характеристики из-за ее распространенности в пробе мы обозначаем характеристику до взятия пробы, выбирая ее из-за ее важности, очевидности или другого интересного момента. Тогда две значительные пробы, взятые наугад, чрезвычайно вероятно согласятся приблизительно в отношении пропорции случаев возникновения так выбранной характеристики. Вывод о том, что заранее обозначенная характеристика имеет почти ту же частоту возникновения во всем классе, что и в пробе, взятой наугад из этого класса, — это индукция. Если характеристика не была обозначена заранее, то проба, в которой она оказывается распространенной, может лишь послужить предположением, что она может быть распространенной во всем классе. Мы можем рассматривать это предположение как вывод, если угодно — вывод о возможности; но должна быть взята вторая проба, чтобы проверить вопрос о том, действительно ли характеристика распространена. Вместо того чтобы заранее обозначать одну характеристику, в отношении которой мы будем исследовать пробу, мы можем обозначить две и использовать ту же пробу для определения относительных частот обеих. Это будет означать делать два индуктивных вывода сразу; и, конечно, мы менее уверены в том, что оба дадут правильные заключения, чем мы были бы в том, что каждый из них по отдельности сделает это. То, что верно для двух характеристик, верно для любого ограниченного числа. Теперь, количество характеристик, которые имеют какой-либо значительный интерес для нас в отношении любого класса объектов, более умеренно, чем можно было бы предположить. Поскольку мы обязательно будем исследовать любую пробу в отношении этих характеристик, их можно рассматривать не совсем как предобозначенные, но как предопределенные (что сводится к тому же самому); и мы можем заключить, что проба представляет класс во всех этих отношениях, если угодно, помня только, что это не такой надежный вывод, как если бы конкретное качество, которое нужно искать, было определено заранее.

Обоснование этой теории индукции опирается на принципы и следует методам, которые приняты всеми теми, кто проявляет в других делах особые знания и силу ума, квалифицирующие их для суждения об этом. Сама теория, однако, совершенно необъяснимым образом, кажется, никогда не приходила в голову никому из авторов, которые брались объяснять синтетическое рассуждение. Самое распространенное мнение по этому вопросу — то, которое активно продвигалось г-ном Джоном Стюартом Миллем, а именно, что индукция зависит в своей обоснованности от единообразия Природы — то есть от принципа, что то, что случается однажды, будет, при достаточной степени сходства обстоятельств, случаться снова так часто, как повторяются те же обстоятельства. Применение таково: факт того, что разные вещи принадлежат к одному классу, составляет сходство обстоятельств, и индукция хороша, при условии, что это сходство «достаточно». То, что случается однажды, состоит в том, что ряд этих вещей обнаруживается имеющими определенную характеристику; то, что можно ожидать, следовательно, случится снова так часто, как повторяются обстоятельства, состоит в том, что все вещи, принадлежащие к одному классу, должны иметь ту же характеристику.

Этот анализ индукции имеет, осмелюсь думать, различные несовершенства, на некоторые из которых может быть полезно обратить внимание. Во-первых, когда я опускаю руку в мешок и вынимаю горсть бобов и, обнаружив, что три четверти из них черные, заключаю, что около трех четвертей всех бобов в мешке черные, мой вывод очевидно того же рода, как если бы я обнаружил любую большую пропорцию или все бобы черными и предположил бы, что это представляет в этом отношении остальное содержимое мешка. Но рассматриваемый анализ едва ли кажется приспособленным для объяснения этой пропорциональной индукции, где заключение, вместо того чтобы быть тем, что определенное событие единообразно случается при определенных обстоятельствах, состоит именно в том, что оно не случается единообразно, а случается только в определенной пропорции случаев. Истинно, что вся проба может рассматриваться как единый объект, и вывод может быть подведен под предложенную формулу путем рассмотрения заключения как того, что любая подобная проба покажет подобную пропорцию среди своих составляющих. Но это значит рассматривать индукцию так, как если бы она опиралась на единственный пример, что дает очень ложное представление о ее вероятности.

Во-вторых, если бы единообразие Природы было единственным основанием индукции, мы не имели бы права делать ее в отношении характеристики, о постоянстве которой мы ничего не знали. Соответственно, г-н Милль говорит, что, хотя европейцам тысячи лет были известны только белые лебеди, вывод о том, что все лебеди белые, был «не хорошей индукцией», потому что не было известно, что цвет является обычной родовой характеристикой (на самом деле, это отнюдь не так). Но математически доказуемо, что индуктивный вывод может иметь столь высокую степень вероятности, какую вы пожелаете, независимо от какого-либо предшествующего знания о постоянстве выводимой характеристики. До того, как стало известно, что цвет обычно не является характеристикой родов, безусловно, существовала значительная вероятность того, что все лебеди белые. Но дальнейшее изучение родов животных привело к индукции их неоднородности в отношении цвета. Дедуктивное применение этого общего положения далеко продвинулось бы в преодолении вероятности универсальной белизны лебедей до того, как был открыт черный вид. Когда мы действительно знаем что-либо в отношении общего постоянства или непостоянства характеристики, применение этого общего знания к конкретному классу, к которому относится любая индукция, хотя оно и служит для увеличения или уменьшения силы индукции, является, как и всякое применение общего знания к частным случаям, дедуктивным по своей природе, а не индуктивным.

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

IV

Когда мы сделали какую-либо статистическую индукцию — например, что половина всех рождений приходится на детей мужского пола, — всегда возможно путем достаточно длительного исследования обнаружить класс, о котором тот же предикат может быть утвержден универсально; например, выяснить, какого рода рождения дают детей мужского пола. Истинность этого принципа непосредственно вытекает из теоремы о том, что существует характеристика, присущая каждой возможной группе объектов. Форма, в которой этот принцип обычно формулируется, гласит: каждое событие должно иметь причину.

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

То, что мы когда-либо обнаруживаем точные причины вещей, что любая индукция абсолютно не имеет исключений, — это то, что мы не имеем права предполагать. Напротив, из только что упомянутой теоремы легко следует следствие, что каждое эмпирическое правило имеет исключение. Но существуют некоторые из наших индукций, которые демонстрируют столь необычайное приближение к универсальности, что, даже если мы предположим, что они не являются строго универсальными истинами, мы никак не можем думать, что они были достигнуты просто случайно. Самые примечательные законы такого рода — это законы времени и пространства. Что касается пространства, епископ Беркли первым весьма убедительно показал, что оно не является вещью видимой, а является вещью умозаключаемой. Беркли главным образом настаивает на невозможности непосредственно видеть третье измерение пространства, поскольку сетчатка глаза представляет собой поверхность. Но, по сути, сетчатка даже не является поверхностью; это конгломерат нервных игл, направленных к свету и имеющих чувствительными только свои крайние точки, причем эти точки находятся на значительном расстоянии друг от друга по сравнению с их площадью. Теперь, из этих точек, безусловно, возбуждение ни одной из них в отдельности не может породить восприятие поверхности, и, следовательно, совокупность всех ощущений не может свестись к этому. Но между возбуждениями различных нервных точек существуют определенные отношения, и они составляют посылки, на которых основывается гипотеза пространства и из которых она выводится. То, что пространство не воспринимается непосредственно, сейчас признается повсеместно; а опосредованное познание — это то, что называется умозаключением, и оно подлежит критике логики. Но что нам сказать о том факте, что каждый цыпленок, как только он вылупляется, решает задачу, данные которой обладают сложностью, достаточной, чтобы испытать величайшие математические способности? Было бы безумием отрицать, что склонность к постижению концепции пространства врожденна разуму цыпленка и любого животного. То же самое в равной степени верно и для времени. То, что время не воспринимается непосредственно, очевидно, поскольку никакой промежуток времени не присутствует, а мы воспринимаем только то, что присутствует. То, что, не имея идеи времени, мы никогда не смогли бы воспринять течение в наших ощущениях без какой-либо особой способности к этому, вероятно, также будет признано. Идея силы — по крайней мере, в своих зачатках — это еще одна концепция, к которой приходят так рано и которая обнаруживается у животных, стоящих так низко на лестнице интеллекта, что ее необходимо считать врожденной. Но врожденность идеи допускает степень, ибо она состоит в склонности этой идеи представляться разуму. Некоторые идеи, как, например, идея пространства, неотразимо представляются таким образом на самой заре интеллекта и овладевают разумом при малейшем поводе, в то время как другими концепциями мы предубеждены, хотя и не столь сильно, вплоть до шкалы, которая значительно расширена. Склонность олицетворять все и приписывать ему человеческие черты можно назвать врожденной; но это склонность, которая очень скоро преодолевается цивилизованным человеком в отношении большей части окружающих его объектов. Возьмем такую концепцию, как гравитация, изменяющаяся обратно пропорционально квадрату расстояния. Это очень простой закон. Но сказать, что он прост, — значит лишь сказать, что это закон, который разум особенно приспособлен воспринимать с легкостью. Предположим, что идея количества, умноженного на другое, была бы для разума не более легкой, чем идея количества, возведенного в степень, указанную им самим, — открыли бы мы когда-нибудь закон солнечной системы?

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

Как нам объяснить эту адаптацию? Великая полезность и незаменимость концепций времени, пространства и силы, даже для самого низкого интеллекта, таковы, что позволяют предположить, что они являются результатами естественного отбора. Без чего-то вроде геометрических, кинетических и механических концепций ни одно животное не могло бы схватить свою пищу или сделать что-либо, что могло бы быть необходимо для сохранения вида. Оно могло бы, правда, обладать инстинктом, который в целом имел бы тот же эффект; то есть оно могло бы иметь концепции, отличные от концепций времени, пространства и силы, но которые совпадали бы с ними в отношении обычных случаев опыта животного. Но поскольку животное, чьи механические концепции не разрушались бы в новой ситуации (которую неизбежно должно принести развитие), имело бы огромное преимущество в борьбе за жизнь, происходил бы постоянный отбор в пользу все более и более правильных идей по этим вопросам. Так было бы достигнуто знание того фундаментального закона, на котором вращается вся наука, а именно: силы зависят от отношений времени, пространства и массы. Когда эта идея становилась достаточно ясной, потребовалась бы лишь постижимая степень гениальности, чтобы обнаружить точную природу этих отношений. Такая гипотеза напрашивается сама собой, но следует признать, что она не кажется достаточной для объяснения необычайной точности, с которой эти концепции применяются к явлениям Природы, и вероятно, что здесь есть какая-то тайна, которая еще ждет своего открытия.

V

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

Фактическое состояние доказательств относительно ограниченности вселенной таково: что касается времени, мы находим на нашей земле постоянный прогресс развития с тех пор, как планета была раскаленным шаром; солнечная система, по-видимому, возникла в результате конденсации туманности, и этот процесс, кажется, продолжается до сих пор. Мы иногда видим звезды (по-видимому, с системами миров), разрушающиеся и, по-видимому, возвращающиеся в туманное состояние, но у нас нет доказательств какого-либо существования мира до туманной стадии, из которой он, по-видимому, эволюционировал. Все это скорее благоприятствует идее начала, чем наоборот. Что касается пределов в пространстве, мы не можем быть уверены, что видим что-либо за пределами системы Млечного Пути. Умы с теологическими склонностями поэтому не имеют нужды искажать факты, чтобы примирить их со своими взглядами.

Но единственная научная презумпция состоит в том, что неизвестные части пространства и времени подобны известным частям, то есть заняты; что, поскольку мы видим циклы жизни и смерти во всем развитии, которое мы можем проследить до конца, то же самое справедливо и в отношении солнечных систем; что, поскольку огромные расстояния лежат между различными планетами нашей солнечной системы относительно их диаметров, и поскольку еще более огромные расстояния лежат между нашей системой относительно ее диаметра и другими системами, так можно предположить, что существуют другие галактические скопления, столь удаленные от нашего, что их нельзя с уверенностью распознать как таковые. Я не говорю, что это сильные индукции; я лишь говорю, что это презумпции, которые в нашем неведении относительно фактов следует предпочесть гипотезам, включающим концепции вещей и событий, совершенно отличных по своему характеру от всего, о чем мы имели какой-либо опыт, таких как бестелесные духи, сотворение материи, нарушения законов механики и т. д.

Следует предполагать, что вселенная слишком обширна, чтобы иметь какой-либо характер. Когда утверждается, что устройство Природы благожелательно, или справедливо, или мудро, или обладает каким-либо иным особым качеством, мы должны быть предубеждены против таких мнений как порожденных необоснованным представлением о конечности мира. И исследование до сих пор показывало, что такие благодеяния, справедливость и т. д. носят весьма ограниченный характер — ограниченный по степени и ограниченный по диапазону.

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

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

Но есть лучшие умы, которые берутся за мистические теории (под которыми я подразумеваю все те, которые не имеют возможности быть механически объясненными). Это лица, которые сильно предубеждены в пользу таких теорий. У всех нас есть естественные склонности верить в подобные вещи; наше образование часто усиливает эту склонность; и результат таков, что для многих умов ничто не кажется столь априорно вероятным, как теория такого рода. Такие лица находят достаточно доказательств в пользу своих взглядов, и при отсутствии какой-либо признанной логики индукции их невозможно заставить отказаться от их веры.

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

Было бы экстравагантно утверждать, что наука может в настоящее время опровергнуть религию; но мне действительно кажется, что дух науки враждебен любой религии, кроме такой, как религия М. Вашеро. Наши назначенные учителя сообщают нам, что буддизм — это жалкая и атеистическая вера, лишенная самых славных и необходимых атрибутов религии; что его священники не могут принести никакой пользы сельскому хозяйству, молясь о дожде, ни войне, приказывая солнцу остановиться. Мы также слышим протесты тех, кто предупреждает нас, что поколебать общую веру в живого Бога означало бы поколебать общую мораль, общественную и частную. Это тоже должно быть признано; такая революция мысли не могла бы быть совершена без потерь и опустошения, не более чем плантация деревьев могла бы быть перенесена на новую почву, какой бы здоровой она сама по себе ни была, без того, чтобы все они на время не зачахли, а многие из них не погибли. И, кстати, не следует предполагать, что человек принял бы участие в движении, имеющем возможный атеистический исход, не получив серьезного и адекватного совета относительно этой ответственности. Но пусть последствия такой веры будут сколь угодно ужасными, одно несомненно: состояние фактов, каким бы оно ни было, обязательно будет обнаружено, и никакая человеческая предусмотрительность не может долго сдерживать триумфальную колесницу истины — нет, даже если бы это открытие было таково, что заставило бы каждого представителя нашей расы покончить с собой!

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

ШЕСТАЯ СТАТЬЯ ДЕДУКЦИЯ, ИНДУКЦИЯ И ГИПОТЕЗА

I

Главная задача логика — классифицировать аргументы; ибо всякая проверка ясно зависит от классификации. Классы логиков определяются определенными типичными формами, называемыми силлогизмами. Например, силлогизм, называемый Barbara, выглядит следующим образом:

S is M; M is P:

Hence, S is P.

Или, если подставить слова вместо букв —

Enoch and Elijah were men; all men die:

Hence, Enoch and Elijah must have died.

«Есть P» у логиков означает любой глагол, активный или средний. Можно строго доказать (чем, однако, я не буду утруждать читателя), что любые аргументы вообще могут быть приведены к этой форме; но только при условии, что «есть» будет означать «есть для целей аргумента» или «представляется как». Таким образом, индукция будет выглядеть в этой форме примерно так:

Эти бобы на две трети белые;

Но бобы в этом мешке есть (представлены) эти бобы;

∴ Бобы в мешке на две трети белые.

Но поскольку всякое умозаключение может быть тем или иным способом сведено к Barbara, из этого не следует, что это наиболее подходящая форма для представления каждого вида умозаключения. Напротив, чтобы показать отличительные характеристики различных видов умозаключения, они должны быть ясно представлены в различных формах, свойственных каждому из них. Barbara особенно типизирует дедуктивное рассуждение; и до тех пор, пока «есть» понимается буквально, никакое индуктивное рассуждение не может быть приведено к этой форме. Barbara, по сути, есть не что иное, как применение правила. Так называемая большая посылка устанавливает это правило; как, например, «Все люди смертны». Другая, или меньшая посылка, указывает случай под этим правилом; как, «Енох был человеком». Заключение применяет правило к случаю и констатирует результат: «Енох смертен». Вся дедукция носит такой характер; это просто применение общих правил к частным случаям. Иногда это не очень очевидно, как в следующем:

All quadrangles are figures,

But no triangle is a quadrangle;

Therefore, some figures are not triangles.

Но здесь рассуждение на самом деле таково:

Rule.—Every quadrangle is other than a triangle.

Case.—Some figures are quadrangles.

Result.—Some figures are not triangles.

Индуктивное или синтетическое рассуждение, будучи чем-то большим, чем простое применение общего правила к частному случаю, никогда не может быть сведено к этой форме.

Если из мешка бобов, о которых мы знаем, что 2/3 из них белые, мы берем один наугад, то дедуктивным умозаключением будет то, что этот боб, вероятно, белый, причем вероятность составляет 2/3. Мы имеем, по сути, следующий силлогизм:

Правило. — Бобы в этом мешке на 2/3 белые.

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

Результат. — Этот боб был вытянут таким образом, что в долгосрочной перспективе он оказывался бы белым в 2/3 случаев.

Если вместо того, чтобы вытянуть один боб, мы вытягиваем горсть наугад и заключаем, что около 2/3 горсти, вероятно, белые, рассуждение будет того же рода. Если, однако, не зная, какова пропорция белых бобов в мешке, мы вытягиваем горсть наугад и, обнаружив, что 2/3 бобов в горсти белые, заключаем, что около 2/3 бобов в мешке белые, мы движемся против течения дедуктивной последовательности и выводим правило из наблюдения результата в определенном случае. Это особенно ясно, когда вся горсть оказывается одного цвета. Индукция тогда такова:

These beans were in this bag.———————-

These beans are white.—————————

All the beans in the bag were white. | |

| | |

Which is but an inversion of the deductive | | |

syllogism. | | |

| | |

Rule.—All the beans in the bag were white.—+ | |

Case.—These beans were in the bag.——————+-+

Result.—These beans are white.————————+

Таким образом, индукция — это выведение правила из случая и результата.

Но это не единственный способ инвертирования дедуктивного силлогизма для получения синтетического умозаключения. Предположим, я вхожу в комнату и нахожу там несколько мешков, содержащих разные виды бобов. На столе лежит горсть белых бобов; и, немного поискав, я обнаруживаю, что один из мешков содержит только белые бобы. Я тут же заключаю как вероятность, или как справедливое предположение, что эта горсть была взята из того мешка. Этот вид умозаключения называется выдвижением гипотезы. Это выведение случая из правила и результата. Мы имеем, следовательно —

Deduction.

Rule.—All the beans from this bag are white.

Case.—These beans are from this bag.

∴ Result.—These beans are white.

Induction.

Case.—These beans are from this bag.

Result.—These beans are white.

∴ Rule.—All the beans from this bag are white.

Hypothesis.

Rule.—All the beans from this bag are white.

Result.—These beans are white.

∴ Case.—These beans are from this bag.

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

Inference.

/——————————————-|

Deductive or Analytic. Synthetic.

/—————————|

Induction. Hypothesis.

Индукция — это когда мы обобщаем на основе ряда случаев, для которых нечто истинно, и заключаем, что то же самое истинно для целого класса. Или когда мы находим, что некая вещь истинна для определенной пропорции случаев, и заключаем, что она истинна для той же пропорции всего класса. Гипотеза — это когда мы находим какое-то весьма любопытное обстоятельство, которое объяснялось бы предположением, что оно является случаем определенного общего правила, и на этом основании принимаем это предположение. Или когда мы обнаруживаем, что в определенных отношениях два объекта имеют сильное сходство, и заключаем, что они сильно сходны друг с другом в других отношениях.

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

Находят окаменелости; скажем, останки, подобные останкам рыб, но глубоко внутри страны. Чтобы объяснить это явление, мы предполагаем, что море когда-то омывало эту землю. Это еще одна гипотеза.

Бесчисленные документы и памятники упоминают завоевателя по имени Наполеон Бонапарт. Хотя мы не видели этого человека, мы не можем объяснить то, что видели, а именно все эти документы и памятники, не предположив, что он действительно существовал. Снова гипотеза.

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

II

Помимо только что указанного способа инвертирования дедуктивного силлогизма для получения индукции или гипотезы, существует другой. Если из истинности определенной посылки с необходимостью следовала бы истинность определенного заключения, то из ложности заключения следовала бы ложность посылки. Таким образом, возьмем следующий силлогизм в Barbara:

Rule.—All men are mortal.

Case.—Enoch and Elijah were men.

∴ Result.—Enoch and Elijah were mortal.

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

Denial of Result.—Enoch and Elijah were not mortal.

Rule.—All men are mortal.

∴ Denial of Case.—Enoch and Elijah were not men.

Этот вид силлогизма называется Baroco, что является типичным модусом второй фигуры. С другой стороны, человек, который отрицает результат, может признать случай, и в этом случае он должен отрицать правило. Таким образом:

Denial of the Result.—Enoch and Elijah were not mortal.

Case.—Enoch and Elijah were men.

∴ Denial of the Rule.—Some men are not mortal.

Этот вид силлогизма называется Bocardo, что является типичным модусом третьей фигуры.

Baroco и Bocardo, конечно, являются дедуктивными силлогизмами; но весьма своеобразного рода. Логики называют их косвенными модусами, потому что им требуется некоторая трансформация, чтобы предстать как применение правила к частному случаю. Но если вместо того, чтобы начинать, как мы здесь сделали, с необходимой дедукции в Barbara, мы возьмем вероятную дедукцию схожей формы, косвенные модусы, которые мы получим, будут —

Corresponding to Baroco, an hypothesis;

and, Corresponding to Bocardo, an induction.

Например, начнем с этой вероятной дедукции в Barbara:

Rule.—Most of the beans in this bag are white.

Case.—This handful of beans are from this bag.

∴ Result.—Probably, most of this handful of beans are white.

Теперь отрицаем результат, но принимаем правило:

Denial of Result.—Few beans of this handful are white.

Rule.—Most beans in this bag are white.

∴ Denial of Case.—Probably, these beans were taken from another bag.

Это гипотетическое умозаключение. Далее, отрицаем результат, но принимаем случай:

Denial of Result.—Few beans of this handful are white.

Case.—These beans came from this bag.

∴ Denial of Rule.—Probably, few beans in the bag are white.

Это индукция.

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

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

Bocardo можно рассматривать как индукцию, настолько робкую, что она полностью теряет свой амплификативный характер. Енох и Илия — образцы определенного рода людей. Все люди этого рода, как показывают эти примеры, бессмертны. Но вместо того, чтобы смело заключать, что все очень благочестивые люди, или все люди — любимцы Всевышнего и т. д., бессмертны, мы воздерживаемся от уточнения описания людей и останавливаемся на чисто экспликативном умозаключении, что некоторые люди бессмертны. Так и Baroco можно рассматривать как очень робкую гипотезу. Енох и Илия не смертны. Теперь мы могли бы смело предположить, что они боги или что-то в этом роде, но вместо этого мы ограничиваемся выводом, что они имеют некую природу, отличную от человеческой.

Но, в конце концов, существует огромная разница между отношением Baroco и Bocardo к Barbara и отношением индукции и гипотезы к дедукции. Baroco и Bocardo основаны на том факте, что если истинность заключения с необходимостью следует из истинности посылки, то ложность посылки следует из ложности заключения. Это всегда верно. Иначе обстоит дело, когда умозаключение лишь вероятно. Из того, что истинность определенной посылки сделала бы истинность заключения вероятной, вовсе не следует, что ложность заключения делает ложность посылки вероятной. По крайней мере, это верно лишь тогда, как мы видели в предыдущей статье, когда слово «вероятный» используется в одном смысле в антецеденте и в другом — в консеквенте.

III

Некое анонимное письмо написано на клочке бумаги. Есть подозрение, что автор — определенное лицо. Его стол, к которому имел доступ только он, обыскивают, и в нем находят кусок бумаги, разорванный край которого точно совпадает по всем своим неровностям с краем бумаги, о которой идет речь. Справедливым гипотетическим умозаключением является то, что подозреваемый действительно был автором. Основанием этого умозаключения, очевидно, является то, что два разорванных куска бумаги крайне маловероятно могут совпасть случайно. Следовательно, из большого числа умозаключений такого рода лишь очень небольшая доля была бы обманчивой. Аналогия гипотезы с индукцией настолько сильна, что некоторые логики смешивали их. Гипотезу называли индукцией характеристик. Ряд характеристик, принадлежащих определенному классу, обнаруживается в определенном объекте; откуда делается вывод, что все характеристики этого класса принадлежат объекту, о котором идет речь. Это, безусловно, включает тот же принцип, что и индукция; однако в модифицированной форме. Во-первых, характеристики не поддаются простому перечислению, как объекты; во-вторых, характеристики распределяются по категориям. Когда мы выдвигаем гипотезу, подобную той, что о куске бумаги, мы исследуем только одну линию характеристик, или, может быть, две или три, и мы не берем вообще никаких образцов других. Если бы гипотеза была не чем иным, как индукцией, все, что мы были бы вправе заключить в приведенном выше примере, заключалось бы в том, что два куска бумаги, которые совпали в таких неровностях, как те, что были исследованы, совпали бы и в других, скажем, более мелких неровностях. Умозаключение от формы бумаги к ее принадлежности — это именно то, что отличает гипотезу от индукции и делает ее более смелым и опасным шагом.

Те же предупреждения, которые были даны против воображения, что индукция покоится на единообразии Природы, могут быть повторены в отношении гипотезы. Здесь, как и там, такая теория не только совершенно не объясняет обоснованность умозаключения, но и порождает методы его ведения, которые абсолютно порочны. Существуют, без сомнения, определенные единообразия в Природе, знание которых очень сильно укрепит гипотезу. Например, мы предполагаем, что железо, титан и другие металлы существуют на солнце, потому что находим в солнечном спектре много линий, совпадающих по положению с теми, которые произвели бы эти металлы; и эта гипотеза значительно усиливается нашим знанием замечательной отличительности конкретной наблюдаемой линии характеристик. Но такое укрепление гипотезы носит дедуктивный характер, и гипотеза может оставаться вероятной, когда такое подкрепление отсутствует.

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

1. Гипотеза должна быть четко поставлена как вопрос до проведения наблюдений, которые должны проверить ее истинность. Другими словами, мы должны попытаться увидеть, каким будет результат предсказаний, основанных на гипотезе.

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

3. Неудачи, так же как и успехи предсказаний, должны быть честно отмечены. Весь процесс должен быть честным и беспристрастным.

Некоторые люди воображают, что предвзятость и контрпредвзятость благоприятны для извлечения истины — что горячие и партийные дебаты — это способ исследования. Это теория нашего ужасного судебного процесса. Но Логика ставит свою ногу на это предложение. Она неопровержимо доказывает, что знание может быть продвинуто только реальным желанием его получить, и что методы упрямства, авторитета и любой способ попытки достичь предрешенного вывода абсолютно не имеют никакой ценности. Эти вещи доказаны. Читатель волен думать так или нет, пока доказательство не изложено, или пока он воздерживается от его изучения. Точно так же он может сохранить, если хочет, свою свободу мнений в отношении положений геометрии; только в этом случае, если ему вздумается прочитать Евклида, ему будет лучше пропустить все, что он найдет с A, B, C и т. д., ибо, если он внимательно прочтет этот неприятный материал, свобода его мнения о геометрии может, к несчастью, быть потеряна навсегда.

Как много людей, которые неспособны задать своей собственной совести вопрос: «Хочу ли я знать, как обстоят дела на самом деле, или нет?»

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

IV

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

Зная, что вода расширяется при нагревании, мы проводим ряд наблюдений объема постоянной массы воды при различных температурах. Изучение нескольких из них подсказывает форму алгебраической формулы, которая приблизительно выразит отношение объема к температуре. Может быть, например, что v — относительный объем, а t — температура, и несколько изученных наблюдений указывают на отношение вида —

v = 1 + at + bt2 + ct3.

При изучении наблюдений при других температурах, взятых наугад, эта идея подтверждается; и мы делаем индуктивный вывод, что все наблюдения в пределах температур, из которых мы взяли наши наблюдения, могли бы быть одинаково удовлетворены. Установив однажды, что такая формула возможна, остается лишь делом арифметики найти значения a, b и c, которые заставят формулу наилучшим образом удовлетворять наблюдениям. Это то, что физики называют эмпирической формулой, потому что она покоится на простой индукции и не объясняется никакой гипотезой.

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

Когда открыта формула такого рода, она больше не называется эмпирической формулой, а законом Природы; и рано или поздно становится основой гипотезы, которая должна ее объяснить. Эти простые формулы обычно, если вообще когда-либо, не являются точно истинными, но они от этого не менее важны; и великий триумф гипотезы наступает тогда, когда она объясняет не только формулу, но и отклонения от формулы. В современном языке физиков гипотеза такой важности называется теорией, в то время как термин «гипотеза» ограничивается предположениями, в пользу которых мало доказательств. Есть некоторая справедливость в презрении, которое прилипло к слову «гипотеза». Думать, что мы можем выбить из наших собственных умов истинное предубеждение о том, как действует Природа, — тщетная фантазия. Как хорошо говорит лорд Бэкон: «Тонкость Природы далеко превосходит тонкость чувств и интеллекта: так что эти тонкие размышления, и спекуляции, и рассуждения людей — своего рода безумие, только нет никого под рукой, чтобы заметить это». Успешные теории — это не чистые догадки, а теории, направляемые доводами.

Кинетическая теория газов — хороший пример этого. Эта теория предназначена для объяснения некоторых простых формул, главная из которых называется законом Бойля. Он гласит, что если воздух или любой другой газ поместить в цилиндр с поршнем, и если его объем измерить под давлением атмосферы, скажем, пятнадцать фунтов на квадратный дюйм, и если затем на поршень поместить еще пятнадцать фунтов на квадратный дюйм, газ будет сжат до половины своего объема, и в аналогичном обратном отношении для других давлений. Гипотеза, которая была принята для объяснения этого закона, состоит в том, что молекулы газа — это маленькие твердые частицы на больших расстояниях друг от друга (относительно их размеров), движущиеся с большой скоростью, без заметных притяжений или отталкиваний, пока они случайно не приблизятся друг к другу очень близко. Признайте это, и из этого следует, что когда газ находится под давлением, то, что препятствует его сжатию, — это не несжимаемость отдельных молекул, которые вообще не находятся под давлением, поскольку они не соприкасаются, а удары молекул о поршень. Чем больше опускается поршень и чем больше сжимается газ, тем ближе друг к другу будут молекулы; тем большее число их будет в любой момент на заданном расстоянии от поршня, тем короче расстояние, которое пройдет любая из них, прежде чем ее курс изменится под влиянием другой, тем больше число новых курсов каждой за заданное время, и тем чаще каждая, находясь на заданном расстоянии от поршня, будет ударять по нему. Это объясняет закон Бойля. Закон не точен; но гипотеза не приводит нас к нему точно. Ибо, во-первых, если молекулы велики, они будут ударяться друг о друга чаще, когда их средние расстояния уменьшаются, и, следовательно, будут ударять по поршню чаще и будут производить большее давление на него. С другой стороны, если молекулы имеют притяжение друг к другу, они будут оставаться заметное время под влиянием друг друга, и, следовательно, они не будут ударять по стенке так часто, как в противном случае, и давление будет меньше увеличиваться при сжатии.

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

Большая разница между индукцией и гипотезой заключается в том, что первая выводит существование явлений, подобных тем, что мы наблюдали, в случаях, которые подобны, в то время как гипотеза предполагает нечто иного рода, чем то, что мы непосредственно наблюдали, и часто нечто такое, что было бы невозможно для нас наблюдать непосредственно. Соответственно, когда мы растягиваем индукцию далеко за пределы нашего наблюдения, умозаключение приобретает характер гипотезы. Было бы абсурдно говорить, что у нас нет индуктивного основания для обобщения, выходящего немного за пределы опыта, и нет линии, за которой мы не могли бы продвинуть наше умозаключение; только оно становится слабее, чем дальше оно продвигается. Тем не менее, если индукция продвинута очень далеко, мы не можем придать ей большого доверия, если не обнаружим, что такое расширение объясняет какой-то факт, который мы можем наблюдать и действительно наблюдаем. Здесь, следовательно, мы имеем своего рода смесь индукции и гипотезы, поддерживающих друг друга; и такого рода большинство теорий физики.

V

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

Индукция — это, очевидно, гораздо более сильный вид умозаключения, чем гипотеза; и это первая причина для различения между ними. Гипотезы иногда рассматриваются как временные средства, которые в ходе прогресса науки должны быть заменены индукциями. Но это ложный взгляд на предмет. Гипотетическое рассуждение очень часто выводит факт, не поддающийся прямому наблюдению. Это гипотеза, что Наполеон Бонапарт когда-то существовал. Как эта гипотеза когда-либо может быть заменена индукцией? Можно сказать, что из посылки, что такие факты, как мы наблюдали, таковы, какими они были бы, если бы Наполеон существовал, мы должны вывести путем индукции, что все факты, которые будут наблюдаться в дальнейшем, будут того же характера. Нет сомнения, что любое гипотетическое умозаключение может быть искажено до вида индукции таким образом. Но сущность индукции в том, что она выводит из одного набора фактов другой набор подобных фактов, тогда как гипотеза выводит из фактов одного рода факты другого рода. Теперь, факты, которые служат основаниями для нашей веры в историческую реальность Наполеона, отнюдь не обязательно являются единственным видом фактов, которые объясняются его существованием. Может быть, во время его карьеры события записывались каким-то способом, о котором сейчас не мечтают, что какое-то изобретательное существо на соседней планете фотографировало землю, и что эти снимки в достаточно крупном масштабе могут когда-нибудь попасть к нам, или что какое-то зеркало на далекой звезде, когда свет достигнет его, отразит всю историю обратно на землю. Неважно, насколько невероятны эти предположения; все, что происходит, бесконечно невероятно. Я не говорю, что эти вещи могут произойти, но что какой-то эффект существования Наполеона, который сейчас кажется невозможным, тем не менее обязательно будет вызван. Гипотеза утверждает, что такие факты, когда они действительно произойдут, будут такого характера, чтобы подтвердить, а не опровергнуть существование этого человека. Мы имеем в невозможности индуктивно выводить гипотетические заключения вторую причину для различения между двумя видами умозаключения.

Обложка выбранной аудиокниги Выберите главу Плеер готов к воспроизведению
0:00 0:00

Громкость