道义逻辑的新发展

发布时间：2017-08-23 13:41

  本文关键词：道义逻辑的新发展

  更多相关文章： 道义逻辑 行动语句 动态逻辑 偏好

【摘要】：道义逻辑研究的是关于"应当"、"允许"等规范模态的逻辑,属于广义模态逻辑。道义逻辑在发展过程中借鉴动态逻辑、认知逻辑、类型模态等领域的研究成果及方法,呈现出动态化的发展趋势。
【作者单位】： 华南师范大学政治与行政学院;
【关键词】： 道义逻辑 行动语句 动态逻辑 偏好
【分类号】：B815.4
【正文快照】： 道义逻辑研究的是关于“应当”、“允许”等规范模态的逻辑,它属于广义模态逻辑。1951年,冯·赖特(G.H.von Wright)在模态逻辑的基础上构造了第一个可行的道义逻辑系统,标志着经典道义逻辑的诞生。在经典道义逻辑系统中,不允许道义算子的重叠,道义命题也不能联结经典命题。为

【参考文献】

中国博士学位论文全文数据库 前1条

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

【共引文献】

中国硕士学位论文全文数据库 前1条

1 刘飞;非单调推理及其应用[D];河南大学;2011年

【相似文献】

中国期刊全文数据库 前10条

1 陈锐;20世纪国外道义逻辑研究进展[J];哲学动态;2001年02期

2 李毓英;陈波谈道义逻辑的发展概况[J];哲学动态;1992年08期

3 陈道德;一本追寻道德哲学逻辑基础的新著──评《道义逻辑──伦理行为和规范的推理理论》[J];现代哲学;1999年04期

4 ;《道义逻辑》专著一九九九年七月出版[J];哲学研究;1999年08期

5 陈波;道义逻辑与伦理学研究[J];中国人民大学学报;1989年03期

6 黄绍汪;伦理学理论的新基础——读《道义逻辑》[J];学术研究;1999年11期

7 周祯祥;实践推理基础上生成的道义逻辑——道义逻辑发展源流初探[J];广东社会科学;1998年03期

8 R.希尔庇恩 ,张清宇;关于语用、道义逻辑和模态性[J];哲学研究;1988年12期

9 李毓英;北京市逻辑学会讨论“道义逻辑与思想道德和法制建设”问题[J];哲学研究;1997年02期

10 陈锐;意愿的逻辑初步——马利的道义逻辑思想[J];黔南民族师范学院学报;2003年01期

中国重要会议论文全文数据库 前10条

1 周祯祥;;规范、动态道义逻辑和法律规范知识表达[A];第一届全国非形式逻辑与法律逻辑学术研讨会论文集[C];2004年

2 柳祥美;;对冯·莱特关于道义逻辑起源问题的探讨[A];1997年逻辑研究专辑[C];1997年

3 樊明亚;;意愿逻辑[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

4 余俊伟;;弗协调真值道义逻辑分析[A];2003年逻辑研究专辑[C];2003年

5 余俊伟;;道义逻辑中的“悖论”及道义系统的归约问题[A];1997年逻辑研究专辑[C];1997年

6 周祯祥;;道义逻辑不是坏逻辑——与金承光先生商榷[A];第十四届全国法律逻辑学术讨论会论文集[C];2006年

7 刘鸿钧;;关于建构法律逻辑的思考[A];1993年逻辑研究专辑[C];1993年

8 周祯祥;;真性模态、道义模态和现代道义逻辑的经典系统[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

9 夏素敏;;“反义务命令悖论”探析[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年

10 柳祥美;;对冯·莱特关于允许规范的独立地位问题的探讨[A];1998年逻辑研究专辑[C];1998年

中国重要报纸全文数据库 前10条

1 童铭;IBM i890定义了什么？[N];中国计算机报;2002年

2 华南师范大学政治与行政学院 胡泽洪;哲学逻辑的发展趋势及其对我们的启示[N];光明日报;2008年

3 赵海军;为什么总是钟情i[N];中国计算机报;2003年

4 王晓丰;容量随需应变[N];中国计算机报;2003年

5 呈雁;给AIX 5L加一个“D”[N];计算机世界;2002年

6 王晓丰;IBM DCC重点行业力推“随需应变”[N];中国计算机报;2003年

7 贾春华 北京中医药大学;“以方测证法”不可行[N];中国中医药报;2006年

8 ;IBM eServer p5 550服务器[N];电脑商报;2005年

9 中山大学逻辑与认知研究所 熊明辉;逻辑与认知[N];社会科学报;2002年

10 本报记者 江波;勇者无惧[N];网络世界;2003年

中国博士学位论文全文数据库 前5条

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

2 彭海朋;可重构的动态逻辑计算研究[D];北京邮电大学;2010年

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

4 张鹏飞;Agent通信的全信息形式语用方法[D];北京邮电大学;2007年

5 谢鸿波;安全协议形式化分析方法的关键技术研究[D];电子科技大学;2011年

中国硕士学位论文全文数据库 前10条

1 盛亿妍;基于非线性系统的动态逻辑门的设计与实现[D];南京航空航天大学;2011年

2 张法清;冯·赖特道义逻辑研究[D];西南大学;2010年

3 张春霞;基于动态逻辑的Agent的形式化模型[D];云南师范大学;2000年

4 段宏立;道义逻辑[D];西南大学;2006年

5 邱剑锋;基于语义的自动化服务组合研究[D];浙江大学;2008年

6 刘冬;基于动态逻辑的语义Web服务组合研究[D];兰州理工大学;2012年

7 张静波;高性能浮点乘加部件的优化设计[D];国防科学技术大学;2007年

8 黄慎;政策驱动的Agent行为模型研究[D];湖南大学;2009年

9 刘栋伟;多Agent系统合作逻辑的研究[D];南京航空航天大学;2007年

10 王小静;墨经逻辑学之模态词分析[D];燕山大学;2008年

，

本文编号：725358