|
|||||
|
|
| 西方现代逻辑研究动态（笔谈）——西方道义逻辑的形式化研究 | |
| 作者姓名： | 李娜 |
| 作者单位： | 南开大学哲学系,天津300071 |
| 摘 要： | 一、西方道义逻辑的形式化研究现状 道义逻辑是在数理逻辑的基础上研究含有道义模态词"义务"、"允许"和"禁止"等模态词的一种广义模态逻辑的命题形式和推理规律的逻辑.因此,它和法学、伦理学有着密切的关系.随着模态逻辑理论的日益成熟,这也给道义逻辑的研究提供了许多新的技术和方法,使得道义逻辑的研究在研究方法上也越来越趋向多样化.目前,道义逻辑研究中采用的主要方法之一就是形式化,用这种方法解决各类义务冲突问题,并在道义逻辑的经典系统CDL和标准系统SDL的基础上,通过构造各种各样的道义逻辑的形式系统,使它能够较理想地处理各种各样的道义悖论.本文将西方道义逻辑形式化的研究大致分为以下几种类型: |
| 关 键 词： | 逻辑 现代逻辑 研究动态 |
| 本文献已被 维普 万方数据 等数据库收录！ | |