Главная » Справочник » Основы правовой информатики » Метод формализации

Метод формализации

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

Язык является той знаковой системой, которая позволяет осуществлять информационный обмен в любой социальной системе. Наряду с естественными языками в информатике разработаны и формальные языки: системы счисления, алгебры высказываний, языки программирования.

С помощью формальных языков строятся формально-логические модели.

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

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

Формализация предполагает усиление роли формальной логики как основания правовой науки. Формализация используется при обработке правовой информации с помощью компьютерной техники.

Предыдущая статья Метод алгоритмизации и программирования Следующая статья Методы теории информации

Статьи по теме