Об обозначении [заметки]

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

Чтобы доказать уместность того, что все элементы класса самых совершенных существ существуют, можно привести аргументы; можно также формально доказать, что этот класс не может содержать более одного элемента; но, принимая определение совершенства как обладание всеми положительными предикатами, можно доказать, почти в равной степени формально, что этот класс не содержит даже одного элемента.