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

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

Речь не идет о непрозрачности самого предмета как такового, т. е. не о том, что предметы неразличимы, если неразличимы их свойства. Не этот вопрос нуждается в обсуждении. Вопрос, подлежащий обсуждению, гораздо лучше выражен в загадке, видит ли кто-нибудь мир вверх ногами, или видит ли кто-нибудь мир окрашенным в иные цвета, дополнительно к нашему цветовому восприятию; ибо предметы могут непостижимым образом изменяться, тогда как все их свойства останутся при них. В конце концов кролик отличается от части кролика и от кролика, находящегося в поле зрения в данное время, не как голый предмет, а в отношении своих свойств; и формулы отличаются от номеров в отношении их свойств. Наша рефлексия заставляет нас понять, что к загадке, о которой мы говорили, следует относиться со всей серьезностью и помнить, что мораль, извлекаемая из нее, имеет широкую область применимости. Повторю еще раз. Релятивистский тезис, к которому мы пришли, состоит в следующем: нет смысла говорить о том, что представляют собой объекты теории сами по себе, за пределами обсуждения вопроса о том, каким образом интерпретировать или переинтерпретировать одну теорию в другую. Предположим, мы работаем внутри некоторой теории и таким образом трактуем ее объекты. Мы делаем это, используя переменные данной теории, значениями которых являются эти объекты, хотя и не существует того подлинного смысла, в котором этот универсум может быть специфицирован. В языке теории существуют предикаты, посредством которых одна часть этого универсума отличается от другой, и эти предикаты отличаются один от другого чисто по тем ролям, которые они играют в законах теории. Внутри такой предпосылочной теории мы можем показать, как некоторая субординированная теория, чей универсум является какой-то частью предпосылочного универсума, может путем переинтерпретации быть сведена к другой субординированной теории, универсум которой будет меньшим по сравнению с первой частью. Такой разговор о субординированных теориях и их онтологиях осмыслен, но лишь относительно предпосылочной теории с ее собственной примитивно выбранной и в конечном счете непрозрачной онтологией.

Итак, разговор о теориях поднимает проблему формулирования. Теория представляет собой множество полностью интерпретированных предложений (точнее, оно является дедуктивно замкнутым множеством: включает все свои собственные логические следствия, поскольку они выражены в тех же самых обозначениях). Но если предложения теории полностью интерпретированы, то, в частности, области значений их переменных установлены. Почему же тогда бессмысленно говорить, каковы объекты теории?

Мой ответ состоит в том, что мы не можем иначе, чем в относительном смысле, требовать, чтобы теория была полностью интерпретирована. Если вообще рассматривать нечто как теорию. Специфицируя теорию, мы должны полностью своими собственными словами охарактеризовать, какие предложения должны включаться в теорию, какие предметы должны служить в качестве значений переменных и какие предметы следует брать в качестве удовлетворяющих предикатным буквам; таким образом, мы действительно полностью интерпретируем теорию относителъно наших собственных слов и относительно нашей всеохватывающей домашней (home) теории, лежащей за ними. Но эта интерпретация фиксирует объекты описываемой теории только относительно объектов домашней теории; и последние могут в свою очередь рассматриваться на предмет их интерпретации.