Лекция 2. Искусство делать выводы

Лекция 2. Искусство делать выводы

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

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

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

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

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

Другое дедуктивное учение – это теология. С логической точки зрения, она весьма похожа на право; законы для юриста имеют такое же значение, что и священные писания для теолога. Иногда просто удивительно, чего можно достичь с помощью чистой дедукции. Из Послания Св. Апостола Павла к Римлянам Св. Августин сделал следующие выводы: люди попадают в рай не в силу добродетельной жизни, а некрещеные дети попадают в ад. Эти рассуждения возможны, и я думаю, что имплицитно эти выводы содержатся в том, что говорил Св. Павел, хотя я сомневаюсь, что Апостол знал об этом. Вероятно, если бы он знал, он бы подумал о том, как избежать таких выводов.

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

Я не имею в виду, что каждое дедуктивное рассуждение принадлежит чистой математике. Это было бы неправильно, потому что предмет этого рассуждение может находиться за пределами чистой математики. Рассмотрим освященный временем силлогизм: «Все люди смертны; Сократ человек; Следовательно, Сократ смертен». В данном случае слова «Сократ», «человек», «смертен» понятны благодаря нашему обыденному опыту земного существования; они не обладают необходимой для логики и математики универсальностью. Соответствующий принцип чистой логики выглядит следующим образом: «для любых A, B и C, если все A есть B, а C есть A, то C есть B». Сходным образом, суждение «2 яблока и 2 яблока – это 4 яблока» не является суждением арифметики, поскольку требует знаний о яблоках. Оно дедуцировано из утверждения арифметики, что 2х2=4. Только такого рода общие утверждения принадлежат логике или математике; и когда мы следуем таким общим утверждениям, мы понимаем, что не существует различий между математикой и дедуктивной логикой. Они представляют собой один предмет, в котором дедуктивная логика – в том виде, как она обычно понимается, – является более ранней частью, а чистая математика – в том виде, как она обычно понимается, – более поздней частью.

Чему вы можете научиться с помощью дедукции? Возможно, если вы достаточно умны, то ничему. Рассмотрим пример из арифметики. Поскольку вы знаете таблицу умножения, вы можете умножить любые два числа, например 24 657 и 35 746. Вы используете правила и умножаете. Но если бы вы были вундеркиндом, то вы просто «видели» бы ответ также, как вы «видите», что 2 х 2 = 4. Но на самом деле, даже вундеркинды не могут «видеть» ответ, когда суммы становятся слишком большими. На практике в любом сложном рассуждении мы можем придти к заключению только с помощью дедукции. Истинно, что все, что мы получаем с помощью дедукции, в определенном смысле уже содержится в посылках, а мы только находим то, что содержится в них, с помощью вычислений.

Польза дедуктивной логики велика, но в определенных пределах. Она не скажет вам, каких убеждений нужно придерживаться; она скажет только, что если вы придерживаетесь А, вы должны придерживаться В. Если вы считаете правильным закон гравитации, вы должны считать правильным то, что нам говорят астрономы о движении планет. Если вы считаете, что все люди равны, вы должны выступать против рабства и за право женщин на участие в выборах. (Для того чтобы сделать этот конкретный вывод, человечеству потребовалось почти сто лет.) Если вы верите, что Библия в целом истинна, вы должны верить в то, что заяц – жвачное животное. Дедукция говорит вам о том, что следует из ваших посылок, но не говорит ничего об их истинности.

И все же она помогает вам понять, что ваши посылки ложны. Это происходит в тех случаях, когда можно опровергнуть следствия из ваших посылок, и тогда ясно, что ваши посылки более или менее не верны. Епископ Коленсо в своих попытках обратить в христианскую веру зулусов перевел Библию на зулусский язык. Те с интересом читали Библию, но когда они прочитали о том, что заяц – жвачное животное, то заявили епископу, что это неправда. Коленсо был книжным червем, незнакомым с привычками зайцев. По настоянию зулусов он понаблюдал за зайцами и понял, что те правы. Все это заставило его «усомниться» в Библии, и в результате церковное руководство лишило его жалования.

Когда выдвигается какая-либо научная теория, то из нее дедуцируют следствия на предмет соответствия наблюдениям, и если хотя бы одно из них окажется неверным, то теория может быть опровергнута. Случается, что теория противоречит сама себе в том смысле, что предполагает некоторые посылки истинными, но дедуктивное рассуждение показывает, что они ложны; это называется reductio ad absurdum (Сведение к абсурду (лат.)). В подобных процедурах дедукция часто является полезным элементом опровержения.

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

Аристотель и его последователи рассматривали дедуктивную логику как логику силлогизмов. Силлогизм – это рассуждение, состоящее из двух посылок, по крайней мере одна из которых имеет общий характер, и заключения, сделанного на основании этих посылок. Силлогизм имеет дело с отношениями классов: если даны два класса А и В, А может быть частью В, А может находиться вне В, А может пересекаться с В, или же часть А может быть вне В. Силлогизм дедуцирует отношение между А и С на основе отношений между А и В и В и С. Например: Если А находится вне B, и B находится вне C, то A находится вне C. Если часть A является частью B и B полностью является частью С, то часть А является частью С. И т. д. Однако, огромное количество дедуктивных рассуждений совершенно иного рода. Действительно математика, по природе своей дедуктивная наука, довольно редко имеет дело с силлогизмами. И тем не менее, традиционные логики никогда этого не замечали. Не замечали они также и того, что существуют более простые, чем силлогизм, виды дедукции, за исключением того случая, который называется «непосредственное умозаключение» типа «Если Джон – отец Джеймса, то Джеймс – сын Джона». Современная теория дедукции приходит к отношениям между классами, пройдя через значительную область логически более простых рассуждений. Следует заметить, что логически более простое – не значит более легкое, как считают начинающие изучать логику.

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

трудности связаны с тем, почему они работают.

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

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

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

Самая простая форма индукции – это «простое перечисление». Например: во всех известных мне случаях за А всегда следовало (или имело место) В; поэтому вероятно, что за следующим А, с которым мне придется иметь дело, последует (или будет иметь место) В, и менее вероятно, что за А всегда будет следовать (или иметь место) В. Наши тела и тела животных созданы таким образом, что если мы не испытываем вынужденных ограничений, мы действуем так, как если бы мы верили в справедливость индукций посредством простого перечисления, но, как мы уже видели, подобные действия иногда сбивают нас с истинного пути. За ночью всегда наступал день, поэтому мы естественным образом ожидаем, что так будет всегда. Однако некоторые астрономы говорят, что со временем приливно-отливные трения станут причиной того, что земля навсегда повернется одной стороной к Солнцу, и тогда уже после ночи никогда не наступит день. Один философ-стоик был приглашен на ужин к царю Египта Птолемею. Шутки ради царь угостил его гранатом, сделанным из воска. Философ, опрометчиво откусив кусочек, сделал индуктивный вывод:

«Так вот каков на вкус гранат». Если вы дадите дикарю коробку с гиростатом, он подумает, что она заколдована, потому что он не сможет ее открыть. Ведьмовство и колдовство – подходящие понятия для того, чтобы объяснить неправильные индуктивные выводы.

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

Рассмотренная нами процедура зависит от открытий общих законов, а общие законы могут быть открыты, только если они существуют. Можно вообразить себе Вселенную без общих законов или, во всяком случае, без любых достаточно простых общих законов, которые мы могли бы открыть. Конечно, мы не смогли бы выжить в такой Вселенной. Животные пользуются общим законом: «можно есть все, что хорошо пахнет». Этот закон имеет исключения, что и позволяет нам травить крыс и муравьев. Однако, если бы исключения не были исключениями, животные не могли бы решить, что можно есть, или, если бы они решили, то травились бы столь же часто, сколь и избегали бы отравы. Люди же с помощью микроскопа открыли более совершенные общие законы и научились не пить молоко, которое пахнет хорошо, но содержит туберкулезные палочки. Однако, если бы не было общих законов, то завтра могло бы случиться так, что мы заболели бы от любого молока, не содержащего туберкулезных палочек. Если бы не существовало бы общих законов, невозможно было бы знать, что делать.

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

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

Свидетельства в пользу существования общих законов более основательны, если и А и В представляют собой измеряемые количества, и установлено, что чем больше А, тем больше В. Чем горячее огонь, тем быстрее вскипит чайник. Это называется принципом «сопутствующих изменений». Многие люди, занимающиеся метеорологией, считают, что погода меняется в соответствии с изменением фаз Луны, но внимательные наблюдения показывают, что это не так. С другой стороны, морские приливы и отливы изменяются в соответствии с лунными фазами: весенние приливы следуют сразу после новой и полной луны, а отливы – сразу после первой и третьей четверти. Таким образом, ясно, что существует закон, связывающий лунные фазы и приливы и отливы.

Рассмотрим закон, говорящий о том, что тела расширяются при возрастании температуры. О чем на самом деле говорит этот закон? С обыденной точки зрения мы рассматриваем температуру как нечто, что заставляет нас чувствовать жару или холод, но это лишь отчасти верно. В безветренный день, когда термометр показывает 70° F, жарче, чем в ветреный день, когда термометр показывает 80° F. Таким образом, мы определяем температуру по термометру, а не с помощью наших ощущений. Затем мы обнаруживаем, что все тела, за исключением воды в точке замерзания, занимают больше места при высокой температуре, чем при низкой. После того как это явление подтвердилось множеством экспериментов, мы не можем рассматривать его как случайное совпадение и начинаем считать его общим законом.

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

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

Сегодня во всех развитых науках законы имеют количественный характер и позволяют нам делать точные предсказания – настолько точные, что их можно проверить с помощью измерительных инструментов. И теперь любое количественно точное предсказание, за исключением некоторых научных законов, будет вызывать огромные сомнения в своей истинности. Проиллюстрируем наше утверждение. Предположим, я говорю: «Первый мужчина, которого мы встретим, будет иметь вес от 130 до 170 фунтов», вы говорите: «Весьма вероятно; большинство мужчин имеют такой вес». И если я окажусь прав, то вы скажете: «Хорошо, но вы не слишком-то рисковали в своем предсказании». Если я скажу, что этот мужчина будет весить от 149 до 151 фунта, и я буду прав, мое предсказание будет несколько более удивительным. Но предположим, я скажу: «Его вес будет 150,0001 фунта», и мы проверим, используя лучшую аппаратуру в физической лаборатории, что он действительно имеет приблизительно такой вес, то вы спросите, как я мог об этом знать. В наши дни научные предсказания, как правило, обладают такого рода точностью. Они предсказывают нам точное время восхода и захода солнца, точное расположение Юпитера в данный момент времени и т. д. Если рассматривать слово «точно» буквально, то это будет столь замечательно, что покажется почти невероятным; даже при допущении пределов ошибок в наблюдениях, точность удивительна.

Открытие Нептуна стало результатом именно такого предсказания, что придало астрономии огромное уважение со стороны широкой публики. Планета Уран не всегда вела себя так, как предсказывали; два ученых Адамс и Леверье – приписали это влиянию неизвестной планеты, расположение которой они предсказали своими вычислениями. И когда они посмотрели на небо в поиске этой планеты, то обнаружили ее именно в том месте, которое предсказали своими вычислениями. В этой истории, помимо вычислений, поражает невероятность того, что можно найти планету в любом конкретном месте.

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

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

Целью индуктивной логики является формулировка общих законов на основании конкретных обстоятельств. Дедуктивная логика поступает противоположным образом: она начинает с общих посылок и, таким образом, имеет дело с вопросом: «Как мы получили эти посылки?» Чистая математика отвечает: «Мы знаем о них, потому что это лишь словесные формулировки». Утверждение «дважды два четыре» похоже на утверждение «в ярде три фута». Мы не проверяли его с помощью наблюдения, потому что это не закон природы, а наше собственное решение о том, как мы будем использовать эти слова. Вот почему чистая математика способна существовать, не прибегая к наблюдениям или экспериментам.

Однако вне логики и чистой математики вопрос об общих посылках не решается столь просто. Рассмотрим еще раз знаменитый силлогизм традиционной формальной логики: «Все люди смертны; Сократ человек; значит, Сократ смертен». Откуда вы знаете, что все люди смертны? Вы знаете на основании индуктивного вывода, который, как и любой индуктивный вывод, обладает лишь высокой степенью вероятности, но не является определенно истинным. Утверждение «Все люди смертны» само по себе является заключением рассуждения, посылки которого таковы: А умер, В умер, С умер и т. д. Поскольку все живущие сейчас люди не умерли, вы должны так сформулировать свои посылки, чтобы этот факт не сыграл против вашего заключения. Допустим, что нет статистических данных о том, что кто-либо прожил до 160 лет, поэтому вы можете сформулировать посылку: «A, B, C… не живут до 150 лет». Для этого утверждения нет исключений. Вы можете продолжить свое рассуждение: «Поэтому, вероятно, все люди умирают прежде, чем им исполнится 150 лет», а затем вы можете завершить дедукцию в отношении Сократа (который, как мы предположили, все еще жив). Но это глупый окружной путь. Если ваши посылки делают общее утверждение вероятным, то утверждению о Сократе они придают значительно большую вероятность; поскольку если бы для этого общего утверждения существовало бы несколько редких исключений, непохоже, чтобы Сократ был именно таким редким исключением, делающим общее утверждение ложным. Лучше сказать так: «Согласно всем статистическим данным люди умирают в возрасте до 150 лет; поэтому, вероятно, то же самое произойдет и с этим конкретным человеком».

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

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

Начиная с времен Пифагора и вплоть до появления современной науки в XVII в., математика ошибочно рассматривалась как способ получения знания и наиболее полезный вид логики. Полагали, что общие посылки мы узнаем с помощью интуиции. Божественного откровения или вспоминая предыдущий опыт. Если бы это действительно было так, то все, что мы знаем, можно было бы получить посредством дедукции. Аристотель все же думал иначе, поэтому он оставил место и для индукции; а вот Фома Аквинский на самом деле считал именно так. Из этого следует, что в получении знаний наблюдения играют, конечно, подчиненную роль. Аристотель, возможно из религиозных соображений, провозгласил, что все в небесах, по крайней мере ниже Луны, нерушимо. Его утверждение сделало невозможным выработку правильной теории метеоритов и новых звезд. Ученые, получившие результаты наблюдений, показывающие, что старая теория неверна, считались плохими учеными, и приводимые ими факты игнорировались. Такое особое подчеркивание дедукции, тесно связанное с верой в самоочевидность общих принципов, было одной из причин безрезультатности в развитии науки в Средние века. Конечно, это было связано с дедуктивным по сути характером теологии и, в целом, с господством религиозного мировоззрения в то время.

Читатель уже заметил в нашем изложении частое употребление понятия «вероятность». Это характерная черта современной логики в противовес античной и средневековой логике. Современный логик понимает, что все наше знание только в большей или меньшей степени вероятностно, а не достоверно, как привыкли думать философы и теологи. Он не слишком беспокоится из-за того, что индуктивный вывод придает лишь вероятность его заключению, поскольку он не ожидает ничего большего. Однако он задумается, если обнаружит причину сомневаться даже в вероятности своего заключения.

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

Существует, соответственно, два вида вероятности – определенная и неопределенная. Вероятность определенного вида имеет место в математической теории вероятности, где обсуждаются задачи типа метания костей или подбрасывания монет. Она имеет место везде, где существует несколько возможностей, и ни одну из них нельзя предпочесть другой. Если вы подбрасываете монету, она должна упасть или орлом, или решкой, но и то и другое представляется равновероятным. Следовательно, шансы у орла и решки равны 50%, единица принимается за достоверность. Сходным образом, если вы бросаете кость, она может упасть вверх любой из шести граней, и нет оснований для предпочтения одной из них, следовательно, шанс каждой равен 1/6. Такого рода вероятность используют в своей работе страховые компании. Они не знают, какое именно здание сгорит, но знают, какой процент зданий сгорает ежегодно. Они не знают, как долго будет жить конкретный человек, но знают среднюю продолжительность жизни в данный период. Во всех подобных случаях оценка вероятности сама по себе не является просто вероятной, за исключением того смысла, в котором все знание лишь вероятно. Оценка вероятности сама по себе может обладать высокой степенью вероятности. Иначе страховые компании разорились бы.

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

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

Поясним это на примере. Если вы присяжный заседатель на суде об убийстве, судья скажет вам, что вы должны вынести вердикт «виновен», если у вас нет разумного сомнения в том, что обвиняемый совершил преступление. Если вы изучали логику, то можете спросить судью, какая степень сомнения является «разумной», но поскольку он не изучал логику, то он не сможет дать вам определенного ответа. Он не сможет сказать: «разумное сомнение есть тогда, когда шансы, свидетельствующие в пользу того, что человек виноват, меньше, чем 100:1», потому что невозможен подсчет этих шансов. Вы не сможете получить информацию относительно совершенно одинаковых судов в совокупности с данными о том, был ли их вердикт правильным или нет. И тем не менее, каждый судья, за некоторым исключением, обычно оглашает вердикт со значительной степенью уверенности в его правильности.

Именно это неточное понятие имеется в виду, когда говорят о том, что все наше знание подвержено сомнению. Вопрос о том, какая степень сомнения является «обоснованной», зависит от ваших целей. Там, где нет обоснованного сомнения с точки зрения юриста, оно может существовать с точки зрения философа или логика. С точки зрения логика, важно принять решение относительно степени вероятности различных утверждений. В результате становится возможным установить некоторое измерение соглашений. Большинство людей отдаст одно из первых мест таким утверждениям, как «дважды два четыре»; сомневаться в их истинности – почти патология. Утверждения о том, что мы испытываем в данный момент времени, такие как «Мне жарко» или «Я слышу большой шум», будучи правильно интерпретированными, также будут обладать очень высокой степенью надежности. Гораздо меньше можно доверять отголоскам памяти, но они становятся практически несомненными, будучи подтвержденными некоторым количеством других людей. Некоторые события в истории и географии не подвергаются сомнению любым разумным человеком, например существование Наполеона в прошлом и существование в настоящем горы Эверест. Несколько менее вероятно, что Земля круглая и что планеты движутся вокруг Солнца по орбитам, которые имеют приблизительно эллиптическую форму. Говоря все это, я выступаю не как философ, а как интерпретатор точки зрения просвещенного здравого смысла.

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

Лаплас полагал, что вероятность, присущая индуктивному выводу, является определенной и допускает числовое измерение. Он выработал принцип, согласно которому если вы пришли в уэлльскую деревню и спросили первого попавшегося мужчину, как его зовут, а он ответил: «Уильям», то шансы 2:1, что следующего мужчину, которого вы встретите, будут тоже звать Уильям. Если и второго звали Уильям, то шансы для следующего мужчины будут 3:1 и т. д.; если первые 100 мужчин имели имя «Уильям», шансы для 101-го равны 101:1. Если бы этот принцип был справедлив, то индуктивные выводы в науке, особенно собранные с помощью законов в один большой индуктивный вывод, имели бы такие огромные шансы в свою пользу, что ни один человек даже и не подумал бы доказывать их ложность.

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

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

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

Можем ли мы сказать, что принцип является «самоочевидным»? Прежде всего, неясно, что мы имеем в виду под этим понятием. Можно сказать, что нечто является самоочевидным, когда вы не можете не верить этому; но в этом случае самоочевидное может быть ложным. Считалось самоочевидным фактом, что в районах полюсов не могут жить люди, потому что они упали бы с Земли. Мы можем усилить определение «самоочевидности», сказав, что нечто является «самоочевидным», если никто в этом не сомневается, какие усилия бы он к этому ни приложил. Если мы принимаем это определение, то должны сказать, что принцип индукции не является самоочевидным, потому что Юм преуспел в доказательстве его сомнительности. Есть довод в пользу индуктивных выводов, состоящий в том, что индуктивное заключение предстает само по себе как несомненное с точки зрения здравого смысла, несмотря на то, что, будучи сформулированным, индуктивное рассуждение вызывает сомнения. Вернемся к вопросу, рассмотренному выше: опыт поедания яблок приводит вас к уверенности в том, что конкретное яблоко, которое вы хотите съесть, будет иметь вкус яблока, а не бифштекса. Логик, занимающийся индукцией, попытается преобразовать эту уверенность в рассуждение:

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

Должны ли мы тогда согласиться со скептиком и воскликнуть: