Об обозначении

Итак, объяснение значения будет следующим. Каждая пропозиция, в которой встречается 'автор Уэверли' , объясняется, как указано выше. Пропозиция 'Скотт был автором Уэверли ' (т.е. 'Скотт тождественен автору Уэверли ') приобретает вид 'Одна и только одна сущность написала Уэверли , и Скотт тождествен этой сущности'; или, возвращаясь к полностью эксплицитной форме: 'Не всегда ложно для х , что х написал Уэверли ; всегда истинно для у , что, если у написал Уэверли , то у тождествен х ; и Скотт тождествен х '. Таким образом, если 'C ' является обозначающей фразой, может случиться так, что существует одна сущность х (больше одной быть не может), для которой пропозиция 'х тождествен С ' является истинной, при интерпретации этой пропозиции как указано выше. Мы можем тогда сказать, что сущность х является значением фразы 'C '. Таким образом, Скотт является значением 'автор Уэверли '. 'C ', заключённое в кавычки, будет просто фразой , и нет ничего такого, что можно было бы назвать смыслом . Эта фраза per se не имеет значения, потому что любая пропозиция, в которой она встречается, будучи полностью выраженной, не содержит этой фразы, которая разлагается.

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

Когда мы говорим: 'Георг IV желал знать то-то и то-то' или когда мы говорим 'То-то и то-то удивительно' или 'то-то и то-то истинно' и т.д., 'то-то и то-то' должно быть пропозицией. Предположим теперь, что 'то-то и то-то' содержит обозначающую фразу. Мы можем удалить эту обозначающую фразу либо из подчинённой пропозиции 'то-то и то-то', либо из целостной пропозиции, в которой 'то-то и то-то' является простой конституентой. В соответствии с тем, что мы делаем, получаются различные пропозиции. Я слышал от обидчивого владельца яхты, которому гость, впервые её осмотревший, заметил: 'Я думал ваша яхта больше, чем она есть', и владелец ответил 'Нет, моя яхта не больше, чем она есть'. То, что подразумевал гость, было: 'Размер, который, как я думал, имеет ваша яхта, больше, чем размер вашей яхты', смысл, приписанный ему, был 'Я думал размер вашей яхты, больше чем размер вашей яхты'. Возвратимся к Георгу IV и Уэверли . Когда мы говорим 'Георг IV желал знать, являлся ли Скотт автором Уэверли ', мы естественно подразумеваем 'Георг IV желал знать один ли и только ли один человек написал Уэверли и был ли этим человеком Скотт'; но мы можем также подразумевать: 'Один и только один человек написал Уэверли , и Георг IV желал, знать был ли Скотт этим человеком'. В последнем случае 'автор Уэверли' имеет первичное вхождение; в первом - вторичное . Последний случай может быть выражен посредством 'Георг IV относительно человека, действительно написавшего Уэверли , желал знать, является ли он Скоттом'. Это было бы истинным, к примеру, если бы Георг IV увидел Скотта на расстоянии и спросил: 'Это - Скотт?' Вторичное вхождение обозначающей фразы может быть определено как то, где фраза встречается в пропозиции р , являющейся простой конституентой рассматриваемой нами пропозиции, и подстановка вместо обозначающей фразы должна выполняться в р , а не во всей рассматриваемой пропозиции. Двусмысленность, относящуюся к первичному и вторичному вхождению, трудно избежать в языке, но она не наносит ущерба, если мы применим против неё нашу защиту. В символической логике её, конечно, легко избежать.

Различие между первичным и вторичным вхождением облегчает рассмотрение проблемы, является ли нынешний король Франции лысым или же нет, и вообще проблемы с логическим статусом обозначающих фраз, которые не обозначают ничего. Если 'C ' является обозначающей фразой, скажем 'определённый [the] элемент, имеющий свойство F ', тогда

'C имеет свойство f ' подразумевает 'Один и только один элемент имеет свойство F , и этот элемент имеет свойство f '.[13]

Если же свойство F не относится к элементам или относится к нескольким, отсюда следует, что 'С имеет свойство f ' является ложным для всех значений f . Поэтому 'Нынешний король Франции лыс', конечно, ложно, а 'Нынешний король Франции не лыс' - ложно, если подразумевает:

'Существует какая-то сущность, которая является нынешним королём Франции и не является лысой',

но истинно, если подразумевает:

'Ложно, что существует какая-то сущность, которая является нынешним королём Франции и является лысой'.