Формализация

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

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

Классическим примером формальной системы является математика. Исходные объекты описаны аксиомами и определениями. Новые объекты вводятся с помощью теорем, доказательство которых строится по определенным правилам.

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

Формализация является первым шагом при составлении алгоритмов решения любой – в том числе и правовой – задачи.

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

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

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

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

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

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

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

обратная информационная связь определяет выбор юридического воздействия в зависимости от прошлого поведения этого образования.

Наряду с математическими методами существуют методы логического моделирования.

2) Методы формальной логики

Одним из главных объектов исследования общей теории права является правовая норма. В соответствии с положениями общей теории права правовая норма состоит из трех основных элементов: правовой ситуации (гипотезы), правового предписания (диспозиции) и санкции.

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

включают в себя ∩,

исключают ¬,

являются эквивалентными ≡,

следует 

И Λ

ИЛИ V

КРОМЕ ¬

Например, Правовая ситуация Пассажир

Правовое предписание Оплата проезда

Санкция Штраф

((ПассажирОплата проезда) Λ (Пассажир Λ ¬Оплата проезда))  Штраф,

т.е. Из правовой ситуации Пассажир при неоплате проезда следует штраф. Для выяснения, что такое Оплата проезда следует ввести соотношение тождества:

Оплата проезда ≡ (разовый билет V проездной билет V (студенческий проездной билет Λ студенческий билет студента дневной формы обучения))

Студенческий билет ≡ …

Дневная форма обучения ≡

Тем самым можно строить цепочки связей.

Противоречием называется логическое выражение р ≡ ¬р, или р ∩ ¬р, или р Λ ¬р «суждение тождественно своему отрицанию» или «понятие включает в себя противоположное понятие».

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

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

Методами формальной логики можно

выявить противоречия в правовой системе;

найти «дыры» (наличие понятий, которым не дано определение);

проверить соответствие законопроекта уже имеющимся НПА;

найти документы, которые необходимо изменить при отмене устаревшего НПА.