она ',' автор Веверлея 'і т.д. Зауважимо, що різниця, що проводиться Расселом, відрізняється від відповідного підходу Г. Фреге, який і ті й інші вирази вважав іменами, що вказують на один і той же предмет допомогою різного сенсу. Рассел прагне позбутися такої сумнівної суті, як сенс, якому Фреге надає субстанціальне зміст. Тому він вважає, що безпосереднє знайомство з предметом має відрізнятися від його опису. Критерієм тут повинна служити комплексність опису, оскільки сенс, згідно Расселу, засвоюється з комбінації знаків, що володіють примітивним значенням, тоді як розуміння останніх знаходиться, тільки в безпосередньому знайомстві з тим, що вони позначають. Ми розуміємо вираження 'автор Веверлея' або 'нинішній король Франції', навіть не маючи уявлення про ту людину, на якого вони можуть вказувати, але значення власного імені в цьому сенсі зрозуміти можна, його можна засвоїти тільки при безпосередньому знайомстві. Цей критерій проявляється при розгляді певних контекстів, де власні імена та дескрипції функціонують по-різному. p> У Як ілюстрацію розглянемо застосування цієї теорії до аналізу контекстів існування. Візьмемо пропозицію, де існування комбінується з власним ім'ям, наприклад "Сократ існує". З точки зору Рассела, це пропозиція, як і будь-яке подібне йому, є безглуздим, оскільки функція власних імен полягає у безпосередньому вказівці або знанні через знайомство, а існування повністю виражається квантором. Квантор ж застосуємо тільки до змінної деякої пропозіціональной функції. А так як 'Сократ' - це не змінна, а константа, безпосередньо вказує на об'єкт, то значенням даного виразу не може бути істина чи брехня; воно в буквальному сенсі безглуздо. Дійсне ім'я самим своїм фактом вже говорить про існування предмету, який воно називає. Тому в контекстах існування осмислено можуть зустрічатися тільки описові імена. Пропозиція "Учитель Платона існує", наприклад, на відміну від наведеного вище, цілком осмислено, незважаючи на те, що вони на перший погляд мають однакову структуру. Про що ж говорить останнє речення? З точки зору Рассела, в ньому затверджуються дві речі: 1) є принаймні один учитель Платона, 2) є не більше одного вчителя Платона, оскільки при нездійсненності хоча б одного з цих умов воно було б помилковим. Структура дескрипції, таким чином, включає Пропозіціональние функцію, де до змінної якраз і застосуємо квантор існування. Символічно це виражається наступним чином:
( $ X) (fx? (Y) (fy E x = y))
Тепер порівняємо наведений приклад з пропозицією "Сократ - учитель Платона". Структура цієї пропозиції включає вже три значущих елементи: 1) є по крайнього мере один учитель Платона, 2) є не більше одного вчителя Платона, 3) цей людина є не хто інший, як Сократ. Символічно:
( $ X) (fx? (Y) (fy E x = y))? fa
Дійсно, заперечуючи будь-який з цих трьох елементів ми змушені були б визнати хибність цілого. Значущі елементи першого пропозиції п...
