道义逻辑与道义悖论研究

《道义逻辑与道义悖论研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、分类号学号M201074480学校代码10487密级硕士学位论文道义逻辑与道义悖论研究学位申请人：田雪学科专业：科学技术哲学指导教师：万小龙教授答辩日期：2013年1月10日AThesisSubmittedinPartialFulfillmentoftheRequirementsfortheDegreeofMasterofPhilosophyAStudyonDeonticlogicsandDeonticparadoxesCandidate:TianXueMajor:PhilosophyofScie

2、nceandTechnologySupervisor:Prof.WanXiao-LongHuazhongUniversityofScienceandTechnologyWuhan430074,P.R.ChinaJanuary,2013独创性声明本人声明所呈交的学位论文是我个人在导师指导下进行的研究工作及取得的研究成果。尽我所知，除文中已经标明引用的内容外，本论文不包含任何其他个人或集体已经发表或撰写过的研究成果。对本文的研究做出贡献的个人和集体，均已在文中以明确方式标明。本人完全意识到本声明的法律

3、结果由本人承担。学位论文作者签名：日期：年月日学位论文版权使用授权书本学位论文作者完全了解学校有关保留、使用学位论文的规定，即：学校有权保留并向国家有关部门或机构送交论文的复印件和电子版，允许论文被查阅和借阅。本人授权华中科技大学可以将本学位论文的全部或部分内容编入有关数据库进行检索，可以采用影印、缩印或扫描等复制手段保存和汇编本学位论文。本论文属于保密□，在年解密后适用本授权书。不保密□。（请在以上方框内打“√”）学位论文作者签名：指导教师签名：日期：年月日日期：年月日华中科技大学硕士学位论文摘

4、要现代道义逻辑兴起于20世纪50、60年代，主要研究含有“应该”、“允许”或“禁止”等道义词的命题逻辑。虽然道义逻辑兴起于现代，但道义逻辑却有很长的思想渊源。从亚里士多德开始，道义模态就始终为逻辑学家所关注。现代道义逻辑的诞生激发了逻辑学家的极大兴趣。在冯•赖特的经典道义逻辑系统基础上，新的道义逻辑系统不断产生。50年代以来，道义逻辑系统的内容不断丰富，也不断追踪现代形式逻辑发展的足迹。道义逻辑学家不断克服在构建形式系统过程中所出现的困难，同时不断消解道义形式系统中所谓的悖论，这使得今天的道义逻辑

5、茁壮成长起来，成为广义模态逻辑中一个重要组成部分。本文旨在对道义逻辑思想的起源及其发展进行全面、系统、深入的梳理和研究，特别是对现代道义逻辑产生的背景、道义逻辑奠基人冯•赖特的一元道义逻辑到二元道义逻辑的发展以及现代道义逻辑的发展趋势进行系统介绍。除此之外，本文重在分析道义逻辑系统中存在的悖论以及这些道义悖论的解决方案及其困境，进而提供一元算符理论的初步解决设想。本文主要对三种道义悖论的解决方案分别作了简要评价，其目的是希望能在某种程度上深化我们对道义逻辑的认识。道义逻辑的发展不仅能丰富哲学逻辑的

6、内容，而且也有助于拓宽逻辑学研究的领域。关键词：道义逻辑；元伦理学；道义悖论；一元算符理论I华中科技大学硕士学位论文ABSTRACTModernDeonticlogicwhichoriginatesfrom1950s-1960sisakindofmodallogicinvolvingmodalwordslike“obligation”,“permission”,andotherrelatedexpressions.Denonticlogic,althoughconsideredasanewbran

7、chofmodernlogic,canbetracedbacktoearlytimes.AtthetimeofAristotles,logicianshavebeenconcernedwithdenoticmodals.Logiciansareveryinterestedinmoderndeonticlogicfromthebeginning.BasedonvonWright'sclassicaldenoticlogicsystem,alotofnewdenoticlogicalsystemsar

8、econstructed.Since1950s,deonticlogicshavebeenkeepingstepswiththedevelopmentofmodernformallogic.Atthesametime,Logicansovercomemanydifficultiesinconstructingdeonticformalsystem,andattempttoresolveso-calledparadoxesinthesesystems.Withsomanylogici