БЕРТРАН РАССЕЛ. (1872-1970)
БЕРТРАН РАССЕЛ. (1872-1970)
Б. Рассел (Russell) — крупнейший английский философ, логик, математик, общественный деятель. Родился в старинной аристократической семье, окончил Кембриджский университет, где изучал математику и философию. В юношеские годы находился под сильным впечатлением от знаменитой «Автобиографии» Дж. Ст. Милля, что, возможно, определило и его политические взгляды умеренного либерала. Преподавал философию в Кембридже, университетах США. Лекции по истории философии, прочитанные им в 1943-1944 годах, легли в основу блестящей книги «История западной философии». Рассел в значительной степени определил и облик философии XX века, став одним из основоположников аналитической философии. Основные идеи аналитического метода в философии содержатся уже в книге 1900 года «Критическое изложение философии Лейбница».
Особое место в его научном творчестве занимает разработка философских проблем математики, в первую очередь ее обоснование в виде логицизма — сведения основных понятий и предложений математики к логике. Эта программа была изложена Расселом в трехтомном, написанном совместно с А. Уайтхедом труде «Начала математики» («Principia Mathematica») (1910-1913). Здесь же Расселом был предложен вариант разрешения так называемого парадокса Рассела (обнаруженного им в логицистской программе известного логика Г. Фреге) в виде теории типов. Как и Фреге, Рассела можно считать одним из основоположников современной символической логики. Его теория дескрипций (статья «О денотации», 1905), в которой дается анализ смысла и значения именующих выражений языка, является существенным вкладом в логическую семантику. Среди работ общефилософского характера особое место занимает книга Рассела «Человеческое познание, его сфера и границы» (1948), подводящая итог эволюции взглядов Рассела на гносеологию.
Он известен и как активный общественный деятель, один из инициаторов Пагуошского движения ученых за мир, соавтор Манифеста Рассела-Эйнштейна, лауреат Нобелевской премии по литературе (1950).
И.Н. Грифцова, Г.В. Сорина
Ниже приводятся отрывки из работы Б.Рассела «Мое философское развитие» по изданию:
Проблема истины в современной западной философии науки. М., 1987.
Начала математики: философские аспекты
<...> Главная цель «Начал математики» состояла в доказательстве того, что вся чистая математика следует из чисто логических предпосылок и пользуется только теми понятиями, которые определимы в логических терминах. Эго было, разумеется, антитезой учениям Канта... Но со временем работа продвинулась еще в двух направлениях. С математической точки зрения были затронуты совершенно новые вопросы, которые потребовали новых алгоритмов и сделали возможным символическое представление того, что ранее расплывчато и неаккуратно выражалось в обыденном языке. С философской точки зрения наметились две противоположные тенденции: одна — приятная, другая — неприятная. Приятное состояло в том, что необходимый логический аппарат вышел не столь громоздким, как я вначале предполагал. Точнее, оказались ненужными классы. В «Принципах математики» много обсуждается различие между классом как единым (one) и классом как многим (many). Вся эта дискуссия, вместе с огромным количеством сложных доказательств, оказалась ненужной. В результате работа, в ее окончательном виде, была лишена той философской глубины, первым признаком которой служит темнота изложения.
Неприятное же было без сомнения очень неприятным: из посылок, которые принимались всеми логиками после Аристотеля, выводились противоречия. Это свидетельствовало о неблагополучии в чем-то. но не давало никаких намеков, каким образом можно было бы исправить положение. Открытие одного такого противоречия весной 1901 г. положило конец моему логическому медовому месяцу. Я сообщил о неприятности Уайтхеду, который «утешил» меня словами: «Никогда больше нам не насладиться блаженством утренней безмятежности».
Я увидел противоречие, когда изучил доказательство Кантора о том, что не существует самого большого кардинального числа. Полагая, в своей невинности, что число всех вещей в мире должно составлять самое большое возможное число, я применил его доказательство к этому числу — мне хотелось увидеть, что получится. Эго привело меня к обнаружению очень любопытного класса. Размышляя по линиям, которые до тех пор казались адекватными, я полагал, что класс в некоторых случаях является, а в других — не является членом самого себя. Класс чайных ложек, например, не является сам чайной ложкой, но класс вещей, которые не являются чайными ложками, сам является одной из вещей, которые не являются чайными ложками. Казалось, что есть случаи и не негативные: например, класс всех классов является классом. Применение доказательства Кантора привело меня к рассмотрению классов, не являющихся членами самих себя; эти классы, видимо, должны образовывать некоторый класс. Я задался вопросом, является ли этот класс членом самого себя или нет. Если он член самого себя, то должен обладать определяющим свойством класса, т.е. не являться членом самого себя. Если он не является членом самого себя, то не должен обладать определяющим свойством класса, и потому должен быть членом самого себя. Таким образом, каждая из альтернатив ведет к своей противоположности. В этом и состоит противоречие.
Поначалу я думал, что в моем рассуждении должна быть какая-то тривиальная ошибка. Я рассматривал каждый шаг под логическим микроскопом, но не мог обнаружить ничего неправильного. Я написал об этом Фреге, который ответил, что арифметика зашаталась и что он увидел ложность своего Закона V. Это противоречие настолько обескуражило Фреге, что он отказался от главного дела своей жизни — от попытки вывести арифметику из логики. Подобно пифагорейцам, столкнувшимся с несоизмеримыми величинами, он нашел убежище в геометрии, явно посчитав, что вся его предшествующая деятельность была заблуждением. Что касается меня, то я чувствовал, что причина в логике, а не в математике и что именно логику и следовало бы преобразовать. Я укрепился в этом мнении, когда открыл рецепт составления бесконечного числа противоречий.
Философы и математики реагировали на ситуацию по-разному. Пуанкаре, не любивший математическую логику и обвинявший ее в бесплодности, обрадовался: «она больше не бесплодна, она рожает противоречия». Это блестящее замечание, впрочем, никак не способствовало решению проблемы. Некоторые другие математики, относившиеся неодобрительно к Георгу Кантору, заняли позицию Мартовского Зайца: «От этого я устал. Поговорим о чем-нибудь другом», — что точно так же казалось мне неадекватным.
<...> Парадоксы обнаруживали и раньше, некоторые были известны в древности; как мне казалось, тогда ставили похожие проблемы, хотя авторы, писавшие после меня, считали, что проблемы греков были иного рода. Наиболее известен парадокс об Эпимениде-критянине, который сказал, что все критяне лжецы, и заставил людей сомневаться, не лгал ли он, когда говорил это. Этот парадокс в самой простой форме возникает, когда человек говорит: «Я лгу». Если он лжет, то это ложь, что он лжет, и, следовательно, говорит правду; но если он говорит правду, то лжет, ибо именно это он утверждает. Противоречие поэтому неизбежно. <...> (С. 119-122)
Определение «истины»
По вопросу об определении истины я писал в два разных периода. Четыре статьи на эту тему, написанные в 1906-1909 гг., перепечатаны в моей книге «Философские очерки» (1910). В конце 30-х гг. я вновь занялся этим предметом, и результаты этого второго исследования изложены в книге «Исследование значения и истины» (1940) и, с небольшими изменениями, в «Человеческом познании» (1948).
С того момента, как я отказался от монизма, у меня не было сомнений, что истина должна определяться через некоторое отношение к факту; но каково в точности это отношение — должно зависеть от характера той или иной истины. Я начал с критики двух теорий, с которыми я радикально расходился: монизма и прагматизма.
<...> В монизме «истина» определяется через когеренцию: ни одна истина не является независимой от какой-либо другой истины, каждая, сформулированная во всей полноте и без незаконной абстракции, оказывается всей истиной обо всей Вселенной. Ложь, согласно этой теории, состоит в абстракции и таком понимании частей, как если бы они были независимыми целыми. (С. 129)
Существо моего несогласия с прагматизмом состоит в следующем: согласно прагматизму, убеждение следует считать истинным, если оно имеет определенные последствия; я же считаю, что эмпирическое убеждение следует считать истинным, если оно имеет определенные причины. (С. 130)
Критическую статью против прагматизма я написал и в 1939 г. для тома о Дьюи в «Библиотеке живущих философов», издаваемой д-ром Шилпом. Дьюи ответил мне там же. Не думаю, чтобы мы высказали что-то новое по сравнению с предыдущей дискуссией.
Мое собственное определение «истины», в этот ранний период, опубликовано в виде последней главы «Философских очерков». Впоследствии я должен был от него отказаться, потому что оно основывалось на том взгляде, будто ощущение есть по сути дела событие, имеющее относительный характер. От этого взгляда, как это объясняется в предыдущей главе, я отказался под влиянием Уильяма Джемса. Лучше всего пояснить его на примере. Возьмем суждение «Сократ любит Платона»: если вы его понимаете, то должны понимать и составляющие данное суждение слова; и я думал, что понимание слов состоит в том, чтобы увидеть их отношение к тому, что они обозначают. Далее, если я верю, что «Сократ любит Платона», то между мной, Сократом, любовью и Платоном имеется четырехчленное отношение. Когда Сократ любит Платона, имеется двухчленное отношение между Сократом и Платоном. Я считал, что единство комплекса зависит от отношения верить, где любовь не выступает как отношение, но есть один из членов, между которыми имеет место отношение верования. Когда верование истинно, имеется комплекс, состоящий из Сократа и Платона, соотнесенных через соотношение любовь. Именно существование этого комплекса, полагал я, наделяет истиной комплекс, в котором верование является отношением. Я отказался от этой теории, потому что разуверился в «субъекте», а также не считал более, что отношение может быть значимым термином, за исключением тех случаев, когда возможна парафраза, в которой оно не выступает таковым. По этим причинам, выдвигая критику монистической и прагматистской теории истины, я должен был найти новую теорию, которая позволяла бы обходиться без «субъекта».
Эта теория сформулирована в «Исследовании значения и истины». Большая часть книги посвящена вопросу о значении слов, а после этого в ней обсуждается проблема смысла предложений. В движении к простейшему имеется несколько различных ступеней. Имеется, прежде всего, предложение; затем то, что является общим для предложений, в которых говорится об одном и том же на разных языках. Это «что-то» я называю «суждением». Так, «Цезарь мертв» и «Cesar est mort» утверждают одно и то же суждение, хотя предложения и различны. За суждением стоит верование. Люди, умеющие говорить, склонны выражать свои верования в предложениях, хотя предложения используются и для других целей. Их можно использовать, преследуя коварные цели и формируя у кого-нибудь убеждения, которые мы сами не разделяем; а также для выражения приказания, желания или вопроса. Но с точки зрения теории познания и определения «истины» важны предложения, выражающие верования. Истина и ложь принадлежат прежде всего верованиям и только производным образом — суждениям и предложениям. Верования, если они достаточно просты, могут существовать без слов, и есть все основания полагать, что они присущи высшим животным. Верование «истинно», когда имеется соответствующее отношение к одному или более фактам, и ложно, когда такого отношения нет. Проблема определения «истины» поэтому состоит из двух частей: во-первых, анализ того, что имеется в виду под «верованием», и затем исследование отношения между верованием и фактом, делающего верование истинным (С. 135-136).
Подытожим: свойством истинности или ложности могут обладать прежде всего верования и только затем — предложения. Верование есть некий факт, который вступает, или может вступать, в определенное отношение к другому факту. Я могу верить, что сегодня четверг, как в четверг, так и в другие дни. Если я верю в это в четверг, то имеется факт, — а именно, что сегодня четверг, — к которому мое верование имеет некоторое особенное отношение. Если я верю в то же самое в другой день недели, то такого факта нет. Когда верование истинно, я называю факт, благодаря которому оно истинно, его «верификатором». Чтобы завершить определение, мы должны быть способны, при данном веровании, описать факт или факты, которые, если они существуют, делают верование истинным. Это дело долгое, потому что характер отношения, которое может иметь место между верованием и его верификатором, изменяется в соответствии с характером верования. Простейшим случаем, с этой точки зрения, является сохраняемый памятью сложный образ. Допустим, я мысленно представляю себе комнату, и в моем зрительном образе имеется стол и четыре стула; и предположим, что, входя в комнату, я вижу стол и четыре стула; то, что я вижу, есть верификатор того, что я себе представлял; образ памяти с верованием имел близкое и очевидное соответствие с восприятием, которое его верифицировало. Сформулируем суть дела в схематически простейших терминах: у меня есть, скажем, зрительная, не-вербальная память об А, находящемся слева от Б; и фактически А находится слева от Б. Соответствие в этом случае совершенно прямое и простое. Образ А похож на А, образ Б — на Б, и отношение «слева от» одинаково и в образе, и в верификаторе. Но как только мы начинаем употреблять слова, этот простейший тип соответствия становится невозможным, потому что слово для отношения не есть само отношение. Если я говорю «А предшествует Б», мое предложение есть отношение между тремя словами, в то время как то, что я хочу утверждать, есть отношение между двумя вещами. Сложность соответствия возрастает с введением логических слов, таких как «или», «не», «все», «некоторые». Но хотя сложность возрастает, принцип остается тем же самым. В «Человеческом познании» я завершил обсуждение истины и лжи следующим определением: «Каждое верование, не являющееся просто импульсом к действию, по природе своей картина, соединенная с да-чувством или нет-чувством; в случае да-чувства оно «истинно», если есть факт, подобный картине в том же смысле, в каком прототип подобен образу; в случае нет-чувства оно «истинно», если такого факта нет. Верование, которое не является истинным, называется «ложным».
Определение «истины» само по себе не дает определения «знания». Знание состоит из определенных истинных верований, но не из всех. Обычный пример — часы, которые остановились, но о которых я думаю, что они идут. Когда я вдруг смотрю на них, они случайно показывают правильное время. В этом случае у меня истинное верование о том, что касается времени, но не знание. Вопрос о том, что образует знание, однако, очень сложен, и я его в данной главе обсуждать не буду.
Теория истины, развитая в «Исследовании значения и истины», является, принципиально, корреспондентной теорией; другими словами, предложение или верование «истинно» благодаря какому-то отношению к одному или большему числу фактов; но отношение это не всегда является простым и изменяется в зависимости от структуры рассматриваемого предложения и от отношения того, что утверждается, к опыту. Хотя эта вариация и вызывает неизбежные сложности, теория стремится сохранить союз со здравым смыслом, насколько это вообще совместимо с попыткой избежать явных ошибок. (С. 141-142)
Данный текст является ознакомительным фрагментом.