规范逻辑亦称“义务逻辑”、“道义逻辑”、“伦理逻辑”。被称为广义模态逻辑的 --神。研究含有必须、允许等规范词的规范命题以及规范演绎系统的现代逻辑分支。14世纪的罗伯特·霍尔科特已讨论过模态逻辑和义务逻辑之间的相似之处。莱布尼沃提出过必须履行的、允许的、禁止的和可选择的等义务概念。康德提出过义务世界的思想。在20世纪50年代以前.也有人提出过规范逻辑,但没有引起人们的注意。只是由于芬兰逻辑学家冯·赖特著作的发表才引起人们对规范逻辑的兴趣和重视。继刘易斯1910年创立现代模态逻辑之后,冯·赖特于1951年在他的《规范模态》和《模态S辑论》中,提出了两种新的模态,即规范模态逻辑和认知槿态逻辑,从而开创了现代规范逻辑。他构造的规范逻辑系统是最早出现的一个规范模态系统。规范逻辑要研究规范命题形式。规范命题是陈述行为规范的命理。基本形式有三种:一是必须命题,是陈述必须履行某神行为的命题;二是禁止命题,是陈述禁止某种行为的命题;三是允许命题.是陈述允许某种行为的命题。由于禁止P与必须非P、禁止非P与必须P是等值的,因而也可分为必须命题和允许命题两种。借助联结词,则可结合成各种复合命题。