义务逻辑

义务逻辑是一门研究义务模态命题及其推理系统的逻辑学科。它是哲学逻辑的一个分支。1926年,麻里(Mally,E.)在《意愿的根本规律——意愿逻辑纲要》一书中,构造了第一个义务逻辑公理系统。1939年,门格尔(Menger,K.)在三值逻辑的基础上 ......    （本文共 1104 字 ）     [阅读本文] >>