Под 'обозначающей фразой' [denoting phrase] я подразумеваю фразу, соответствующую одному из следующих типов: какой-то [a] человек, некоторый человек, любой человек, каждый человек, все люди, нынешний король Англии, нынешний король Франции, центр массы Солнечной системы в первый момент двадцатого века, вращение Земли вокруг Солнца, вращение Солнца вокруг Земли. Таким образом, фраза является обозначающей только ввиду своей

формы

. Можно различить три случая: (1) Фраза может быть обозначающей и, однако, не обозначать ничего; например, 'нынешний король Франции'. (2) Фраза может обозначать один определённый объект; например, 'нынешний король Англии' обозначает определённого человека. (3) Фраза может обозначать неопределённо; например, 'какой-то [a] человек' обозначает не много людей, но неопределённого человека. Интерпретация таких фраз - предмет значительных затруднений. Действительно, очень трудно сформулировать какую-то теорию, не подверженную формальному опровержению. Насколько я могу судить, все известные мне затруднения разрешаются теорией, которую я собираюсь объяснить.

Тема обозначения весьма важна не только в логике и математике, но также и в теории познания. Например, мы знаем, что центр массы Солнечной системы в определённый момент находится в некоторой определённой точке, и мы можем утверждать о нём ряд пропозиций; но мы не имеем непосредственного

знакомства

с этой точкой, которая известна нам только по описанию. Различие между

знакомством

и

знанием о

есть различие между вещами, о которых мы имеем представление, и вещами, достигаемыми нами только посредством обозначающих фраз. Часто случается так, что мы знаем, что определённая фраза обозначает недвусмысленно, хотя и не имеем знакомства с тем, что она обозначает. Это происходит и в указанном выше случае с центром массы. В восприятии мы знакомы с объектами восприятия, а в мышлении мы знакомы с объектами более абстрактного логического характера; но мы не с необходимостью знакомы с объектами, которые обозначены фразами, составленными из слов, с чьим значением мы знакомы. Приведу очень важный пример. По-видимому, нет причин верить в то, что мы знакомы с сознаниями других людей. Очевидно, что они не воспринимаются непосредственно. Следовательно, то, что мы о них знаем, приобретается через обозначение. Всякое мышление должно начинаться со знакомства; но в мышлении мы преуспеваем во многих вещах, с которыми знакомства не имеем.

Ход моей аргументации будет следующим. Я начну с изложения теории, которую намерен отстаивать

Вкратце моя теория состоит в следующем. Я рассматриваю понятие

С (всё) подразумевает '