СОБСТВЕННЫЕ ИМЕНА1
ОБЫЧНО в логике принято делить слова на следующие категории: имена, предикаты, бинарные отношения, тернарные отношения и т. д. В этот список входят не все виды слов; он не включает логические слова и вряд ли включает слова для «пропозициональных установок», такие как «верить», «желать», «сомневаться» и т. д. Существуют также трудности с «эгоцентрическими подробностями», например, со словами «я», «это», «теперь», «здесь» и т. д. Пропозициональные установки и эгоцентрические подробности будут обязательно рассмотрены далее. Пока же наш интерес концентрируется на именах.
Чтобы избежать многозначности, будем говорить о предикатах, когда это удобно, как о «монадических отношениях». Таким образом, будем иметь дело с различием имен и отношений, в связи с которым должны задать два вопроса:
(1) Можно ли придум.ать язык без различия имен и отношений?
(2) Если нет, какой минимум имен требуется для того, чтобы выразить все то, что мы знаем либо понимаем? И в связи с последним вопросом — какие из слов нашего естественного языка должны считаться именами?
Что касается первого вопроса, я вынужден сказать очень мало. Вполне возможно придумать язык без имен, но я совершенно не способен вообразить подобный язык. Этот аргумент не является
1 Резюме содержания этой и следующих глав будет сделано в главе XXIV.
