Аналогия и моделирование

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

Научная абстракция − это обобщение чувственно-конкретного восприятия объектов исследования, полученного в результате наблюдений и экспериментов, освобождения его от несущественных деталей. Различают несколько ее разновидностей: абстракция отождествления, изолирующая, ложная и др.

Как разновидность абстракции можно рассматривать и идеализацию − мысленное конструирование понятий и объектов, несуществующих и неосуществимых в действительности, но все же имеющих некие прообразы в реальном мире. Примеры понятий, являющихся результатами идеализации:

ú «точка» − объект не имеющий размеров;

ú различные социальные «утопии», которым никогда не суждено воплотиться в действительность, но которые могут длительное время существовать в виде «идей».

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

Идеализация сохраняет в объекте исследования лишь самые существенные с точки зрения исследователя свойства. Например, покупательная способность потребителя не зависит от его пола, возраста, цвета глаз и т.п.

На этом подходе базируется «мыслительный эксперимент» − идеализированный, воображаемый метод исследования, не требующий материального обеспечения (в отличие от реального эксперимента) и полностью абстрагированный от нежелательных факторов; несмотря на название, это скорее не эмпирический, а теоретический метод, но он может послужить планом реального

эксперимента.

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

Наиболее глубоко прием формализации используется в математике, которую из-за этого некоторые ученые (например, Р.Фейнман) даже не считает наукой на том основании, что она оперирует абсолютно абстрактными, формализованными, никак не связанными с реальной жизнью категориями, такими как, скажем, «неэвклидово пространство», в котором параллельные линии вполне могут пересекаться.

С другой стороны, математические формулы и уравнения, а также их представления в виде компьютерных программ − это наиболее последовательное формализованное описание реальных процессов и явлений, обеспечивающее их дальнейшее углубленное исследование на уровне формализованных моделей, руководствуясь правилами составления и вывода новых формул, правил, законов. Примеры этого демонстрирует применение методов формализации в логике: «метод логических исчислений» Лейбница и «алгебра логики» Буля.

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

Попытки создать с помощью формализации некий универсальный «язык науки» не только оказались до сих пор безуспешными, но и была доказана их принципиальная невозможность (теорема Гёделя).

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