смысл терминологически закрепить это различие между двумя указанными выше способами конструирования мышлением идеальных объектов: 1) через «предельный переход» от эмпирических объектов; 2) введение «по определению». Назовем идеальные объекты, полученные первым путем, «идеальными объектами первого рода», а полученные вторым способом – «идеальными объектами второго рода». Если теоретическое естествознание и социально-гуманитарные теории имеют дело в основном с идеальными объектами первого рода, то чистая (теоретическая) математика и логика – с идеальными объектами второго рода. В этом отношении именно математика является парадигмальным образцом теоретического научного мышления в точном и строгом смысле этого слова, демонстрируя колоссальные конструктивные возможности и «непостижимую эффективность» математического мышления (Е. Вигнер) и, в конечном счете, огромную прагматическую ценность когнитивной свободы.
Помимо идеализации, важными методами теоретического научного познания являются также мысленный эксперимент, математическая гипотеза, теоретическое моделирование, аксиоматический и конструктивно- генетический методы построения научных теорий, метод формализации и др.
У любого продукта разума, начиная от отдельной идеализации («чистой сущности») и кончая научной теорией (логически организованной системой «чистых сущностей»), имеется два основных способа их обоснования. В свое время А. Эйнштейн назвал эти способы внешним и внутренним оправданием научной теории [11]. Внешнее оправдание продуктов разума состоит в требовании обоснования их практической полезности, в частности возможности их применения на опыте. Это, так сказать, прагматическая оценка их ценности и полезности, являющаяся определенным ограничением абсолютной свободы разума. Данное требование подробно проанализировано в различных философских концепциях эмпиризма и прагматизма. Однако другим, более имманентным способом оправдания идеальных объектов является их способность быть средством внутреннего совершенствования, логической гармонизации и обеспечения развития теоретического знания, эффективного решения имеющихся теоретических проблем и постановки новых. Так, введение Л. Больцманом представления об идеальном газе как о хаотически движущейся совокупности независимых атомов, представляющих абсолютно упругие шарики, позволило не только достаточно легко объяснить с этих позиций все основные законы феноменологической термодинамики, но и предложить статистическую трактовку ее второго начала – закона непрерывного роста энтропии в замкнутых термодинамических системах. Далее. Введение создателем теории множеств Г. Кантором «актуально бесконечных множеств» позволило построить весьма общую математическую теорию, с позиций которой удалось проинтерпретировать все основные понятия главных разделов математики (арифметики, алгебры, анализа и др.).
Зачем вводятся в науку идеальные
