Об уточнении модели для деонтической динамической логики с редукционистской семантикой (ответ Е.В. Борисову)
Статья является ответом на некоторые критические замечания Е.В. Борисова относительно нормативных характеристик действия, выраженных в редукционистской версии деонтической пропозициональной динамической логики. Выражается согласие с требованием при определении моделей для данной логики указывать, что бинарные отношения, определяющие интерпретацию действий, должны быть сериальными. Также принимается необходимость указывать, что интерпретация пропозициональной константы «санкция» должна быть непустым собственным подклассом множества возможных миров модели. Допускается корректировка схемы деонтического универсума в связи с обоснованием Е.В. Борисовым отсутствия в рассматриваемой модели области строго индифферентных действий. Анализируются причины допущенных ошибок и пути поиска семантических формулировок, которые в большей степени отвечают деонтическим контекстам.