关于道义逻辑系统的一种布尔值模型  

作　　者：李娜[1] 

机构地区：[1]南开大学哲学系，天津，300071

出　　处：《南京大学学报（数学半年刊）》2004年第1期34-42,共9页Journal of Nanjing University(Mathematical Biquarterly)

摘　　要：本文是为冯·赖特的一元和二元道义逻辑系统DT和DSR以及他1964年对DSR改造后的系统建立布尔值模型．因此，模态词O和P分别表示“应当”和“允许”.为此，本文首先定义了模态公式Oα的布尔值‖Oα‖和二元公式P(p/q)(或O(p/q))的布尔值‖p(p/q)‖(或‖O(p／q)‖)；其次证明在该定义下，道义逻辑系统DT和DSR等的所有公理的布尔值为1；最后证明集合论的ZFC公理系统的布尔值模型V^B(B是一个完全的布尔代数)也是道义逻辑系统DT和DSR等的布尔值模型．

关 键 词：道义逻辑 布尔值 布尔值模型 集合论 

分 类 号：O144[理学—数学]