Deontik Mantık

deontik mantık, deontik modaliteler (Yunanca, deontos: "bağlayıcı olan") olarak nitelendirilen izin verilen, zorunlu ve yasak olanları inceleyen modal mantık dalı. Bu alandaki önermeler arasındaki soyut, tamamen kavramsal ilişkileri sistematik hale getirmeye çalışır, örneğin aşağıdaki gibi: Eğer bir eylem zorunlu ise, o zaman onun yerine getirilmesine izin verilmeli ve ihmal edilmesi yasaklanmalıdır. Verili koşullar altında her eylem, ya yapılmasına ya da yapılmamasına izin verilecek şekildedir. Modal mantık, hangi belirli eylemlerin veya durumların yasaklanacağı, izin verileceği veya benzeri somut soruları etik ve hukuk gibi temel disiplinlere bırakır.