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

Чтобы увидеть все это яснее, предположим, что мы зафиксировали «область дискурса» некоторой конкретной дисциплины. Это значит, что составлен перечень операциональных базовых предикатов О_>1,…,Оn вместе с некоторыми теоретическими предикатами Т_>1,…,Тр. Базовые предикаты снабжены также своими соответствующими «операциональными определениями», т. е. для каждого такого предиката указано некоторое инструментальное средство вместе со списком инструкций, указывающих, как его использовать и какие результаты должны быть получены, чтобы можно было сказать, что этот предикат выполняется. Как мы уже неоднократно упоминали, объект «вырезается» из «вещи» в результате применения к ней всех базовых предикатов.

Предположим теперь (возвращаясь к уже использованному примеру), что у нас есть некоторая «вещь», конкретная как зубная боль (только те, кто никогда ее не испытывал, могут сказать, что это не «реальная вещь», поскольку ее нельзя ни увидеть, ни тронуть), и мы хотим узнать, может ли она быть объектом механики. Принимая, что базовые предикаты механики – масса (измеряемая весами), длина (измеряемая линейкой) и длительность (измеряемая хронометром), мы видим, что только один из этих базовых предикатов механики применим в нашем случае (т. е. длительность). Что касается остальных двух предикатов (массы и длины), зубная боль просто не может подвергнуться придуманным для них операциональным процедурам, и нам приходится сказать, что она не имеет ни массы, ни длины в механическом смысле. Поэтому она не принадлежит к референтам механики или, что эквивалентно, не является объектом механики.

Следовательно, ясно, в каком смысле референты науки не «задаются», а просто «строятся» путом применения к вещам операциональных критериев базовых предикатов. Отсюда следует, в частности, что и сама область референтов, очевидно, на задается, но находится в состоянии постоянного строительства, в том смысле, что это открытое и потенциально бесконечное множество. Это хорошо согласуется с современной ситуацией в науке, где нам приходится иметь дело с открытыми областями референтов, но никогда не с предполагаемыми бесконечными областями индивидов, о которых современная аналитическая методология часто говорит больше с фантазией, нежели с реализмом.

Мы увидим более интересные черты, связанные с этим фактом, когда будем рассматривать проблему семантики формализованных эмпирических теорий. Тогда станет ясно, что к ним неприменимы практически никакие средства обычной теоретико-модельной семантики, используемой в математической логике, и что у альтернативной семантики, которую мы собираемся предложить, есть некоторые привлекательные черты, такие как разрешимость и однозначность[159].

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