Кислов Алексей Геннадьевич
В статье представлена семантика деонтической логики, реализуемая на основе динамической логики высказываний. Стандартная версия такой реляционной семантики (Дж.-Дж. Ч. Мейера) использует семантическую идею А. Андерсона – определение нормативных операторов («обязательно», «запрещено» и «позволено») посредством пропозициональной константы «санкция». Стандартная семантика в мультимодальном ключе (выходя за пределы взаимоопределимости деонтических модальностей) дополняется сначала «строгими» (обсуждается понятие «степень ответственности»), потом – «прагматическими» операторами (посредством пропозициональной константы С. Кангера «позитивная санкция»). Предлагается возможность отказаться от тотальной редукции деонтической логики к динамической логике и от семантически сомнительных констант «санкция» и «позитивная санкция». Строится автономная интенсиональная семантика деонтических операторов, релятивизированных относительно системы оценок. Построенная семантика близка к «константной» версии, сохраняет возможность выразить класс деонтических операторов «в строгом смысле», объединяет стандартную и прагматическую интерпретации деонтических операторов. Самым важным является то, что «нередукционистская» мультимодальная версия деонтической семантики, на наш взгляд, обладает большей естественностью.
Ключевые слова: деонтическая логика, динамическая логика высказываний, логическая семантика, нормативные операторы, санкция, степень ответственности, система оценок.