MENTAL MODEL · M13243

Deontic Logic

StructureHigh supportLogic

Included

Updated 2026-09-10

Loading revision record…

INTRODUCTION

English translation pending.

CORE DEFINITION

Deontic logic is the branch of logic concerned chiefly with the contribution that normative concepts make to what follows from what: permitted, forbidden, obligatory, optional, must, ought, supererogatory, indifferent, and also good, bad, better, and best. Standard systems borrow the techniques of modal logic and evaluate formulas over ideal worlds in which obligations are fulfilled.

SCAFFOLDING EFFECT

psychology

Reduce cognitive load

- Derive norms: start from what ought to be and what is permitted and infer the obligations of a concrete situation. - Resolve conflicts: when several norms collide, use an ordering of ideal worlds to decide which takes priority. - Test codes: check whether a set of regulations entails contradictions or requirements that cannot be fulfilled.

anchor

Anchor fast decisions

Deontic logic borrows modal techniques: ought and permitted are treated as quantifiers over possible worlds, evaluated among ideal worlds where obligations are fulfilled. Ought p is true at a world just in case p holds in all accessible ideal worlds, while permitted p requires only that some accessible ideal world makes p true.

MINIMUM ACTION

In progress 0/1

Practice this model in one real situation:

Translate the norms into formal statements of ought, permitted, and forbidden. 2. Fix the relations among the operators, such as forbidden meaning ought not. 3. Check whether ought implies can, so that unfulfillable obligations are not derived. 4. Test with an ideal-world model and note that inference fails under conflict.

Check to track your progress (stored locally)

Learning progress0%

account_treeGenealogyexpand_more

menu_bookReferencesexpand_more

Source support: Explicit

link
plato.stanford.eduhttps://plato.stanford.edu/entries/logic-deontic/ZH · Explicit
verified

RELATED MODELS