规范逻辑

规范逻辑   guī fàn luó jí

亦称“义务逻辑”、“道义逻辑”。广义模态逻辑的一种。研究包含“必须”、“允许”、“禁止”等表示规范的词语的命题和使用这种命题进行的推理的逻辑学说。现代逻辑的一个分支。其内容包括:陈述规范的命题的类型,它们各自的逻辑特征,它们相互之间的逻辑关系和推理(如从“必须p”可推出“允许p”,从“必须p”可推出“不允许非p”亦即“禁止非p”)等。