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

Истина и реальное существование

Я буду использовать слово-гибрид “теоретический объект” для обозначения всякой всячины, постулируемой теориями, но которую мы не можем наблюдать. Лаконичность термина обманчива. Он обозначает, кроме всего прочего, частицы, поля, процессы, структуры, состояния и тому подобное. Существует два вида научного реализма: один – относящийся к теориям, другой – относящийся к объектам.

Для теорий важно, истинны ли они, могут ли они быть истинными или ложными, претендуют ли на истинность или стремятся к истине.

Для объектов важно, существуют ли они. Теории и истина волнуют большинство современных философов. Может показаться, что вера в теорию автоматически влечет за собой веру в существование объектов теории. Как можно верить в истинность теории кварков и отрицать существование кварков? Много лет назад Бертран Рассел показал, как это сделать. Тогда его интересовала не истинность теорий, а ненаблюдаемые объекты. Он считал, что мы должны использовать логику, чтобы переделать теорию так, чтобы предполагаемые объекты оказались логическими конструкциями. Тогда термин “кварк” не будет обозначать кварки, а будет сокращением сложного логического выражения, отсылающего только к наблюдаемым явлениям. Рассел был тогда реалистом в вопросе о теориях, но антиреалистом в вопросе об объектах.

Но можно быть реалистом в вопросе об объектах, но анти-реалистом в вопросе о теориях, как многие Отцы Церкви. Они верили в существование Бога, но верили и в принципиальную невозможность построения позитивной истинной теории Бога: в лучшем случае можно перечислить, чем не является Бог – он бесконечен, неограничен и так далее. Аналогично по поводу научных объектов говорится, что у нас есть хорошие основания для предположения о существовании электронов, хотя ни одно законченное их описание не может претендовать на истинность. Наши теории постоянно пересматриваются, для разных целей мы используем различные и несовместимые модели электронов. Их не считают непогрешимыми, но, тем не менее, электроны существуют.

Два реализма

Реализм относительно объектов утверждает, что достаточно большое количество теоретических объектов действительно существует. Антиреализм отрицает это, утверждая, что эти объекты – фикции, логические построения или части интеллектуального аппарата, привлекаемого для описания мира. Или, менее догматично: у нас нет и не может быть причин полагать, что они – не фикции. Они могут существовать, но нам не нужно предполагать это, чтобы понимать мир.

Реализм относительно теорий утверждает, что научные теории являются истинными либо ложными независимо от того, что мы знаем: наука по крайней мере стремится к истине, а истина – это то, как устроен мир. Анти-реализм утверждает, что теории в лучшем случае имеют основания; они адекватны; с ними хорошо работать; они приемлемы, но не правдоподобны и т. п.

Составляющие

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

Я совместил вместе знания и реальность, так как если бы у нас не было в настоящее время теоретических объектов, которые некоторые из нас считают действительно существующими, постановка вопроса была бы вообще бесполезной. Если бы мы говорили о какой-нибудь будущей научной утопии, я бы отказался принять участие в дискуссии. Две части вопроса, совмещенные мною, могут быть без труда разложены на составные части, как в нижеследующей схеме У. Ньютон-Смита. Он отмечает три составляющие научного реализма:

1) Онтологическая составляющая: научные теории являются либо истинными, либо ложными, и истинность или ложность теории есть следствие состояния мира.

2) Причинная составляющая: если теория истинна, теоретические термины теории обозначают теоретические объекты, являющиеся причинами наблюдаемых явлений.

3) Эпистемологическая составляющая: у нас может быть обоснованная вера в теории или объекты (по крайней мере, в принципе).

Грубо говоря, онтологическая и эпистемологическая составляющие Ньютона-Смита сводятся к моему реализму относительно объектов.