деонтическая логика

деонтическая логика
(от греч. deon - долг, правильность) Логика норм, нормативная логика. - раздел логики, исследующий логическую структуру и логические связи нормативных высказываний. Анализируя рассуждения, посылками или заключениями которых служат такие высказывания, Д.л. отделяет необоснованные схемы рассуждений от обоснованных и систематизирует последние.
Д. л. слагается из множества систем, или "логик", различающихся используемыми символическими средствами и доказуемыми утверждениями. Вместе с тем эти "логики" имеют общие черты. Предполагается, что все многообразные нормы имеют одну иту же структуру. Выделяются четыре структурных "элемента" нормы: характер - норма обязывает, разрешает или запрещает; содержание - действие, которое должно быть, может или не должно быть выполнено; условия приложения; субъект - лицо или группа лиц, которым адресована норма. Не все структурные элементы нормы находят выражение в символическом аппарате Д. л. Те системы, в которых учитывается только содержание нормы и ее характер, называются абсолютными (или монадическими). В них норма представляется в виде: "Обязательно (разрешено, запрещено) А", где А - высказывание, которое описывает состояние дел, реализуемое предписываемым действием. Деонтические системы, в которых учитываются также условия приложения нормы, называются относительными (или диадическими). В них норма принимает вид: "Обязательно (разрешено, запрещено) А в условиях В", где А и В - высказывания, описывающие какие-то состояния.
Подход Д. л. к структуре норм является предельно общим. Это позволяет распространить ее законы на нормы любых видов, независимо от их частных особенностей.
Правила игры и грамматики, законы государства и команды, технические нормы, обычаи, моральные принципы, идеалы и т. д. - нормы всех этих видов имеют одинаковую логическую структуру и демонстрируют одинаковое "логическое поведение".
В Д. л. понятия "обязательно", "разрешено" и "запрещено" обычно считаются взаимно определенными.
В Д. л. имеют место закон деонтической непротиворечивости (выполнение действия и воздержание от него не могут быть вместе обязательными), закон деонтической полноты (всякое действие или обязательно, или безразлично, или запрещено), законы: логические следствия обязательного - обязательны; если действие ведет к запрещенному следствию, то само действие запрещено, и т. п.
Если Д. л. строится как расширение логической теории действия, различаются действие и (сознательное) воздержание от действия, не равносильное простой бездеятельности. Если в основу Д.л. положена логика взаимодействия, проводится различие между типами деятельности, связывающей двух субъектов (предоставление какого-то объекта, навязывание его и т. п.).
В соответствии с "Юма принципом", невозможен логический переход от утверждений со связкой "есть" к утверждениям со связкой "должен". Ни одна из существующих деонтических систем не нарушает данный принцип и не санкционирует переходов от опи-сательных посылок к нормативным заключениям. Невозможным считается и логический вывод описательных высказываний из нормативных. Нарушающий якобы это положение "принцип Канта" - "Если должен, то может" (обязательность действия влечет его логическую возможность или выполнимость) - не является на самом деле контрпримером. В нем фигурирует не обязывающая норма, а описательное высказывание о ней.
Попытки свести Д. л. к логике описательных высказываний не увенчались успехом и сейчас оставлены. Более плодотворным является истолкование норм как частного случая оценок. Норма представляет собой групповую оценку, подкрепленную угрозой наказания (санкции), т. е. социально навязанную и социально закрепленную оценку. "Обязательно действие A" можно определить так: "Действие A оценивается положительно; и хорошо, что уклонение от этого действия сопровождается наказанием". Такое определение нормативных понятий через оценочные позволяет свести деонтические модальности к аксиологическим модальностям и Д. л. к оценок логике.
Д. л. нашла уже достаточно широкие и интересные приложения. Понимание логических характеристик норм необходимо для решения вопросов о месте и роли норм в научном и ином знании, о взаимных связях норм и оценок, норм и описательных высказываний и т. д. Знание логических законов, которым подчиняется моральное, правовое, экономическое и всякое иное рассуждение, использующее и обосновывающее нормы, позволяет сделать более ясными представления об объектах и методах наук, оперирующих нормами, оказать существенную помощь в их систематизации. Распространяя формальные критерии рациональности на область нормативного рассуждения, Д. л. позволяет дать аргументированную критику концепциям, утверждающим алогичность такого рассуждения и настаивающим на невозможности сколь-нибудь убедительного обоснования моральных, правовых и иных норм и их систем.
Источником философского и методологического интереса является также то, что Д. л. заставляет по-новому взглянуть на ряд собственно логических проблем. В частности, построение логической теории нормативных высказываний, не имеющих истинностного значения, означает выход логики за пределы "царства истины", в котором она находилась до недавних пор. Пони-мание логики как науки о приемах получения истинных следствий из истинных посылок должно в связи с этим уступить место более широкой концепции логики.

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. А.А.Ивин, А.Л.Никифоров. 1997.