Именно благодаря присутствию «логических связей» между операционально установленными чертами реальности впервые появляется то, что называется теоретическими терминами. Это происходит по крайней мере по двум причинам. Первая состоит в том, что, когда некоторое множество предикатов структурировано так, чтобы обеспечить некоторое единство и обнаружить их взаимозависимость становится практически неизбежным, как мы только что подчеркнули, нужно дать этому единству имя. В то время, как ранее мы отстаивали именование такого единства на определенных психологических основаниях, теперь мы можем признать, что оно подразумевается самим понятием объективности. Поскольку объект есть результат применения к реальности определенных критериев объективности, когда эти черты реальности объективно установлены и связаны воедино, объект существует, а коль скоро он существует, почему бы не дать ему имя? Ошибкой было бы, если бы под этим именем мы понимали объект как что-то обладающее этими свойствами, как некоторую предлежащую скрытую реальность, проявляющую некоторые черты, тогда как на самом деле объект – это просто и есть эти черты или атрибуты (не забудем, что в этой книге термин «атрибут» используется в его техническом смысле, т. е. не как некоторый элемент языка – как при использовании этого термина в грамматике, – но как черта реальности, такая, как свойство, функция или отношение, которая может быть обозначена предикатом соответствующего языка) или, лучше сказать, структурированное множество их. Но, с другой стороны, мы должны признать, что объект должен называться обязательно теоретическим термином, ибо отдельные операции не могут показать нам, что определенные атрибуты совместны; не могут они, конкретнее, показать и то, почему они должны быть сгруппированы так, а не иначе. По этой причине объект не только по необходимости является результатом теоретического построения, но отсюда уже следует, что теоретические термины необходимы в науке, хотя бы для именования ее объектов и для «осмысления» операционально полученных эмпирических результатов. Очевидно, что теоретические термины еще более необходимы на собственно теоретическом уровне, т. е. когда «теоретические предметы (entities)» постулируются в теории для получения объяснений [113] .

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

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

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

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

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

Действительно, если рассмотреть тезис философов, серьезно относящихся к идеализации, то нужно сказать, что только индивидуальные понятия (такие как «Сократ», «Рим», «Солнце») могут иметь референт. Собственно говоря, любое общее понятие, заданное определением, содержит лишь конечное число характеристик, и не существует вещей, имеющих только эти характеристики. Однако ошибка тут состоит в смешении «отвлечения от» или просто «пренебрежения» с отрицанием; абстракция ни в коей мере не является отрицанием. Так что, если мы определим человека как разумное животное, мы абстрагируемся от того факта (или пренебрегаем им), что у конкретных людей есть глаза, ноги и руки. Но это никогда не заставит нас сказать, что у понятия «человек» нет референта, просто потому, что у «реальных людей» есть глаза, ноги и руки. Аналогично, все идеализации должны рассматриваться как понятия, в которых происходит абстрагирование от целого ряда свойств; но характеризуют эти понятия их позитивные признаки. Поэтому нам достаточно знать, в контексте нашего исследования, являются ли указанные позитивные черты проверяемыми – с точностью, требуемой этим контекстом, – чтобы найти референты этих понятий [115] . Поэтому материальные точки существуют не менее чем электроны в том смысле, что критерии референциальности, требуемые для нахождения их, по существу не отличаются от тех, которые нужны для электронов. Об этом вопросе еще будет сказано, когда мы дойдем до обсуждения проблемы реализма [116] .

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