義務(wù)邏輯

義務(wù)邏輯是一門研究義務(wù)模態(tài)命題及其推理系統(tǒng)的邏輯學(xué)科。它是哲學(xué)邏輯的一個分支。1926年,麻里(Mally,E.)在《意愿的根本規(guī)律——意愿邏輯綱要》一書中,構(gòu)造了第一個義務(wù)邏輯公理系統(tǒng)。1939年,門格爾(Menger,K.)在三值邏輯的基礎(chǔ)上 ......    （本文共 1104 字 ）     [閱讀本文] >>