Deontiline loogika

Deontiline loogika on modaalloogika haru, mis uurib niisuguste sõnade (ja mõistete) nagu "lubatav" ("lubatud"), "lubamatu" ("keelatud"), "kohustuslik" ("kohustus", "kohus", "nõutav", "mittekohustuslik", "fakultatiivne", "peaks", "peab", "ülemäärane", "tähtsusetu", "tähtis", "vähim, mida teha annab", "parem kui", "parim", "hea", halb", "nõue", "vabadus", "võim", "immuniteet" vahelisi loogilisi suhteid.

Koos episteemilise loogika ja ratsionaalse valiku teooriaga on deontoloogiline loogika üks filosoofia valdkondi, mis uurib normatiivseid mõisteid ja normatiivseid väljendeid.

Ajalugu
Deontilise loogika alged tekkisid 14. sajandil, kui hakati tähele panema paralleele aleetiliste modaalsuste ja deontiliste mõistete vahel. (Knuuttila 1981)

Katse deontilist loogikat (Mally deontoloogiline loogika) luua tegi 1926 ilmunud artikliga Ernst Mally, kes nimetas seda uurimisvaldkonda deontikaks (Deontik). Teda ei mõjutanud 20. sajandil aleetilise modaalloogika alal tehtu, kuid ta rajas esimesena deontilise loogika lauseloogika süntaksile ja kasutas esimesena deontilisi konstante. Tema süsteemis oli tõsiseid raskusi, näiteks ei suutnud ta eristada seda, mis peaks olema, sellest, mis on. 

Deontilisele loogikale kui sümbolloogika harule pani aluse Georg Henrik von Wright 1951. aastal ajakirjas Mind ilmunud artikliga "Deontic Logic". Termini pakkus välja C. D. Broad. Termin (nagu ka "deontika") on tuletatud vanakreeka sõnast δέον.

Kirjandus
Ernst Mally. Grundgesetze des Sollens. Elemente der Logik des Willens, Graz: Leuschner & Leubensky 1926.  Ümbertrükk: Karl Wolf, Paul Weingartner (toim). Ernst Mally. Logische Schriften: Großes Logikfragment, Grundgesetze des Sollens,  Dordrecht: D. Reidel, 1971, lk 227–324.
Georg Henrik von Wright. Deontic Logic. – Mind, 1951, 60, lk 1–15. 
Georg Henrik von Wright. Norm and Action. A Logical Enquiry, New York: Humanities Press 1963.
Risto Hilpinen (toim). New Studies in Deontic Logic, Dordrecht: D. Reidel 1981.
Simo Knuuttila. The Emergence of Deontic Logic in the Fourteenth Century, lk 225–248.

Välislingid
Paul McNamara. Deontic Logic. Stanfordi filosoofiaentsüklopeedia, 2010.
Challenges in Defining Deontic Logic
Gert-Jan Lokhorst. Mally's Deontic Logic, Stanfordi filosoofiaentsüklopeedia, 2013.

Loogika