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