1) ==
1.1 Если вы берёте 'х есть х', это - пропозициональная функция, являющаяся истинной при каком угодно х
1.2 Если вы берёте 'х - человек', это - возможная пропозициональная функция.
1.3 Если вы берёте 'х - единорог', это - невозможная пропозициональная функция
==
2) ==
Пропозиции могут быть только истинными или ложными, 
но пропозициональные функции обладают этими тремя возможностями.
==
3) ==
Когда вы берёте какую-либо пропозициональную функцию  и утверждаете, что она возможна, 
что она иногда истинна, последнее даёт вам фундаментальное значение 'существования'
==
4) ==
Сказать, что единороги существуют, значит просто сказать, что '(х - единорог) является возможным'. 
==
5) ==
Если вы говорите, что 'Люди существуют, и Сократ - человек, следовательно, Сократ существует', 
то это та же разновидность ошибки, которую вы сделали бы, сказав: 'Людей много, Сократ - человек, следовательно, 
Сократов много', потому что существование является предикатом пропозициональной функции или, производно, класса.
==
 
(1.1) 'х = х' - это - пропозициональная функция, являющаяся истинной при каком угодно х
(1.3) 'х = не-х' - это - пропозициональная функция, являющаяся ложной при каком угодно х
(1.2) 'х = человек' Если икс пробегает множество {белка, стекло, паровоз}, то пропозиональная функция ложна.
если икс пробегает множество {белка, человек, паровоз}, то пропозиональная функция истина.

Только в смысле (1.2) Рассел говорит о существовании, 
поскольку о существовании человека можно утверждать лишь тогда, когда (х - человек) является возможным.
Почему он так считает? 
Потому что (с его точки зрения) говорит о пропозициях 'человек есть человек' и 'человек есть не-человек'
бессмысленно (поскольку первая всегда истина, а вторая всегда ложна).

Возникает вопросы; 
1. если множество содержит лишь один элемент, то разница между пропозицией и пропозициональной функцией исчезает.
2. с точки зрения трактовки понятия существования в математике "существовать = хотя бы один" - 
(в случае одного элемента в множестве) определение вырождается в "существовать = один"
3. А если имеет смысл говорить для одного элемента "x существет" (например, человек=человек),
то говорить о существовании в множественном смысле можно лишь тогда, когда имеем ...
проверяя на совпадение, например, ... на человека, на паровоз, ...
(проверять на равенство человека несколько раз бессмысленно - ибо совпадение может быть только одно)