Остаётся интерпретировать фразы, содержащие определённый артикль [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] . Эта теория рассматривает любую грамматически корректную обозначающую фразу как обозначение объекта . Поэтому 'нынешний король Франции', 'круглый квадрат' и т.д. предполагаются подлинными объектами. Признаётся, что такие объекты не существуют , но тем не менее предполагается, что они являются объектами. Эта точка зрения трудна сама по себе, но главное возражение состоит в том, что такие объекты, по общему признанию, склонны нарушать закон противоречия. Утверждается, например, что существующий ныне король Франции существует, а также не существует; что круглый квадрат является круглым, а также некруглым и т.д. Но это неприемлимо, и если какая-либо теория может найти способ избежать этого результата, её конечно же следует предпочесть.

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

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

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

Логическую теорию можно проверить её способностью разрешать проблемы, и в размышлениях о логике благоразумнее рассмотреть как можно большее количество проблем, поскольку это служит той же цели, что и эксперимент в физике. Поэтому я сформулирую три проблемы, которые теория, касающаяся значения, должна быть в состоянии разрешить, и позднее я покажу, что моя теория их разрешает.

(1) Если а тождественно с b , то всё, что истинно для одного, является истинным и для другого и может быть подставлено вместо другого в любую пропозицию без изменения истинности и ложности этой пропозиции. Так, король Георг IV желал знать, является ли Скотт автором Уэверли . Скотт на самом деле был автором Уэверли . Следовательно, мы можем подставить Скотт вместо автор 'Уэверли' и посредством этого доказать, что Георг IV желал знать, является ли СкоттСкоттом . Однако интерес к закону тождества вряд ли может быть приписан первому джентльмену Европы.