LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK
sooritamine on kohustuslik parajasti siis, kui kohustuslik
on mõlema toimingu sooritamine.
O(p ¬p) Toimingu sooritamine või selle mittesooritamine on
kohustuslik.
MODAALSE LOOGIKA LIIKIDEST
Ülalpool juba käsitleti aleetilist loogikat ning deontilist loogikat. Siinses alajaotuses
tutvustatakse põgusalt aksioloogilisi ja episteemilisi modaalsusi.
FORMAALNE AKSIOLOOGIA (formal axiology) on väärtushinnangute modaalne loogika.
Aksioloogilised (axiological, kr sõnast 'väärtuslik') modaalsed laused väljendavad
väärtushinnanguid. Väärtuse (value) abil saab hinnata tegevusakte, sündmusi või objekte,
omistades neile kas positiivse, neutraalse või negatiivse hinnangu, lähtudes üksikisiku või
isikute rühma standarditest.
Väärtushinnangutel on mitu aspekti:
· hinnangu objekt hinnatav tegevusakt, objekt, subjekt, nähtus (nt kuritegu, kauba
annaabi.ee 
