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

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

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

3、治理论74 3 学科基础课哲学方法论philosophical methodology 54 3 胡泽洪、于奇智等专业必修课一阶逻辑the first-order logic 54 3 熊 明语言逻辑研究the study of language logic 54 3 王健平逻辑哲学研究logic philosophy research 54 3 胡泽洪哲学逻辑philosophical logic 54 3 熊明选修课程逻辑基础logical basis 36 2 胡泽洪西方逻辑史history of western logic 36 2 周祯祥等语言哲学36 2 王健平philosophy

4、 of language 逻辑与认知logic and cognitive 36 2 赵艺逻辑学经典著作选读logic classic reader 36 2 王健平专业英语professional english 36 2 赵艺 熊明文献综述1 学术报告1 科研实践能力训练2 学 位 论 文*“各学期教学安排”、“考查”和“考试”栏目里用“”来表示。逻辑学专业学术型研究生必读文献主要书目和期刊目录序号文献名称作者或出版社文献类别1 introduction to logic i.m.copi c.cohen 著作2 an new introduction to modal logic g.e

5、.hughers m.j.cresswell 著作3 logic for mathematicians a.g.hamilton 著作4 handbook of philosophical logic volume1volume 12 kluwer academic publishers 著作5 宋文淦：符号逻辑基础北京师大出版社， 1993 年 著作6 李娜：数理逻辑的思想与方法南开大学出版社，2006 年著作7 周礼全主编：逻辑正确思维和有效交际的理论人民出版社，1994 年著作8 杜国平：经典逻辑与非经典逻辑高等教育出版社，2006 年著作9 马蒂尼奇编：语言哲学商务印书馆，1998 年

6、著作10 周礼全：模态逻辑引论上海人民出版社，1986 年著作11 张家龙：数理逻辑发展史社会科学文献出版社，1993 年著作13 陈波：逻辑哲学研究中国人民大学出版社，2013 年著作14 胡泽洪、张家龙等：逻辑哲学研究广东教育出版社，2013 年著作15 苏珊. 哈克：逻辑哲学商务印书馆，2003 年著作16 亚里士多德全集中国人民大学出版社，1990 年著作17 罗 . 格勃尔等：哲学逻辑中国人民大学出版社，2008 著作18 周云之、刘培育：先秦逻辑史中国社会科学出版社，1984 年著作19 陈晓平：归纳逻辑与归纳悖论武汉大学出版社，1994 年著作20 邓生庆、任晓明：归纳逻辑百年中

7、央编译出版社，著作2006 21 蔡曙山：言语行为和语用逻辑中国社会科学出版社，1998 年著作22 邹崇理：逻辑、语言和信息人民出版社， 2002 年著作哲学方法论课程简明教学大纲课程名称哲学方法论课程编号0102a0005 课程负责人胡泽洪教学成员胡泽洪、于奇智等学时36 学分2 课程类别学科基础课授课方式专题讲座教学目的及要求本课程为哲学方法论系列专题讲座，通过本课程的学习，让哲学博士生深入了解和掌握哲学各个相关专业领域的方法论，拓宽研究视野，优化思维方式，提升哲学水平。课程内容一、 逻辑方法二、 认识方法三、 系统方法论四、 科学方法论五、 语言分析方法六、 文献学方法七、 解释学方法

8、考核方式课程论文参考书目各位任课教师根据所讲专题开列相关参考文献。一阶逻辑课程简明教学大纲课程名称一阶逻辑课程编号0102b0031 课程负责人熊明教学成员熊明学时54 学分3 课程类别专业必修授课方式课堂讲授教学目的及要求一阶逻辑是数理逻辑最基础的课程，它主要运用数学的方法来分析数学推理，建立推理系统，并研究这些系统的逻辑性质。本课程的教学目的和要求如下：(1) 理解推理有效性和可满足性概念，能使用解析树对重言式进行判定。(2) 理解个体词、谓词和量词概念，能使用一阶语言对命题进行形式化。(3) 熟悉塔斯基语义，理解可满足性、真、有效性等的定义。(4) 熟悉解析树对有效性的判定。(5) 熟悉

9、一阶演绎系统，其中的证明方法。(6) 理解一阶演绎系统的可靠性、完全性及其证明。课程内容1、命题逻辑的语形与语义2、解析树判定重言式3、一阶语言（无等词）4、一阶逻辑的 tarski 语义（ 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-verl

10、ag, 1994. 2、 s.g.simpson,mathematical logic (lecture notes), , 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年。逻辑哲学研究课程简

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

13、版社，2013年。哲学逻辑课程简明教学大纲课程名称哲学逻辑课程编号0102b0034 课程负责人熊明教学成员熊明学时54 学分3 课程类别专业必修课授课方式课堂讲授、讨论教学目的及要求哲学逻辑包括的范围涵盖了广义模态逻辑和真理论等各个分支学科，本课程作为导论课程，主要内容是模态逻辑及其适当的扩展。通过本课程的学习，可以掌握和了解可能世界语义学分析可能与必然的基本思想和理论，熟悉各种模态系统。为学生在分析哲学、语言哲学学习和研究打下必要的基础。课程内容1、命题模态逻辑的语言2、可能世界语义与系统s5 3、可能世界语义与系统k 4、正规系统5、模态语义图6、严格蕴涵与 lewis 系统7、定域的量

14、化模态逻辑8、变域的量化模态逻辑9、可靠性与完全性考核方式考试参考书目6、 g. huhes & m.j. cresswell, a new 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。逻辑基础课程简明教学大纲课程名称逻辑基础课程编号0102c0

15、041 课程负责人胡泽洪教学成员胡泽洪学时36 学分2 课程类别选修课程授课方式课堂讲授、讨论教学目的及要求通过本课程的学习，让学生掌握逻辑学的基础知识，弄清楚逻辑学的来龙去脉、发展状况及与其他学科的相互关系，了解最常用、最重要的一些推理、论证形式，学会正确地进行推理和论证，学会批判性思维，培养理性精神。课程内容1、 逻辑学的基本概念及其历史发展2、 逻辑、语言与思维3、 命题逻辑4、 詞项逻辑5、 谓词逻辑6、 归纳逻辑7、 非形式谬误考核方式考试参考书目1、 欧文。 m 。柯匹等：逻辑要义，胡泽洪等译，世界图书出版公司， 2013 2、 陈波：逻辑学导论，第2 版，中国人民大学出版社，2006 3、 胡泽洪、周祯祥、王健平主编：逻辑学，广东教育出版社，2007 西方逻辑史课程简明教学大纲课程名称西方逻辑史课程编号0102c0042 课程负责人周祯祥教学成员周祯祥等学时36 学分2 课程类别选修课程授课方式课堂讲授、讨论教学目的及要求西方逻辑史是逻辑学研究的导引，引导逻辑学硕士生知晓逻辑学这一古老学科的发展轨迹和学科发展线索。本课程以古代、中世纪及近现代三个分期的主要逻辑学家的思想和著作为内容，研究生通过对逻辑史的理解，逐渐理清个人学科研究的方向，选择好本学科研究的专题，为硕士论文的撰写提供思路。课程内容古代部分两