Идеализация

Вот тут-то и происходит, согласно традиционной концепции, скачок мысли, скачок к абсолютно точному конструкту. Любая точка, которую мы достигаем на практике, ничто но сравнению с точностью мысленной конструкции, ибо их разделяет бесконечность. Для чего нужна такая не встречающаяся на практике точность математических объектов? «Всякое соотношение между математическими символами, —писал П.Л. Чебышев, — отображает соответствующее соотношение между реальными вещами; математическое рассуждение равнозначно эксперименту безукоризненной точности, повторенному неограниченное число раз, и должно приводить к логически и материально безошибочным выводам».

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

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

Тезис, согласно которому денотатами понятий-идеализаций (таких, как точка в геометрии или идеальный газ в физике) является «пустой класс», представляется, однако, спорным. Он затушевывает как раз то, что представляет наибольший интерес с гносеологической точки зрения, а именно, какую гносеологическую функцию выполняет идеализация в конкретных познавательных ситуациях. В связи с этим можно вспомнить спор между Пуанкаре и Эйнштейном о природе математических идеализаций. Точка зрения первого заключалась в том, что понятия об идеальных математических объектах «извлечены нами из недр нашего духа» и что им ничто непосредственно не соответствует в физическом мире. Но Эйнштейн дает характерный ответ: «Что касается возражения, что в природе нет абсолютно твердых тел и что приписываемые им свойства не соответствуют физической реальности, то оно никоим образом не является столь серьезным, каким оно может показаться на первый взгляд. В самом деле, нетрудно задать состояние измерительного тела достаточно точно, чтобы его поведение по отношению к другим измерительным телам было настолько определенным, что им можно было бы пользоваться как «твердым» телом».