Абсолютные деонтические системы
Общие сведения
Абсолютные деонтические системы представляют собой разновидность деонтической логики, в которой нормы действуют универсально для всех субъектов, без выделения специфического множества лиц, на которых эти предписания распространяются. Основой таких систем выступает формализация моральных и правовых отношений, предписаний и дозволений. Важным компонентом абсолютных деонтических логик является правило Гёделя, предполагающее введение оператора обязательности: если истинность определенной нормы установлена, то ее выполнение признается обязательным. В рамках данной области знания проводится строгое разграничение между деонтическим исчислением и деонтической логикой. Деонтическое исчисление представляет собой совокупность определений, аксиом, правил вывода и доказательств, позволяющих алгоритмически получать теоремы из исходных посылок. Деонтическая логика, в свою очередь, рассматривается как система, состоящая из множества правильно построенных выражений и структуры возможных миров с установленным отношением выполнимости и достижимости между ними. Классическим примером формализации абсолютных систем является логика типа фон Вригта. Ее язык включает множества пропозициональных переменных, логических связок, констант истины и лжи, а также базовых деонтических операторов, таких как «обязательно» и «разрешено», на основе которых конструируются производные операторы, например, «запрещено» или «безразлично».
Особенности
Характерной чертой абсолютных деонтических систем является их структурная близость к модальной логике, что находит отражение в использовании концепции возможных миров. Отношение достижимости в семантике деонтических логик интерпретируется как отношение нормативного предпочтения или альтернативности, при котором одно положение дел или возможный мир признается в моральном или нормативном плане лучше другого. Зависимости между нормами описываются с помощью деонтического гексагона, структурно аналогичного логическому квадрату и модальному гексагону. Этот конструкт отражает принцип деонтической непротиворечивости, согласно которому норма не может одновременно предписывать выполнение действия и его противоположности. Существенным аспектом выступает принцип деонтической полноты, предполагающий, что любое действие является либо обязательным, либо разрешенным, либо запрещенным, либо безразличным. В рамках систем выделяются концепции слабого и сильного разрешения. Слабое разрешение базируется на принципе дозволенности всего, что прямо не запрещено, что характерно для либеральных нормативных систем. Сильное разрешение исходит из того, что запрещено все, что прямо не разрешено, что свойственно системам с жестким регулированием. Также в абсолютных системах часто формализуется принцип неявного разрешения, постулирующий, что обязательность некоторого действия логически подразумевает его разрешенность.
Классификация
Многообразие абсолютных деонтических систем обусловлено различиями в наборах аксиом и правилах вывода. Фундаментальным критерием классификации является разделение на сильно-нормальные, нормально-нормальные и слабо-нормальные логики. Сильно-нормальные системы в обязательном порядке включают постулаты, утверждающие, что из обязательности действия с необходимостью следует его разрешенность. В слабо-нормальных и ненормальных системах используются иные совокупности аксиом, например, правило о том, что если из одного положения следует другое, то из обязательности первого вытекает обязательность второго. В зависимости от выбора базовых аксиом формируются различные варианты исчислений, такие как базовые системы Ок и Ок-плюс, оперирующие классическими тавтологиями, правилом модус поненс и специфическими деонтическими теоремами. Более сложные структуры, такие как системы Смайли-Хансона, дополнительно классифицируются на основе свойств бинарного отношения предпочтения между возможными мирами. В зависимости от наличия таких характеристик отношения, как сериальность, транзитивность, евклидовость, слабая рефлексивность или слабая симметричность, выделяются различные классы модельных структур. Это позволяет конструировать разнообразные логические аппараты для точного описания нормативных пространств с заданными внутренними свойствами.
Практическое значение
Абсолютные деонтические системы обладают высокой степенью абстрактности, что порождает определенные трудности при их непосредственном применении в юриспруденции и при анализе реальных законодательных кодексов. В классических вариантах таких логик не учитываются временные операторы прошлого, настоящего и будущего, а также не проводится четкого различия между идеальным и фактическим положением дел. На практике требование абсолютной логической непротиворечивости свода правил часто уступает по важности необходимости описания конкретных сценариев развития событий при выполнении или нарушении действующих норм. Излишняя абстрактность формализации приводит к возникновению специфических деонтических парадоксов, таких как парадоксы Росса, Маклафлина, Прайора и Чисхолма. Эти парадоксы возникают из-за несовпадения результатов строгого формального вывода с обыденным пониманием долженствования в естественном языке. Парадокс Прайора выявляет неадекватность описания условных обязательств, возникающих в результате наступления определенной ситуации, обнажая проблемы парадокса материальной импликации, из-за которого противоречивые исходные данные могут вести к любому произвольному выводу. Парадокс Чисхолма демонстрирует принципиальную сложность абсолютных систем в корректном отражении норм с неравным статусом приоритетности, в частности, при формализации компенсирующих норм или санкций, которые вступают в силу при нарушении первичного обязательства и обладают с ним одинаковым формальным статусом. Необходимость разрешения данных парадоксов стимулирует постоянное уточнение и развитие математического аппарата логики норм.