Формализация

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