Deontisk logik , gren av modalogik som studerar det tillåtna, det obligatoriska och det förbjudna, som karaktäriseras som deontiska modaliteter (grekiska, deontos : "av det som är bindande"). Det syftar till att systematisera de abstrakta, rent konceptuella förhållandena mellan propositioner inom detta område, såsom följande: Om en handling är obligatorisk, måste dess utförande tillåtas och dess utelämnande förbjudas. Under givna omständigheter är varje handling sådan att antingen den eller dess utelämning är tillåten. Modalogik överlåter till materiella discipliner som etik och lagstiftning de konkreta frågorna om vilka specifika handlingar eller tillstånd som är förbjudna, tillåtna eller liknande.
Läs mer om detta ämne tillämpad logik: Deontic logic and the logic of agency Deontic logic studerar det logiska beteendet hos normativa begrepp och normativt resonemang. Normativa begrepp inkluderar ... Denna artikel reviderades senast och uppdaterades av Brian Duignan, Senior Editor.
