Деонтическая логика
ДЕОНТИЧЕСКАЯ ЛОГИКА (греч. δἐον, οντος, τό - должное, необходимое, обязанность) — область неклассических логик, в которых изучаются нормативные высказывания и нормативные понятия — обязательно, запрещено, разрешено и безразлично. Вопрос о логической природе норм, императивов и команд имеет многовековую традицию. Он рассматривался Аристотелем, стоиками, средневековыми философами, Лейбницем, Юмом, и др. Однако первая попытка построить формальную теорию нормативных понятий принадлежит Эрнсту Малли («Элементы логики волеизъявлений», 1926).