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

Сходным образом:

' С (ни один человек)' подразумевает '"Если х есть человеческое существо, то С ( х ) является ложным» всегда истинно'.

' С (некоторый человек)' будет подразумевать то же самое, что и ' С (какой-то человек)', а ' С (какой-то человек)' [7] Психологически 'С(какой-то человек)' предполагает только одного человека, а 'С(некоторый человек)' предполагает более чем одного; но в предварительном очерке этими предположениями мы можем пренебречь. подразумевает 'Ложно, что « С ( х ) и х есть человеческое существо» всегда ложно'. ' С (каждый человек) будет подразумевать то же самое, что и ' С (все люди)'.

Остаётся интерпретировать фразы, содержащие определённый артикль [ the ]. Из обозначающих фраз они являются наиболее интересными и наиболее вызывают затруднение. Возьмём в качестве примера '[the] отец Чарльза II был казнён'. Эта фраза утверждает, что существовал какой-то [an] х , который был отцом Чарльза II и был казнён. Таким образом, определённый артикль, когда он используется строго, указывает на единственность; бывает, что мы говорим '[the] сын такого-то' даже тогда, когда такой-то имеет несколько сыновей, но более корректно говорить ' какой-то [ a ] сын такого-то'. Поэтому для наших целей мы рассматриваем определённый артикль [the] как указание на единственность. Поэтому, когда мы говорим ' х был [ the ] отцом Чарльза II', мы не только утверждаем, что х находился в определённом отношении к Чарльзу II, но также и то, что ничто другое не находилось к Чарльзу II в этом отношении. Рассматриваемое отношение без допущения о единственности и без каких-либо обозначающих фраз выражается посредством ' х породил Чарльза II'. Чтобы получить эквивалент ' х был отцом Чарльза II' мы должны добавить 'Если у отличен от х , у не породил Чарльза II' или, что то же самое, 'Если у породил Чарльза II, то у совпадает с х '. Следовательно, ' х является отцом Чарльза II' приобретает следующий вид: ' х породил Чарльза II; и «если у породил Чарльза II, у совпадает с х » всегда истинно для у '. Таким образом 'Отец Чарльза II был казнён' приобретает вид:

'Не всегда ложно для х , что х породил Чарльза II и х был казнён, и «если у породил Чарльза II, то у совпадает с х » всегда истинно для у '.

Что-то в этой интерпретации может показаться надуманным, но в данный момент я не даю объяснений, а просто формулирую теорию. Чтобы интерпретировать ' С (отец Чарльза II)', где С обозначает любое высказывание о нём, мы должны только подставить С ( х ) вместо ' х был казнён' в указанную выше фразу. Заметим, что, каким бы ни было С , согласно указанной выше интерпретации ' С (отец Чарльза II)' влечёт:

'Не всегда ложно для х , что «если у породил Чарльза II, то у совпадает с х » всегда истинно для у '.

А это совпадает с тем, что выражается в обычном языке посредством 'Чарльз II имел одного и только одного отца'. Следовательно, если это условие ложно, каждая пропозиция формы 'С(отец Чарльза II)' является ложной. Поэтому, к примеру, пропозиция формы 'С(нынешний король Франции)' является ложной. В этом преимущество данной теории. Позднее я покажу, что это не несовместимо с законом противоречия, как может показаться на первый взгляд.

Очевидность изложенной выше теории производна от затруднений, которые кажутся неизбежными, если мы рассматриваем обозначающие фразы как обозначение подлинных конституент пропозиций, в чьём вербальном выражении они встречаются. Из возможных теорий, допускающих такие конституенты, простейшей является теория Мейнонга [8] См. Untersuchungen zur Gegenstandstheorie und Psychologie (Leipzig, 1904), первые три статьи (Мейнонга, Эймеседра и Малли соответсвенно). . Эта теория рассматривает любую грамматически корректную обозначающую фразу как обозначение объекта . Поэтому 'нынешний король Франции', 'круглый квадрат' и т.д. предполагаются подлинными объектами. Признаётся, что такие объекты не существуют , но тем не менее предполагается, что они являются объектами. Эта точка зрения трудна сама по себе, но главное возражение состоит в том, что такие объекты, по общему признанию, склонны нарушать закон противоречия. Утверждается, например, что существующий ныне король Франции существует, а также не существует; что круглый квадрат является круглым, а также некруглым и т.д. Но это неприемлимо, и если какая-либо теория может найти способ избежать этого результата, её конечно же следует предпочесть.

Указанную выше брешь в законе противоречия избегает теория Фреге. В обозначающих фразах он различает два элемента, которые мы можем назвать смыслом [meaning] и значением [denotation] [9] См. его ‘Über Sinn und Bedeutung’, Zeitschrift für Phil. und Phil. Kritik. Т. 100. . Поэтому фраза 'центр массы Солнечной системы в начале двадцатого века' весьма сложна по смыслу, но её значением является определённая точка, являющаяся простой. Солнечная система, двадцатый век и т.д. являются конституентами смысла , но значение вообще не имеет конституент [10] Фреге различает эти два элемента, смысл и значение, везде, а не только в комплексных обозначающих фразах. Поэтому в смысл обозначающего комплекса входят смыслы его конституент, а не их значения. Согласно Фреге в пропозиции 'Мон Блан более 1000 метров высотой' конституентой смысла пропозиции является смысл выражения 'Мон Блан', а не сама реальная гора. . Одно из преимуществ его различия состоит в том, что оно демонстрирует свою пригодность при утверждении тождества. Если мы говорим 'Скотт является автором Уэверли' , мы утверждаем тождество значений при различии смыслов. Тем не менее я не буду повторять доводы в пользу этой теории, как отстаивал её притязания в другом месте (loc. cit.), теперь я выступлю против этих притязаний.

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