4. Различие понятий абстрагирование, идеализация и формализация

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

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

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

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

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

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

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

4. Модель и ее типы

Модель — некоторый материальный или мысленно представляемый объект или явление, замещающий оригинальный объект или явление, сохраняя только некоторые важные его свойства, например, в процессе познания (созерцания, анализа и синтеза) или конструирования.

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