ФОРМАЛИЗАЦИЯ

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