Труды КНЦ вып.9 (ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ вып. 10/2018(9))

возможные противоречия, неполноту, противоречия с другими законами [4]. Это способствовало бы улучшению, как законодательной работы, так и правоприменительной деятельности. Важнейшим условием обеспечения целостности правого поля [5] является выявление противоречий, которые нередко обнаруживаются при сопоставлении действующих или формировании новых нормативно-правовых актов, касающихся различных аспектов одного и того же объекта права. Для решения данных проблем разрабатываются технологии автоматизированного контроля целостности правого поля при разработке и использовании нормативно-правовых документов [ 6 ]. Практическая ценность подобных разработок очевидна. Автоматизированная обработка нормативных актов позволит выявить противоречия в законодательстве. Она может быть использована на предприятиях и в учреждениях при подготовке локальных актов для предупреждения противоречий с законом и с ранее принятыми локальными актами, что позволит избежать массы проблем при работе с нормативными документами [2]. Исходя из всего вышеизложенного, автоматизированный поиск противоречивых высказываний в нормативных документах - актуальная задача на сегодняшний день. Нормативные понятия всегда были в центре внимания философов и логиков. Так, особое внимание к возможности применения модальных логик в сфере нормативных систем уделял аргентинский логик и философ права - Карлос Эдуардо Альчуррон. Деонтическая логика (подвид модальной логики, см. ниже), которая имеет дело с нормативным использованием языка и с такими нормативными понятиями, как обязательство, запрет и дозволение, позволила пролить свет на различные аспекты феномена нормативности; а разработка немалого количества систем деонтической логики демонстрирует интерес к нормативному дискурсу, и не малый. Несмотря на то, что такая наука, как юриспруденция, изначально занимается описанием и систематизацией правовых норм, формальному исследованию нормативных понятий должного внимания юристами не уделялось [7]. Невозможность строго классифицировать науку о праве как эмпирическую, так и точную; но необходимость в создании четкой системы норм с определенными стандартами рациональности и целостной непротиворечивости правовых норм, представляет модальную логику наиболее удачным инструментом для автоматизации поиска противоречий в нормативных документах. Но для начала необходимо выяснить, что такое модальная логика, и из каких частей она состоит. О модальной логике Модальная логика - раздел логики, в котором исследуются логические связи модальных высказываний [ 8 ], то есть, помимо стандартных логических связок, переменных или предикатов (утверждения, высказанные о субъекте) имеются модальности. Стоит отметить, что модальная логика слагается из ряда разделов, или направлений, каждое из которых занимается модальными высказываниями определенного типа. Модальность - это оценка высказывания, данная с той или иной точки зрения. Она выражается с помощью понятий: «необходимо», «возможно», 113