» всегда истинно для
у '. Таким образом 'Отец Чарльза II был казнён' приобретает вид:
'Не всегда ложно для х , что х породил Чарльза II и х был казнён, и «если у породил Чарльза II, то у совпадает с х » всегда истинно для у '.
Что-то в этой интерпретации может показаться надуманным, но в данный момент я не даю объяснений, а просто формулирую теорию. Чтобы интерпретировать 'С (отец Чарльза II)', где С обозначает любое высказывание о нём, мы должны только подставить С (х ) вместо 'х был казнён' в указанную выше фразу. Заметим, что, каким бы ни было С , согласно указанной выше интерпретации 'С (отец Чарльза II)' влечёт:
'Не всегда ложно для х , что «если у породил Чарльза II, то у совпадает с х » всегда истинно для у '.
А это совпадает с тем, что выражается в обычном языке посредством 'Чарльз II имел одного и только одного отца'. Следовательно, если это условие ложно, каждая пропозиция формы 'С(отец Чарльза II)' является ложной. Поэтому, к примеру, пропозиция формы 'С(нынешний король Франции)' является ложной. В этом преимущество данной теории. Позднее я покажу, что это не несовместимо с законом противоречия, как может показаться на первый взгляд.
Очевидность изложенной выше теории производна от затруднений, которые кажутся неизбежными, если мы рассматриваем обозначающие фразы как обозначение подлинных конституент пропозиций, в чьём вербальном выражении они встречаются. Из возможных теорий, допускающих такие конституенты, простейшей является теория Мейнонга[8] . Эта теория рассматривает любую грамматически корректную обозначающую фразу как обозначение объекта . Поэтому 'нынешний король Франции', 'круглый квадрат' и т.д. предполагаются подлинными объектами. Признаётся, что такие объекты не существуют , но тем не менее предполагается, что они являются объектами. Эта точка зрения трудна сама по себе, но главное возражение состоит в том, что такие объекты, по общему признанию, склонны нарушать закон противоречия. Утверждается, например, что существующий ныне король Франции существует, а также не существует; что круглый квадрат является круглым, а также некруглым и т.д. Но это неприемлимо, и если какая-либо теория может найти способ избежать этого результата, её конечно же следует предпочесть.
Указанную выше брешь в законе противоречия избегает теория Фреге. В обозначающих фразах он различает два элемента, которые мы можем назвать смыслом [meaning] и значением [denotation]
