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