Sociology

Polymer chemistry

Modalities

Social science

Description logic

Normal modal logic

Epistemology

Philosophy

Political science

Artificial intelligence

Chemistry

Multimodal logic

Modal logic

Permission

Sentence

Obligation

Computer science

Normative

Modal

Deontic logic

Logic and Logical Philosophy

Standard deontic logic (SDL) is defined on the basis of possible world semantics and is a logic of alethic-deontic modalities rather than deontic modalities alone. The interpretation of the concepts of obligation and permission comes down exclusively to the logical value that a sentence adopts for the accessible deontic alternatives. Here, we set forth a different approach, this being a logic which additionally takes into consideration whether sentences stand in relation to the normative system or to the system of values under which we predicate the deontic qualifications. By taking this aspect into account, we arrive at a logical system which preserves laws proper to a deontic logic but where the standard paradoxes of deontic logic do not arise. It is a logic of strictly-deontic modalities DR.

On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach