Л. Макеева - Язык, онтология и реализм

17

Строго говоря, у Рассела словарь исходных символов включает помимо логических (пропозициональных связок, кванторов) и технических символов (1) термы, которые подразделяются на переменные и имена; (2) и-местные (где n ? 1) предикаты, в которые можно подставить n термов и (3) формулы, представляющие собой соединение и-местного предиката с n термами. Такие формулы Рассел называет атомарными, а более сложные формулы образуются из них с помощью пропозициональных связок и кванторов, которые связывают в них свободные переменные. Предложение он определяет как формулу, не содержащую свободных переменных. Формулы, которые не являются предложениями («открытые формулы»), выражают пропозициональные функции.

18

Согласно этому парадоксу, если мы рассмотрим множество всех множеств, которые не являются своими собственными элементами, и попытаемся ответить на вопрос, содержит ли это множество себя в качестве элемента, мы получим противоречие. Поскольку Рассел использовал теорию множеств для определения натуральных чисел и всех фундаментальных понятий арифметики, этот парадокс разрушал основания всей логицистской программы. В известном письме от 16 июня 1902 г. Рассел сообщил об этом парадоксе Фреге, для которого это означало крушение всех его грандиозных замыслов. Рассел же, сочтя источником этого и ряда других парадоксов «самоприменимость» некоторых понятий, предложил для их преодоления «теорию типов», в которой осуществляется иерархизация переменных по различным типам (выделяются, к примеру, переменные по индивидам, предикатам, множествам и т. п.) и устанавливаются ограничения на допустимые подстановки для переменных разных типов.

19

Это изменение во взглядах Рассела обозначают как переход от «метафизики суждений» к «метафизике фактов».

20

Сюда же относятся проблема пустых имен, проблема значения в неэкстенсиональных контекстах и др. Подробнее см.: [Смирнова, Таванец, 1967, с. 3–53].

21

В работе «Философия логического атомизма» Рассел предлагает и другое обоснование, почему определенные дескрипции не являются именами. Возьмем, к примеру, предложение тождества «Скотт есть автор “Веверлея”». Если «автор “Веверлея”» является еще одним именем для Скотта, то указанное предложение должно быть тавтологией, как и «Скотт есть Скотт». При подстановке вместо «автора “Веверлея”» какого-то другого имени, скажем «Китс», мы получим ложное предложение «Скотт есть Китс». Следовательно, при любой подстановке имени вместо «автор “Веверлея”», мы получаем либо тавтологичное предложение, либо ложное, а так как предложение «Скотт есть автор “Веверлея”» таковым не является, то «автор “Веверлея”» – не имя. Кроме того, указывает Рассел, поскольку имена произвольны, синонимичность «Скотта» и «автора “Веверлея”» является терминологическим решением, однако нельзя решить посредством терминологического выбора вопрос о том, является ли Скотт автором «Веверлея» или нет.

22

Начиная с 1940-х годов Рассел возвратился к своей первоначальной позиции, о чем свидетельствует его книга «Исследование значения и истины» (1940).

23

Однако позже в работе «Анализ сознания» (1921) Рассел перешел на позиции «нейтрального монизма», согласно которому реальность в своих предельных основаниях не является ни материальной, ни идеальной. Мир состоит из единого онтологически нейтрального «вещества», элементы которого могут стать психическими или физическими данными в зависимости от каузальных последовательностей, в которые они включаются. Сгруппированные по-разному, эти нейтральные элементы (вместо «чувственных данных» Рассел использует для их обозначения термин «перцепты»), с одной стороны, образуют внешний физический объект, а с другой стороны, служат ингредиентами индивидуального опыта, выступая, таким образом, предметом изучения как для физики, так и для психологии.

24

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

25

Подробнее см.: [Кюнг, 1999, с. 91–98].

26

Иногда, правда, Рассел высказывается в таком духе, что знание-знакомство означает знание о том, что объект имеет очевидные чувственные качества.

27

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

28

За этой теорией стоит довольно простая идея. Возьмем, к примеру, предложение «Средний ребенок в возрасте 6 лет имеет рост от 104 до 110 см». Хотя это предложение говорит о среднем ребенке, на самом деле оно имеет сложную логическую структуру и говорит об отдельных детях. В этом смысле средний ребенок является логической конструкцией из отдельных детей.

29

Рассел не сразу стал сторонником корреспондентной теории истины. После разрыва с абсолютным идеализмом в 1900 г. он, как и Дж. Мур, придерживался неореалистического представления о суждениях как нелингвистических нементальных комплексах. Согласно этому представлению, когда человек имеет некоторое верование-убеждение (belief), его сознание вступает в двустороннее отношение с этим комплексом. Истина и ложь при таком подходе трактуются как простые неанализируемые свойства суждений. В результате истинные и ложные суждения оказываются онтологически равноправными сущностями. К 1910 г. Рассела перестало удовлетворять такое понимание истины. В это время происходит его переход от «метафизики суждений» к «метафизике фактов». Тогда-то он и предложил новую трактовку верований-убеждений – так называемую теорию множественных отношений, которая включала истолкование истины как соответствия фактам. В этой теории верование-убеждение понималось как отношение между четырьмя разными вещами: субъектом (человеком, который имеет верование-убеждение), двумя объектами и связываемым их отношением. Так, например, верование-убеждение, о котором идет речь в предложении «Отелло верит, что Дездемона любит Кассио», есть отношение между Отелло (субъектом), Дездемоной и Кассио (объектами) и отношением любви. Это верование-убеждение истинно, если упомянутые объекты действительно связаны между собой отношением любви, т. е. если имеется структурный изоморфизм между этим верованием-убеждением и фактом (состоящим из Дездомоны, Кассио и отношения любви).

30

Ранее Рассел полагал, что термин «существование» используется в двух разных смыслах в «философии и повседневной жизни», с одной стороны, и в «символической логике» – с другой. В первом смысле существование может быть предицировано индивиду и этот смысл мы имеем в виду, когда «исследуем, существует ли Бог, когда утверждаем, что существовал Сократ, и отрицаем существование Гамлета. Сущности, с которыми имеет дело математика, не существуют в этом смысле: число 2, или принцип силлогизма, или умножение являются объектами, которые… не принадлежат к миру существующих вещей». Но в символической логике существование используется в другом – «определяемом и чисто техническом» – смысле: здесь существование А означает, что «А является классом, который имеет по крайней мере одного члена. Таким образом, все, что не является классом (например, Сократ), не существует в этом смысле», но равным образом все то, что существует в этом смысле, не существует в первом смысле, ибо «ни класс, ни его элементы… не находятся в какой-либо части пространства и времени, не имеют они и того вида сверхчувственного существования, которое приписывается Божеству» [Russell, 1905, p. 398–401]. В дальнейшем Рассел стал признавать только логический смысл существования, определяя его, правда, уже не в терминах классов, а в терминах пропозициональных функций.