| 关于道义逻辑系统的一种布尔值模型 |
| |
| 引用本文： | 李娜. 关于道义逻辑系统的一种布尔值模型[J]. 南京大学学报(自然科学版), 2004, 21(1): 34-42 |
| |
| 作者姓名： | 李娜 |
| |
| 作者单位： | 南开大学哲学系,天津,300071 |
| |
| 基金项目： | the MOE project of Key Research Institute of Humanities and Social Science in University |
| |
| 摘 要： | 本文是为冯·赖特的一元和二元道义逻辑系统DT和DSR以及他1964年对DSR改造后的系统建立布尔值模型.因此,模态词O和P分别表示"应当"和"允许".为此,本文首先定义了模态公式Oα的布尔值‖ Oα‖和二元公式P(p/q)(或O(p/q))的布尔值‖ P(p/q)‖(或O(p/q)‖);其次证明在该定义下,道义逻辑系统DT和DSR等的所有公理的布尔值为1;最后证明集合论的ZFC公理系统的布尔值模型VB(B是一个完全的布尔代数)也是道义逻辑系统DT和DSR等的布尔值模型.
|
| 关 键 词： | 道义逻辑 布尔值 布尔值模型 |
ON A BOOLEAN-VALUED MODEL OF THE DEONTIC LOGICAL SYSTEMS |
| |
| Li Na. ON A BOOLEAN-VALUED MODEL OF THE DEONTIC LOGICAL SYSTEMS[J]. Journal of Nanjing University: Nat Sci Ed, 2004, 21(1): 34-42 |
| |
| Authors: | Li Na |
| |
| Abstract: | |
| |
| Keywords: | the deontic logic Boolean value Boolean valued model |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
