Если бы никто не написал Веверлея, автор не мог бы существовать, а если бы его написали два человека, не мог бы существовать определённый автор, на которого указывает артикль. Так что вам требуются эти два свойства: одно, что она является истинной по крайней мере для одного х, а другое, что она является истинной самое большое для одного х; и то и другое требуется для существования. Свойство быть истинным по крайней мере для одного х - это свойство, которое мы рассматривали в прошлый раз; это то, что я выражал, говоря, что пропозициональная функция является возможной. Поэтому мы  переходим ко второму условию, что она является истинной самое большое для одного х, а это вы можете выразить следующим  образом: 'Если х и у написали Веверлея, тогда х тождествен у, чем бы ни бьши х и у\ Последнее говорит, что его написал самое большое один человек. Оно не говорит, что кто-то вообще написал Веверлея, поскольку если бы никто его не написал, это высказывание всё ещё оставалось бы истинным. Оно говорит только то, что его написал самое большое один человек. Первое из приведённых условий существования нарушается в случае определённого единорога, второе - в случае определённого жителя Лондона.    Можно объединить эти два условия и получить сложносокращённое выражение, включающее  значение обоих. Вы можете их оба редуцировать к тому, что: '("х написал Веверлея" тождественно с "х есть с", чем бы ни был х) возможно относительно с'. Я думаю, что это просто настолько, насколько вы способны высказать утверждение.

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