Так что любое высказывание, в которое дескрипция имеет первичное вхождение, влечёт, что описываемый объект существует. Если я говорю: 'Нынешний король Франции лыс', это влечёт, что нынешний король Франции существует. Если я говорю: 'Нынешний король Франции имеет прекрасную шевелюру', это также влечёт, что нынешний король Франции существует. Следовательно, если вы не понимаете, каким образом должна отрицаться пропозиция, содержащая дескрипцию, вы придёте к заключению, что не является истинным то, что либо нынешний король Франции лыс, либо он не лыс, поскольку, перечислив все лысые предметы, вы не найдёте его среди них, и перечислив все не лысые предметы, вы также не найдёте его среди них. Найденное мной единственное предположение, позволяющее рассматривать его в общепринятом направлении, - это предположение, что он носит парик. Вы можете избежать гипотезы о том, что он носит парик, только заметив, что отрицанием пропозиции 'Нынешний король Франции лыс' не будет пропозиция 'Нынешний король Франции не лыс', если под ней вы подразумеваете, что 'Существует такой человек, как король Франции, и этот человек не лыс'. Причина этому в том, что когда вы устанавливаете, что нынешний  король Франции лыс, вы говорите: 'Существует такое с, что с есть нынешний король Франции, и с - лыс', а отрицанием последнего не является 'Существует такой с, что с есть нынешний  король Франции, и с - не лыс'. Оно более сложное. Оно имеет следующий вид: 'Либо не существует такого с, что с есть нынешний  король Франции, либо, если такой с существует, то с -не лыс.' Вы видите, таким образом, что если вы хотите отрицать пропозицию  'Нынешний король Франции лыс', вы можете сделать это, отрицая то, что он существует, вместо отрицания того, что он лыс. Для того чтобы отрицать высказывание, что нынешний король Франции  лыс, которое представляет собой высказывание, состоящее из двух частей, вы можете действовать, отрицая одну из частей. Вы можете отрицать одну часть, которая ведёт к предположению, что нынешний король Франции существует, но не лыс, или другую часть, которая ведёт вас к отрицанию того, что нынешний король Франции существует; любое из этих двух отрицаний ведёт вас к ложности пропозиции 'Нынешний  король Франции лыс'. style='font-size:10.0pt'>Когда же вы говорите: 'Скотт - человек', возможности двойственного отрицания нет. Единственный способ, которым вы можете отрицать 'Скотт - человек', это сказать: 'Скотт - не человек'. Но там, где встречаются дескриптивные фразы, у вас есть возможность двойственного отрицания.    Крайне важно осознать, что фраза типа 'определённый такой-то и такой-то' не встречается в анализе пропозиций, в вербальное выражение которых она входит, что, когда я говорю: 'Автор Ве-верлея - человек', 'автор Веверлея' не является субъектом данной пропозиции тем способом, которым субъектом был бы Скотт, если бы я сказал 'Скотт - человек', используя 'Скотт' как имя. Я не могу удовлетворительно подчеркнуть, сколь важен этот пункт, и как много ошибок вы получаете в метафизике, если не осознаёте, что когда я говорю: 'Автор Веверлея - человек', последняя пропозиция не имеет той же самой формы, как 'Скотт - человек'. Она не содержит консппуенту  'автор Веверлея'. Важность этого весьма значительна по многим причинам, и одна из них - это вопрос о существовании. Как я указал вам в прошлый раз, имеется огромное количество философии, покоящейся на понятии о том, что существование является, так сказать, свойством, которое вы можете приписать вещам, и что вещи, которые имеют место быть, обладают свойством существования, а вещи, которые не существуют, нет. Это вздор, берёте ли вы виды предметов или описываемые индивидуальные предметы. Когда я, например, говорю: Томер существовал', под 'Гомером' я понимаю некоторую дескрипцию, скажем, 'автор поэм Гомера', и я утверждаю, что эти поэмы были написаны одним человеком, и данная пропозиция весьма сомнительна; но если вы можете предоставить действительного человека, который на самом деле написал эти поэмы (предположим, что существует такой человек), сказать о нём, что он существовал, было бы выражением бессмыслицы, не ложности, но бессмыслицы, потому что только об описываемых людях можно осмысленно сказать, что они существуют. Прошлый  раз я указывал на ошибку в выражении: 'Люди существуют, Сократ - человек; следовательно, Сократ существует'. Когда я говорю: Томер существует, это - Гомер; следовательно, это существует', то это ошибка того же самого типа. Аргумент 'Это - автор поэм Гомера, и автор поэм Гомера существует; следовательно, это существует' совершенно ошибочен. Существование может осмысленно утверждаться только там, где есть пропозициональная функция. Вы  можете  утверждать 'Определённое такое-то и такое-то существует', подразумевая, что существует как раз одно с, которое имеет данные свойства, но когда вы предоставите с, ими обладающее, вы не в состоянии сказать о таком с, что style='font-size:10.0pt'>оно существует, поскольку это бессмысленно; это не ложно, но вообще не имеет значения. Поэтому индивидуумы, имеющие место в мире, не существуют, или скорее, бессмысленно говорить, что они существуют, и бессмысленно говорить, что они не существуют.