Журнальный клуб Интелрос » Эпистемология & философия науки » №2, 2012
А.Л. Никифоров
Онтологический статус референтов имен собственных
Логическая семантика в трудах Г. Фреге, Б. Рассела, А. Тарского, Р. Карнапа создавалась как дисциплина, имеющая дело с формальными языками логики. Основным семантическим отношением для нее было отношение обозначения, существующее между выражения¬ми формализованного языка и объектами заданной предметной области. Соответственно этому и значение языковых выражений в логической семантике было сведено к обозначаемым предметам, понятие смысла упоминалось (как дань памяти Фреге), но не использовалось, да и не было нужно для формализованных языков. Практически все теории референции, построенные в сфере логической семантики, в той или иной мере принимают теорию отношения именования (обозначения), восходящую к Фреге. В гл. 3 своей книги Карнап формулирует основные принципы (постулаты) этой теории: 1) принцип однозначности: каждое имя именует только один объект; 2) принцип предметности: предложение говорит о референтах входящих в него имен; 3) принцип езаимозаменимости: если два выражения обозначают один объект, то их можно заменять друг на друга, сохраняя истинностное значение содержащих их предложений