硕士研究生培养方案

学科门类：哲学一级学科：哲学逻辑学学科培养方案（二级学科代码：010104文化与传媒学院）一、学科概况现代逻辑的各个理论分支，包括经典逻辑和非经典逻辑、特别是模态逻辑、认知逻辑、模糊逻辑，非单调逻辑等，是当代逻辑研究的中心。而现代逻辑在哲学、语言学、经济学、管理学、法学、信息学、计算机科学、符号学尤其是文化符号学等学科中的应用，更是方兴未艾。本学科既注重逻辑理论的创新研究，更注重逻辑学在现实生活中、特别是在哲学、语言学、法学、经济理论和管理实践中的应用研究。注重逻辑理论与应用相结合，强调逻辑学的社会功能，突出逻辑学在科学研究中的创新功能和在日常思维中的批判性功能，是本学科的突出特点。二、研究方向本学科的研究方向是现代逻辑及其应用，主要包括现代逻辑的理论研究，也包括逻辑学在哲学、语言学、经济学、管理学、法学、信息学、计算机科学、符号学等学科中的应用。三、培养目标及学习年限本学科培养具有较高的政治思想和文化素养，敏捷严密的思维能力，学术功底深厚、心理素质健康，操作技能优秀的逻辑学人才，能够从事现代逻辑的理论及其应用、特别是能够从事逻辑学与其他学科交叉复合的应用型人才。本专业学习年限为三年。四、业务要求本学科的研究生应具备扎实的现代逻辑的理论和应用方面的基础知识，具有整合逻辑学与哲学、语言学、经济学、管理学、法学、信息学、符号学等专业知识的能力，精通一门以上外国语；熟练应用计算机及相关设备，了解本专业的国内外发展动态，具有较强的研究与实践能力。五、学分在规定的学习年限内，本学科硕士研究生应修满42个学分，其中：德育教育1学分，调研实习1学分；课程学习40学分。课程学习包括必修课30学分；选修课要求不少于10学分。六、学位本学科授予哲学硕士学位。七、课程设置详见《逻辑学学科硕士研究生课程设置计划》。八、留学生、港澳台研究生课程设置的调整说明①政治理论课不作为留学生和港澳台研究生的必修课，可作为选修课；②对外汉语（4学分，72学时，第一、二学期各2学分，36学时，国际文化交流学院开设）作为留学生的必修公共外语课，专业英语课作为留学生的必修专业课；③中国经济与社会（2学分，36学时，第二学期，社会发展学院开设）作为专门面向留学生的必修课。④总学分要求参照普通硕士研究生学分要求执行。

逻辑学学科硕士研究生课程设置计划学院（研究院）：文化与传媒学院学科、专业：逻辑学研究方向：现代逻辑及其应用课程类别课程性质应修学分课程名称学时学分合计开课学期及学期学分开课单位备注一二三四五六必修公共基础课4中国特色社会主义理论与实践研究3622马克思主义学院英语3622外国语学院学科基础课8集合论7244文化与传媒学院西方逻辑史3622文化与传媒学院中国逻辑史3622文化与传媒学院专业课18专业英语3622文化与传媒学院一阶逻辑108642文化与传媒学院哲学逻辑5433文化与传媒学院模态逻辑7244文化与传媒学院逻辑哲学5433文化与传媒学院选修公共选修课计算机高级应用3622信息学院至多选修3门国学经典研究3622文化与传媒学院逻辑学1811文化与传媒学院心理健康教育专题1811社会发展学院第二外国语（日、法、俄）3622外国语学院统计回归分析理论及其应用3622统计与数学学院自然辩证法概论1811马克思主义学院2选1马克思主义与社会科学方法论1811马克思主义学院学科与专业选修课西方哲学史3622马克思主义学院高等模态逻辑3622文化与传媒学院模型论3622文化与传媒学院易经逻辑3622文化与传媒学院认知逻辑5433文化与传媒学院逻辑原著选读5433文化与传媒学院博弈与决策的逻辑5433文化与传媒学院归纳逻辑5433文化与传媒学院概率论与数理统计7244文化与传媒学院语言与逻辑3622文化与传媒学院批判性思维3622文化与传媒学院逻辑前沿问题研究5433文化与传媒学院学术方法与规范1811文化与传媒学院备注：德育教育、调研实习、学位论文、补修课等内容详见《中央财经大学硕士研究生执行培养方案的规定》专业阅读书目课程名称阅读书目（注明作者、出版社及版本）心得笔记篇数备注逻辑基础理论数理逻辑模态逻辑集合论法律逻辑和非形式逻辑中国逻辑史西方逻辑史符号学博弈逻辑逻辑哲学科学哲学归纳逻辑语言逻辑模型论证明论递归论西方哲学史专业刊物1.《逻辑学基础教程》，袁正校主编，高等教育出版社，2007年。2.《逻辑基础》，王路，人民出版社，2004年版。3.《逻辑学教程》，何向东主编，袁正校等副，主编高等教育出版社，2004年。4.《亚里士多德的三段论》，[波兰]卢卡西维茨，商务印书馆，1983年5月版。5.《形式逻辑原理》，诸葛殷同等，人民出版社，2007年第二版。6.《逻辑的观念》，王路，商务印书馆，2000年版。7.《一阶逻辑与一阶理论》，叶峰，中国社会科学出版社，1994年版。8.《逻辑演算》，刘壮虎，中国社会科学出版社，1993年版。9.H.-D.Ebbinghaus,J.Flum,W.Thomas.Mathematicallogic.2nded.,Springer1994.10.P.Andrews.AnIntroductiontomathematicallogicandtypetheory.2ndedition.KluwerAcademicPublishers.Jacobs,Bart1999.11.D.vanDalen.LogicandStructure.4thedition.Springer,2004.12.JosephR.Shoenfield.MathematicalLogic.AssociationforSymbolicLogicandA.Peters,Natick,Massachusetts,2000.13.J.L.BellandM.Machover.ACourseinMathematicalLogic.North-HollandPublishingCompany,Amsterdam,1977.14.H.Enderton.AMathematicalIntroductiontoLogic.AcademicPress,2nded.,2001.15.W.Rautenburg.AConciseIntroductiontoMathematicalLogic.Springer,2nded.,2006.16.W.Hodges.MathematicalLogic.OxfordUniversityPress,2007.17.《模态逻辑导论》，周北海，北京大学出版社，1997年版。18.《哲学逻辑研究》，张清宇、郭世铭、李小五，社会科学文献出版社，1997年。19.P.Blackburnet.al.ModalLogic.CambridgeUniversityPress,2001.20.D.M.Gabbay&F.Guenthner(editors).HandbookofPhilosophicalLogic.Vol.1-14(2ndEdition),KluwerAcademicPublishers.21.P.Blackburn,J.vanBenthemandF.Wolter(editors).HandbookofModalLogic.Elsevier,2007.22.《素朴集合论》，刘壮虎，北京大学出版社，2001年版。23.K.HrbacekandT.Jech.Introductiontosettheory.3rdedition.M.Dekker,1999.24.T.Jech.SetTheory.Springer,2003.25.晏成书，《集合论导引》，中国社会科学出版社，1994年版。26.H.Enderton.ElementsofSetTheory.人民邮电出版社（影印版），2006年版。27.DouglasWalton,AlanBrintonandAldershotHants(editors).HistoricalFoundationsofInformalLogic..England,Brookfield,Vt.:Ashgate,1997.28.《论辩巧智》,熊明辉、赵艺译,新世界出版社,2006年版29.《法律推理与政治冲突》，孙斯坦，法律出版社，2004年1月版。30.《中国逻辑史》，周云之，山西教育出版社,2004年。31.《数理逻辑发展史：从莱布尼茨到哥德尔》，张家龙，社科文献出版社，2004年32.《逻辑学思想史》，张家龙，湖南教育出版社，2004年。33.《符号学导论》，黄华新、陈宗明，河南人民出版社，2004年。34.《理论符号学导论》，李幼蒸著，社会科学文献出版社，1999年。35.M.Osborne&A.Rubinstein.ACourseInGameTheory.TheMITPress,1994.36.《博弈论学习理论》，

[美]朱·弗登伯格，[美]戴维.莱文著，肖争艳，侯成琪译，中国人民大学出版社，2004年。37.《博弈思维》，潘天群著，北京大学出版社，2005年。38.《模态逻辑与哲学》，

张家龙，中国社会出版社，2003年版。

39.《逻辑哲学》，[英]苏珊·哈克著，罗毅译，商务印书馆，2003年版。40.《对逻辑的思考》，[英]里德著，李小五译，辽宁人民出版社，2001年版。41.《科学研究纲领方法论》，[匈]拉卡托斯，商务印书馆，1992年版。42.《新编归纳逻辑导论》，任晓明，河南人民出版社，2009年6月。43.《逻辑——正确思维和成功交际的理论》，周礼全主编，人民出版社，1994年。44.《语言逻辑分析——语言学家关注的一切逻辑问题》，麦考莱著，王维贤、徐颂列等译，杭州大学出版社，1998年。45.C.C.ChangandH.J.Keisler,ModelTheory,3rdedition,North-Holand,1990.46.W.Hodges.AShorterModelTheory.CambridgeUniversityPress,1997.47.J.BellandA.Slomson.ModelsandUltraproducts.DoverPublications,1969.48.A.S.Troelstra,H.Schwichtenberg.BasicProofTheory.CambridgeUniversityPress,2000.49.J.Shoenfiled.RecursionTheory.A.PetersLtd.,2001.50.G.BoolosandR.Jeffrey.ComputabilityandLogic.CambridgeUniversityPress,4thedition,2002.51.R.Murawski.RecursiveFunctionsandMetamathematics.Springer,2009.52.《西方哲学史》，罗素，商务印书馆，196053.《哲学研究》，中国社会科学院哲学研究所54.《哲学动态》，中国社会科学院哲学研究所55.《逻辑学研究》，中国逻辑学会56.《逻辑》，人大报刊复印资料57.JournalofSymbolicLogic,AMS58.StudiaLogica,KluwerAcademicPublishers.59.JournalofLogicandComputation,Oxford,UK.60.JournalofLogic,LanguageandInformation.61.Journalof