逻辑学华南师范大学学术型硕士研究生培养方案.docx

1、逻辑学华南师范大学学术型硕士研究生培养方案华南师范大学学术型硕士研究生培养方案院（系）名称政治与行政学院研 究 方 向学科专业逻辑学1逻辑哲学2语言逻辑学 制3年3哲学逻辑4认知逻辑5法律逻辑培养目标：培养具有较高哲学理论素养，较宽厚逻辑学功底的理论人才、学术人才以及实际工作领域人才。培养学生具有逻辑学领域内坚实的基础理论和系统的专业知识，具有比较开阔的观察与研究视野；以理性思维为目的，培养学生具有健全的人格和良好的身心素质；学生须至少熟练掌握一门外语；培养的学生要既能独立从事逻辑学、哲学、语言学等方面的教学与研究，也能胜任新闻出版、党政机关等实际工作部门的理论及行政管理工作。培养的主要内容（

2、方式、方法和要求）：1、 课程学习：较为深入、系统地学习逻辑学专业相关课程，并拓宽哲学专业的其他课程。2、 教学实践：在第三至第四学期，研究生在导师指导下参加本科生的教学或以其他方式参加教学实践活动。3、 科研训练：在导师指导下，通过参与导师的部分科研课题、学术报告、学术讲座等活动，训练和提高科研能力。4、 论文写作：在第三学期初步确定论文选题，第四学期进行学位论文开题论证，经导师及指导组同意后，可进入论文写作阶段。指导方式：导师个人指导与指导组集体培养相结合。学术型研究生教学计划院（系）名称政治与行政学院学科专业逻辑学类别课程名称学时学分主讲教师各学期教学安排考查考试一二三四五六公共必修课外

3、 国 语904政治理论743学科基础课哲学方法论Philosophical Methodology543胡泽洪、于奇智等专业必修课一阶逻辑The first-order logic543熊 明语言逻辑研究The study of language logic543王健平逻辑哲学研究Logic philosophy research543胡泽洪哲学逻辑Philosophical logic543熊明选修课程逻辑基础Logical basis362胡泽洪西方逻辑史History of western logic362周祯祥等语言哲学Philosophy of language362王健平逻辑与认知

4、Logic and cognitive362赵艺逻辑学经典著作选读Logic classic reader362王健平专业英语Professional English362赵艺 熊明文献综述 1学术报告1科研实践能力训练2学 位 论 文*“各学期教学安排”、“考查”和“考试”栏目里用“”来表示。逻辑学专业学术型研究生必读文献主要书目和期刊目录序号文献名称作者或出版社文献类别1Introduction to LogicI.M.CopiC.Cohen著作2An New Introduction to Modal LogicG.E.HughersM.J.Cresswell著作3Logic for M

5、athematiciansA.G.Hamilton著作4Handbook of Philosophical Logic Volume1Volume 12Kluwer Academic Publishers著作5宋文淦：符号逻辑基础北京师大出版社，1993年著作6李娜：数理逻辑的思想与方法南开大学出版社，2006年著作7周礼全主编：逻辑正确思维和有效交际的理论人民出版社，1994年著作8杜国平：经典逻辑与非经典逻辑高等教育出版社，2006年著作9马蒂尼奇编：语言哲学商务印书馆，1998年著作10周礼全：模态逻辑引论上海人民出版社，1986年著作11张家龙：数理逻辑发展史社会科学文献出版社，199

6、3年著作13陈波：逻辑哲学研究中国人民大学出版社，2013年著作14胡泽洪、张家龙等：逻辑哲学研究广东教育出版社，2013年著作15苏珊.哈克：逻辑哲学商务印书馆，2003年著作16亚里士多德全集中国人民大学出版社，1990年著作17罗 .格勃尔等：哲学逻辑中国人民大学出版社，2008著作18周云之、刘培育：先秦逻辑史中国社会科学出版社，1984年著作19陈晓平：归纳逻辑与归纳悖论武汉大学出版社，1994年著作20邓生庆、任晓明：归纳逻辑百年中央编译出版社，2006著作21蔡曙山：言语行为和语用逻辑中国社会科学出版社，1998年著作22邹崇理：逻辑、语言和信息人民出版社，2002年著作哲学方法

7、论课程简明教学大纲课程名称哲学方法论课程编号0102a0005课程负责人胡泽洪教学成员胡泽洪、于奇智等学时36学分2课程类别学科基础课授课方式专题讲座教学目的及要求 本课程为哲学方法论系列专题讲座，通过本课程的学习，让哲学博士生深入了解和掌握哲学各个相关专业领域的方法论，拓宽研究视野，优化思维方式，提升哲学水平。课程内容一、 逻辑方法二、 认识方法三、 系统方法论四、 科学方法论五、 语言分析方法六、 文献学方法七、 解释学方法考核方式课程论文参考书目各位任课教师根据所讲专题开列相关参考文献。 一阶逻辑课程简明教学大纲课程名称一阶逻辑课程编号0102b0031课程负责人熊明教学成员熊明学时54

8、学分3课程类别专业必修授课方式课堂讲授教学目的及要求一阶逻辑是数理逻辑最基础的课程，它主要运用数学的方法来分析数学推理，建立推理系统，并研究这些系统的逻辑性质。本课程的教学目的和要求如下：(1) 理解推理有效性和可满足性概念，能使用解析树对重言式进行判定。(2) 理解个体词、谓词和量词概念，能使用一阶语言对命题进行形式化。(3) 熟悉塔斯基语义，理解可满足性、真、有效性等的定义。(4) 熟悉解析树对有效性的判定。(5) 熟悉一阶演绎系统，其中的证明方法。(6) 理解一阶演绎系统的可靠性、完全性及其证明。课程内容1、命题逻辑的语形与语义 2、解析树判定重言式3、一阶语言（无等词）4、一阶逻辑的T

9、arski语义（I）5、一阶逻辑的Tarski语义（II）6、解析树判定有效性7、一阶演绎系统（I）8、一阶演绎系统（II）9、一阶演绎系统的可靠性10、一阶演绎系统的完全性（I）11、一阶演绎系统的完全性（II）12、带等词的一阶语言考核方式 考试参考书目1、 H.-D.Ebbinghaus,J.Flum,W.Thomas,Mathematical Logic,2nded.Springer-Verlag, 1994.2、 S.G.Simpson,mathematical logic (Lecture Notes), http:/www.personal.psu.edu/t20/notes/l

10、ogic.pdf, 2013.3、 J.Ketland,Propostional Logic and Predicate_Logic (Lecture Notes), 2008.4、 叶峰：一阶逻辑与一阶理论，中国社会科学出版社，1993年.5、 熊明：古典逻辑（自编讲义），2006。语言逻辑研究课程简明教学大纲课程名称语言逻辑研究课程编号0102b0032课程负责人王健平教学成员王健平学时54学分3课程类别专业必修课授课方式课堂教学、讨论教学目的及要求使学生明确语言逻辑的研究对象、性质与内容，认识研究语言逻辑的理论意义和实践意义，掌握有关语言逻辑的主要知识，了解语言逻辑的研究动态与研究课题，

11、学会独立思考并利用文献资料进行创新研究。课程内容1、语言逻辑的研究对象与内容2、语境问题研究3、语言层次理论研究4、语词与概念5、语句与命题6、歧义问题研究7、预设问题研究8、蕴涵问题研究9、会话涵义研究10、言语行为与言语意图研究考核方式考试参考书目1、周礼全：逻辑正确思维与有效交际的理论，人民出版社出版，1994年。2、奥尔伍德等：语言学中的逻辑，王维贤等译，北京大学出版社2009年。3、马蒂尼奇：语言哲学，牟博等译. 北京：商务印书馆，2005年。逻辑哲学研究课程简明教学大纲课程名称逻辑哲学研究课程编号0102b0033课程负责人胡泽洪教学成员胡泽洪学时54学分3课程类别专业必修课授课方

12、式课堂讲授、讨论教学目的及要求 逻辑哲学是研究现代逻辑及其发展中的哲学问题的学科，通过本课程的学习，让学生较为全面地了解逻辑哲学的基本问题，理解逻辑与哲学的关系，并能就某一问题从事相关研究。课程内容1、 逻辑、哲学与逻辑哲学2、 逻辑的对象与范围3、 真与真理论4、 逻辑联结词5、 专名与通名理论6、 归纳与演绎7、 模态逻辑及其相关哲学问题研究考核方式考试参考书目1、苏珊。哈克：逻辑哲学，罗毅译，商务印书馆，2003年。2、胡泽洪、张家龙等：逻辑哲学研究，广东教育出版社，2013年。 哲学逻辑课程简明教学大纲课程名称哲学逻辑课程编号0102b0034课程负责人熊明教学成员熊明学时54学分3课

13、程类别专业必修课授课方式课堂讲授、讨论教学目的及要求哲学逻辑包括的范围涵盖了广义模态逻辑和真理论等各个分支学科，本课程作为导论课程，主要内容是模态逻辑及其适当的扩展。通过本课程的学习，可以掌握和了解可能世界语义学分析可能与必然的基本思想和理论，熟悉各种模态系统。为学生在分析哲学、语言哲学学习和研究打下必要的基础。课程内容1、命题模态逻辑的语言 2、可能世界语义与系统S53、可能世界语义与系统K4、正规系统5、模态语义图6、严格蕴涵与Lewis系统7、定域的量化模态逻辑8、变域的量化模态逻辑9、可靠性与完全性考核方式 考试参考书目6、 G. Huhes & M.J. Cresswell, A N

14、ew Introduction to Modal Logic, Routledge，London and New York, 1996. 7、 J. Garson, Modal Logic for philosophers,Cambridge University Press, 2006.8、 周北海，模态逻辑导论，北京大学出版社，1996。9、 李小五，模态逻辑，中山大学出版社，2005。 逻辑基础课程简明教学大纲课程名称逻辑基础课程编号0102c0041课程负责人胡泽洪教学成员胡泽洪学时36学分2课程类别选修课程授课方式课堂讲授、讨论教学目的及要求通过本课程的学习，让学生掌握逻辑学的基础知

15、识，弄清楚逻辑学的来龙去脉、发展状况及与其他学科的相互关系，了解最常用、最重要的一些推理、论证形式，学会正确地进行推理和论证，学会批判性思维，培养理性精神。课程内容1、 逻辑学的基本概念及其历史发展2、 逻辑、语言与思维3、 命题逻辑4、 詞项逻辑5、 谓词逻辑6、 归纳逻辑7、 非形式谬误考核方式 考试参考书目1、 欧文。M。柯匹等：逻辑要义，胡泽洪等译，世界图书出版公司，20132、 陈波：逻辑学导论，第2版，中国人民大学出版社，20063、 胡泽洪、周祯祥、王健平主编：逻辑学，广东教育出版社，2007西方逻辑史课程简明教学大纲课程名称西方逻辑史课程编号0102c0042课程负责人周祯祥教

16、学成员周祯祥等学时36学分2课程类别选修课程授课方式课堂讲授、讨论教学目的及要求西方逻辑史是逻辑学研究的导引，引导逻辑学硕士生知晓逻辑学这一古老学科的发展轨迹和学科发展线索。本课程以古代、中世纪及近现代三个分期的主要逻辑学家的思想和著作为内容，研究生通过对逻辑史的理解，逐渐理清个人学科研究的方向，选择好本学科研究的专题，为硕士论文的撰写提供思路。课程内容古代部分两个专题：1、 亚里士多德的逻辑2、 斯多葛学派的逻辑。中世纪部分两个专题：1、 经院逻辑2、 现代逻辑的萌芽。近现代部分五个专题：1、 莱布尼兹的逻辑思想2、 布尔的布尔逻辑3、 弗雷格的逻辑4、 罗素和怀特海的数学原理5、 现代逻辑

17、的发展考核方式考试参考书目1、 威廉涅尔：逻辑学的发展，张家龙译，商务印书馆1985年版2、 郑文辉：欧美逻辑学说史，中山大学出版社1994年版3、 张家龙：演绎逻辑史，科学出版社2001年版4、 维库文献：history of logic语言哲学课程简明教学大纲课程名称语言哲学课程编号0102c0043课程负责人王健平教学成员王健平学时36学分2课程类别选修课程授课方式课堂讲授、讨论教学目的及要求使学生了解语言哲学的产生原因及发展现状，明确语言哲学的研究对象与内容，了解该领域的一些研究动态与研究课题，学会独立思考一些重要问题，并学会利用文献资料进行创新研究。课程内容1、语言哲学的研究对象与范

18、围2、语言与世界3、涵义与指称4、名称理论5、摹状词理论6、语言游戏论与使用论7、真理问题分析与研究8、同一替换问题分析9、古典分析方法与现代分析方法比较研究考核方式 考试 参考书目1、弗雷格：弗雷格哲学论著选辑，王路译，商务印书馆2006年。2、罗素：逻辑与知识，苑莉均译，商务印书馆1996年。3、马蒂尼奇：语言哲学，牟博等译，商务印书馆2005年。4、王健平：语言哲学，中共中央出版社2003年。逻辑与认知课程简明教学大纲课程名称逻辑与认知课程编号0102c0044课程负责人赵艺教学成员赵艺学时36学分2课程类别选修课程授课方式课堂讲授教学目的及要求经典逻辑作为一个形式工具，在刻画人的推理方

19、面显示出严谨而强大的能力。20世纪60年代认知科学正式诞生并迅速扩张。认知科学以研究人类高级智能活动为任务，具有跨学科、实证性的特点。逻辑学家基于对推理的共同研究兴趣，与心智哲学家、发生语言学家、人工智能学家、认知心理学家等一起，参与到认知科学的研究中。承传弗雷格数理逻辑传统的占主流地位的逻辑学家们试图用形式工具严格刻画知觉、信念修正、知道、动态推理等人类认知活动；而近20年来发展起来的非形式逻辑则回归到亚里士多德的逻辑理论，通过引入主体、强调语境，研究具有弗协调性、可废止性和不一致性的实际推理。本课程旨在以导论形式介绍认知科学、认知逻辑及其哲学问题的基本知识，并以专题形式演示逻辑学家刻画和解

20、决具体认知问题的方法和进路。课程内容1、认知科学导论2、传统认知逻辑3、传统认知逻辑的哲学问题4、心智逻辑理论5、心智模型理论6、推理谬误专题7、不一致性推理：自我欺骗专题8、前沿文献导读与开放性问题考核方式 考试参考书目1、Thagard, P., 2005.Mind: Introduction to Cognitive Science2、Martin D.S. Braine,David P. OBrien,Martin Braine，1998，Mental Logic.3、John Woods,2013,Errors of Reasoning,Naturalizing the Logic

21、of Inference.4、David Harel,Dexter Kozen,Jerzy Tiuryn,2000,Dynamic Logic逻辑学经典著作选读课程简明教学大纲课程名称逻辑学经典著作选读课程编号0102c0045课程负责人王健平教学成员王健平学时36学分2课程类别选修课程授课方式课堂讲授、讨论教学目的及要求使学生了解逻辑学原理与理论的来源，体会经典作家的研究方法与结果，从经典著作中寻找进一步展开学术研究的源泉与动力；从经典思想理论学习与研究中进一步巩固与拓宽已有知识与研究视野，从对经典作家不同思想的比较中发现新的研究课题；学会独立思考并利用文献资料进行创新研究。课程内容1、亚里

22、士多德逻辑著作选读2、培根逻辑著作选读3、密尔逻辑体系选读4、弗雷格逻辑论著选读5、罗素逻辑论著选读6、维特根斯坦逻辑论著选读7、当代西方逻辑研究名篇选读考核方式 考查 参考书目1、亚里士多德：工具论，中国人民大学2003年。2、弗雷格：弗雷格哲学论著选辑，王路译，商务印书馆2006年。3、罗素：逻辑与知识，苑莉均译，商务印书馆1996年。4、马蒂尼奇：语言哲学，牟博等译，商务印书馆2005年。5、维特根斯坦：逻辑哲学论，贺绍甲译，商务印书馆，1996年。专业英语课程简明教学大纲课程名称专业英语课程编号0102c0034课程负责人赵艺教学成员赵艺、熊明学时36学分2课程类别选修课程授课方式课堂

23、讲授、讨论教学目的及要求英文文献的阅读、英文论文的写作以及使用英文进行学术交流是一个研究者的基本素质，本课程通过引导学生进行文献阅读，指导学生使用英文写小论文，为培养学生的国际视野和一定的学术英文交流能力打下一定的基础。课程内容（大体范围如下，视学生兴趣而异）1、Basic modal logics2、Normal modal logics 3、Non-normal modal logics4、Conditional logics5、Many-valued logics6、Logics with Gaps, Gluts and Worlds7、Free logics8、Constant dom

24、ain modal logics9、Variable domain modal logics10、Necessary identity in modal logic11、Contigent identity in modal logic考核方式 考查参考书目1、G. Priest, An Introduction to Non-Classical Logic, 2nd Ed. Cambridge University Press, 2008.R. Girle, Modal Logics and Philosophy, 2 ed., 2009.2、S. A. Kripke, “A Complet

25、eness Theorem in Modal Logic”,Journal of Symbolic Logic, 24: pp. 114, 1959.3、S. A. Kripke, “Semantical Analysis of Modal Logic I. Normal Modal Propositional Calculi”,Zeitschrift fr Mathematische Logik und Grundlagen der Mathematik, 9: pp. 6796,1963.4、S. A. Kripke, “Semantical Considerations on Modal Logic”,Acta Philosophica Fennica, 16: pp. 8394, 1963.