Страница:
В качестве иллюстрации к нашему постулату возьмем, например, связь некоторых видов зрительных впечатлений с ожиданием твердости. Имеется определенный вид осязательного ощущения, вынуждающего нас называть тело, к которому мы прикасаемся, "твердым". Слово "твердый" есть причинное слово: оно обозначает то свойство объекта, в силу которого оно служит причиной определенного вида осязательного ощущения. Наши прежние постулаты позволяют нам сделать вывод о том, что имеется такое свойство, которым тела обладают, когда они являются причинами соответствующих ощущений. Но наши прежние постулаты не позволяют нам делать вывод, что иногда тела имеют это свойство даже и тогда, когда никто их не осязает. Но теперь мы обнаруживаем, что, когда тело и созерцается и осязается, твердость ассоциируется с определенным внешним видом, и наш постулат позволяет нам сделать вывод, что твердость, вероятно, ассоциируется с этим внешним видом даже тогда, когда тело не осязается.
Как явствует из вышеприведенного обсуждения, этот постулат, кроме того, позволяет нам сделать выводы о психических событиях, связанных во многих случаях с другими телами, а не с нашими собственными.
Вышеизложенные постулаты, вероятно, сформулированы не в самой простои логической их форме, и вполне возможно, что дальнейшее исследование показало бы, что не все они необходимы для научного вывода. Я надеюсь и верю, однако, что они являются достаточными. Имеются, однако, некоторые связанные с ними эпистемологические проблемы, которые я буду рассматривать в следующей главе; эти проблемы не зависят от точной формы постулатов и остались бы такими же, даже если бы постулаты были сильно изменены.
Постулаты в той их форме, в которой я их сформулировал, предназначаются для оправдания первых шагов в направлении к науке и того в обыденном здравом смысле, что может быть в нем оправдано. Моя главная проблема в этой части была эпистемологической: что должны мы предполагать известным нам а добавление к частным наблюдаемым фактам для того, чтобы научные выводы могли считаться имеющими силу? Занимаясь этой проблемой, мы не должны анализировать науку в ее наиболее развитой и технической форме, ибо развитая наука строится на элементарной науке, а элементарная наука строится на обыденном здравом смысле. Прогресс науки заключается в переходе от неопределенных и подверженных исключениям обобщений к другим, гораздо более точным и имеющим меньше исключений. Предложение "Не поддерживаемые в воздухе тела падают" является примитивным обобщением. Псалмопевец заметил, что искры являются исключением из обобщения, а теперь мы могли бы добавить еще аэростаты и аэропланы. Но без этого необработанного и частично неверного закона мы никогда не дошли бы до закона всемирного тяготения. Предпосылки теории познания всегда отличаются от предпосылок логики, и именно предпосылки теории познания я и пытался раскрыть.
В каком смысле можно сказать, что мы "знаем" вышеприведенные постулаты или все то, что в будущем может оказаться более предпочтительным по сравнению с ними? Я думаю, что только в том смысле, который учитывает обсуждение видов знания, данное в главе 1 этой части. Познание общих связей между фактами сильнее отличается от познания отдельных фактов, чем это обычно думают. Познание связей между фактами имеет свой биологический источник в ожиданиях животных. Животное, которое переживает А, ожидает В;
когда оно развивается в примитивного ученого, оно обобщает какое-то число отдельных ожиданий в утверждение "А есть причина В'. С биологической точки зрения полезно иметь такие ожидания, которые обычно подтверждаются; поэтому не удивительно, если психологические законы, управляющие ожиданиями, согласуются в основном с объективными законами, управляющими ожидаемыми событиями.
Мы можем сформулировать это следующим образом, физический мир имеет то, что можно назвать "привычками", то есть причинными законами; поведение животных содержит отчасти врожденные, отчасти же приобретенные привычки. Приобретенные привычки порождаются тем, что я называю "анимальным выводом, который имеет место там, где имеются данные для индукции, но не во всех случаях, где имеются такие данные. Благодаря тому, что мир таков, каков он есть, некоторые виды индукций оправдываются, а другие - нет. Если бы наши индуктивные склонности были совершенным образом приспособлены к нашему окружению, мы прибегали бы к индукции только в тех случаях, в которых применение индукции было бы вполне законным. На самом же деле все, кроме людей науки, бывают чересчур склонными к индукции, когда один из членов причинной связи (А или В) оказывается интересным, и слишком мало бывают склонны к ней, когда оба члена (А и B) таковы, что их нелегко заметить. Когда оба члена связи (и А, и B) интересны, ординарный ум находит в этом импульс к индукции непреодолимым: кометы предсказывают смерть принцев, потому что и то и другое ощущается как нечто из ряда вон выходящее. Но даже в индукции животных имеются элементы правильности. Вывод от запаха пищи к ее съедобности обычно надежен, и ни одно животное не совершает тех абсурдных индукций, которые логики могут изобретать для того, чтобы показать, что индукция не всегда оказывается правильной.
Благодаря тому, что мир таков, каков он есть, некоторые события действительно оказываются иногда свидетельствами в пользу некоторых других; и благодаря тому, что животные приспособлены к их окружению, те события, которые действительно являются свидетельством в пользу других, вызывают ожидание этих других событий. Размышляя над этим процессом и очищая его, мы выделяем правила индуктивного вывода. Эти правила оказываются действенными, если мир имеет те определенные характерные черты, в существование которых все мы верим. Выводы, сделанные в соответствии с этими правилами, сами себя подтверждают и не противоречат опыту. Более того, они заставляют нас считать вероятным, что мы имеем такие психические привычки, которые эти правила в целом оправдывают, поскольку такие психические привычки биологически полезны.
Я думаю поэтому, что можно сказать, что мы "знаем" то, что является необходимым для научного вывода, если он выполняет следующие условия: (1) он истинен, (2) мы знаем это, (3) он не ведет к таким заключениям, которые опыт опровергает, (4) он логически необходим, если какое-то событие или ряд событий дают свидетельство в пользу какого-либо другого события. Я считаю, что эти условия удовлетворяются. Если, однако, кто-либо предпочтет придерживаться солипсизма момента, то я буду считать, что он не может быть опровергнут, но буду глубоко сомневаться в его искренности.
ГЛАВА 10.
ГРАНИЦЫ ЭМПИРИЗМА.
Эмпиризм может быть определен как утверждение: "Всякое синтетическое знание основывается на опыте". Я хочу рассмотреть, что именно это утверждение может значить и является ЛИ ОНО ПОЛНОСТЬЮ ИСТИННЫМ ИЛИ ИСТИННЫМ ТОЛЬКО С
некоторыми ограничениями.
Перед тем, как это утверждение получит определенность, мы должны определить слова "синтетическое", "знание", "основывается на" и "опыт". За исключением слова "синтетическое", все эти термины уже были более или менее определены в предшествующих главах, но я кратко и в догматической форме повторю заключения вышеизложенных обсуждений. В отношении слова "синтетический" точное определение дать трудно, но для наших целей мы можем определить его негативно, как всякое высказывание, не являющееся частью математики или дедуктивной логики и не выводимое из какого-либо высказывания математики или дедуктивной логики. Таким образом, оно исключает не только "2 плюс 2 есть четыре", но также и "два яблока плюс два яблока есть четыре яблока". Но оно включает не только все утверждения об отдельных фактах, но также все обобщения, которые не являются логически необходимыми, вроде: "Все люди смертны" или "Всякая медь является проводником электричества".
"Знание", как мы видели, есть термин, не поддающийся точному определению. Всякое знание является до некоторой степени сомнительным, и мы также не можем сказать, при какой степени сомнительности оно перестает быть знанием, как не можем сказать, сколько человек должен потерять волос, чтобы считаться лысым. Когда вера выражается в словах, мы должны иметь в виду, что все слова за пределами логики и математики неопределенны: имеются объекты, к которым они определенно применимы, и есть объекты, к которым они определенно неприменимы, но имеются (или по крайней мере могут быть) промежуточные объекты, в отношении которых мы не уверены, применимы эти слова к ним или нет. Когда вера не выражена в словах, а проявляется только в бессловесном поведении, бывает гораздо больше неопределенности, чем это обычно бывает тогда, когда она выражается в языке. Под сомнением находится даже то, какое поведение может рассматриваться как выражающее веру: поездка на станцию с целью сесть в поезд определенно выражает веру; ясно, что чихание ничего не выражает, но поднимание руки с целью защиты от удара является промежуточным случаем, который ближе к "да", а закрывание глаз, когда что-либо приближается к глазу, является промежуточным случаем, который ближе к "нет".
Но оставим эти трудности в определении "знания", так как имеются другие, возможно, более важные в данном контексте.
"Знание" есть подкласс истинных верований. Мы только что видели, что "веру" нелегко определить и что "истина" - очень трудный термин. Я не буду, однако, повторять то, что об этом термине было уже сказано во второй части книги, так как по-настоящему важным вопросом для нас сейчас является вопрос о том, что должно быть добавлено к истине для того, чтобы сделать веру примером "знания".
Признано, что все выведенное из какого-либо отрывка знания с помощью доказательного рассуждения является знанием. Но, поскольку выводы начинаются с посылок, должно быть знание, которое выводится для того, чтобы вообще существовало какое-либо знание. А поскольку большинство выводов являются недоказательными, постольку мы должны рассмотреть, когда такой вывод делает свое заключение частицей "знания" при том, что мы уже знаем посылки.
На второй вопрос иногда можно дать точный ответ. Если дано доказательство, которое, исходя из известных посылок, сообщает вероятность р определенному заключению, тогда если посылки охватывают все относящееся к делу свидетельство, то заключение имеет степень правдоподобия, измеряемого через р, и мы можем сказать, что мы имеем в заключение "недостоверное знание", причем недостоверность эта измеряется через 1 -р. Поскольку все (или почти все) знание сомнительно, постольку должно быть принято понятие "недостоверного знания".
Но такая точность редко бывает возможна. Мы обычно не знаем никакой математической меры той вероятности, которую дает недоказательный вывод, и мы едва ли даже знаем степень сомнительности наших посылок. Тем не менее вышеизложенное дает некий идеал, к которому мы можем приближаться в оценке сомнительности заключения недоказательного рассуждения. Предполагаемое абсолютное понятие "знания" должно быть заменено понятием "знания со степенью истинности р", где р будет измеряться математической вероятностью, когда это может быть установлено.
Теперь мы должны рассмотреть знание посылок. С первого взгляда они бывают трех видов: (1) знание отдельных фактов, (2) посылки дедуктивного вывода, (3) посылки недедуктивного вывода. Я оставляю в стороне пункт (2), который имеет мало отношения к нашим проблемам и не предполагает никаких трудностей, которые нас интересуют в этом исследовании. Но пункты (1) и (3) оба связаны с теми основными вопросами, которыми мы занимались.
Что знание отдельных фактов должно зависеть от восприятия, является одним из самых основных принципов эмпиризма, который я, однако, не собираюсь обсуждать. Он не принимался теми философами, которые признавали онтологическое доказательство, или теми, которые думали, "то качества и свойства созданного мира выводятся из благости Бога. Такие взгляды, однако, редко встречаются в настоящее время. Большинство философов признает что знание отдельных фактов возможно только в том случае, если эти факты воспринимаются, или вспоминаются, или выводятся с помощью правильного доказательства из таких, которые воспринимаются или вспоминаются, или выводятся с помощью правильного доказательства из таких, которые воспринимаются или вспоминаются. Но и после признания этого остается много трудностей. "Восприятие", как мы видели в части третьей этой книги, есть неопределенное и скользкое понятие. Отношение восприятия к памяти определить нелегко. И вопрос о том, что представляет собой действенное доказательство, когда оно недоказательно, предполагает все проблемы шестой части книги. Но, прежде чем рассматривать доказательство, обратим наше внимание на ту роль, которую играют восприятие и воспоминание в создании знания.
Ограничиваясь пока словесным знанием, мы можем рассматривать восприятие и воспоминание по отношению к (о) пониманию слов, (б) пониманию предложений, (б) познанию отдельных фактов. Мы находимся здесь в области локковской полемики против врожденных идей и юмовского принципа "никаких идей без предшествующего впечатления".
В отношении понимания слов мы можем ограничиться теми, которые определяются наглядно. Наглядное определение состоит из повторного употребления какого-либо определенного слова лицом А, в то время когда то, что это слово обозначает, занимает внимание другого лица В. (Мы можем допустить, что А есть кто-либо из родителей, а В - ребенок). При этом А должен иметь возможность предполагать с высокой степенью вероятности, что В его слушает. Это бывает легче всего осуществимым в случаях объектов, воспринимаемых органами чувств, имеющими общественный характер, особенно зрением и слухом. Несколько труднее это бывает в случаях зубной боли, боли в ухе, в желудке и так далее Еще труднее это сделать в отношении "мыслей" вроде воспоминаний, таблицы умножения и так далее Вследствие этого дети научаются говорить о таких предметах не так рано, как о кошках и собаках. Но во всех таких случаях восприятие объекта, являющегося тем, что обозначает данное слово, в некотором смысле все еще существенно для понимания слова.
В этом пункте желательно вспомнить некоторые теории, изложенные в части второй этой книги.
Имеется различие между "словами, обозначающими объекты", и "синтаксическими словами". "Кошка", "собака", "Франция" являются словами, обозначающими объекты; "или", "не", "чем", "но" - синтаксические слова. Слово, обозначающее объект, может употребляться как восклицание для указания на присутствие того объекта, который оно обозначает; это, конечно, самое примитивное употребление. Синтаксическое слово не может так употребляться. При переезде через канал, как только покажется мыс Гри-не, кто-либо может воскликнуть; "Франция.!" - но не бывает таких обстоятельств, в которых было бы уместно воскликнуть: "Чем!" Мыс Гри-не находится на французском берегу пролива Па-де-Кале близ города Кале.
Синтаксические слова могут определяться только вербально с помощью других синтаксических слов; следовательно, в любом языке, имеющем синтаксис, должны быть неопределяемые синтаксические слова. Тогда встает вопрос: что представляет собой наглядное определение синтаксического слова? Существует ли какой-то способ указания на его значение в том смысле, в каком можно указать на кошку или собаку?
Возьмем слово "не", поскольку оно входит в жизнь начинающего говорить ребенка. Я думаю, что оно есть производное от "нет", употреблению которого большинство детей выучивается очень скоро. Слово "нет" предназначается для ассоциирования с ожиданием неприятного ощущения, так что действие, привлекательное при других обстоятельствах, может превратиться в непривлекательное благодаря произнесению этого слова. Я думаю, что "не" есть "нет", ограниченное только сферой веры. "Это сахар?" - "Нет, это соль, так что если вы посыплете ее на ваш сладкий пирог, то вы получите неприятный вкус". Здесь есть идеи, на основе которых полезно действовать, и такие, на основе которых действовать вредно. Слово "не" первоначально обозначает "вредный для действия". Еще проще: "да" значит: "здесь удовольствие", а "нет" значит: "здесь неприятность". (Удовольствие и страдания могут относиться к социальным санкциям, осуществляемым родителями.) Таким образом "не" первоначально является только отрицательным повелением, применяемым к верованиям,
Но это, по-видимому, несколько далеко от того, что под словом "не" имеет в виду логик. Можем ли мы заполнить промежуточные стадии в языковом развитии ребенка?
Я думаю, что мы можем сказать, что "не" значит что-то вроде следующего: "Ты хорошо делаешь, что отвергаешь веру в..." А "отвержение" первоначально обозначает движение отталкивания. Вера есть импульс к какому-либо действию, а слово "не" препятствует этому импульсу.
Почему нужна эта странная теория? Потому что мир может быть описан без употребления слова "не". Если солнце светит, то утверждение: "Солнце светит" - описывает факт, который имеет место независимо от утверждения. Но если солнце не светит, то нет объективного факта "Солнце не светит". Ясно, что я могу верить, и верить справедливо, что Солнце не светит. Но если "не" не необходимо для полного описания мира, то должно быть возможным описание того, что происходит, когда я верю, что Солнце не светит, без употребления слова "не". Я думаю, что я при этом препятствую импульсу, порождаемому верой в то, что Солнце светит. Это положение вещей тоже называется верой, и притом "истинной", когда вера в то, что Солнце светит, оказывается ложной. Вера на основе восприятия истинна, когда она имеет определенные причинные антецеденты, и ложна, когда имеет другие; слова "истинный" и "ложный" являются положительными предикатами. Таким образом, слово "не" устраняется из нашего основного аппарата.
Подобная трактовка может быть применена и к слову "или". Больше затруднений со словами "все" и "некоторые". Каждое из них может быть определено с помощью другого плюс отрицание, поскольку "f(x) всегда" есть отрицание "не-f(x) иногда", a "f(x) иногда" есть отрицание "не-f(x) всегда''. Легко доказать, ложность "f(x) всегда" или истинность "f(x) иногда", но нелегко видеть, как мы можем доказать истинность "f(x) всегда" или ложность "f(x) иногда". Но сейчас меня занимает не истинность или ложность таких предложений, а вопрос о том, как мы приходим к пониманию слов "все" и "некоторые".
Возьмем, скажем, предложение "некоторые собаки кусаются". Вы заметили, что эта, та и вон та собаки кусаются;
вы наблюдали других собак, которые, насколько вы могли в этом убедиться на опыте, не кусались. Если теперь в присутствии какой-то собаки кто-либо скажет вам: "Эта собака кусается" - и вы поверите ему, то вы будете склонны к некоторым действиям. Некоторые из этих действий обусловлены присутствием именно этой собаки, другие - не этой. О тех действиях, которые будут иметь место, независимо то того, какая собака налицо, можно сказать, что они составляют веру: "Некоторые собаки кусаются". Вера: "Ни одна собака не кусается" - будет отрицанием первой веры. Таким образом, верования, выражаемые с помощью слов "все" и "некоторые", не содержат никаких составных частей, не содержащихся в верованиях, в словесных выражениях которых эти слова не встречаются.
Этого достаточно для понимания логических слов.
Мы можем подвести итог этому обсуждению словаря следующим образом.
Некоторые слова относятся к объектам, другие выражают характерные черты состояния наших верований; первые являются словами, обозначающими объекты, вторые - синтаксическими словами. Слово, обозначающее объект, понимается или через вербальное определение, или через наглядное определение. В вербальных определениях в конечном счете должны употребляться лишь слова, имеющие наглядное определение. Наглядное определение состоит в установлении ассоциации через слуховое восприятие очень сходных звуков в присутствии подлежащего определению объекта. Из этого следует, что наглядное определение должно применяться к классу сходных чувственных событий; ни к чему другому этот процесс не применим. Наглядное определение никогда не может применяться к чему-либо не испытанному в опыте.
Переходя теперь к пониманию предложений, мы можем считать очевидным, что каждое утверждение, которое мы в состоянии понять, должно допускать выражение в словах, имеющих наглядные определения, или должно выводиться из утверждения, выраженного таким способом с помощью синтаксических слов.
Следствия этого принципа, однако, не идут так далеко, как это иногда думают. Я никогда не видел крылатой лошади, но я могу понять утверждение: "Существует крылатая лошадь" Ибо если А есть названный мною объект, то я могу понять, что "А есть лошадь" и "А имеет крылья"; следовательно, я могу понять и то, что "А есть крылатая лошадь, следовательно, я могу понять, что "нечто есть крылатая лошадь". Этот же принцип показывает, что я могу понять предложение: "Мир существовал до моего рождения",- ибо я могу понять предложения: "А раньше б" и "Весть событие в моей жизни"; следовательно, я могу понять предложение: "Если В есть событие в моей жизни, то А имело место раньше В",- и я могу понять утверждение, что это истинно о каждом В и о некоторых А; а это и есть утверждение: "Мир существовал до моего рождения".
Единственным спорным пунктом в вышеизложенном является утверждение, что я могу понять утверждение "А есть событие в моей собственной жизни". Существуют различные способы определения моей жизни, одинаково подходящие для нашей цели. Следующее определение вполне годится:
"Моя жизнь" состоит из всех событий, которые связаны с этим посредством конечного числа звеньев памяти, идущих назад или вперед, то есть посредством воспоминания или того, что подлежит воспоминанию. Различные другие возможные определения сделают утверждение, о котором идет речь, одинаково понятным.
Подобным же образом, если дано определение "опыта", то мы можем понять утверждение: "Существуют события, которые я не испытываю в опыте",- и более того: "Существуют события, которые никто не испытывает в опыте". Ничто в принципе, связывающем наш словарь с опытом, не исключает такое утверждение из числа доступных пониманию. Но вопрос о том, может ли быть найдено какое-либо основание для предположения об истинности такого утверждения или для предположения о его ложности,- уже другой вопрос.
Для примера возьмем высказывание: "Существует никем не воспринятая материя". Слово "материя" может быть определено разными способами, причем слова, употребляемые во всех этих определениях, сами имеют наглядные определения. Мы упростим наши проблемы, если рассмотрим высказывание:
"Имеются никем не воспринятые события". Ясно, что это доступно пониманию, если доступно слово "воспринимать". Кусок материи, по моему мнению, есть ряд событий; следовательно, мы можем понять предположение, что имеется никем не воспринятая материя. (О части материи можно сказать, что она воспринята, когда одно из составляющих ее событий связано с объектом восприятия причинной линией).
Основанием в пользу того, что мы можем понимать предложения, которые, если они истинны, относятся к вещам, находящимся вне опыта, является то, что такие предложения, когда мы можем их понять, содержат переменные (то есть "все" или "некоторые", или какой-либо из эквивалент) и что переменные не являются составными частями высказываний, в языковом выражении которых они имеют место. Возьмем, скажем, предложение: "Существуют люди, о которых я никогда не слышал". Оно говорит: "Пропозициональная функция "х есть человеческое существо и я не слышал об х" иногда бывает истинной. Здесь "х" не есть составная часть; не являются ими и имена тех людей, которых я не встречал. Но для принципа, что слова, которые я могу понимать, получают свои значения из моего опыта, нет надобности вообще допускать какие-либо исключения. Эта часть теории эмпиризма кажется истинной без какого-либо ограничения. Иначе дело обстоит со знанием истинности и ложности, чем со знанием значений слов. Мы должны теперь обратить наше внимание к этому виду знания, которое одно действительно вполне заслуживает названия "знание".
Рассматривая этот вопрос сначала как вопрос логики, мы должны спросить себя: "знаем ли мы когда-либо, а если знаем, то каким образом, (1) высказывания формы "f(x) всегда", (2) высказывания формы "f(x) иногда" в тех случаях, когда мы не знаем ни одного высказывания формы "f(a)? Назовем первые "универсальными" высказываниями, а последние - "экзистенциальными" высказываниями. Высказывание формы "f(a)", в котором нет переменных, назовем "частным" высказыванием.
Как явствует из вышеприведенного обсуждения, этот постулат, кроме того, позволяет нам сделать выводы о психических событиях, связанных во многих случаях с другими телами, а не с нашими собственными.
Вышеизложенные постулаты, вероятно, сформулированы не в самой простои логической их форме, и вполне возможно, что дальнейшее исследование показало бы, что не все они необходимы для научного вывода. Я надеюсь и верю, однако, что они являются достаточными. Имеются, однако, некоторые связанные с ними эпистемологические проблемы, которые я буду рассматривать в следующей главе; эти проблемы не зависят от точной формы постулатов и остались бы такими же, даже если бы постулаты были сильно изменены.
Постулаты в той их форме, в которой я их сформулировал, предназначаются для оправдания первых шагов в направлении к науке и того в обыденном здравом смысле, что может быть в нем оправдано. Моя главная проблема в этой части была эпистемологической: что должны мы предполагать известным нам а добавление к частным наблюдаемым фактам для того, чтобы научные выводы могли считаться имеющими силу? Занимаясь этой проблемой, мы не должны анализировать науку в ее наиболее развитой и технической форме, ибо развитая наука строится на элементарной науке, а элементарная наука строится на обыденном здравом смысле. Прогресс науки заключается в переходе от неопределенных и подверженных исключениям обобщений к другим, гораздо более точным и имеющим меньше исключений. Предложение "Не поддерживаемые в воздухе тела падают" является примитивным обобщением. Псалмопевец заметил, что искры являются исключением из обобщения, а теперь мы могли бы добавить еще аэростаты и аэропланы. Но без этого необработанного и частично неверного закона мы никогда не дошли бы до закона всемирного тяготения. Предпосылки теории познания всегда отличаются от предпосылок логики, и именно предпосылки теории познания я и пытался раскрыть.
В каком смысле можно сказать, что мы "знаем" вышеприведенные постулаты или все то, что в будущем может оказаться более предпочтительным по сравнению с ними? Я думаю, что только в том смысле, который учитывает обсуждение видов знания, данное в главе 1 этой части. Познание общих связей между фактами сильнее отличается от познания отдельных фактов, чем это обычно думают. Познание связей между фактами имеет свой биологический источник в ожиданиях животных. Животное, которое переживает А, ожидает В;
когда оно развивается в примитивного ученого, оно обобщает какое-то число отдельных ожиданий в утверждение "А есть причина В'. С биологической точки зрения полезно иметь такие ожидания, которые обычно подтверждаются; поэтому не удивительно, если психологические законы, управляющие ожиданиями, согласуются в основном с объективными законами, управляющими ожидаемыми событиями.
Мы можем сформулировать это следующим образом, физический мир имеет то, что можно назвать "привычками", то есть причинными законами; поведение животных содержит отчасти врожденные, отчасти же приобретенные привычки. Приобретенные привычки порождаются тем, что я называю "анимальным выводом, который имеет место там, где имеются данные для индукции, но не во всех случаях, где имеются такие данные. Благодаря тому, что мир таков, каков он есть, некоторые виды индукций оправдываются, а другие - нет. Если бы наши индуктивные склонности были совершенным образом приспособлены к нашему окружению, мы прибегали бы к индукции только в тех случаях, в которых применение индукции было бы вполне законным. На самом же деле все, кроме людей науки, бывают чересчур склонными к индукции, когда один из членов причинной связи (А или В) оказывается интересным, и слишком мало бывают склонны к ней, когда оба члена (А и B) таковы, что их нелегко заметить. Когда оба члена связи (и А, и B) интересны, ординарный ум находит в этом импульс к индукции непреодолимым: кометы предсказывают смерть принцев, потому что и то и другое ощущается как нечто из ряда вон выходящее. Но даже в индукции животных имеются элементы правильности. Вывод от запаха пищи к ее съедобности обычно надежен, и ни одно животное не совершает тех абсурдных индукций, которые логики могут изобретать для того, чтобы показать, что индукция не всегда оказывается правильной.
Благодаря тому, что мир таков, каков он есть, некоторые события действительно оказываются иногда свидетельствами в пользу некоторых других; и благодаря тому, что животные приспособлены к их окружению, те события, которые действительно являются свидетельством в пользу других, вызывают ожидание этих других событий. Размышляя над этим процессом и очищая его, мы выделяем правила индуктивного вывода. Эти правила оказываются действенными, если мир имеет те определенные характерные черты, в существование которых все мы верим. Выводы, сделанные в соответствии с этими правилами, сами себя подтверждают и не противоречат опыту. Более того, они заставляют нас считать вероятным, что мы имеем такие психические привычки, которые эти правила в целом оправдывают, поскольку такие психические привычки биологически полезны.
Я думаю поэтому, что можно сказать, что мы "знаем" то, что является необходимым для научного вывода, если он выполняет следующие условия: (1) он истинен, (2) мы знаем это, (3) он не ведет к таким заключениям, которые опыт опровергает, (4) он логически необходим, если какое-то событие или ряд событий дают свидетельство в пользу какого-либо другого события. Я считаю, что эти условия удовлетворяются. Если, однако, кто-либо предпочтет придерживаться солипсизма момента, то я буду считать, что он не может быть опровергнут, но буду глубоко сомневаться в его искренности.
ГЛАВА 10.
ГРАНИЦЫ ЭМПИРИЗМА.
Эмпиризм может быть определен как утверждение: "Всякое синтетическое знание основывается на опыте". Я хочу рассмотреть, что именно это утверждение может значить и является ЛИ ОНО ПОЛНОСТЬЮ ИСТИННЫМ ИЛИ ИСТИННЫМ ТОЛЬКО С
некоторыми ограничениями.
Перед тем, как это утверждение получит определенность, мы должны определить слова "синтетическое", "знание", "основывается на" и "опыт". За исключением слова "синтетическое", все эти термины уже были более или менее определены в предшествующих главах, но я кратко и в догматической форме повторю заключения вышеизложенных обсуждений. В отношении слова "синтетический" точное определение дать трудно, но для наших целей мы можем определить его негативно, как всякое высказывание, не являющееся частью математики или дедуктивной логики и не выводимое из какого-либо высказывания математики или дедуктивной логики. Таким образом, оно исключает не только "2 плюс 2 есть четыре", но также и "два яблока плюс два яблока есть четыре яблока". Но оно включает не только все утверждения об отдельных фактах, но также все обобщения, которые не являются логически необходимыми, вроде: "Все люди смертны" или "Всякая медь является проводником электричества".
"Знание", как мы видели, есть термин, не поддающийся точному определению. Всякое знание является до некоторой степени сомнительным, и мы также не можем сказать, при какой степени сомнительности оно перестает быть знанием, как не можем сказать, сколько человек должен потерять волос, чтобы считаться лысым. Когда вера выражается в словах, мы должны иметь в виду, что все слова за пределами логики и математики неопределенны: имеются объекты, к которым они определенно применимы, и есть объекты, к которым они определенно неприменимы, но имеются (или по крайней мере могут быть) промежуточные объекты, в отношении которых мы не уверены, применимы эти слова к ним или нет. Когда вера не выражена в словах, а проявляется только в бессловесном поведении, бывает гораздо больше неопределенности, чем это обычно бывает тогда, когда она выражается в языке. Под сомнением находится даже то, какое поведение может рассматриваться как выражающее веру: поездка на станцию с целью сесть в поезд определенно выражает веру; ясно, что чихание ничего не выражает, но поднимание руки с целью защиты от удара является промежуточным случаем, который ближе к "да", а закрывание глаз, когда что-либо приближается к глазу, является промежуточным случаем, который ближе к "нет".
Но оставим эти трудности в определении "знания", так как имеются другие, возможно, более важные в данном контексте.
"Знание" есть подкласс истинных верований. Мы только что видели, что "веру" нелегко определить и что "истина" - очень трудный термин. Я не буду, однако, повторять то, что об этом термине было уже сказано во второй части книги, так как по-настоящему важным вопросом для нас сейчас является вопрос о том, что должно быть добавлено к истине для того, чтобы сделать веру примером "знания".
Признано, что все выведенное из какого-либо отрывка знания с помощью доказательного рассуждения является знанием. Но, поскольку выводы начинаются с посылок, должно быть знание, которое выводится для того, чтобы вообще существовало какое-либо знание. А поскольку большинство выводов являются недоказательными, постольку мы должны рассмотреть, когда такой вывод делает свое заключение частицей "знания" при том, что мы уже знаем посылки.
На второй вопрос иногда можно дать точный ответ. Если дано доказательство, которое, исходя из известных посылок, сообщает вероятность р определенному заключению, тогда если посылки охватывают все относящееся к делу свидетельство, то заключение имеет степень правдоподобия, измеряемого через р, и мы можем сказать, что мы имеем в заключение "недостоверное знание", причем недостоверность эта измеряется через 1 -р. Поскольку все (или почти все) знание сомнительно, постольку должно быть принято понятие "недостоверного знания".
Но такая точность редко бывает возможна. Мы обычно не знаем никакой математической меры той вероятности, которую дает недоказательный вывод, и мы едва ли даже знаем степень сомнительности наших посылок. Тем не менее вышеизложенное дает некий идеал, к которому мы можем приближаться в оценке сомнительности заключения недоказательного рассуждения. Предполагаемое абсолютное понятие "знания" должно быть заменено понятием "знания со степенью истинности р", где р будет измеряться математической вероятностью, когда это может быть установлено.
Теперь мы должны рассмотреть знание посылок. С первого взгляда они бывают трех видов: (1) знание отдельных фактов, (2) посылки дедуктивного вывода, (3) посылки недедуктивного вывода. Я оставляю в стороне пункт (2), который имеет мало отношения к нашим проблемам и не предполагает никаких трудностей, которые нас интересуют в этом исследовании. Но пункты (1) и (3) оба связаны с теми основными вопросами, которыми мы занимались.
Что знание отдельных фактов должно зависеть от восприятия, является одним из самых основных принципов эмпиризма, который я, однако, не собираюсь обсуждать. Он не принимался теми философами, которые признавали онтологическое доказательство, или теми, которые думали, "то качества и свойства созданного мира выводятся из благости Бога. Такие взгляды, однако, редко встречаются в настоящее время. Большинство философов признает что знание отдельных фактов возможно только в том случае, если эти факты воспринимаются, или вспоминаются, или выводятся с помощью правильного доказательства из таких, которые воспринимаются или вспоминаются, или выводятся с помощью правильного доказательства из таких, которые воспринимаются или вспоминаются. Но и после признания этого остается много трудностей. "Восприятие", как мы видели в части третьей этой книги, есть неопределенное и скользкое понятие. Отношение восприятия к памяти определить нелегко. И вопрос о том, что представляет собой действенное доказательство, когда оно недоказательно, предполагает все проблемы шестой части книги. Но, прежде чем рассматривать доказательство, обратим наше внимание на ту роль, которую играют восприятие и воспоминание в создании знания.
Ограничиваясь пока словесным знанием, мы можем рассматривать восприятие и воспоминание по отношению к (о) пониманию слов, (б) пониманию предложений, (б) познанию отдельных фактов. Мы находимся здесь в области локковской полемики против врожденных идей и юмовского принципа "никаких идей без предшествующего впечатления".
В отношении понимания слов мы можем ограничиться теми, которые определяются наглядно. Наглядное определение состоит из повторного употребления какого-либо определенного слова лицом А, в то время когда то, что это слово обозначает, занимает внимание другого лица В. (Мы можем допустить, что А есть кто-либо из родителей, а В - ребенок). При этом А должен иметь возможность предполагать с высокой степенью вероятности, что В его слушает. Это бывает легче всего осуществимым в случаях объектов, воспринимаемых органами чувств, имеющими общественный характер, особенно зрением и слухом. Несколько труднее это бывает в случаях зубной боли, боли в ухе, в желудке и так далее Еще труднее это сделать в отношении "мыслей" вроде воспоминаний, таблицы умножения и так далее Вследствие этого дети научаются говорить о таких предметах не так рано, как о кошках и собаках. Но во всех таких случаях восприятие объекта, являющегося тем, что обозначает данное слово, в некотором смысле все еще существенно для понимания слова.
В этом пункте желательно вспомнить некоторые теории, изложенные в части второй этой книги.
Имеется различие между "словами, обозначающими объекты", и "синтаксическими словами". "Кошка", "собака", "Франция" являются словами, обозначающими объекты; "или", "не", "чем", "но" - синтаксические слова. Слово, обозначающее объект, может употребляться как восклицание для указания на присутствие того объекта, который оно обозначает; это, конечно, самое примитивное употребление. Синтаксическое слово не может так употребляться. При переезде через канал, как только покажется мыс Гри-не, кто-либо может воскликнуть; "Франция.!" - но не бывает таких обстоятельств, в которых было бы уместно воскликнуть: "Чем!" Мыс Гри-не находится на французском берегу пролива Па-де-Кале близ города Кале.
Синтаксические слова могут определяться только вербально с помощью других синтаксических слов; следовательно, в любом языке, имеющем синтаксис, должны быть неопределяемые синтаксические слова. Тогда встает вопрос: что представляет собой наглядное определение синтаксического слова? Существует ли какой-то способ указания на его значение в том смысле, в каком можно указать на кошку или собаку?
Возьмем слово "не", поскольку оно входит в жизнь начинающего говорить ребенка. Я думаю, что оно есть производное от "нет", употреблению которого большинство детей выучивается очень скоро. Слово "нет" предназначается для ассоциирования с ожиданием неприятного ощущения, так что действие, привлекательное при других обстоятельствах, может превратиться в непривлекательное благодаря произнесению этого слова. Я думаю, что "не" есть "нет", ограниченное только сферой веры. "Это сахар?" - "Нет, это соль, так что если вы посыплете ее на ваш сладкий пирог, то вы получите неприятный вкус". Здесь есть идеи, на основе которых полезно действовать, и такие, на основе которых действовать вредно. Слово "не" первоначально обозначает "вредный для действия". Еще проще: "да" значит: "здесь удовольствие", а "нет" значит: "здесь неприятность". (Удовольствие и страдания могут относиться к социальным санкциям, осуществляемым родителями.) Таким образом "не" первоначально является только отрицательным повелением, применяемым к верованиям,
Но это, по-видимому, несколько далеко от того, что под словом "не" имеет в виду логик. Можем ли мы заполнить промежуточные стадии в языковом развитии ребенка?
Я думаю, что мы можем сказать, что "не" значит что-то вроде следующего: "Ты хорошо делаешь, что отвергаешь веру в..." А "отвержение" первоначально обозначает движение отталкивания. Вера есть импульс к какому-либо действию, а слово "не" препятствует этому импульсу.
Почему нужна эта странная теория? Потому что мир может быть описан без употребления слова "не". Если солнце светит, то утверждение: "Солнце светит" - описывает факт, который имеет место независимо от утверждения. Но если солнце не светит, то нет объективного факта "Солнце не светит". Ясно, что я могу верить, и верить справедливо, что Солнце не светит. Но если "не" не необходимо для полного описания мира, то должно быть возможным описание того, что происходит, когда я верю, что Солнце не светит, без употребления слова "не". Я думаю, что я при этом препятствую импульсу, порождаемому верой в то, что Солнце светит. Это положение вещей тоже называется верой, и притом "истинной", когда вера в то, что Солнце светит, оказывается ложной. Вера на основе восприятия истинна, когда она имеет определенные причинные антецеденты, и ложна, когда имеет другие; слова "истинный" и "ложный" являются положительными предикатами. Таким образом, слово "не" устраняется из нашего основного аппарата.
Подобная трактовка может быть применена и к слову "или". Больше затруднений со словами "все" и "некоторые". Каждое из них может быть определено с помощью другого плюс отрицание, поскольку "f(x) всегда" есть отрицание "не-f(x) иногда", a "f(x) иногда" есть отрицание "не-f(x) всегда''. Легко доказать, ложность "f(x) всегда" или истинность "f(x) иногда", но нелегко видеть, как мы можем доказать истинность "f(x) всегда" или ложность "f(x) иногда". Но сейчас меня занимает не истинность или ложность таких предложений, а вопрос о том, как мы приходим к пониманию слов "все" и "некоторые".
Возьмем, скажем, предложение "некоторые собаки кусаются". Вы заметили, что эта, та и вон та собаки кусаются;
вы наблюдали других собак, которые, насколько вы могли в этом убедиться на опыте, не кусались. Если теперь в присутствии какой-то собаки кто-либо скажет вам: "Эта собака кусается" - и вы поверите ему, то вы будете склонны к некоторым действиям. Некоторые из этих действий обусловлены присутствием именно этой собаки, другие - не этой. О тех действиях, которые будут иметь место, независимо то того, какая собака налицо, можно сказать, что они составляют веру: "Некоторые собаки кусаются". Вера: "Ни одна собака не кусается" - будет отрицанием первой веры. Таким образом, верования, выражаемые с помощью слов "все" и "некоторые", не содержат никаких составных частей, не содержащихся в верованиях, в словесных выражениях которых эти слова не встречаются.
Этого достаточно для понимания логических слов.
Мы можем подвести итог этому обсуждению словаря следующим образом.
Некоторые слова относятся к объектам, другие выражают характерные черты состояния наших верований; первые являются словами, обозначающими объекты, вторые - синтаксическими словами. Слово, обозначающее объект, понимается или через вербальное определение, или через наглядное определение. В вербальных определениях в конечном счете должны употребляться лишь слова, имеющие наглядное определение. Наглядное определение состоит в установлении ассоциации через слуховое восприятие очень сходных звуков в присутствии подлежащего определению объекта. Из этого следует, что наглядное определение должно применяться к классу сходных чувственных событий; ни к чему другому этот процесс не применим. Наглядное определение никогда не может применяться к чему-либо не испытанному в опыте.
Переходя теперь к пониманию предложений, мы можем считать очевидным, что каждое утверждение, которое мы в состоянии понять, должно допускать выражение в словах, имеющих наглядные определения, или должно выводиться из утверждения, выраженного таким способом с помощью синтаксических слов.
Следствия этого принципа, однако, не идут так далеко, как это иногда думают. Я никогда не видел крылатой лошади, но я могу понять утверждение: "Существует крылатая лошадь" Ибо если А есть названный мною объект, то я могу понять, что "А есть лошадь" и "А имеет крылья"; следовательно, я могу понять и то, что "А есть крылатая лошадь, следовательно, я могу понять, что "нечто есть крылатая лошадь". Этот же принцип показывает, что я могу понять предложение: "Мир существовал до моего рождения",- ибо я могу понять предложения: "А раньше б" и "Весть событие в моей жизни"; следовательно, я могу понять предложение: "Если В есть событие в моей жизни, то А имело место раньше В",- и я могу понять утверждение, что это истинно о каждом В и о некоторых А; а это и есть утверждение: "Мир существовал до моего рождения".
Единственным спорным пунктом в вышеизложенном является утверждение, что я могу понять утверждение "А есть событие в моей собственной жизни". Существуют различные способы определения моей жизни, одинаково подходящие для нашей цели. Следующее определение вполне годится:
"Моя жизнь" состоит из всех событий, которые связаны с этим посредством конечного числа звеньев памяти, идущих назад или вперед, то есть посредством воспоминания или того, что подлежит воспоминанию. Различные другие возможные определения сделают утверждение, о котором идет речь, одинаково понятным.
Подобным же образом, если дано определение "опыта", то мы можем понять утверждение: "Существуют события, которые я не испытываю в опыте",- и более того: "Существуют события, которые никто не испытывает в опыте". Ничто в принципе, связывающем наш словарь с опытом, не исключает такое утверждение из числа доступных пониманию. Но вопрос о том, может ли быть найдено какое-либо основание для предположения об истинности такого утверждения или для предположения о его ложности,- уже другой вопрос.
Для примера возьмем высказывание: "Существует никем не воспринятая материя". Слово "материя" может быть определено разными способами, причем слова, употребляемые во всех этих определениях, сами имеют наглядные определения. Мы упростим наши проблемы, если рассмотрим высказывание:
"Имеются никем не воспринятые события". Ясно, что это доступно пониманию, если доступно слово "воспринимать". Кусок материи, по моему мнению, есть ряд событий; следовательно, мы можем понять предположение, что имеется никем не воспринятая материя. (О части материи можно сказать, что она воспринята, когда одно из составляющих ее событий связано с объектом восприятия причинной линией).
Основанием в пользу того, что мы можем понимать предложения, которые, если они истинны, относятся к вещам, находящимся вне опыта, является то, что такие предложения, когда мы можем их понять, содержат переменные (то есть "все" или "некоторые", или какой-либо из эквивалент) и что переменные не являются составными частями высказываний, в языковом выражении которых они имеют место. Возьмем, скажем, предложение: "Существуют люди, о которых я никогда не слышал". Оно говорит: "Пропозициональная функция "х есть человеческое существо и я не слышал об х" иногда бывает истинной. Здесь "х" не есть составная часть; не являются ими и имена тех людей, которых я не встречал. Но для принципа, что слова, которые я могу понимать, получают свои значения из моего опыта, нет надобности вообще допускать какие-либо исключения. Эта часть теории эмпиризма кажется истинной без какого-либо ограничения. Иначе дело обстоит со знанием истинности и ложности, чем со знанием значений слов. Мы должны теперь обратить наше внимание к этому виду знания, которое одно действительно вполне заслуживает названия "знание".
Рассматривая этот вопрос сначала как вопрос логики, мы должны спросить себя: "знаем ли мы когда-либо, а если знаем, то каким образом, (1) высказывания формы "f(x) всегда", (2) высказывания формы "f(x) иногда" в тех случаях, когда мы не знаем ни одного высказывания формы "f(a)? Назовем первые "универсальными" высказываниями, а последние - "экзистенциальными" высказываниями. Высказывание формы "f(a)", в котором нет переменных, назовем "частным" высказыванием.