Logika deontik , Cabang dari logika modal yang mempelajari yang diperbolehkan, yang wajib, dan yang dilarang, yang dicirikan sebagai modalitas deontik (Yunani, deontos : "dari yang mengikat"). Ia berusaha untuk mensistematisasikan hubungan abstrak, murni konseptual antara proposisi dalam bidang ini, seperti berikut ini: Jika suatu tindakan adalah wajib, maka kinerjanya harus diizinkan dan penghilangannya dilarang. Dalam keadaan tertentu, setiap tindakan diizinkan atau tidak dilakukan. Logika modal menyerahkan kepada disiplin substantif seperti etika dan hukum pertanyaan konkret tentang tindakan atau keadaan tertentu apa yang harus dilarang, diizinkan, atau sejenisnya.
![Aristoteles](http://files.pastillainstitute.com/files/encyclopedia/2585/38ikuaqnec.jpg)