Если читателю в какой-то степени психологически трудно принять вышеприведенные аргументы, можно было бы предложить ему внимательно проследить их, чтобы понять, не связана ли эта трудность со смешением объекта и «вещи», а возможно, также и с тем, что мы назвали «дуалистической предпосылкой». Действительно, в повседневной жизни мы не говорим, что вещь есть ее свойства, качества, черты и т. д., но что она их имеет. Причина, по которой мы так поступаем, и условия, при которых мы можем так поступать, не порождая недоразумений, уже обсуждались в разделе, посвященном субстанциализму и эссенциализму. Однако никакой возможности провести различие между «конститутивными» признаками и «предицируемыми атрибутами» в случае научных объектов в каком-либо онтологическом смысле нет (мы увидим в дальнейшем, в каком другом смысле это возможно). Отсюда следует, что только неявное присутствие дуалистической предпосылки может склонить нас к мысли, что объекты имеют атрибуты, а не являются ими (их совокупностью). При этом объекты рассматривались бы как скрытые «субстраты» своих свойств, что, как мы видели, неправильно даже для «вещей» и уж тем более для научных объектов, не имеющих никаких других атрибутов, кроме тех, которые открыто признаются образующими эти объекты.
2.7.3. Операциональные и теоретические понятия
Предшествующее обсуждение помогает нам оценить вторую причину присутствия в науке теоретических терминов, а именно то, что для того, чтобы собрать или придать структуру операциональным или наблюдаемым свойствам, обычно нужно много шагов, прежде чем мы получим удовлетворительную интеллектуальную картину, способную представлять объект. Эти шаги сами по себе имеют ту же концептуальную природу, как тот, который мы иллюстрировали, и следуют друг за другом в порядке возрастающей сложности, порождая последовательные интеллектуальные синтезы. С самого начала они возникают в результате установления некоторых логических или математических связей между операциональными терминами, а позднее могут происходить от установления логических связей между операциональными и уже созданными теоретическими терминами. На еще более позднем этапе они могут возникать из связей между чисто теоретическими терминами и т. д. Поскольку эта процедура в реальной науке обычно требовала для своего завершения достаточно долгого времени, мы часто можем встречать, например, в учебниках систематическое изложение некоторой науки, начинающееся с теоретических терминов как «примитивных». Однако мы уже объяснили, что это не мешает нам анализировать эти понятия, прослеживая их вплоть до их операционального происхождения, если нас интересует исследование основ. Чего мы однако хотели бы избежать – это впечатления, будто в нашем анализе может крыться какого-то рода редукция или даже исключение теоретических терминов. На самом деле то, что в нашем обсуждении мы говорили об отношении между операциональными и теоретическими понятиями, напоминает другую классическую дискуссию, в которой подробно рассматривалось взаимное отношение наблюдательных и теоретических терминов. Нам нет нужды пересказывать детали этой дискуссии, начавшейся с утверждения (которое можно найти уже у Рассела), что это просто вопрос терпения и логического искусства – найти для каждого теоретического термина в любой эмпирической дисциплине цепь определений, связывающих его с чисто наблюдательными терминами. А поскольку определения по своей природе суть средства избавиться от определяемых ими понятий, как только введены определяющие термины (т. е. термины, входящие в «определяющее») кажется очевидным вывод, что возможно, хотя бы в принципе, «элиминировать» теоретические понятия и ограничить науку использованием только наблюдательных терминов.
Хорошо известно, что конкретное исполнение этой программы, начатое Карнапом и продолженное им и несколькими другими логиками, в конце концов привело к негативному результату – не только в связи с некоторыми формально-логическими трудностями, но прежде всего из-за невозможности провести четкое разграничение между теоретическими и нетеоретическими терминами (что показали, в частности, Гемпель и Куайн)
[120].
Проблема с этой долгой историей, по нашему мнению, состоит в том, что она в каком-то смысле затуманила саму природу этой проблемы, поскольку создала впечатление, что наша неспособность довести редукционистскую программу до намеченного конца – это чисто фактическое обстоятельство, а сама по себе и в принципе эта программа вполне здравая и философски приемлемая
[121]. Чтобы показать, что это отнюдь не так, зададим себе вопрос: что бы это означало, если бы эта программа была успешно выполнена; или проще рассмотрим те случаи, в которых некоторый теоретический термин фактически оказывается непосредственно определимым, или анализируемым, или разлагаемым на некоторые операциональные составляющие, связываемые некоторыми простыми логическими или математическими связями.
Означало бы это, что данное теоретическое понятие оказалось устранимым из науки или что его значение сводимо к операциональным понятиям? Никоим образом, поскольку на самом деле мы нашли операциональные составляющие этого теоретического понятия, однако «связывание» их именно таким образом никогда не могло бы быть просто следствием их собственной природы, и потому после «редукции» нам не хватало бы этого связывающего фактора. Чтобы представить это более подробно, нам нужно было бы сказать, что логическая сеть
[122], посредством которой различные операциональные (или наблюдательные, или эмпирические) составляющие научного объекта собираются воедино, так что становится возможным опознать объект и дать ему имя, дает нам возможность провести анализ теоретического понятия. С другой стороны, этот анализ не может быть редукцией просто потому, что после этого анализа мы находимся в присутствии двух вещей, а именно отдельных операциональных составляющих и структуры (логической сети), в которую они включены. Поэтому неправильно говорить, что значение теоретического понятия может заключаться целиком в его операциональных или эмпирических составляющих, просто потому, что эти же составляющие, включенные в другую структуру, образовали бы другое (теоретическое) понятие. Так что мы приходим к выводу, что если их операциональных составляющих недостаточно для различения значений разных понятий, то невозможно ни свести полностью их значение к значению только этих составляющих, ни элиминировать их теоретическую сторону.
