LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK
Toiming ei saa olla nii
mittelubatud kui ka mitte-mittekohustuslik ehk ¬(¬Pp & ¬¬Op). (Analoogia: osajaatav ja
osaeitav väide saavad olla mõlemad tõesed, ent need ei saa olla mõlemad väärad. Kui üks
neist on väär, peab teine olema tõene. Eelnevas eeldatakse, et kõik valemid väljendavad nii-
öelda loogilisi tõdesid.)
Deontilist loogikat on arendatud väga keerukates variantides ning need ei ole alati
omavahel kooskõlas. Nt mitteiteratiivses (noniterative) deontilises loogikas ei saa tegu ümber
teha ehk korrata, küll aga saab uuesti teha samalaadset tegu. Selle loogika põhihulgas
(teoindiviidide hulgas) pole toiminguid, mille sooritamata jätmine või sooritamine on lihtsalt
lubatud, üks kahest on kohustuslik. Mitteiteratiivse deontilise loogika põhiaksioomid:
Op ¬O(¬p) Kui toiming on kohustuslik, siis on mittekohustuslik selle
tegemata jätmine.
annaabi.ee 
