Философия под общей редакцией

11 Аналогично невозможности самостоятельного существования «означаю­
щих», независимых от их «означаемых» в структурализме.
12 Отношения между уровнями, превосходящие бинарное отношение 
язык-объект/метаязык, выходят за рамки того, что может исследоваться лишь на 
основе определения метаязыка, и представляют самостоятельную проблему.

---

категорий (в том числе категории «истина»), но уже за рамками 
логики предикатов первого порядка, на которую опирается Тар­
ский13. Если так, то логическое моделирование естественного 
языка не имеет границ, в противоположность мнению А. Тарского.
Теория референции выделяется из классической фрегевской 
семантики вслед за работой Б. Рассела «Об обозначении»14. Рас­
сел показывает, что обозначающие фразы работают лишь в рамках 
высказывания (сами по себе они ничего не обозначают), а также 
дает метод их логического анализа. Метод заключается в построе­
нии корректной .экспликации их логической формы и элиминации 
(устранении) всех псевдообозначающих конструкций. В результате 
остаются лишь «логические имена собственные», которые обозна­
чают нечто в непосредственном опыте («знании знакомстве»15, 
в отличие от опосредованного «знания по описанию»), все прочее, 
что для грамматиста есть имя, именем на самом деле не является. 
Рассел даже вводит специальный термин «логическое имя собст­
венное», чтобы от грамматики дистанцироваться — грамматика 
неадекватна логической форме языка. Логическим именем соб­
ственным является слово или словосочетание, предполагающее 
существование соответствующего предмета, его данность в «зна­
нии знакомстве».
Идущая от Сократа борьба с языком16, недоверие к языку, 
придирки и «крохоборство» в отношении языковой формы нахо­
дят в анализе Рассела свое высшее выражение. Данной позиции 
Рассела предшествовали некоторые идеи Фреге, полагавшего есте­
ственный язык весьма неуклюжим средством научного познания 
(попробуйте, например, считать без цифр, используя лишь имена