Философия и методология науки XX века: от формальной логики к истории науки. Хрестоматия.

Те, кто критикует эти утверждения, не отвергают, конечно, употребления выражений вроде «красный» или «пять»; не стали бы они отрицать и того, что эти выражения имеют значение. Но иметь значение, сказали бы они, не то же самое, что иметь значение в смысле некоторого обозначаемого объекта. Они отвергают веру (которая, как они считают, неявно предполагается такими семантическими утверждениями) в то, что для каждого выражения рассматриваемого типа (прилагательных вроде «красный», числительных вроде «пять» и т. д.) имеется особый реальный объект, к которому это выражение стоит в отношении обозначения. Эта вера отвергается как несовместимая с основными принципами эмпиризма или научного мышления. Ей присваиваются дискриминационные ярлыки такие, как «платоновский реализм», «гипостазирование» или «"Фидо" — Фидо принцип». Последнее название дано Гильбертом Райлом критикуемой вере, которая, с его точки зрения, возникает вследствие наивного вывода по аналогии: как существует хорошо известный мне объект — моя собака Фидо, — которая обозначается именем «Фидо», так и для каждого осмысленного выражения должен существовать объект, к которому это выражение стоит в отношении обозначения или именования, то есть в отношении, иллюстрируемом выражением «Фидо» — Фидо. Критикуемая вера является, таким образом, случаем гипостазирования, то есть трактовки в качестве имен таких выражений, которые именами не являются. Считают, что в то время, как «Фидо» есть имя, выражения, такие, как «красный», «пять» и т. д., именами не являются и ничего не обозначают.

Проведенное выше рассмотрение вопроса о принятии языковых каркасов позволяет нам теперь прояснить ситуацию в отношении абстрактных объектов как десигнатов. В качестве примера возьмем утверждение:

(a) ««Пять» обозначает некоторое число».

Формулировка этого утверждения предполагает, что наш язык L содержит формы выражений, которые мы назвали каркасом для чисел, в частности числовые переменные и общий термин «число». Если L содержит эти формы, то следующее является аналитическим утверждением в L:

(b) «Пять есть некоторое число».

Далее, чтобы сделать возможным утверждение (а), L должен содержать выражение, подобие «обозначает» или «есть имя», для семантического отношения обозначения. Если установлены соответствующие правила для этого термина, то следующее предложение точно так же является аналитическим:

(c) ««Пять» обозначает пять».

(Вообще говоря, всякое выражение формы ««…» обозначает…» есть аналитическое предложение, если только термин «…» — постоянная в некотором принятом каркасе. Если последнее условие не выполняется, то выражение не является предложением.) Поскольку (а) следует из (с) и (b), постольку (а) является точно так же аналитическим.