Russell B. Logic and Knowledge. London: George Allen & Unwin LTD, 1956. P. 39-56. (Впервые статья опубликована в 1905 г. в журнале Mind.)
Я обсуждал эту тему в Principles of Mathematics, раздел 5 и 476. Теория, защищаемая там, очень близка взглядам Фреге и совершенно отличается от теории, которую я буду отстаивать здесь далее.
Более точно пропозициональной функции.
Второе из них может быть определено через первое, если мы примем, что оно подразумевает 'Не верно, что "С(х) является ложным" всегда истинно'.
Иногда я буду использовать вместо этой усложнённой фразы фразу 'С(х) иногда истинно', предполагая, что она по определению означает то же самое, что и усложнённая фраза.
Как квалифицированно обосновывает м-р Брэдли в своей Логике, книга I, разд.II.
Психологически 'С(какой-то человек)' предполагает только одного человека, а 'С(некоторый человек)' предполагает более чем одного; но в предварительном очерке этими предположениями мы можем пренебречь.
См. Untersuchungen zur Gegenstandstheorie und Psychologie (Leipzig, 1904), первые три статьи (Мейнонга, Эймеседра и Малли соответсвенно).
См. его ‘Über Sinn und Bedeutung’, Zeitschrift für Phil. und Phil. Kritik. Т. 100.
Фреге различает эти два элемента, смысл и значение, везде, а не только в комплексных обозначающих фразах. Поэтому в смысл обозначающего комплекса входят смыслы его конституент, а не их значения. Согласно Фреге в пропозиции 'Мон Блан более 1000 метров высотой' конституентой смысла пропозиции является смысл выражения 'Мон Блан', а не сама реальная гора.
Касаясь этой теории, мы будем говорить, что обозначающие фразы выражают значение, и мы будем говорить как о фразах, так и смыслах, что они обозначают значение. В другой теории, которую защищаю я, смысл не существует и только иногда существует значение.
Я рассматриваю их как синонимы.
Это сокращённая, не строгая, интерпретация.
Пропозиции, от которых такие сущности производны, не тождественны ни с этими сущностями, ни с пропозициями, что эти сущности существуют.
Чтобы доказать уместность того, что все элементы класса самых совершенных существ существуют, можно привести аргументы; можно также формально доказать, что этот класс не может содержать более одного элемента; но, принимая определение совершенства как обладание всеми положительными предикатами, можно доказать, почти в равной степени формально, что этот класс не содержит даже одного элемента.
