Формализация - это представление самых разнообразных объектов путем отображения и изображения их содержания и структуры в знаковой форме, при помощи самых разнообразных "искусственных" языков, к числу которых относится язык математики, математической логики, химии и других наук. Использование специальной символики в этих науках является одним из необходимых методов отражения действительности человеком.
Понятие "формализация" находится в тесной связи с понятием "абстрагирование которое представляет собой процесс мысленного отвлечения от свойств исследуемых предметов их существенных признаков.
Формализация как метод исследования имеет, по мнению ученых, ряд достоинств:
1) обеспечивает полноту обозрения определенной области проблем, обобщенность подхода к их решению;
2) базируется на использовании специальной символики, которая обеспечивает краткость и четкость фиксации знания;
3) связана с приписыванием отдельным символам или их системам определенных значений, что позволяет избежать многозначности терминов, свойственной обычным языкам;
4) позволяет формировать знаковые модели объектов, а изучение
реальных вещей и процессов заменять изучением этих моделей.
Этим достигается упрощение объекта непосредственного исследования, что облегчает решение познавательных задач.
ИДЕАЛИЗИРОВАННЫЙ ОБЪЕКТ
(от греч. idea — образ, идея) — объект, мыслимый в понятии, образованном посредством идеализации. Напр., в науке такими объектами выступают материальная точка, идеальная жидкость, абсолютно твердое тело, идеальный газ, абсолютно черное тело и др., являющиеся компонентами соответствующих физических теорий. Введение такого рода фиктивных, несуществующих и неосуществимых в действительности объектов в качестве предмета научного исследования допускается потому, что, являясь предельными случаями определенных реальных объектов, они служат основой для построения теоретических моделей, которые в конечном счете оказываются способными описывать закономерности реальной действительности. В последнем обстоятельстве следует усматривать и критерий, отличающий плодотворные, научно обоснованные идеализации от пустых фикций.