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

Кибернетический метод

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

Метод единства прямой и обратной информационных связей играет огромную роль в информационно-правовой деятельности. Прямая информационная связь определяет поведение правового образования (юриста, органа и др.) в зависимости от каких-либо юридических воздействий, а обратная информационная связь определяет выбор юридического воздействия в зависимости от прошлого поведения этого образования.

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

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

Допустим, в механизме правового регулирования разорвана прямая информационная связь: правотворческий орган не может опубликовать информацию в виде нового правового акта. В этом случае механизм правового регулирования реализовать невозможно.

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

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

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

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

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

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

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

Дата добавления: 2014-10-15