道义逻辑D──系统的一种布尔值模型  

On A Boolean-Valued Model of the Deontic Logical D-System

作　　者：李娜[1,2] 

机构地区：[1]河南大学政治系 [2]南开大学哲学系,天津300071

出　　处：《河南大学学报（自然科学版）》2002年第2期10-13,共4页Journal of Henan University:Natural Science

基　　金：普通高等学校人文社会科学重点研究基地基金资助 (中山大学逻辑基地 ) ;河南大学科研基金资助

摘　　要：本文为道义模态逻辑D—系统建立布尔值模型 .首先定义道义模态公式○α的布尔值‖○α‖ ;其次证明在该定义下 ,道义模态逻辑系统D1、D2 和D3 的所有公理的布尔值为 1;最后证明集合论的ZFC公理系统的布尔值模型VB(B是一个完全的布尔代数 )也是道义模态逻辑系统D1、D2 和D3 的布尔值模型 .The paper built a Boolean_valued model for the deontic logical D_system . Therefore, the first I defined the Boolean value ‖○α‖ of the deontic modal formula ○α(where α is a propositional formula)in the paper;The second, I demonstrated that the Boolean value of all axioms of the deontic logical system D was 1 in the definition. The third, I demonstrated that the Boolean_valued model V B(where B is a complete Boolean algebra)of ZFC axiom system in set theory is, too, a Boolean valued model of the deontic logical systems D 1?D 2 and D 3.

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

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