Формализация – представление какой-л. содержательной области (рассуждений, доказательств, процедур классификации информации и пр.) в виде формальной системы. Формальная система – это знаковая модель, задающая множество объектов путем описания исходных объектов и правил построения новых.
Язык является той знаковой системой, которая позволяет осуществлять информационный обмен в любой социальной системе. Наряду с естественными языками в информатике разработаны и формальные языки: системы счисления, алгебры высказываний, языки программирования.
С помощью формальных языков строятся формально-логические модели.
В общей теории права существует направление, которое называют «формализация правовых норм». Формализация правовой нормы – это выявление ее логической структуры, логических правил вывода суждений. Для моделирования структуры правовых норм специально разработана нормативная логика, предметом исследования которой являются логическая структура и логические связи нормативных высказываний. Так, оценивая принципы логического моделирования структуры правовых норм, правоотношений и нормативных умозаключений, Кнапп и Герлох указывают, что лежащая в их основе классификация правовых норм является упрощенной абстракцией действительных правовых норм, носящих сложный характер. Напр., исследуя сравнимость и совместимость правовых понятий, эти авторы приходят к выводу, что несравнимость понятий «наследственное право» и «избирательное право» нельзя доказать логическим рассуждением в рамках любой из логических теорий, поскольку наличие общего признака «право» делает формально сравнимыми эти понятия. Для доказательства несравнимости этих понятий, по мнению авторов, нельзя обойтись без аппарата теории права. Другой вид формализации правовых норм основан на использовании математической логики для моделирования логической структуры правовой нормы. Математическая логика – современный вид формальной логики, т.е. науки, изучающей умозаключения с точки зрения их формального строения. Любая мысль в форме понятий, суждений или умозаключений не существует вне языка. Выявить и исследовать логические структуры можно лишь путем анализа языковых выражений.
Формализация позволяет систематизировать, уточнить и методологически прояснить правовую теорию, выявить характер взаимосвязей между различными правовыми предписаниями, выявить и сформулировать существующие нерешенные проблемы. Формализация предполагает усиление роли формальной логики как основания правовой науки. Формализация используется при обработке правовой информации с помощью ЭВМ.