论道义逻辑系统的归约及其相关问题

发布时间：2018-03-06 18:36

  本文选题：道义逻辑　切入点：真值模态逻辑　出处：《西南师范大学学报(人文社会科学版)》2001年02期 　论文类型：期刊论文

【摘要】：安德森认为依靠归约公式Op □ (～p→S)能把道义逻辑归约为真值模态逻辑。但是 ,安德森的这种做法是不妥的。所有标准系统都不能把“帮助一名被抢劫者是应当的 ,并且禁止抢劫”这个命题形式化为系统的定理。善良的撒玛利亚人悖论属于这样一类悖论 :一公式A为某一形式系统的定理 ,但A的一个代入实例却是不可接受的。
[Abstract]:Anderson believed that the reduction formula of Op - (- P - S) to deontic logic logic to alethic modal logic. However, Anderson's approach is inappropriate. All standard systems are not able to be to help a man who is robbed and robbery is forbidden, "the formalization as a theorem. The good Samaritan paradox belongs to such a kind of paradox: the formula A is a theorem of a formal system, but an actual example of a A is not acceptable.

【作者单位】： 中国社会科学院研究生院!北京市100102
【分类号】：B81-06

【共引文献】

相关期刊论文 前4条

1 冯棉;广义模态逻辑研究中的若干问题[J];华东师范大学学报(哲学社会科学版);2001年05期

2 金承光;从法律逻辑学的视角审视规范逻辑[J];昆明师范高等专科学校学报;2005年03期

3 夏素敏;“罗斯悖论”研究述评及方法论思考[J];自然辩证法研究;2005年04期

4 陈波;从人工智能看当代逻辑学的发展[J];中山大学学报论丛;2000年02期

相关博士学位论文 前4条

1 余俊伟;弗协调逻辑应用于道义逻辑的研究[D];中国社会科学院研究生院;2001年

2 李恒威;“生活世界”复杂性的动力模式[D];浙江大学;2005年

3 张力锋;模态逻辑和本质主义[D];北京大学;2004年

4 郝清赋;逻辑系统动态结构演化研究[D];国防科学技术大学;2006年

相关硕士学位论文 前2条

1 刘伟伟;克里普克语义学及其指称理论研究[D];山西大学;2007年

2 胡泽;格赖斯的会话含义理论研究[D];华南师范大学;2005年

【相似文献】

相关期刊论文 前2条

1 余俊伟;论道义逻辑系统的归约及其相关问题[J];西南师范大学学报(人文社会科学版);2001年02期

2 余俊伟;什么是弗协调逻辑?[J];北京科技大学学报(社会科学版);2001年02期

，

本文编号：1576009