Powered by OpenAIRE graph
Found an issue? Give us feedback

Динамический подход к деонтической логике: семантика нормативных операторов

Динамический подход к деонтической логике: семантика нормативных операторов

Abstract

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

The paper presents the semantics of deontic logic, which is implemented on the basis on propositional 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 (“obligatory”, “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.

Keywords

ДЕОНТИЧЕСКАЯ ЛОГИКА, ДИНАМИЧЕСКАЯ ЛОГИКА ВЫСКАЗЫВАНИЙ, ЛОГИЧЕСКАЯ СЕМАНТИКА, НОРМАТИВНЫЕ ОПЕРАТОРЫ, САНКЦИЯ, СТЕПЕНЬ ОТВЕТСТВЕННОСТИ, СИСТЕМА ОЦЕНОК

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    0
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Average
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Average
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Average
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
0
Average
Average
Average
gold