Философские вопросы науковедения

«Добавление новых свойств» – это неточность. Выше нами показано, что некоторые свойства не добавляются, а исключаются (приравниванием к нулю). Это делается для упрощения теоретической схемы. Различие между добавлением и исключением несущественно (исключение – это добавление со знаком минус и наоборот). Но важно то, что дальнейшие рассуждения не идут к построению теоретической схемы. Её идеальные схематические элементы остаются вразброс, вроссыпь. Все внимание авторов сосредоточено на ненаблюдаемости, непроверяемости идеальных объектов, их существовании только в сознании вне связи, по существу, с объектом. «Наряду с операцией предельного перехода в науке существует другой способ конструирования идеальных, чисто мысленных (видимо, не связанных с реальностью Л.Я.) объектов – введение их по определению…Особенно интенсивно данный способ введения идеальных объектов и, соответственно, развития теоретического знания стал применяться после принятия научным сообществом неевклидовых геометрий в качестве полноценных математических теорий. Освобожденная от необходимости обоснования эмпирического происхождения своих объектов математика совершила колоссальный рывок в своем развитии за последние сто пятьдесят лет» [1, 141 – 142].

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

Прообраз поверхности – лист бумаги или лоскут ткан и т. д. Главное различие между евклидовой и неевклидовыми геометриями состоит в том, что евклидова геометрия использует образ пространства как неограниченное множество плоских поверхностей, а в неевклидовых геометриях эти поверхности искривленные. Неевклидовы геометрии получены логическим обобщением евклидовой геометрии. Следовательно, они имеют ту же эмпирическую основу, что и евклидова геометрия.

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

Другими способом оправдания идеальных объектов является их способность быть средством внутреннего совершенствования, логической гармонизации и роста теоретического мира, эффективного решения имеющихся теоретических проблем и постановки новых» [1, 142 – 143]. В этих высказываниях нет и намека на то, что идеальные объекты предназначены для построения теоретической схемы реального объекта. Под «любым теоретическим конструктом» можно понимать все, что угодно. Нет и близкого приближения к тому, «что объективный характер» теоретической схемы и основанной на ней теории состоит в их соответствии реальному объекту. Полезность и «возможность эмпирического использования» – это недостаточно определенное указание на роль практики в познании. Напомним, что самым решительной и окончательной оценкой научной состоятельности знания является объективная необходимость его общественного использования. Что касается внутреннего совершенства, логической гармонизации и т. д., то это характеристики идеальных объектов не с точки зрения их связи с реальностью, а сточки зрения формальной логики.

Не приближаются авторы «Философии науки» к построению теоретической схемы объекта и в вопросе «Зачем вводятся в науку идеальные объекты?» Ответ дается со ссылкой на Э. Маха «Он считал, что главной целью научных теорий является их способность экономно репрезентировать всю имеющуюся эмпирическую информацию об определенной предметной области. Способом реализации данной цели, согласно Маху, (видимо, опущено слово «является», Л.Я.) построение таких логических моделей эмпирии, когда из относительно небольшого числа допущений выводилось бы максимально большое число эмпирически проверяемых следствий. Введение идеальных объектов и является той платой, которую мышлению приходится заплатить за эффективное выполнение указанной выше цели» [1,143]. «Логические модели действительности с необходимостью требуют ее упрощения, схематизации, идеализации, введения целого ряда понятий, которые имеют не объективно-содержательный, а чисто инструментальный характер» [1, 144].