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