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