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

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

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

Решающий шаг, однако, делается тогда, когда мы пытаемся объяснить, почему эмпирический закон выполняется и, возможно, почему его применение оказывается менее удовлетворительным при некоторых особых условиях. На этой стадии вводится концептуальная модель, каузально объясняющая законы, управляющие рассматриваемым процессом; это опять-таки теоретическая конструкция, и ее эффективная разработка и прояснение составляют теорию, объясняющую связанные с этим законы. В этом новом контексте все законы становятся идеализированными, поскольку они должны быть точно объяснены в модели (или теории); и ограниченная сфера их применения тоже объясняется ограниченной применимостью используемой модели (или теоретического понятия, или идеализации). Для снятия этих ограничений должна быть создана новая модель. Возможно, простейшим и лучше других изученным примером этого служат законы Бойля и Ван-дер-Ваальса для газов, рассмотренные в Krajewski (1977) и особенно в Dilworth (2008, pp. 101–107).

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