Страница:
Этот постулат, как указывает Кейнс, может быть различными способами ослаблен и все же не перестает быть при этом эффективным. Одним из этих ослаблений является то, что нам не "нужно предполагать, что все свойства принадлежат к таким группам, какие он постулирует; достаточно и того, что так обстоит дело с ограниченной пропорцией свойств. Достаточно подтвердить не все, а некоторые индукции, если имеется какой-либо доступный определению класс свойств, все из которых принадлежат к кейнсовским группам. Мы в большей или меньшей степени можем различать признаки, отличающие виды, от других признаков, которые изменяются от индивидуума к индивидууму. Известно, например, что цвет очень сильно меняется среди животных и, следовательно, избитая ложная индукция: "Все лебеди белые" - всегда была менее надежна, чем, скажем, индукция: "Все лебеди имеют длинную шею" Мы можем назвать признак "отличительным", когда он принадлежит ко всем членам какого-либо вида, причем "вид" есть класс, имеющий большое многообразие общих свойств, которые по неизвестной причине обнаруживаются вместе. Обычно считается, что пространственно-временное положение никогда не является отличительным признаком. Правда, сумчатые животные в диком состоянии водятся только в Австралии, но они не перестают быть сумчатыми, когда их привозят повсюду в зоопарки.
Индукция может понадобиться для определения, является ли или не является данный признак отличительным; и если мы предположим, что отличительные признаки составляют ограниченную пропорцию по всем признакам, то это употребление индукции будет оправданным.
Для многих целей бывает достаточно, если мы можем установить, что огромное большинство А суть В; мы можем поэтому смягчить постулат Кейнса, предположив, что он говорит, что некоторые признаки обычно соединяются. Если "естественный вид" определяется посредством какого-то числа свойств А1, А2, ..., An (о которых не известно, что они взаимозависимы), то мы можем для некоторых целей считать, что индивидуум, имеющий все эти качества, кроме одного, все же должен считаться членом вида, например бесхвостые кошки являются кошками, несмотря на отсутствие у них хвоста. Более того, очень многие отличительные признаки могут непрерывно изменяться, так что имеются пограничные случаи, когда мы не можем сказать определенно, имеется ли налицо данный признак или он отсутствует. Естественный вид похож на то, что в топологии называется соседством, но не экстенциональным, а интенциональным. Кошки, например, похожи на скопление звезд: не все они находятся в одном интенциональном месте, но большинство из них тяготеет к интенциональному центру. Признавая эволюцию, мы должны думать, что были и выпадающие из класса члены, настолько отклоняющиеся от нормального типа, что мы едва ли могли знать, можно ли их считать членами семейства или нет. Этот взгляд на естественные виды имеет то преимущество, что его не нужно изменять перед тем, как включать в прогрессирующую науку.
Такие соображения, однако, наводят на мысль о преобразовании постулата Кейнса во что-то более пластичное и менее напоминающее учебник логики, чем тот принцип, который он выдвигает. Казалось бы, должны существовать законы, делающие некоторые сочетания признаков более устойчивыми, чем другие сочетания, и требующие, когда один признак слегка изменяется, чтобы другой подвергался какому-то коррелятивно с ним связанному небольшому изменению. Этот процесс ведет к функциональным законам корреляции, как, вероятно, более основным, чем естественные виды.
Вышеприведенный ход мысли, по-видимому, свойствен биологии, но несколько другой ход мысли предлагается современной теорией атома. В течение XVIII и XIX столетий было обнаружено, что колоссальное множество известных науке веществ можно объяснить с помощью предположения, что все они состоят из девяноста двух элементов (некоторые из которых еще были не известны). Каждый элемент, как считалось вплоть до нашего века, имеет некоторое число свойств, которые оказались сосуществующими, хотя и по неизвестной причине. Атомный вес, точка плавления, внешний вид и др. делали каждый элемент естественным видом столь же определенно, как в биологии до теории эволюции. Наконец, однако, оказалось, что различия между элементами являются различиями в структуре и следствиями законов, одних для все элементов. Правда, есть еще естественные виды - в настоящее время это электроны, позитроны, нейтроны и протоны,- однако думают, что они не являются конечными и могут быть сведены к различиям в структуре. Уже в квантовой теории их существование несколько туманно и не столь существенно. Это наводит на мысль, что в физике, как и в биологии после Дарвина, может быть доказано, что учение о естественных видах было только временной фазой.
Я прихожу к заключению, что учение о естественных видах, хотя и полезное для установления таких донаучных индукций, как "собаки лают" и "кошки мяукают", все же является только приблизительным и переходным допущением на пути к основополагающим законам другого рода. Как на этом основании, так и из-за произвольного характера этого учения я не могут принять его в качестве одного из постулатов научного вывода.
ГЛАВА 4.
ЗНАНИЕ, ВЫХОДЯЩЕЕ ЗА ПРЕДЕЛЫ ОПЫТА.
Некоторые современные эмпиристы - в частности большинство логических позитивистов,- по моему мнению, неверно понимают отношение знания к опыту. Это произошло, если я не ошибаюсь, из-за двух ошибок: неправильного анализа понятия "опыт" и ошибки, содержащейся в вере, что некое приписываемое свойство принадлежит некоему (неопределенному) субъекту. Возникает два специальных вопроса:
один - в отношении значения, другой - в отношении знания того, что называется "экзистенциальными высказываниями", то есть в отношении высказываний формы "нечто имеет это свойство". С одной стороны, считается, что утверждение не является "значащим", если нет какого-либо известного метода его проверки, а с другой - что мы не можем знать высказывания "нечто имеет это свойство", если мы не можем назвать того особого субъекта, который имеет это свойство. По традиции английское слово "verification" в данной книге переводится словами "верификация" и "проверка", употребляющимися как синонимы. Возможно, по отношению к логическому позитивизму точнее было бы употребление одного слова "верификация". В этой главе я приведу основания для отвержения обоих этих мнений.
Перед анализом абстрактной логики этих двух проблем рассмотрим их пока с точки зрения обыденного здравого смысла.
Начнем с проверки: имеются люди, которые считают, что если атомная война не будет запрещена, то она может привести к уничтожению жизни на нашей планете. Меня касается сейчас не то, что это мнение истинно, а то, что оно является только значащим. Однако оно не может быть проверено, ибо кто был бы в состоянии подтвердить его истинность, если бы жизнь на Земле исчезла? Разве только берклеанский бог, которого, как я уверен, логические позитивисты не захотели бы вмешивать в дело. Смотря назад, а не вперед, мы все верим, что было время и до того, как на Земле возникла жизнь. Те, кто рассматривает доступность проверке как необходимую для значения, не намереваются отрицать такую возможность, но для того, чтобы принять ее, они вынуждены определить "доступность проверке" несколько произвольно. Иногда предложение рассматривается как "доступное проверке", если имеется какое-либо эмпирическое свидетельство в его пользу. Это значит, что "все А суть В"- "доступно проверке", если мы знаем о каком-либо А, что оно есть В, и не знаем ни одного, которое не есть В. Этот взгляд, однако, ведет к логическим абсурдам. Допустим, что нет ни одного члена А, в отношении которого мы знали бы, что он есть В, но имеется объект х, который не является членом A и о котором мы знаем, что он есть В. Пусть А1 есть класс, состоящий из класса А вместе с объектом х. Тогда обобщение "все А суть В' доступно проверке в терминах определения. Поскольку это обобщение подразумевает, что "все А суть В', то из этого следует, что "все А суть В' доступно проверке. Следовательно, всякое обобщение формы "все А суть В' доступно проверке, если где-либо имеется хотя бы один объект, о котором известно, что он есть В.
Рассмотрим теперь обобщение другого рода, какое мы хотели бы сделать в связи с учением о естественных видах. Обобщения, которые я имею в виду, имеют форму: "Все предикаты класса А истинны и в отношении объекта В'. Согласно тому же определению "доступности проверке", это обобщение "доступно проверке", если некоторые, или по крайней мере один из предикатов класса А эмпирически известен как истинный в отношении В. Если этого нет, пусть Р будет каким-либо предикатом, о котором известно, что он истинен в отношении В, и пусть А1 будет классом, состоящим из класса А вместе с Р. Тогда обобщение: "Все предикаты класса А\ истинны в отношении В", а значит, и обобщение: "Все предикаты класса А истинны в отношении В' доступны проверке.
Из этих двух процессов следует, что если известно, что что-либо имеет какой-то предикат, то все обобщения "доступны проверке". Это следствие не имелось в виду, но оно показывает, что вышеприведенное широкое определение "доступности проверке" бесполезно. Но если мы не примем какого-либо подобного широкого определения, то мы не сможем избежать парадоксов.
Рассмотрим предложения (высказывания) со словом "некоторые" или с эквивалентным ему словом, например: "некоторые люди черные" или "некоторые четвероногие не имеют хвоста". Как правило, такие предложения делаются известными через примеры. Если меня спрашивают: "Каким образом вы узнали, что некоторые четвероногие не имеют хвоста?" - то я могу ответить: "Потому что я имел однажды бесхвостую кошку". Согласно взгляду, против которого я собираюсь выступить, это единственный способ узнавать об истинности таких предложений. Этот взгляд поддерживался Брауэром в математике и поддерживается некоторыми философами в отношении эмпирических объектов.
Парадоксы, проистекающие из этого взгляда, очень гюхожи на парадоксы, проистекающие из вышеприведенной доктрины в отношении доступности проверке. Возьмем такое предложение: "Дождь иногда идет в таких местах, где нет никого, кто мог бы видеть его". Ни один здравомыслящей человек не будет этого отрицать, но невозможно говорить о дожде, которого никто не видел. Отрицать, что мы знаем; что происходят события никем не наблюдаемые, несовместимо с обыденным здравым смыслом, но вместе с тем необходимо, если мы никогда не познаем предложения типа "имеются A", за исключением случаев, когда мы можем упомянуть те A, которые мы наблюдали. Может ли кто-либо серьезно утверждать, что планета Нептун или Антарктический континент не существовали до того, как они были открыты? И в этом случае только берклеанский бог в состоянии избавить нас от парадоксов. Или еще: мы все верим, что в центре Земли имеется железо, но мы не можем дать примеров из области, находящейся за пределами глубины самой глубокой шахты.
Приверженцы доктрины, против которой я выступаю, интерпретируют эти факты гипотетически. Они говорят, что утверждение: "Имеется неоткрытое железо" является сокращением и что полное утверждение должно иметь форму:
"Если бы я совершил определенные действия, я открыл бы железо". Допустим, что ради точности мы берем утверждение:
"Имеется железо на глубине более 1000 миль от поверхности земли". Невероятно, чтобы кто-либо когда-нибудь нашел это железо, и во всяком случае как можно узнать, какой человек найдет его? Только через знание того, что должно быть найдено. Гипотетическое предложение, предположение которого, вероятно, всегда будет ложным, ничего нам не говорит. Или еще предложение: "Некогда мир был без жизни". Оно не может означать, что "Если бы я был жив тогда, то я увидел бы, что нет ничего живого".
Рассмотрим теперь вышеприведенные две доктрины более формально, со строго логической точки зрения.
А. Значение и верификация.
Существует теория, согласно которой значение предложения состоит в методе его верификации. Из этого следует (а), что то, что не может быть подтверждено или опровергнуто, является бессмысленным, (б) что два предложения, подтвержденные одним и тем же событием, имеют одно и то же значение.
Я отвергаю и то и другое и не думаю, что те, кто защищает эти положения, полностью осознали их следствия.
Во-первых, практически все защитники вышеприведенного взгляда рассматривают верификацию как дело социальное. Это значит, что они берут проблему в ее последней стадии и не осознают ее более ранних стадий. Наблюдения других людей не являются данными для меня. Предположение, что ничто не существует кроме того, что я воспринимаю и вспоминаю, для меня идентично во всех его доступных проверке следствиях с предположением, что существуют другие люди, которые также воспринимают и вспоминают. Если нам приходится верить в существование этих других людей - что мы должны делать, если вынуждены признавать свидетельства,- то мы должны отбросить отождествление значения с верификацией.
"Верификация" часто определяется весьма произвольно. Единственно строгий смысл ее следующий: предложение, утверждающее конечное число событий, "верифицируется", когда все эти события происходят и в какой-то момент воспринимаются или вспоминаются каким-либо человеком. Но это не тот смысл, в котором это слово обычно употребляется. Принято говорить, что общее предложение "верифицируется", когда все те его следствия, которые можно было использовать, оказываются истинными. Всегда признается, что в этом случае те следствия, которые не были исследованы, вероятно, тоже истинны. Но не это меня сейчас интересует. Я хочу сейчас рассмотреть теорию о том, что два предложения, проверенные следствия которых идентичны, имеют одно и то же значение. Я говорю "проверенные", а не "доступные проверке", потому что пока не исчезнет последний человек, мы не можем узнать, являются ли "доступные проверке" следствия идентичными. Возьмем пример: "Все люди смертны". Может случиться, что 9 февраля 1991 года родится бессмертный человек. Доступные в настоящее время проверке следствия на предложения "Все люди смертны" - те же самые, что и следствия предложения "Все люди, родившиеся до времени t, смертны, но это не касается всех тех, которые родились позже", где t есть любое время, но не более чем сто лет назад.
Если мы настаиваем на употреблении скорее слова "доступный проверке", чем "проверенный", то мы не можем узнать, доступно ли предложение проверке, потому что это предполагало бы знание бесконечно большого будущего. Действительно, утверждение того, что предложение доступно проверке, само оказывается недоступным проверке. Это происходит потому, что утверждение, что все будущие следствия общего предложения истинны, само есть общее предложение, примеры которого не могут быть перечислены, а ни одно общее предложение не может быть основано на чисто эмпирическом свидетельстве, кроме такого, которое применяется к списку частных случаев, которые все полностью наблюдались. Например, я могу сказать "Жителями такой-то деревни являются, г-н и г-жа А., г-н и г-жа Б. и так далее, их семьи, все члены которых известны мне лично, и все они - уэльсцы". Но, как мы видели в главе X части второй, такие общие перечисляющие утверждения связаны со множеством трудностей. Но, когда я не могу перечислить члены класса, я по эмпирическим основаниям не могу подтвердить никакого обобщения о его членах, кроме того, что аналитически вытекает из его определения.
Все же, однако, следует указать один пункт в пользу сторонников верификации предложений. Они утверждают, что есть различие между двумя видами случаев. В одном случае мы имеем два предложения, следствия которых до сего времени не были доступны различению, но будущие следствия которых могут различаться, например: "Все люди смертны" и "Все люди, родившиеся до 2000 года новой эры, смертны". В другом случае мы имеем два предложения, наблюдаемые следствия которых никогда не могут различаться; это особенно часто происходит с метафизическими гипотезами. Гипотеза, что звездное небо существовало во все времена, и гипотеза, что оно существует только тогда, когда я его вижу, совершенно тождественны во всех тех их следствиях, которые я могу проверить. Именно в таких случаях значение и является идентичным с верификацией, и, следовательно, об этих двух гипотезах можно сказать, что они имеют одно и то же значение. А именно это я и собираюсь решительно отвергнуть.
Возможно, что наиболее очевидным фактом является существование умов других людей. Предположение, что существуют другие люди, имеющие мысли и чувства, более или менее сходные с моими, имеет не то же самое значение, которое имеет предположение, что другие люди являются только элементами моих иллюзий, и все же доступные верификации следствия этих двух предположений идентичны. Все мы любим и ненавидим, имеем симпатии и антипатии, переживаем восхищение и презрение по отношению к тем, кого считаем действительно людьми. Эмоциональные следствия этой веры очень отличаются от следствий солипсизма, хотя доступные верификации следствия не отличаются от него. Я сказал бы, что два верования, эмоциональные следствия которых отличаются друг от друга, имеют существенно различные значения.
Но это практический аргумент. Я попробую пойти дальше и сказать в чисто теоретическом плане, что вы не можете без впадения в бесконечный регресс искать значения предложения в его следствиях, которые должны быть другими предложениями. Мы не можем объяснить значения веры или того, что делает ее истинной или ложной, без привлечения понятия "факт", а когда это понятие привлекается, роль верификации становится подчиненной и производной.
Б. Выводные экзистенциальные высказывания.
Форма слов, содержащая неопределенную переменную, например "х есть мужчина", называется "пропозициональной функцией", если эта форма слов становится высказыванием, когда переменной приписывается какое-либо значение. В русских переводах книг по математической логике иногда вместо термина "пропозициональная функция" употребляется термин "функция-высказывание". Мы предпочитаем держаться ближе к оригинальному термину - prepositional function,. Таким образом, "х есть мужчина" не является ни истинным высказыванием, ни ложным, но, если я вместо "х" поставлю "г-н Джоунз", я получу истинное предложение (высказывание), а если я поставлю "г-жа Джоунз", то получу ложное.
Помимо приписывания значения переменной "х", существуют два других способа получения предложения из пропозициональной функции. Один заключается в утверждении, что все предложения, полученные в результате приписывания значений переменной "х", истинны; другой состоит в утверждении, что по крайней мере одно из них истинно. Если "f(x)" есть функция, о которой идет речь, то мы назовем первое из этих утверждений "f(x) всегда", а другое - "f(x) иногда" (где подразумевается, что "иногда" значит "по крайней мере однажды). Если "f(x)" есть "х не есть человек" или "х смертен", то мы можем утверждать "f(x) всегда"; если же "f(x)" есть "х есть человек", то мы можем утверждать "f(x) иногда", что мы могли бы обычным способом выразить, сказав:
"существуют люди". Если "f(x)" есть "Я встретил х" и "х есть человек", то "f(x) иногда" есть "Я встретил по крайней мере одного человека".
Мы называем "f(x) иногда" "экзистенциальным высказыванием", потому что оно говорит, что нечто, имеющее свойство f(x), "существует". Например, если бы вы захотели сказать:
"Единороги существуют",- вы должны были бы сначала определить высказывание: "х есть единорог", а затем утверждать, что имеются такие значения х, для которых это высказывание является истинным. В обычном языке слова "некоторый", "один", "этот" указывают на экзистенциальные высказывания.
Существует один очевидный способ, с помощью которого мы получаем знание экзистенциальных высказываний,- это с помощью примеров. Если я знаю "f(a)", где о есть некоторый известный мне объект, то я могу вывести "f(x) иногда". Вопрос, который я хочу обсудить, заключается в том, является ли это единственным способом, с помощью которого мы можем прийти к знанию таких предложений. Я хочу показать, что этот способ не единственный.
В дедуктивной логике существует только два способа, посредством которых экзистенциальные высказывания могут быть доказаны. Одним из них является вышеприведенный, когда "f(x) иногда" выводится из "f(a)"; другой тот, когда одно экзистенциальное высказывание выводится из другого, например: "Существуют двуногие существа" выводится из "Существуют не имеющие перьев двуногие существа". Какие другие методы возможны в недедуктивном выводе?
Индукция, если она правильна, дает другой метод. Допустим, что существуют два класса А и В и такое отношение R, что в каком-то числе наблюденных случаев мы имеем (ставя "aRb" вместо "о имеет отношение R к b")
a1 есть А b1 есть B. a1Rb1
a2 есть А. b2 есть B. a2Rb2,
...................................
an есть А. bn есть B anRbn
и допустим, что мы не имеем противоположных случаев. Тогда во всех наблюденных случаях, если a есть А, то есть и В, к которому а имеет отношение R. Если случаи таков, что индукция к нему применима, то мы делаем вывод, что, вероятно, каждый член А имеет отношение R к какому-либо члену В. Следовательно, если an+1 есть следующий наблюдаемый член А, то мы выводим как вероятное: "Имеется такой член В, к которому an+1 имеет отношение R". И действительно, мы делаем этот вывод во многих случаях, когда мы не можем в качестве доказательства указать на какой-либо отдельный член В, такой, какой мы вывели. Обращаясь к ранее приведенному примеру, скажем, что все мы верим, что, вероятно, у Наполеона III был отец. Даже солипсист, если он и позволяет себе иметь какие-либо взгляды в отношении своего будущего, не может избежать такого рода индукции. Допустим, например, что наш солипсист страдает от перемежающегося ишиаса, который беспокоит его каждый вечер; он может сказать на индуктивных основаниях: "Вероятно, я буду испытывать боль в 9 часов сегодня вечером". Это вывод о существовании чего-то, выходящего за пределы его настоящего опыта. "Но,можете вы сказать,- это не выходит за пределы его будущего опыта". Если вывод правилен, то он не выходит за них; но вопрос заключается в том, как он может знать теперь, что этот вывод, вероятно, правилен. Вся практическая полезность научного вывода состоит в приведении оснований для предвидения будущего; когда будущее наступает и оправдывает вывод, воспоминание замещает вывод, который становится больше ненужным. Мы должны, следовательно, найти основание для доверия к выводу еще до его верификации. Я вызываю весь мир на поиски таких оснований для доверия к выводам, которые будут верифицированы в будущем, которые не являются вместе с тем основаниями для доверия к некоторым выводам, которые не будут ни верифицированы, ни фальсифицированы, вроде, например, вывода об отце Наполеона III.
Мы снова стоим перед вопросом: при каких обстоятельствах индукция оказывается верной? Не имеет смысла говорить: "Индукция верна, когда из нее выводится нечто такое, что последующий опыт верифицирует. Это не имеет смысла потому, что это ограничило бы индукцию теми случаями, в которых она бесполезна. Мы должны еще до опыта иметь основания для ожидания чего-либо, и такие основания могут привести нас к вере во что-либо такое, чего мы не можем иметь в опыте, например к вере в мысли и чувства других людей. И действительно, по поводу понятия "опыт" возникло чересчур много волнений и всякой излишней суеты.
Опыт необходим для наглядного определения и, следовательно, для всякого понимания значений слов. Но предложение "У А был отец" вполне понятно, даже если я не имею никакого представления о том, кто был отцом А. Если отцом А был В, то "В" не является составной частью утверждения "У А был отец" или любого утверждения, содержащего слова "отец А", но не содержащего имени "В". Точно так же я могу понять предложение "Существовала крылатая лошадь", хотя таковой никогда не было, потому что это утверждение значит, что, ставя "f(x)" вместо "х имеет крылья и является лошадью", я утверждаю, что "f(x) иногда". Это нужно понимать так, что "х" не есть составная часть высказывания "f(x) иногда" или высказывания "f(x) всегда". На самом деле "х" ничего не значит. Вот почему начинающим так трудно уяснить, что оно значит.
Когда я делаю вывод о чем-либо, не данном в опыте,- независимо от того, буду или не буду иметь это в опыте в будущем,- мой вывод никогда не бывает выводом о чем-либо таком, что я могу назвать, а лишь выводом об истинности экзистенциального высказывания. Если индукция всегда верна, то существует возможность узнать об истинности экзистенциальных высказываний без знания каких-либо частных случаев их истинности. Допустим, например, что А есть класс, некоторые члены которого нам известны по опыту, и что мы делаем вывод, что некий член класса А будет иметь место. Мы должны только подставить "будущие члены А" вместо "члены А" для того, чтобы наш вывод был применим к классу, ни одного случая которого мы не можем назвать.
Я склонен думать, что правильные индукции и вообще выводы, выходящие за пределы моего личного прошлого и настоящего опыта, всегда зависят от причинения, иногда дополненного аналогией. Но это предмет обсуждения следующей главы; в этой же главе я хотел только устранить некоторые априорные возражения против некоторых видов вывода - возражения, которые, хотя и являются априорными, все же выдвигаются теми, кто воображает себя способным обходиться совсем без всякого a prior/.
Индукция может понадобиться для определения, является ли или не является данный признак отличительным; и если мы предположим, что отличительные признаки составляют ограниченную пропорцию по всем признакам, то это употребление индукции будет оправданным.
Для многих целей бывает достаточно, если мы можем установить, что огромное большинство А суть В; мы можем поэтому смягчить постулат Кейнса, предположив, что он говорит, что некоторые признаки обычно соединяются. Если "естественный вид" определяется посредством какого-то числа свойств А1, А2, ..., An (о которых не известно, что они взаимозависимы), то мы можем для некоторых целей считать, что индивидуум, имеющий все эти качества, кроме одного, все же должен считаться членом вида, например бесхвостые кошки являются кошками, несмотря на отсутствие у них хвоста. Более того, очень многие отличительные признаки могут непрерывно изменяться, так что имеются пограничные случаи, когда мы не можем сказать определенно, имеется ли налицо данный признак или он отсутствует. Естественный вид похож на то, что в топологии называется соседством, но не экстенциональным, а интенциональным. Кошки, например, похожи на скопление звезд: не все они находятся в одном интенциональном месте, но большинство из них тяготеет к интенциональному центру. Признавая эволюцию, мы должны думать, что были и выпадающие из класса члены, настолько отклоняющиеся от нормального типа, что мы едва ли могли знать, можно ли их считать членами семейства или нет. Этот взгляд на естественные виды имеет то преимущество, что его не нужно изменять перед тем, как включать в прогрессирующую науку.
Такие соображения, однако, наводят на мысль о преобразовании постулата Кейнса во что-то более пластичное и менее напоминающее учебник логики, чем тот принцип, который он выдвигает. Казалось бы, должны существовать законы, делающие некоторые сочетания признаков более устойчивыми, чем другие сочетания, и требующие, когда один признак слегка изменяется, чтобы другой подвергался какому-то коррелятивно с ним связанному небольшому изменению. Этот процесс ведет к функциональным законам корреляции, как, вероятно, более основным, чем естественные виды.
Вышеприведенный ход мысли, по-видимому, свойствен биологии, но несколько другой ход мысли предлагается современной теорией атома. В течение XVIII и XIX столетий было обнаружено, что колоссальное множество известных науке веществ можно объяснить с помощью предположения, что все они состоят из девяноста двух элементов (некоторые из которых еще были не известны). Каждый элемент, как считалось вплоть до нашего века, имеет некоторое число свойств, которые оказались сосуществующими, хотя и по неизвестной причине. Атомный вес, точка плавления, внешний вид и др. делали каждый элемент естественным видом столь же определенно, как в биологии до теории эволюции. Наконец, однако, оказалось, что различия между элементами являются различиями в структуре и следствиями законов, одних для все элементов. Правда, есть еще естественные виды - в настоящее время это электроны, позитроны, нейтроны и протоны,- однако думают, что они не являются конечными и могут быть сведены к различиям в структуре. Уже в квантовой теории их существование несколько туманно и не столь существенно. Это наводит на мысль, что в физике, как и в биологии после Дарвина, может быть доказано, что учение о естественных видах было только временной фазой.
Я прихожу к заключению, что учение о естественных видах, хотя и полезное для установления таких донаучных индукций, как "собаки лают" и "кошки мяукают", все же является только приблизительным и переходным допущением на пути к основополагающим законам другого рода. Как на этом основании, так и из-за произвольного характера этого учения я не могут принять его в качестве одного из постулатов научного вывода.
ГЛАВА 4.
ЗНАНИЕ, ВЫХОДЯЩЕЕ ЗА ПРЕДЕЛЫ ОПЫТА.
Некоторые современные эмпиристы - в частности большинство логических позитивистов,- по моему мнению, неверно понимают отношение знания к опыту. Это произошло, если я не ошибаюсь, из-за двух ошибок: неправильного анализа понятия "опыт" и ошибки, содержащейся в вере, что некое приписываемое свойство принадлежит некоему (неопределенному) субъекту. Возникает два специальных вопроса:
один - в отношении значения, другой - в отношении знания того, что называется "экзистенциальными высказываниями", то есть в отношении высказываний формы "нечто имеет это свойство". С одной стороны, считается, что утверждение не является "значащим", если нет какого-либо известного метода его проверки, а с другой - что мы не можем знать высказывания "нечто имеет это свойство", если мы не можем назвать того особого субъекта, который имеет это свойство. По традиции английское слово "verification" в данной книге переводится словами "верификация" и "проверка", употребляющимися как синонимы. Возможно, по отношению к логическому позитивизму точнее было бы употребление одного слова "верификация". В этой главе я приведу основания для отвержения обоих этих мнений.
Перед анализом абстрактной логики этих двух проблем рассмотрим их пока с точки зрения обыденного здравого смысла.
Начнем с проверки: имеются люди, которые считают, что если атомная война не будет запрещена, то она может привести к уничтожению жизни на нашей планете. Меня касается сейчас не то, что это мнение истинно, а то, что оно является только значащим. Однако оно не может быть проверено, ибо кто был бы в состоянии подтвердить его истинность, если бы жизнь на Земле исчезла? Разве только берклеанский бог, которого, как я уверен, логические позитивисты не захотели бы вмешивать в дело. Смотря назад, а не вперед, мы все верим, что было время и до того, как на Земле возникла жизнь. Те, кто рассматривает доступность проверке как необходимую для значения, не намереваются отрицать такую возможность, но для того, чтобы принять ее, они вынуждены определить "доступность проверке" несколько произвольно. Иногда предложение рассматривается как "доступное проверке", если имеется какое-либо эмпирическое свидетельство в его пользу. Это значит, что "все А суть В"- "доступно проверке", если мы знаем о каком-либо А, что оно есть В, и не знаем ни одного, которое не есть В. Этот взгляд, однако, ведет к логическим абсурдам. Допустим, что нет ни одного члена А, в отношении которого мы знали бы, что он есть В, но имеется объект х, который не является членом A и о котором мы знаем, что он есть В. Пусть А1 есть класс, состоящий из класса А вместе с объектом х. Тогда обобщение "все А суть В' доступно проверке в терминах определения. Поскольку это обобщение подразумевает, что "все А суть В', то из этого следует, что "все А суть В' доступно проверке. Следовательно, всякое обобщение формы "все А суть В' доступно проверке, если где-либо имеется хотя бы один объект, о котором известно, что он есть В.
Рассмотрим теперь обобщение другого рода, какое мы хотели бы сделать в связи с учением о естественных видах. Обобщения, которые я имею в виду, имеют форму: "Все предикаты класса А истинны и в отношении объекта В'. Согласно тому же определению "доступности проверке", это обобщение "доступно проверке", если некоторые, или по крайней мере один из предикатов класса А эмпирически известен как истинный в отношении В. Если этого нет, пусть Р будет каким-либо предикатом, о котором известно, что он истинен в отношении В, и пусть А1 будет классом, состоящим из класса А вместе с Р. Тогда обобщение: "Все предикаты класса А\ истинны в отношении В", а значит, и обобщение: "Все предикаты класса А истинны в отношении В' доступны проверке.
Из этих двух процессов следует, что если известно, что что-либо имеет какой-то предикат, то все обобщения "доступны проверке". Это следствие не имелось в виду, но оно показывает, что вышеприведенное широкое определение "доступности проверке" бесполезно. Но если мы не примем какого-либо подобного широкого определения, то мы не сможем избежать парадоксов.
Рассмотрим предложения (высказывания) со словом "некоторые" или с эквивалентным ему словом, например: "некоторые люди черные" или "некоторые четвероногие не имеют хвоста". Как правило, такие предложения делаются известными через примеры. Если меня спрашивают: "Каким образом вы узнали, что некоторые четвероногие не имеют хвоста?" - то я могу ответить: "Потому что я имел однажды бесхвостую кошку". Согласно взгляду, против которого я собираюсь выступить, это единственный способ узнавать об истинности таких предложений. Этот взгляд поддерживался Брауэром в математике и поддерживается некоторыми философами в отношении эмпирических объектов.
Парадоксы, проистекающие из этого взгляда, очень гюхожи на парадоксы, проистекающие из вышеприведенной доктрины в отношении доступности проверке. Возьмем такое предложение: "Дождь иногда идет в таких местах, где нет никого, кто мог бы видеть его". Ни один здравомыслящей человек не будет этого отрицать, но невозможно говорить о дожде, которого никто не видел. Отрицать, что мы знаем; что происходят события никем не наблюдаемые, несовместимо с обыденным здравым смыслом, но вместе с тем необходимо, если мы никогда не познаем предложения типа "имеются A", за исключением случаев, когда мы можем упомянуть те A, которые мы наблюдали. Может ли кто-либо серьезно утверждать, что планета Нептун или Антарктический континент не существовали до того, как они были открыты? И в этом случае только берклеанский бог в состоянии избавить нас от парадоксов. Или еще: мы все верим, что в центре Земли имеется железо, но мы не можем дать примеров из области, находящейся за пределами глубины самой глубокой шахты.
Приверженцы доктрины, против которой я выступаю, интерпретируют эти факты гипотетически. Они говорят, что утверждение: "Имеется неоткрытое железо" является сокращением и что полное утверждение должно иметь форму:
"Если бы я совершил определенные действия, я открыл бы железо". Допустим, что ради точности мы берем утверждение:
"Имеется железо на глубине более 1000 миль от поверхности земли". Невероятно, чтобы кто-либо когда-нибудь нашел это железо, и во всяком случае как можно узнать, какой человек найдет его? Только через знание того, что должно быть найдено. Гипотетическое предложение, предположение которого, вероятно, всегда будет ложным, ничего нам не говорит. Или еще предложение: "Некогда мир был без жизни". Оно не может означать, что "Если бы я был жив тогда, то я увидел бы, что нет ничего живого".
Рассмотрим теперь вышеприведенные две доктрины более формально, со строго логической точки зрения.
А. Значение и верификация.
Существует теория, согласно которой значение предложения состоит в методе его верификации. Из этого следует (а), что то, что не может быть подтверждено или опровергнуто, является бессмысленным, (б) что два предложения, подтвержденные одним и тем же событием, имеют одно и то же значение.
Я отвергаю и то и другое и не думаю, что те, кто защищает эти положения, полностью осознали их следствия.
Во-первых, практически все защитники вышеприведенного взгляда рассматривают верификацию как дело социальное. Это значит, что они берут проблему в ее последней стадии и не осознают ее более ранних стадий. Наблюдения других людей не являются данными для меня. Предположение, что ничто не существует кроме того, что я воспринимаю и вспоминаю, для меня идентично во всех его доступных проверке следствиях с предположением, что существуют другие люди, которые также воспринимают и вспоминают. Если нам приходится верить в существование этих других людей - что мы должны делать, если вынуждены признавать свидетельства,- то мы должны отбросить отождествление значения с верификацией.
"Верификация" часто определяется весьма произвольно. Единственно строгий смысл ее следующий: предложение, утверждающее конечное число событий, "верифицируется", когда все эти события происходят и в какой-то момент воспринимаются или вспоминаются каким-либо человеком. Но это не тот смысл, в котором это слово обычно употребляется. Принято говорить, что общее предложение "верифицируется", когда все те его следствия, которые можно было использовать, оказываются истинными. Всегда признается, что в этом случае те следствия, которые не были исследованы, вероятно, тоже истинны. Но не это меня сейчас интересует. Я хочу сейчас рассмотреть теорию о том, что два предложения, проверенные следствия которых идентичны, имеют одно и то же значение. Я говорю "проверенные", а не "доступные проверке", потому что пока не исчезнет последний человек, мы не можем узнать, являются ли "доступные проверке" следствия идентичными. Возьмем пример: "Все люди смертны". Может случиться, что 9 февраля 1991 года родится бессмертный человек. Доступные в настоящее время проверке следствия на предложения "Все люди смертны" - те же самые, что и следствия предложения "Все люди, родившиеся до времени t, смертны, но это не касается всех тех, которые родились позже", где t есть любое время, но не более чем сто лет назад.
Если мы настаиваем на употреблении скорее слова "доступный проверке", чем "проверенный", то мы не можем узнать, доступно ли предложение проверке, потому что это предполагало бы знание бесконечно большого будущего. Действительно, утверждение того, что предложение доступно проверке, само оказывается недоступным проверке. Это происходит потому, что утверждение, что все будущие следствия общего предложения истинны, само есть общее предложение, примеры которого не могут быть перечислены, а ни одно общее предложение не может быть основано на чисто эмпирическом свидетельстве, кроме такого, которое применяется к списку частных случаев, которые все полностью наблюдались. Например, я могу сказать "Жителями такой-то деревни являются, г-н и г-жа А., г-н и г-жа Б. и так далее, их семьи, все члены которых известны мне лично, и все они - уэльсцы". Но, как мы видели в главе X части второй, такие общие перечисляющие утверждения связаны со множеством трудностей. Но, когда я не могу перечислить члены класса, я по эмпирическим основаниям не могу подтвердить никакого обобщения о его членах, кроме того, что аналитически вытекает из его определения.
Все же, однако, следует указать один пункт в пользу сторонников верификации предложений. Они утверждают, что есть различие между двумя видами случаев. В одном случае мы имеем два предложения, следствия которых до сего времени не были доступны различению, но будущие следствия которых могут различаться, например: "Все люди смертны" и "Все люди, родившиеся до 2000 года новой эры, смертны". В другом случае мы имеем два предложения, наблюдаемые следствия которых никогда не могут различаться; это особенно часто происходит с метафизическими гипотезами. Гипотеза, что звездное небо существовало во все времена, и гипотеза, что оно существует только тогда, когда я его вижу, совершенно тождественны во всех тех их следствиях, которые я могу проверить. Именно в таких случаях значение и является идентичным с верификацией, и, следовательно, об этих двух гипотезах можно сказать, что они имеют одно и то же значение. А именно это я и собираюсь решительно отвергнуть.
Возможно, что наиболее очевидным фактом является существование умов других людей. Предположение, что существуют другие люди, имеющие мысли и чувства, более или менее сходные с моими, имеет не то же самое значение, которое имеет предположение, что другие люди являются только элементами моих иллюзий, и все же доступные верификации следствия этих двух предположений идентичны. Все мы любим и ненавидим, имеем симпатии и антипатии, переживаем восхищение и презрение по отношению к тем, кого считаем действительно людьми. Эмоциональные следствия этой веры очень отличаются от следствий солипсизма, хотя доступные верификации следствия не отличаются от него. Я сказал бы, что два верования, эмоциональные следствия которых отличаются друг от друга, имеют существенно различные значения.
Но это практический аргумент. Я попробую пойти дальше и сказать в чисто теоретическом плане, что вы не можете без впадения в бесконечный регресс искать значения предложения в его следствиях, которые должны быть другими предложениями. Мы не можем объяснить значения веры или того, что делает ее истинной или ложной, без привлечения понятия "факт", а когда это понятие привлекается, роль верификации становится подчиненной и производной.
Б. Выводные экзистенциальные высказывания.
Форма слов, содержащая неопределенную переменную, например "х есть мужчина", называется "пропозициональной функцией", если эта форма слов становится высказыванием, когда переменной приписывается какое-либо значение. В русских переводах книг по математической логике иногда вместо термина "пропозициональная функция" употребляется термин "функция-высказывание". Мы предпочитаем держаться ближе к оригинальному термину - prepositional function,. Таким образом, "х есть мужчина" не является ни истинным высказыванием, ни ложным, но, если я вместо "х" поставлю "г-н Джоунз", я получу истинное предложение (высказывание), а если я поставлю "г-жа Джоунз", то получу ложное.
Помимо приписывания значения переменной "х", существуют два других способа получения предложения из пропозициональной функции. Один заключается в утверждении, что все предложения, полученные в результате приписывания значений переменной "х", истинны; другой состоит в утверждении, что по крайней мере одно из них истинно. Если "f(x)" есть функция, о которой идет речь, то мы назовем первое из этих утверждений "f(x) всегда", а другое - "f(x) иногда" (где подразумевается, что "иногда" значит "по крайней мере однажды). Если "f(x)" есть "х не есть человек" или "х смертен", то мы можем утверждать "f(x) всегда"; если же "f(x)" есть "х есть человек", то мы можем утверждать "f(x) иногда", что мы могли бы обычным способом выразить, сказав:
"существуют люди". Если "f(x)" есть "Я встретил х" и "х есть человек", то "f(x) иногда" есть "Я встретил по крайней мере одного человека".
Мы называем "f(x) иногда" "экзистенциальным высказыванием", потому что оно говорит, что нечто, имеющее свойство f(x), "существует". Например, если бы вы захотели сказать:
"Единороги существуют",- вы должны были бы сначала определить высказывание: "х есть единорог", а затем утверждать, что имеются такие значения х, для которых это высказывание является истинным. В обычном языке слова "некоторый", "один", "этот" указывают на экзистенциальные высказывания.
Существует один очевидный способ, с помощью которого мы получаем знание экзистенциальных высказываний,- это с помощью примеров. Если я знаю "f(a)", где о есть некоторый известный мне объект, то я могу вывести "f(x) иногда". Вопрос, который я хочу обсудить, заключается в том, является ли это единственным способом, с помощью которого мы можем прийти к знанию таких предложений. Я хочу показать, что этот способ не единственный.
В дедуктивной логике существует только два способа, посредством которых экзистенциальные высказывания могут быть доказаны. Одним из них является вышеприведенный, когда "f(x) иногда" выводится из "f(a)"; другой тот, когда одно экзистенциальное высказывание выводится из другого, например: "Существуют двуногие существа" выводится из "Существуют не имеющие перьев двуногие существа". Какие другие методы возможны в недедуктивном выводе?
Индукция, если она правильна, дает другой метод. Допустим, что существуют два класса А и В и такое отношение R, что в каком-то числе наблюденных случаев мы имеем (ставя "aRb" вместо "о имеет отношение R к b")
a1 есть А b1 есть B. a1Rb1
a2 есть А. b2 есть B. a2Rb2,
...................................
an есть А. bn есть B anRbn
и допустим, что мы не имеем противоположных случаев. Тогда во всех наблюденных случаях, если a есть А, то есть и В, к которому а имеет отношение R. Если случаи таков, что индукция к нему применима, то мы делаем вывод, что, вероятно, каждый член А имеет отношение R к какому-либо члену В. Следовательно, если an+1 есть следующий наблюдаемый член А, то мы выводим как вероятное: "Имеется такой член В, к которому an+1 имеет отношение R". И действительно, мы делаем этот вывод во многих случаях, когда мы не можем в качестве доказательства указать на какой-либо отдельный член В, такой, какой мы вывели. Обращаясь к ранее приведенному примеру, скажем, что все мы верим, что, вероятно, у Наполеона III был отец. Даже солипсист, если он и позволяет себе иметь какие-либо взгляды в отношении своего будущего, не может избежать такого рода индукции. Допустим, например, что наш солипсист страдает от перемежающегося ишиаса, который беспокоит его каждый вечер; он может сказать на индуктивных основаниях: "Вероятно, я буду испытывать боль в 9 часов сегодня вечером". Это вывод о существовании чего-то, выходящего за пределы его настоящего опыта. "Но,можете вы сказать,- это не выходит за пределы его будущего опыта". Если вывод правилен, то он не выходит за них; но вопрос заключается в том, как он может знать теперь, что этот вывод, вероятно, правилен. Вся практическая полезность научного вывода состоит в приведении оснований для предвидения будущего; когда будущее наступает и оправдывает вывод, воспоминание замещает вывод, который становится больше ненужным. Мы должны, следовательно, найти основание для доверия к выводу еще до его верификации. Я вызываю весь мир на поиски таких оснований для доверия к выводам, которые будут верифицированы в будущем, которые не являются вместе с тем основаниями для доверия к некоторым выводам, которые не будут ни верифицированы, ни фальсифицированы, вроде, например, вывода об отце Наполеона III.
Мы снова стоим перед вопросом: при каких обстоятельствах индукция оказывается верной? Не имеет смысла говорить: "Индукция верна, когда из нее выводится нечто такое, что последующий опыт верифицирует. Это не имеет смысла потому, что это ограничило бы индукцию теми случаями, в которых она бесполезна. Мы должны еще до опыта иметь основания для ожидания чего-либо, и такие основания могут привести нас к вере во что-либо такое, чего мы не можем иметь в опыте, например к вере в мысли и чувства других людей. И действительно, по поводу понятия "опыт" возникло чересчур много волнений и всякой излишней суеты.
Опыт необходим для наглядного определения и, следовательно, для всякого понимания значений слов. Но предложение "У А был отец" вполне понятно, даже если я не имею никакого представления о том, кто был отцом А. Если отцом А был В, то "В" не является составной частью утверждения "У А был отец" или любого утверждения, содержащего слова "отец А", но не содержащего имени "В". Точно так же я могу понять предложение "Существовала крылатая лошадь", хотя таковой никогда не было, потому что это утверждение значит, что, ставя "f(x)" вместо "х имеет крылья и является лошадью", я утверждаю, что "f(x) иногда". Это нужно понимать так, что "х" не есть составная часть высказывания "f(x) иногда" или высказывания "f(x) всегда". На самом деле "х" ничего не значит. Вот почему начинающим так трудно уяснить, что оно значит.
Когда я делаю вывод о чем-либо, не данном в опыте,- независимо от того, буду или не буду иметь это в опыте в будущем,- мой вывод никогда не бывает выводом о чем-либо таком, что я могу назвать, а лишь выводом об истинности экзистенциального высказывания. Если индукция всегда верна, то существует возможность узнать об истинности экзистенциальных высказываний без знания каких-либо частных случаев их истинности. Допустим, например, что А есть класс, некоторые члены которого нам известны по опыту, и что мы делаем вывод, что некий член класса А будет иметь место. Мы должны только подставить "будущие члены А" вместо "члены А" для того, чтобы наш вывод был применим к классу, ни одного случая которого мы не можем назвать.
Я склонен думать, что правильные индукции и вообще выводы, выходящие за пределы моего личного прошлого и настоящего опыта, всегда зависят от причинения, иногда дополненного аналогией. Но это предмет обсуждения следующей главы; в этой же главе я хотел только устранить некоторые априорные возражения против некоторых видов вывода - возражения, которые, хотя и являются априорными, все же выдвигаются теми, кто воображает себя способным обходиться совсем без всякого a prior/.