Normatiivinen etiikka
Normatiivinen etiikka on filosofisen etiikan osa-alue, joka tutkii eettisiä normeja. Se pyrkii vastaamaan kysymykseen siitä, mitkä ovat oikeat eettiset säännöt, joita yksilön tulisi noudattaa. Normatiivisen etiikan teoriat ilmaisevat, luovat ja puolustavat aina joitakin tiettyjä moraalisia sääntöjä ja arvoja.
Deonttinen logiikka
Deonttinen logiikka eli normilogiikka on modaalilogiikan alue, joka käsittelee välttämättömyyttä (tai velvollisuutta), mahdollisuutta (tai luvallisuutta) ja näihin liittyviä käsitteitä (kuten pakollinen, sallittu, kielletty). Formaalisena järjestelmänä deonttinen logiikka pyrkii kuvaamaan näiden käsitteiden loogisia ominaisuuksia. Deonttinen logiikka käyttää tyypillisesti ilmaisua "OA" merkitsemään "on välttämätöntä, että A" (tai "pitäisi olla, että A"), ja ilmaisua "PA" merkitsemään "on mahdollista, että A". Termi "deonttinen" on johdettu muinaiskreikan sanasta "déon", "se mikä on sitovaa".