Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Sistema_logiki_sillogicheskoy_i_induktivnoy_Mill

.pdf
Скачиваний:
60
Добавлен:
24.01.2021
Размер:
32.24 Mб
Скачать

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

ивсем своим достоянием. Но для закон­ ности меньшего действия нет необходи­ мости, чтобы он формально заявил свое право на большее.

Прибавляю несколько замечаний в от­ вет на менее значительные возражения9.

§9- Изложенные соображения показыва­ ют нам настоящую природу того, что но­ вейшие писатели назвали «формальной ло­ гикой» и ее отношение к логике —в широ­ ком смысле этого термина. Логика, как я ее понимаю, есть теория всех вообще про­ цессов, посредством которых мы удосто­ веряемся в истинности положений, являю­ щихся в результате рассуждения или умо­ заключения. Поэтому формальная логика (в которой сэр Уильям Гамильтон, со сво­ ей точки зрения, и архиепископ Уэтли — со своей, видели все, что можно называть «логикой») представляет собой, на самом деле, лишь очень второстепенную часть этой науки, не имеющую прямого отноше­ ния к рассуждению или умозаключению --

втом смысле, в каком этот процесс состав­ ляет часть исследования истины. В таком случае, что же такое «формальная логи­ ка»? По-видимому, это название прилага­ ется собственно ко всей той части науки, которая изучает равнозначные или рав­ носильные способы выражения предложе­ ний: это —совокупность правил для опре­ деления того, в каких случаях одни утвер­ ждения заключают в себе или предполага­ ют истинность или ложность других. Сю­ да входит учение о содержании предло­ жений, об их обращении, равнозначности

ипротивоположении, о тех, неправильно так называемых, индукциях (о них мы бу­ дем говорить ниже, гл. II кн. III), в которых кажущееся обобщение представляет собой

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

Цепи умозаключений и дедуктивные науки

§ 1.

Из нашего разбора силлогизма об­

сравню это животное с большей посыл­

наружилось, что меньшая посылка всегда

кой, немедленно станет ясно, что оно объ-

утверждает сходство между новым случаем

емлется ею. Но, положим, у нас есть сле­

и теми или другими из прежде известных;

дующий силлогизм: «всякий мышьяк ядо­

большая же указывает на нечто такое, что

вит; вещество, находящееся сейчас пере­

мы нашли истинным в этих известных слу­

до мной, есть мышьяк; следовательно, это

чаях и что мы поэтому считаем себя впра­

вещество ядовито». Истинность меньшей

ве принять за истинное во всяком другом

посылки может не быть очевидной с пер­

случае, сходном с прежними в некоторых

вого взгляда; быть может, она не очевид­

определенных отношениях.

на непосредственно, а сама также позна­

 

Если бы все умозаключения были, по

ется только посредством умозаключения.

своим меньшим посылкам, похожи на те

Пусть она будет заключением другого до­

примеры, которые мы исключительно при­

казательства, которое, если его выразить в

водили в предыдущей главе, т. с. если бы

силлогистической форме, примет следую­

утверждаемое меньшей посылкой сходство

щий вид: «всякое вещество, которое, буду­

было очевидно с первого взгляда (как, на­

чи зажжено, оставляет на белом фарфоре

пример, в предложении «Сократ есть че­

(если этот последний подержать над пла­

ловек»), или если бы эти посылки можно

менем) темное пятно, растворимое в хло­

было получать из непосредственного на­

ристом кальции, есть мышьяк; вещество,

блюдения, то не было бы никакой необ­

находящееся передо мной, отвечает этому

ходимости в цепях умозаключений, не су­

условию; следовательно, это мышьяк». Та­

ществовало бы и дедуктивных наук. Цепи

ким образом, для того чтобы установить

умозаключений существуют только для то­

окончательное заключение: «вещество, ко­

го, чтобы распространять индукцию, осно­

торое я имею перед собой, есть яд», нужно

ванную (какой должна быть всякая индук­

рассуждение, которое (если его выразить в

ция) на наблюдавшихся случаях, на другие,

силлогистической форме) потребует двух

в которых мы не могли прямо наблюдать

силлогизмов. Это и будет цепью умозаклю­

не только того, что подлежит доказатель­

чений.

ству, но даже и тех признаков, которые

Однако, прибавляя таким образом сил­

указывают на этот факг.

логизм к силлогизму, мы в действительно­

 

 

сти прибавляем одну индукцию к другой.

§ 2.

Возьмем такой силлогизм: «все ко­

Нужны две отдельных индукции, для того

ровы суть жвачные животные; животное,

чтобы эта цепь умозаключений стала воз­

стоящее передо мной, есть корова; следо­

можной. Эти индукции основывались, ве­

вательно, это —животное жвачное». Мень­

роятно, на различных группах индивиду­

шая посылка, если она вообще истинна,

альных случаев; но они сходятся в своих

очевидна сама собой; исследования требу­

выводах настолько, что предмет исследо­

ет лишь установление большей посылки,

вания подходит под оба эти ряда. Заметки

и если индукция, выражением которой яв­

об этих индукциях содержатся в больших

ляется эта посылка, была выполнена пра­

посылках обоих силлогизмов. Прежде все­

вильно, то умозаключение относительно

го, мы или кто другой рассматривали раз­

стоящего сейчас передо мной животного

личные предметы, производившие при дан­

будет выполнено мгновенно: как только я

ных обстоятельствах темное пятно, обла-

13 Заказ 1606

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

Этот первый пример цепи умозаклю­ чений очень прост; цепь здесь состоит только из двух силлогизмов. Несколько сложнее будет следующий пример: «нель­ зя ниспровергнуть ни одно правительство, которое настойчиво ищет блага своих под­ данных; такое-то правительство настойчи­ во ищет блага своих подданных; следо­ вательно, его нельзя ниспровергнуть». По­ ложим, что в этом доказательстве ббльшая посылка не вытекает из соображений a pri­ ori, а представляет собой обобщение из ис­ тории, которое (будет ли оно правильно или ошибочно) должно быть основано на наблюдении правительств, относительно которых не может быть сомнения в том,

что они искали блага своих подданных. Нашли (или полагают, что нашли), что та­ кие правительства нельзя ниспровергнуть, и эти примеры сочли достаточным осно­ ванием для распространения того же са­ мого сказуемого на всякое правительство, сходное с этими в признаке настойчиво­ го стремления к благу своих подданных. Но походит ли на них в этом отношении данное правительство? Об этом можно ар­ гументировать и pro, и contra разного ро­ да доводами; но доказывать это придется, во всяком случае, посредством другой ин­ дукции, так как нельзя прямо наблюдать чувствований и желаний людей, стоящих во главе правления. Итак, для доказатель­ ства меньшей посылки нам нужен аргу­ мент такого рода: «всякое правительство, действующее таким-то образом, ищет бла­ га своих подданных; данное правительство действует именно таким образом; следова­ тельно, оно ищет блага своих подданных». Но справедливо ли, что правительство дей­ ствует именно так, как мы полагаем? Таким образом, меньшая посылка также требует доказательства, т. е. опять-таки индукции, вроде, например, следующей: «можно счи­ тать истинным то, что утверждается ум­ ными и беспристрастными свидетелями; что правительство действует так-то и такто, это утверждают именно такие свиде­ тели; поэтому их утверждению можно ве­ рить». Таким образом, доказательство со­ стоит из трех ступеней. Как свидетельству­ ют наши чувства, данный образ правле­ ния походит на некоторые из прежде нам встречавшихся в том, что относительно не­ го утверждают умные и нелицеприятные свидетели. Отсюда мы заключаем, во-пер­ вых, что данное утверждение справедливо в этом случае — так же, как и в прежних; а во-вторых, — так как утверждается, что данное правительство действует некото­ рым определенным образом и что другие правительства и отдельные лица действо­ вали таким же образом, —что данный об­ раз правления оказывается сходным с эти­ ми другими образами правления или лица­ ми. А так как известно, что эти последние желали блага народу, то отсюда, посред­ ством второй индукции, мы умозаключаем,

что и данное правительство желает блага

И для того чтобы делать это умозаключе­

ял роду. Это делает данное правительство

ние во всех новых случаях, в которых оно

| йодным с другими, о которых полагают,

будет правильно, и не делать его в тех слу­

что они не могут испытывать революций;

чаях, когда его нельзя сделать, мы раз на­

.1 отсюда, посредством третьей индукции,

всегда определяем те отличительные при­

мы заключаем, что и данное правительство

знаки, по которым можно узнать такого

г,нокс может ее избегнуть. Мы и здесь рас-

рода случаи. Дальнейший умственный про­

»уждаем опять же от частного к частному;

цесс состоит просто в том, что мы узна­

но умозаключение к новому случаю идет

ем предмет и удостоверяемся, обладает ли

|д«ть от трех различных рядов прежних

он этими признаками; при этом все рав­

случаев, из которых по непосредственному

но, узнаем ли мы предмет по этим са­

мосприятию новый случай походит только

мым признакам или же по другим, кото­

н.I один. Но из этого сходства мы индук­

рые, как мы в том удостоверились с помо­

циию умозаключаем, что данный случай

щью другого подобного же процесса, явля­

обладает тем признаком, посредством ко­

ются признаками этих признаков. В дей­

торого он уподобляется следующему ряду

ствительности, умозаключение всегда идет

случаев, а потому и подпадает под соот-

от частного к частному, от наблюдавшихся

иетствующее наведение. Затем мы повто­

случаев к ненаблюдавшимся. Делая умоза­

ряем тот же процесс и умозаключаем, что

ключение, мы только обращаемся к фор­

наш случай сходен с третьим рядом фак­

муле, которой руководимся в этих процес­

том; а отсюда, посредством третьего наве­

сах. Формула эта представляет собой за­

дения, мы приходим и к окончательному

метку о тех признаках, которые должны

мюпочению.

быть критериями того, в каких случаях,

 

 

по нашему мнению, можно делать умоза­

$

Несмотря на большую сложность

ключения, и в каких нельзя. Настоящими

л их примеров сравнительно с теми, ко­

посылками являются единичные наблюде­

торыми мы поясняли в предыдущей главе

ния, хотя бы они были совершенно по­

общую теорию умозаключений, все изло­

забыты, хотя бы мы о них даже ничего

женные нами там учения остаются одина­

не знали (в тех случаях, когда это наблю­

ково справедливыми и в этих более слож­

дение не наше личное, а других людей).

ных случаях. Ряд общих предложений пред­

Но мы имеем доказательства того, что мы

ставляет собой не ступени рассуждения;

сами или другие люди некогда считали

по — не посредствующие звенья в цепи

их достаточными для индукции, и у нас

умозаключения от наблюдавшихся частно-

есть признаки, по которым можно узнать,

стей к тем, к которым мы прилагаем наше

относится ли новый случай к числу тех,

наблюдение. Если бы у нас была достаточ­

на которые (если бы они тогда были из­

но обширная память, если бы мы облада-

вестны) индукцию, надо думать, следова­

1 способностью помнить в известном по­

ло бы распространить. Эти признаки мы

рядке громадную массу подробностей, то

узнаем или сразу, или при помощи дру­

можно было бы умозаключать и вовсе без

гих признаков, служащих, как мы это узна­

общих предложений, так как это только

ли из другой, предварительной индукции,

формулы для умозаключения от частного

признаками первых. Иногда и эти призна­

к частному. Умозаключение из общих по­

ки признаков можно узнать только по тре­

ложений основано (как было объяснено

тьему ряду признаков. Таким образом, для

мыше) на том принципе, что — раз из на-

того чтобы подвести новый случай под

Олюдения над некоторыми частностями

индукцию, основанную на таких частно­

можно вывести относительно других част­

стях, сходство которых с нашим случаем

ное гей то же самое, что мы видели спра-

удостоверено лишь косвенным путем, нам

иедливым относительно первых, — можно

иногда приходится построить целую цепь

умозаключить это самое и относительно

умозаключений, которая может быть лю­

других частных случаев известного рода.

бой длины.

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

В более сложных отраслях знания де­ дукции редко состоят, как это было в при­ веденных у нас до сих пор примерах, из одной цепи умозаключений: а есть при­ знак b, b признак с, с признак d , сле­ довательно, а есть признак d. Они состоят (продолжая ту же метафору) из нескольких цепей, соединенных своими концами, вро­ де следующего: а есть признак d yb при­ знак е, с —признак / ; с?, е, / —признаки п; следовательно, abc — суть признаки п. Предположим, например, следующее соче­ тание обстоятельств: 1) лучи света падают на отражающую поверхность; 2) эта по­ верхность параболическая; 3) лучи парал­ лельны друг другу и оси поверхности. Надо доказать, что сочетание этих трех обстоя­ тельств служит признаком того, что отра­ женные лучи пройдут через фокус пара­ болической поверхности. Каждое из этих трех обстоятельств в отдельности является признаком чего-либо существенного для данного случая. Факт падения лучей света на отражающую поверхность служит при­ знаком того, что эти лучи отразятся под углом, равным углу падения. Параболиче­ ская форма поверхности служит призна­ ком того, что линии, проведенные от лю­ бой точки поверхности к фокусу, и ли­ нии, параллельные оси, при пересечении

их с поверхностью1, будут образовывать равные между собой углы. И, наконец, па­ раллельность лучей с осью является при­ знаком того, что углы падения этих лучей совпадут с одним из этих равных углов. Та­ ким образом, совокупность этих трех при­ знаков составляет признак всех этих трех вещей, вместе взятых; а эта совокупность их, очевидно, является признаком того, что угол отражения должен совпасть с другим из двух равных углов, т. е. с углом, обра­ зованным линией, проведенной через фо­ кус. А этот, последний вывод, по основной аксиоме о прямых линиях, является при­ знаком того, что отраженные лучи про­ ходят через фокус. Большая часть цепей дедукций в физических науках относится к этому сложному типу. Их много даже и в математике, как, например, во всех тех теоремах, где предположение состоит из нескольких условий: *если мы начер­ тим круг, а внутри его возьмем какую-либо точку (но не центр), и если от этой точки мы проведем прямые линии к окружности,

то... и т.д.».

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

подходит ли под них изучаемый частный

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

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

1)вещи, совпадающие при наложении их одной на другую, равны;

2)вещи, равные одной и той же, равны между собой;

А) целое равно сумме своих частей;

4)суммы равных вещей равны;

5)разности равных вещей равны.

Других основных формул для доказательства panei1 ства нет. Для умозаключения о нераиепстве у нас есть следующие формулы:

1)целое не равно одной из своих частей;

2)суммы равных вещей с неравными не равны;

3)разности между равными и неравны­ ми вещами не равны.

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

Для большей ясности прилагаю ана­ лиз доказательства. Евкдид, как известно, доказывает свое пятое положение посред­ ством четвертого. Нам этого сделать нель­ зя, так как мы должны проследить вывод­ ные истины не до других, предшествовав­ ших им дедукций, а до их первоначальных, индуктивных оснований. Поэтому нам на­ до взять не заключение четвертого поло­ жения, а его посылки, и доказывать пятое прямо из первых начал. Это потребует ше­ сти формул (как и у Евклида, нам надо сначала продолжить равные стороны АВ

А

и АС на равные расстояния и провести ли­ нии BE и DC).

П ервая ф орм ула: Суммы равных

величин равны.

AD и АЕ суть суммы равных величин, по предположению; а потому, согласно только что приведенной формуле, эти ли­ нии равны.

В торая ф орм ула: Равные прямые

линии или углы, будучи наложены друг на друга, совпадают.

АВ и АС подходят под эту формулу, по предположению; AD и АЕ подведены под нее предыдущим звеном доказатель­ ства. Угол при А, если его взять в треуголь­ нике АВЕ, и тот же угол, взятый в треуголь­ нике ACD, конечно, также подойдет под эту формулу. Таким образом, все эти три пары обладают тем свойством, которое, соглас­ но поставленной в заголовке формуле, слу­ жит показателем попарного совпадения их при наложении. Теперь наложим треуголь­ ники друг на друга, перевернув АВЕ и на­ ложив его на ACD так, чтобы АВ совпало с АС; тогда, вследствие равенства угла А, АЕ совпадет с AD. Но АВ равно АС, а АЕ рав­ но AD. Следовательно, наши треугольники совпадут всецело, а стало быть, совпадут и точки: D с Е, В с С.

Т ретья ф орм ула: Прямые линии,

концы которых совпадают, и сами совпа­ дают

Под эту формулу предыдущей индук­ цией подведены BE и CD; следовательно, эти линии совпадут.

Ч е тв ер тая ф орм ула: Углы, сто­

роны которых совпадают, и сами совпа­ дают

Так как третья индукция показала сов­ падение BE с CD, а вторая — АВ с АС, то уг­ лы АВЕ и ACD подходят под эту четвертую формулу; следовательно, эти углы совпа­ дают.

П ятая ф орм ула: Величины, кото­

рые совпадают друг с другом, равны.

Углы АВЕ и ACD подведены под эту формулу четвертой индукцией. Так как эта цепь рассуждений применима mutatis mu­ tandis также и к углам ЕВС и DCB, то и эти углы тоже подходят под пятую формулу. Наконец,

Ш естая ф орм ула: Разности рав­

ных величин равны.

Так как угол ABC составляет разность между углами АВЕ и СВЕ, а угол АСВ —раз­ ность между углами ACD и DCB (равенство этих углов попарно было доказано), то уг­ лы ABC и АСВ подходят под эту последнюю формулу, что и составляет результат всего рассуждения.

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

рпнапы в аксиомах и немногих из так на­

теперь оказались заключениями, или ко-

чинаемых «определений». Все же остальное

роллариями из индуктивных предложений

н :»гой науке состоит из процессов подве­

более простого и более общего характе­

дения под эти индукции непредвиденных

ра. Таким образом, последовательно стали

случаев, или (говоря языком силлогисти­

математическими науками механика, гид­

ческого искусства) из процессов доказа­

ростатика, оптика, акустика, учение о теп­

тельства меньших посылок, необходимых

лоте: таким же образом и астрономия бы­

дли составления полных силлогизмов; при­

ла подведена Ньютоном под законы об­

чем большими посылками являются опре­

щей механики. Почему такая подстановка

деления и аксиомы. В этих определени­

обходного процесса мышления на место,

ях и аксиомах заложена вся совокупность

казалось бы, более легкого и естествен­

признаков, искусной комбинацией кото­

ного считается (и справедливо считается)

рых можно открыть и доказать все то, что

величайшим торжеством в изучении при­

доказывается в геометрии. Признаков этих

роды, — к решению этого вопроса мы

так немного; индукции, доставляющие их,

сейчас еще не подготовлены. Необходи­

так очевидны и привычны, что вся труд­

мо только заметить, что, хотя от такого

ность геометрии и (за ничтожными ис­

преобразования все науки стремятся стать

ключениями) все ее содержание состоит

все более и более дедуктивными, однако

н связывании друг с другом этих индук­

они ничего не теряют при этом из сво­

ций, т. е. в дедукциях, или цепях умозаклю­

его индуктивного характера, так как каж­

чений. Поэтому геометрия и представляет

дый шаг в дедукции есть все-таки индук­

еобой дедуктивную,

или выводную науку.

ция. Противоположны не термины дедук­

 

 

тивный и индуктивный, а термины дедук­

§ 5. Впоследствии

(гл. IV кн. III, § 3 и в

тивный и опытный, или эксперименталь­

других местах) мы увидим, что есть важ­

ный. Наука экспериментальна постольку,

ные научные основания придавать каждой

поскольку всякий новый случай, представ­

пауке в возможно большей степени дедук­

ляющий какие бы то ни было отличитель­

тивный характер. Есть основания старать­

ные черты, требует нового рода наблюде­

ся построить науку из возможно меньше­

ний и опытов, новой индукции. Наука де­

го числа возможно более простых индук­

дуктивна постольку, поскольку она может

ций и доказывать (хотя бы и очень слож­

относительно случаев нового рода выво­

ными) комбинациями этих индукций да­

дить заключения посредством подведения

же и такие истины относительно сложных

их под прежние индукции. Для этого удо­

случаев, которые можно было бы доказать

стоверяются в том, не обладают ли случаи,

индукциями из специальных опытов. Каж­

относительно которых нельзя было наблю­

дая отрасль естествознания была внача­

дать, что в них имеются налицо нужные

ле экспериментальной; каждое обобщение

признаки, по крайней мере, признаками

опиралось на особую индукцию, каждое

этих признаков.

ныводилось из особого ряда наблюдений

Таким образом, теперь можно видеть,

и опытов. Все науки были, как обыкно-

в чем состоит основное различие между

ненно говорят, чисто опытными, или, вы­

науками, способными стать дедуктивны­

ражаясь точнее, такими, в которых умо­

ми, и такими, которые должны остаться

заключения состояли, по большей части,

опытными. Разница в том, что в первых

из одной только ступени, выражались оди­

мы можем, а во вторых не можем най­

ночными силлогизмами. Теперь же все они

ти признаки признаков. Если на основа­

до некоторой степени, а некоторые из них

нии разнообразных индукций мы прихо­

почти всецело, стали науками чисто де­

дим только к таким предложениям, как «а

дуктивными, или выводными. Вследствие

есть признак Ь», или «а и b суть призна­

этого множество истин, которые раньше

ки друг друга», «с есть признак d», или «с

были известны в качестве индукций из та­

и d — признаки друг друга», без какого-

кого же числа отдельных рядов опытов,

либо звена, которое связывало бы а или Ъ

с с или с d, — то у нас получается нау­ ка, состоящая из разрозненных и взаимно независимых обобщений. Так, например, мы узнаем, что кислоты окрашивают си­ ние вещества растительного происхожде­ ния в красный цвет, а щелочи окрашивают их в зеленый; однако ни из одного из этих предложений мы не можем — ни прямо, ни косвенно, — вывести другого. Наука имеет чисто опытный характер, поскольку она состоит из таких предложений. Химия, например, при настоящем состоянии зна­ ний еще не освободилась от этого харак­ тера. Но другие науки состоят уже из пред­ ложений такого рода: «а есть признак Ь, b есть признак с, с — d, d — е» и т.д. В та­ ких науках можно, посредством умозаклю­ чений из общих предложений, проходить всю лестницу от а до е; в них мы можем заключать, что а есть признак е, что вся­ кий предмет, обладающий признаком а, обладает и свойством е, хотя, быть может, мы никогда не в состоянии наблюдать а и е вместе, —хотя бы даже и d , служащее для нас непосредственным показателем е, вовсе не наблюдалось в этих предметах, т. е. было только результатом умозаклю­ чения. Видоизменяя первую метафору, мы можем сказать, что мы спускаемся как бы под землю от а и е. Признаки 6, с, d, указывающие путь, принадлежат исследуе­ мым нами предметам; но они скрыты под землей, и единственным видимым призна­ ком служит а. Однако посредством его мы получаем возможность открыть последова­ тельно и все остальные из этих признаков.

§ 6. Теперь мы в состоянии понять, каким образом опытная наука может, просто бла­ годаря успехам опыта, превратиться в де­ дуктивную. В опытной, или эксперимен­ тальной науке индукции, как мы сказали, разрозненны: а есть признак b, с есть признак d , d есть признак / и т. д. Од­ нако новый ряд случаев и производимая на основании его индукция могут во вся­ кое время перекинуть мост через пробел между какими-нибудь двумя из этих не свя­ занных друг с другом арок; например, мо­ жет оказаться, что b есть признак с, а это даст нам возможность дедуктивно вывести

отсюда, что и а есть признак с. Иногда же бывает, что какая-нибудь более широ­ кая индукция перекинется аркой высоко в воздухе и сразу свяжет целый ряд сочета­ ний: b, d, / и проч.; она сделает из них признаки одной и той же вещи или же нескольких вещей, между которыми у нас уже ранее установлена связь. Так, Ньютон открыл, что движения всех тел Солнечной системы (каждое из этих движений было выведено посредством особой логической операции на основании особых призна­ ков) — все равно, правильные ли, или на первый взгляд неправильные —обнаружи­ ваюсь признаки, указывающие на враще­ ние всех их вокруг некоторого общего цен­ тра, причем центробежная сила изменяет­ ся прямо пропорционально квадрату рас­ стояния от этого центра. Это обобщение является величайшим из до сих пор быв­ ших примеров мгновенного превращения

вдедуктивную такой науки, которая уже на опытной ступени достигла большого раз­ вития.

Такого рода преобразования, только меньшего объема, происходят постоянно

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

сдругом, предложений: «кислоты окраши­ вают синие растительный вещества в крас­ ный цвет» и «щелочи окрашивают их в зе­ леный цвет»—Либих заметил, что все си­ ние красящие вещества, окрашиваемые кислотами в красный цвет (как и обрат­ но —все красные красящие вещества, ста­ новящаяся синими под влиянием щело­ чей) содержат азот. И вполне возможно; что это обстоятельство свяжет когда-нибудь два предложения, о которых идет речь, и докажет, что противоположное действие кислот и щелочей в произведении и уни­ чтожении синего цвета представляет ре­ зультат какого-нибудь одного, более об­ щего закона. Хотя такое связывание от­ дельных обобщений очень полезно, одна­ ко оно лишь в очень небольшой степе­ ни придает дедуктивный характер той или другой науке в ее целом, так как новые наблюдения и опыты, позволяющие нам

имимиать таким образом несколько общих

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

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

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

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

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

Впревращении опытных наук в де­ дуктивные громадную роль играет наука о числах. Свойства чисел одни только из всех известных явлений принадлежат —

всамом строгом смысле всем без исклю­ чения предметам. Не все предметы окра­ шены, не все имеют вес, не все даже про­

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

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

Самый разительный исторический при­ мер этого рода превращения (правда, это

Соседние файлы в предмете Логика