逻辑学华南师范大学学术型硕士研究生培养方案Word文档下载推荐.docx
《逻辑学华南师范大学学术型硕士研究生培养方案Word文档下载推荐.docx》由会员分享，可在线阅读，更多相关《逻辑学华南师范大学学术型硕士研究生培养方案Word文档下载推荐.docx（19页珍藏版）》请在冰豆网上搜索。
2、教学实践：
在第三至第四学期，研究生在导师指导下参加本科生的教学或以其他方式参加教学实践活动。
3、科研训练：
在导师指导下，通过参与导师的部分科研课题、学术报告、学术讲座等活动，训练和提高科研能力。
4、论文写作：
在第三学期初步确定论文选题，第四学期进行学位论文开题论证，经导师及指导组同意后，可进入论文写作阶段。
指导方式：
导师个人指导与指导组集体培养相结合。
学术型研究生教学计划
类别
课程名称
学时
学分
主讲教师
各学期教学安排
考查
考试
一
二
三
四
五
六
公共必修课
外国语
90
√
政治理论
74
学科基础课
哲学方法论
PhilosophicalMethodology
54
胡泽洪、于奇智等
专业必修课
一阶逻辑
Thefirst-orderlogic
熊明
语言逻辑研究
Thestudyoflanguagelogic
王健平
逻辑哲学研究
Logicphilosophyresearch
胡泽洪
Philosophicallogic
熊明
选
修
课
程
逻辑基础
Logicalbasis
36
西方逻辑史
Historyofwesternlogic
周祯祥等
语言哲学
Philosophyoflanguage
逻辑与认知
Logicandcognitive
赵艺
逻辑学经典著作选读
Logicclassicreader
专业英语
ProfessionalEnglish
赵艺熊明
文献综述
学术报告
科研实践能力训练
学位论文
*“各学期教学安排”、“考查”和“考试”栏目里用“√”来表示。
逻辑学专业学术型研究生必读文献主要书目和期刊目录
序号
文献名称
作者或出版社
文献类别
IntroductiontoLogic
I.M.Copi
C.Cohen
著作
AnNewIntroductiontoModalLogic
G.E.Hughers
M.J.Cresswell
LogicforMathematicians
A.G.Hamilton
HandbookofPhilosophicalLogic
Volume1—Volume12
KluwerAcademicPublishers
宋文淦：
《符号逻辑基础》
北京师大出版社，1993年
6
李娜：
《数理逻辑的思想与方法》
南开大学出版社，
2006年
7
周礼全主编：
《逻辑—正确思维和有效交际的理论》
人民出版社，
1994年
8
杜国平：
《经典逻辑与非经典逻辑》
高等教育出版社，
9
马蒂尼奇编：
《语言哲学》
商务印书馆，
1998年
10
周礼全：
《模态逻辑引论》
上海人民出版社，
1986年
11
张家龙：
《数理逻辑发展史》
社会科学文献出版社，1993年
13
陈波：
《逻辑哲学研究》
中国人民大学出版社，2013年
14
胡泽洪、张家龙等：
广东教育出版社，
2013年
15
苏珊.哈克：
《逻辑哲学》
2003年
16
《亚里士多德全集》
中国人民大学出版社，1990年
17
罗.格勃尔等：
《哲学逻辑》
中国人民大学出版社，2008
18
周云之、刘培育：
《先秦逻辑史》
中国社会科学出版社，1984年
19
陈晓平：
《归纳逻辑与归纳悖论》
武汉大学出版社，
20
邓生庆、任晓明：
《归纳逻辑百年》
中央编译出版社，
2006
21
蔡曙山：
《言语行为和语用逻辑》
中国社会科学出版社，1998年
22
邹崇理：
《逻辑、语言和信息》
人民出版社，2002年
《哲学方法论》课程简明教学大纲
课程编号
0102a0005
课程负责人
教学成员
课程类别
授课方式
专题讲座
教学目的及要求
本课程为哲学方法论系列专题讲座，通过本课程的学习，让哲学博士生深入了解和掌握哲学各个相关专业领域的方法论，拓宽研究视野，优化思维方式，提升哲学水平。
课程内容
一、逻辑方法
二、认识方法
三、系统方法论
四、科学方法论
五、语言分析方法
六、文献学方法
七、解释学方法
考核方式
课程论文
参考书目
各位任课教师根据所讲专题开列相关参考文献。
《一阶逻辑》课程简明教学大纲
0102b0031
专业必修
课堂讲授
一阶逻辑是数理逻辑最基础的课程，它主要运用数学的方法来分析数学推理，建立推理系统，并研究这些系统的逻辑性质。
本课程的教学目的和要求如下：
（1）理解推理有效性和可满足性概念，能使用解析树对重言式进行判定。
（2）理解个体词、谓词和量词概念，能使用一阶语言对命题进行形式化。
（3）熟悉塔斯基语义，理解可满足性、真、有效性等的定义。
（4）熟悉解析树对有效性的判定。
（5）熟悉一阶演绎系统，其中的证明方法。
（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,MathematicalLogic,
2nd
ed.
Springer-Verlag,1994.
2、S.G.Simpson,mathematicallogic（LectureNotes）,http:
//www.personal.psu.edu/t20/notes/logic.pdf,2013.
3、J.Ketland,PropostionalLogicandPredicate_Logic（LectureNotes）,2008.
4、叶峰：
《一阶逻辑与一阶理论》，中国社会科学出版社，1993年.
5、熊明：
《古典逻辑》（自编讲义），2006。
《语言逻辑研究》课程简明教学大纲
0102b0032
课堂教学、讨论
使学生明确语言逻辑的研究对象、性质与内容，认识研究语言逻辑的理论意义和实践意义，掌握有关语言逻辑的主要知识，了解语言逻辑的研究动态与研究课题，学会独立思考并利用文献资料进行创新研究。
1、语言逻辑的研究对象与内容
2、语境问题研究
3、语言层次理论研究
4、语词与概念
5、语句与命题
6、歧义问题研究
7、预设问题研究
8、蕴涵问题研究
9、会话涵义研究
10、言语行为与言语意图研究
1、周礼全：
《逻辑——正确思维与有效交际的理论》，人民出版社出版，1994年。
2、奥尔伍德等：
《语言学中的逻辑》，王维贤等译，北京大学出版社2009年。
3、马蒂尼奇：
《语言哲学》，牟博等译.北京：
商务印书馆，2005年。
《逻辑哲学研究》课程简明教学大纲
0102b0033
课堂讲授、讨论
逻辑哲学是研究现代逻辑及其发展中的哲学问题的学科，通过本课程的学习，让学生较为全面地了解逻辑哲学的基本问题，理解逻辑与哲学的关系，并能就某一问题从事相关研究。
1、逻辑、哲学与逻辑哲学
2、逻辑的对象与范围
3、真与真理论
4、逻辑联结词
5、专名与通名理论
6、归纳与演绎
7、模态逻辑及其相关哲学问题研究
1、苏珊。
哈克：
《逻辑哲学》，罗毅译，商务印书馆，2003年。
2、胡泽洪、张家龙等：
《逻辑哲学研究》，广东教育出版社，2013年。
《哲学逻辑》课程简明教学大纲
0102b0034
哲学逻辑包括的范围涵盖了广义模态逻辑和真理论等各个分支学科，本课程作为导论课程，主要内容是模态逻辑及其适当的扩展。
通过本课程的学习，可以掌握和了解可能世界语义学分析可能与必然的
升级会员 