Научная объективность и ее контексты

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

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

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

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

Согласно чрезмерным упрощениям, принятым в настоящее время в литературе, мы можем предположить, что эмпирическая теория Т выражается в языке первого порядка L, который должен содержать в числе своих дескриптивных констант некоторые наблюдательные предикаты О₁, …, О_n, а также теоретические предикаты T₁,…, T_p. Эмпирической, а не формальной эту теорию делает существование модели М ее языка, которую можно представить как следующего рода структуру:

M = < U, R₁, …, R_s >,