ДИНАМИЧЕСКИЙ ПОДХОД К ДЕОНТИЧЕСКОЙ ЛОГИКЕ: СЕМАНТИКА НОРМАТИВНЫХ ОПЕРАТОРОВ

В статье представлена семантика деонтической логики, реализуемая на основе динамической логики высказываний. Стандартная версия такой реляционной семантики (Дж.-Дж. Ч. Мейера) использует семантическую идею А. Андерсона – определение нормативных операторов («обязательно», «запрещено» и «позволено») посредством пропозициональной константы «санкция». Стандартная семантика в мультимодальном ключе (выходя за пределы взаимоопределимости деонтических модальностей) дополняется сначала «строгими» (обсуждается понятие «степень ответственности»), потом – «прагматическими» операторами (посредством пропозициональной константы С. Кангера «позитивная санкция»). Предлагается возможность отказаться от тотальной редукции деонтической логики к дина-мической логике и от семантически сомнительных констант «санкция» и «пози-тивная санкция». Строится автономная интенсиональная семантика деонтических операторов, релятивизированных относительно системы оценок. Построенная семантика близка к «константной» версии, сохраняет возможность выразить класс деонтических операторов «в строгом смысле», объединяет стандартную и прагматическую интерпретации деонтических операторов. Самым важным является то, что «нередукционистская» мультимодальная версия деонтической семантики, на наш взгляд, обладает большей естественностью
The paper presents the semantics of deontic logic, which is implemented on the basis on pro-positional dynamic logic. The standard version is a relational semantics (J.-J. Ch. Meyer), which uses the semantic idea of A. Anderson – the definition of normative operators (“obliga-tory”, “forbidden” and “permitted”) by means of propositional constant “sanction”. The standard semantics of multimodal way (without the mutual definability of deontic modalities) is complemented by “strict” operators (the concept of “degree of responsibility” is discussed), then – “pragmatic” operators (through propositional constant of S. Kanger “positive sanction”). The opportunity to refuse from total reduction of deontic logic to dynamic logic and to semantically questionable constants “sanction” and “positive sanction” is offered. An autonomous intensional semantics of deontic operators, which is relative regarding the rating system, is constructed. The proposed semantics being close to the “constant” version retains the ability to express a class of deontic operators “in the strict sense” and combines standard and pragmatic interpretation of deontic operators. However in our opinion, the most important fact is that “non-reductionist” multimodal version of deontic semantics is more than natural

деонтическая логика, динамическая логика высказываний, логическая семантика, нормативные операторы, санкция, степень ответственности, система оценок
deontic logic, propositional dynamic logic, logical semantics, normative operators, sanction, degree of responsibility, ratings system

Полный текст>>