Язык, онтология и реализм
- -
- 100%
- +
13
Фреге следующим образом характеризует свойство понятий: «Если, к примеру, мы собираем под одним понятием все понятия, под которые подпадает только один предмет, то единичность является одной из характеристик этого нового понятия. Под него подпало бы, к примеру, понятие “спутник Земли”, а не действительное небесное тело, называемое этим именем. Таким образом, мы можем одно понятие подвести под другое более высокое понятие или, так сказать, понятие второй ступени» [Frege, 1950, p. 65].
14
Термины Фреге «Sinn» и «Bedeutung» правильно переводить как «смысл» и «значение», соответственно, однако, поскольку во многих языках эти слова используются почти как синонимы, во избежание путаницы «Bedeutung» стали передавать термином «референция». Так, например, в английском языке статью Фреге «Űber Sinn und Bedeutung» принято переводить как «Sense and Reference». Учитывая это обстоятельство, при изложении взглядов Фреге мы будем пользоваться терминами «смысл» и «значение», однако в остальной части книги мы будем говорить о референции, имея в виду то, что обозначается некоторым языковым выражением, термины «значение» и «смысл» будем использовать как взаимозаменяемые, уточняя при необходимости, что под ними понимает тот или иной философ.
15
По мнению ряда авторов, Фреге трактовал функциональные и понятийные выражения как имена функций и понятий и поэтому к ним также применимо различение смысла и значения, однако этот вопрос спорный и мы не будем его касаться.
16
По мнению Рассела, представление о том, что суждение может иметь лишь субъектно-предикатную структуру, приводит к «плохой метафизике», ибо оно вынуждает философов строить онтологии или схоластического типа, в которых имеются лишь субстанции и их атрибуты, или абсолютно-идеалистического типа, в которых все суждения, даже суждения об отношениях, истолковываются как замаскированные предикации к «реальности, взятой как целое».
17
Строго говоря, у Рассела словарь исходных символов включает помимо логических (пропозициональных связок, кванторов) и технических символов (1) термы, которые подразделяются на переменные и имена; (2) и-местные (где n ≥ 1) предикаты, в которые можно подставить n термов и (3) формулы, представляющие собой соединение и-местного предиката с n термами. Такие формулы Рассел называет атомарными, а более сложные формулы образуются из них с помощью пропозициональных связок и кванторов, которые связывают в них свободные переменные. Предложение он определяет как формулу, не содержащую свободных переменных. Формулы, которые не являются предложениями («открытые формулы»), выражают пропозициональные функции.
18
Согласно этому парадоксу, если мы рассмотрим множество всех множеств, которые не являются своими собственными элементами, и попытаемся ответить на вопрос, содержит ли это множество себя в качестве элемента, мы получим противоречие. Поскольку Рассел использовал теорию множеств для определения натуральных чисел и всех фундаментальных понятий арифметики, этот парадокс разрушал основания всей логицистской программы. В известном письме от 16 июня 1902 г. Рассел сообщил об этом парадоксе Фреге, для которого это означало крушение всех его грандиозных замыслов. Рассел же, сочтя источником этого и ряда других парадоксов «самоприменимость» некоторых понятий, предложил для их преодоления «теорию типов», в которой осуществляется иерархизация переменных по различным типам (выделяются, к примеру, переменные по индивидам, предикатам, множествам и т. п.) и устанавливаются ограничения на допустимые подстановки для переменных разных типов.
19
Это изменение во взглядах Рассела обозначают как переход от «метафизики суждений» к «метафизике фактов».
20
Сюда же относятся проблема пустых имен, проблема значения в неэкстенсиональных контекстах и др. Подробнее см.: [Смирнова, Таванец, 1967, с. 3–53].
21
В работе «Философия логического атомизма» Рассел предлагает и другое обоснование, почему определенные дескрипции не являются именами. Возьмем, к примеру, предложение тождества «Скотт есть автор “Веверлея”». Если «автор “Веверлея”» является еще одним именем для Скотта, то указанное предложение должно быть тавтологией, как и «Скотт есть Скотт». При подстановке вместо «автора “Веверлея”» какого-то другого имени, скажем «Китс», мы получим ложное предложение «Скотт есть Китс». Следовательно, при любой подстановке имени вместо «автор “Веверлея”», мы получаем либо тавтологичное предложение, либо ложное, а так как предложение «Скотт есть автор “Веверлея”» таковым не является, то «автор “Веверлея”» – не имя. Кроме того, указывает Рассел, поскольку имена произвольны, синонимичность «Скотта» и «автора “Веверлея”» является терминологическим решением, однако нельзя решить посредством терминологического выбора вопрос о том, является ли Скотт автором «Веверлея» или нет.
22
Начиная с 1940-х годов Рассел возвратился к своей первоначальной позиции, о чем свидетельствует его книга «Исследование значения и истины» (1940).