規(guī)范邏輯
規(guī)

規(guī)范邏輯　　　guī fàn luó jí

亦稱(chēng)“義務(wù)邏輯”、“道義邏輯”。廣義模態(tài)邏輯的一種。研究包含“必須”、“允許”、“禁止”等表示規(guī)范的詞語(yǔ)的命題和使用這種命題進(jìn)行的推理的邏輯學(xué)說(shuō)。現(xiàn)代邏輯的一個(gè)分支。其內(nèi)容包括：陳述規(guī)范的命題的類(lèi)型，它們各自的邏輯特征，它們相互之間的邏輯關(guān)系和推理（如從“必須p”可推出“允許p”，從“必須p”可推出“不允許非p”亦即“禁止非p”）等。