Понятие логики норм и оценок.Упражнения и тесты.
Термин «деонтическая логика» в качестве названия в качестве одного из разделов модальной логики, изучающей особенности рассуждений в нормативных контекстах, был предложен финским логиком Г. фон Вригтом в 1951 г. Именно с этого времени, строго говоря, и начинается история деонтической логики. Логика деонтических модальностей является ветвью современной модальной логики, в которой изучаются вопросы природы, структуры, типологии нормативных высказываний, способов оперирования ими и условий их истинности. Таким образом, можно полагать, что нормы права [6] в различных правовых системах основаны на принципах деонтической логики. Здесь необходимо подчеркнуть, что необходимыми элементами нормы права являются следующие ее компоненты: 1) авторитет – орган, установивший норму; 2) адресат – лицо (юридическое или физическое), которому надлежит исполнять предписание; 3) диспозиция – действие, подлежащее исполнению; 4) деонтическая характеристика нормы – определенный тип предписания; 5) санкция – юридические последствия неисполнения предписания. Среди норм права принято различать нормы правообязывающие, правозапрещающие и правопредоставляющие. Правообязывающие нормы формулируются с помощью операторов (функторов) «обязан», «должен», «надлежит», «признается» и др. Символически запись O(d) означает, что действие d подлежит обязательному исполнению. Правозапрещающие нормы формулируются с помощью операторов (функторов) «запрещается», «не вправе», «не может», «не допускается» и др. Символически F(d) означает, что действие d запрещается. Схема правозапрещения записывается как (d ® S) и означает: «если совершено действие d, то применяется санкция S». Правопредоставляющие нормы формулируются с помощью операторов (функторов) «имеют право», «может быть», «может принять» и др. Символически P(d) означает: «предоставляется право выполнить d». Из указанных деонтических операторов O, F и P – обязывание (O) и запрещение (F) относятся к сильным деонтическим характеристикам, а разрешение (P) является слабой деонтической характеристикой. «Обязанность» и «запрещение» жестко связаны друг с другом: обязанность выполнить определенное действие эквивалентна запрещению не выполнять его: O (d) º F (ù d). Символически это может выглядеть так: F (p) Ù O (q). «Разрешение» также связано с «запрещением» и «обязанностью», но не жестко: P (d) º ( ù O (d) Ùù F (d)). Иными словами, разрешение выполнить действие d означает, что выполнение d не обязательно и не запрещено. Рационально построенная нормативно-правовая система должна удовлетворить минимальным модальным деонтическим требованиям:
|
