Etiikka
Normatiivinen etiikka on eettisten normien filosofista tutkimusta. Se pyrkii vastaamaan kysymykseen siitä, mikä yleisesti ottaen on moraalisesti oikeaa ja väärää toimintaa. Normatiivisen etiikan teoriat yrittävät ilmaista yleisellä tasolla, miksi tietyt teot tai toiminnan lajit ovat oikein tai väärin.
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".