Бертран Рассел - Об обозначении

возможных теорий, допускающих такие конституенты, простейшей является теория Мейнонга^[8] . Эта теория рассматривает любую грамматически корректную обозначающую фразу как обозначение объекта . Поэтому 'нынешний король Франции', 'круглый квадрат' и т.д. предполагаются подлинными объектами. Признаётся, что такие объекты не существуют , но тем не менее предполагается, что они являются объектами. Эта точка зрения трудна сама по себе, но главное возражение состоит в том, что такие объекты, по общему признанию, склонны нарушать закон противоречия. Утверждается, например, что существующий ныне король Франции существует, а также не существует; что круглый квадрат является круглым, а также некруглым и т.д. Но это неприемлимо, и если какая-либо теория может найти способ избежать этого результата, её конечно же следует предпочесть.

Указанную выше брешь в законе противоречия избегает теория Фреге. В обозначающих фразах он различает два элемента, которые мы можем назвать смыслом [meaning] и значением [denotation]^[9]. Поэтому фраза 'центр массы Солнечной системы в начале двадцатого века' весьма сложна по смыслу, но её значением является определённая точка, являющаяся простой. Солнечная система, двадцатый век и т.д. являются конституентами смысла , но значение вообще не имеет конституент^[10] . Одно из преимуществ его различия состоит в том, что оно демонстрирует свою пригодность при утверждении тождества. Если мы говорим 'Скотт является автором Уэверли' , мы утверждаем тождество значений при различии смыслов. Тем не менее я не буду повторять доводы в пользу этой теории, как отстаивал её притязания в другом месте (loc. cit.), теперь я выступлю против этих притязаний.

Одно из первых затруднений, которое встаёт перед нами, когда мы принимаем точку зрения, что обозначающие фразы выражают смысл и обозначают значение^[11], имеет отношение к случаю, в котором значение очевидно отсутствует. Если мы говорим 'Король Англии лыс', то, по всей видимости, это высказывание не о комплексном смысле 'король Англии', но о действительном человеке, обозначенном посредством смысла. Но рассмотрим теперь 'Король Франции лыс'. Согласно равенству форм это высказывание также должно быть о значении фразы 'король Франции'. Но эта фраза, хотя она и имеет смысл, предусмотренный тем, что смысл имеет фраза 'король Англии', определённо не имеет значения, по крайней мере в очевидном смысле. Следовательно, можно предположить, что 'Король Франции лыс' должно быть бессмысленным, но это высказывание не бессмысленно, поскольку оно явно ложно. Или опять же рассмотрим предложение типа следующего: 'Если и есть класс, который содержит только один элемент, тогда этот один элемент является каким-то [a] элементом и ', или, как мы могли бы сформулировать, 'Если и есть единичный класс, то определённый [the ] и есть какой-то [a] и '. Эта пропозиция должна быть истинной всегда , поскольку следствие является истинным независимо от истинности гипотезы. Но 'определённый [the ] и ' является обозначающей фразой, о её значении, а не о смысле говорится, что оно является каким-то [a] и . Если же и не является единичным классом, то '[the ] и ', как кажется, не обозначает ничего. Следовательно, как только и не является единичным классом, наша пропозиция, по-видимому, становится бессмысленной.

Итак, ясно, что такие пропозиции не становятся бессмысленными просто потому, что их гипотеза является ложной. Король в Буре может сказать: 'Если Фердинанд не утонул, то он - мой единственный сын'. 'Мой единственный сын' является обозначающей фразой, которая на первый взгляд имеет значение тогда и только тогда, когда я имею в точности одного сына. Но тем не менее приведённое выше высказывание оставалось бы истинным, если бы Фердинанд фактически не утонул. Поэтому, мы должны либо обеспечить значение в случаях, в которых оно на первый взгляд отсутствует, или должны отказаться от взгляда, что значение есть то, что затрагивается в пропозициях, которые содержат обозначающие фразы. Последнее - это вариант, который отстаиваю я. Первый вариант можно принять, допуская, как у Мейнонга, объекты, которые не существуют, и отрицая, что они подчиняются закону противоречия; этого, однако, по возможности следует избегать. Другой способ принять этот же вариант (поскольку речь идёт о представленной нами альтернативе) адаптирован Фреге, который посредством определения обеспечивает некоторое сугубо конвенциальное значение для --">