逻辑学-华南师范大学学术型硕士研究生培养方案
合集下载
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
课程内容
1、逻辑、哲学与逻辑哲学
2、逻辑的对象与范围
3、真与真理论
4、逻辑联结词
5、专名与通名理论
6、归纳与演绎
7、模态逻辑及其相关哲学问题研究
考核方式
考试
参考书目
1、苏珊。哈克：《逻辑哲学》，罗毅译，商务印书馆，2003年。
2、胡泽洪、张家龙等：《逻辑哲学研究》，广东教育出版社，2013年。
《哲学逻辑》课程简明教学大纲
课程内容
1、命题逻辑的语形与语义
2、解析树判定重言式
3、一阶语言（无等词）
4、一阶逻辑的Tarski语义（I）
5、一阶逻辑的Tarski语义（II）
6、解析树判定有效性
7、一阶演绎系统（I）
8、一阶演绎系统（II）
9、一阶演绎系统的可靠性
10、一阶演绎系统的完全性（I）
11、一阶演绎系统的完全性（II）
课程编号
0102a0005
课程负责人
胡泽洪
教学成员
胡泽洪、于奇智等
学时
36
学分
2
课程类别
学科基础课
授课方式
专题讲座
教学目的及要求
本课程为哲学方法论系列专题讲座，通过本课程的学习，让哲学博士生深入了解和掌握哲学各个相关专业领域的方法论，拓宽研究视野，优化思维方式，提升哲学水平。
课程内容
一、逻辑方法
二、认识方法
三、系统方法论
四、科学方法论
五、语言分析方法
六、文献学方法
七、解释学方法
考核方式
课程论文
参考书目
各位任课教师根据所讲专题开列相关参考文献。
《一阶逻辑》课程简明教学大纲
课程名称
一阶逻辑
课程编号
0102b0031
课程负责人
熊明
教学成员
熊明
学时
54
学分
3
课程类别
专业必修
授课方式
课堂讲授
教学目的及要求
一阶逻辑是数理逻辑最基础的课程，它主要运用数学的方法来分析数学推理，建立推理系统，并研究这些系统的逻辑性质。本课程的教学目的和要求如下：
7、J. Garson, Modal Logic for philosophers,Cambridge University Press, 2006.
8、周北海，《模态逻辑导论》，北京大学出版社，1996。
9、李小五，《模态逻辑》，中山大学出版社，2005。
《逻辑基础》课程简明教学大纲
课程名称
逻辑基础
课程内容
古代部分两个专题：
1、亚里士多德的逻辑
2、斯多葛学派的逻辑。
中世纪部分两个专题：
1、经院逻辑
2、现代逻辑的萌芽。
近现代部分五个专题：
1、莱布尼兹的逻辑思想
2、布尔的布尔逻辑
3、弗雷格的逻辑
4、罗素和怀特海的《数学原理》
5、现代逻辑的发展
考核方式
考试
参考书目
1、威廉涅尔：《逻辑学的发展》，张家龙译，商务印书馆1985年版
著作
4
Handbook of Philosophical Logic
Volume1—Volume 12
Kluwer Academic Publishers
著作
5
宋文淦：《符号逻辑基础》
北京师大出版社，1993年
著作
6
李娜：《数理逻辑的思想与方法》
南开大学出版社，
2006年
著作
7
周礼全主编：《逻辑—正确思维和有效交际的理论》
12、带等词的一阶语言
考核方式
考试
参考书目
1、H.-D.Ebbinghaus,J.Flum,W.Thomas,Mathematical Logic,2nded.Springer-Verlag, 1994.
2、S.G.Simpson,mathematical logic (Lecture Notes), , 2013.
华南师范大学学术型硕士研究生培养方案
院（系）名称
政治与行政学院
研究方向
学科专业
逻辑学
1
逻辑哲学
2
语言逻辑
学制
3年
3
哲学逻辑
4
认知逻辑
5
法律逻辑
培养目标：
培养具有较高哲学理论素养，较宽厚逻辑学功底的理论人才、学术人才以及实际工作领域人才。培养学生具有逻辑学领域内坚实的基础理论和系统的专业知识，具有比较开阔的观察与研究视野；以理性思维为目的，培养学生具有健全的人格和良好的身心素质；学生须至少熟练掌握一门外语；培养的学生要既能独立从事逻辑学、哲学、语言学等方面的教学与研究，也能胜任新闻出版、党政机关等实际工作部门的理论及行政管理工作。
3、J.Ketland,Propostional Logic and Predicate_Logic (Lecture Notes), 2008.
4、叶峰：《一阶逻辑与一阶理论》，中国社会科学出版社，1993年.
5、熊明：《古典逻辑》（自编讲义），2006。
《语言逻辑研究》课程简明教学大纲
课程名称
语言逻辑研究
36
2
赵艺
√
√
逻辑学经典著作选读
Logic classic reader
36
2
王健平
√
√
专业英语
Professional English
36
2
赵艺熊明
√
√
文献综述
1
√
学术报告
1
√
科研实践能力训练
2
√
学位论文
*“各学期教学安排”、“考查”和“考试”栏目里用“√”来表示。
逻辑学专业学术型研究生必读文献主要书目和期刊目录
3、马蒂尼奇：《语言哲学》，牟博等译.北京：商务印书馆，2005年。
《逻辑哲学研究》课程简明教学大纲
课程名称
逻辑哲学研究
课程编号
0102b0033
课程负责人
胡泽洪
教学成员
胡泽洪
学时
54
学分
3
课程类别
专业必修课
授课方式
课堂讲授、讨论
教学目的及要求
逻辑哲学是研究现代逻辑及其发展中的哲学问题的学科，通过本课程的学习，让学生较为全面地了解逻辑哲学的基本问题，理解逻辑与哲学的关系，并能就某一问题从事相关研究。
课程内容
1、逻辑学的基本概念及其历史发展
2、逻辑、语言与思维
3、命题逻辑
4、詞项逻辑
5、谓词逻辑
6、归纳逻辑
7、非形式谬误
考核方式
考试
参考书目
1、欧文。M。柯匹等：《逻辑要义》，胡泽洪等译，世界图书出版公司，2013
2、陈波：《逻辑学导论》，第2版，中国人民大学出版社，2006
3、胡泽洪、周祯祥、王健平主编：《逻辑学》，广东教育出版社，2007
课程编号
0102b0032
课程负责人
王健平
教学成员
王健平
学时
54
学分
3
课程类别
专业必修课
授课方式
课堂教学、讨论
教学目的及要求
使学生明确语言逻辑的研究对象、性质与内容，认识研究语言逻辑的理论意义和实践意义，掌握有关语言逻辑的主要知识，了解语言逻辑的研究动态与研究课题，学会独立思考并利用文献资料进行创新研究。
序号
文献名称
作者或出版社
文献类别
1
Introduction to Logic
I.M.Copi
C.Cohen
著作
2
An New Introduction to Modal Logic
G.E.Hughers
M.J.Cresswell
著作
3
Logic for Mathematicians
A.G.Hamilton
课程名称
哲学逻辑
课程编号
0102b0034
课程负责人
熊明
教学成员
熊明
学时
54
学分
3
课程类别
专业必修课
授课方式
课堂讲授、讨论
教学目的及要求
哲学逻辑包括的范围涵盖了广义模态逻辑和真理论等各个分支学科，本课程作为导论课程，主要内容是模态逻辑及其适当的扩展。通过本课程的学习，可以掌握和了解可能世界语义学分析可能与必然的基本思想和理论，熟悉各种模态系统。为学生在分析哲学、语言哲学学习和研究打下必要的基础。
课程内容
1、语言逻辑的研究对象与内容
2、语境问题研究
3、语言层次理论研究
4、语词与概念
5、语句与命题
6、歧义问题研究
7、预设问题研究
8、蕴涵问题研究
9、会话涵义研究
10、言语行为与言语意图研究
考核方式
考试
参考书目
1、周礼全：《逻辑——正确思维与有效交际的理论》，人民出版社出版，1994年。
2、奥尔伍德等：《语言学中的逻辑》，王维贤等译，北京大学出版社2009年。
54
3
胡泽洪
√
√
哲学逻辑
Philosophical logic
54
3
熊明
√
√
选
修
课
程
逻辑基础
Logical basis
36
2
胡泽洪
√
√
西方逻辑史
History of western logic
36
2
周祯祥等
√
√
语言哲学
Philosophy of language
36
2
王健平
√
√
逻辑与认知
Logic and cognitive
4
√
√
政治理论
74
3
√
√
学科基础课
哲学方法论
Philosophical Methodology
54
3
胡泽洪、于奇智等
√
√
专业必修课
一阶逻辑
The first-order logic
54
3
熊明
√
√
语言逻辑研究
The study of language logic
54
3
王健平
√
√
逻辑哲学研究
Logic philosophy research
培养的主要内容（方式、方法和要求）：
1、课程学习：较为深入、系统地学习逻辑学专业相关课程，并拓宽哲学专业的其他课程。
2、教学实践：在第三至第四学期，研究生在导师指导下参加本科生的教学或以其他方式参加教学实践活动。
3、科研训练：在导师指导下，通过参与导师的部分科研课题、学术报告、学术讲座等活动，训练和提高科研能力。
课程内容
1、命题模态逻辑的语言
2、可能世界语义与系统S5
3、可能世界语义与系统K
4、正规系统
5、模态语义图
6、严格蕴涵与Lewis系统
7、定域的量化模态逻辑
8、变域的量化模态逻辑
9、可靠性与完全性
考核方式
考试
参考书目
6、G. Huhes & M.J. Cresswell, A New Introduction to Modal Logic, Routledge，London and New York, 1996.
著作
19
陈晓平：《归纳逻辑与归纳悖论》
武汉大学出版社，
1994年
著作
20
邓生庆、任晓明：《归纳逻辑百年》
中央编译出版社，
2006
著作
21
蔡曙山：《言语行为和语用逻辑》
中国社会科学出版社，1998年
著作
22
邹崇理：《逻辑、语言和信息》
人民出版社，2002年
著作
《哲学方法论》课程简明教学大纲
课程名称
哲学方法论
著作
14
胡泽洪、张家龙等：《逻辑哲学研究》
广东教育出版社，
2013年
著作
15
苏珊.哈克：《逻辑哲学》
商务印书馆，
2003年
著作
16
《亚里士多德全集》
中国人民大学出版社，1990年
著作
17
罗.格勃尔等：《哲学逻辑》
中国人民大学出版社，2008
著作
18
周云之、刘培育：《先秦逻辑史》
中国社会科学出版社，1984年
《西方逻辑史》课程简明教学大纲
课程名称
西方逻辑史
课程编号
0102c0042
课程负责人
周祯祥
教学成员
周祯祥等
学时
36
学分
2
课程类别
选修课程
授课方式
课堂讲授、讨论
教学目的及要求
西方逻辑史是逻辑学研究的导引，引导逻辑学硕士生知晓逻辑学这一古老学科的发展轨迹和学科发展线索。本课程以古代、中世纪及近现代三个分期的主要逻辑学家的思想和著作为内容，研究生通过对逻辑史的理解，逐渐理清个人学科研究的方向，选择好本学科研究的专题，为硕士论文的撰写提供思路。
2、郑文辉：《欧美逻辑学说史》，中山大学出版社1994年版
3、张家龙：《演绎逻辑史》，科学出版社2001年版
4、维库文献：《history of logic》
《语言哲学》课程简明教学大纲
人民出版社，
1994年
著作
8
杜国平：《经典辑与非经典逻辑》
高等教育出版社，
2006年
著作
9
马蒂尼奇编：《语言哲学》
商务印书馆，
1998年
著作
10
周礼全：《模态逻辑引论》
上海人民出版社，
1986年
著作
11
张家龙：《数理逻辑发展史》
社会科学文献出版社，1993年
著作
13
陈波：《逻辑哲学研究》
中国人民大学出版社，2013年
(1)理解推理有效性和可满足性概念，能使用解析树对重言式进行判定。
(2)理解个体词、谓词和量词概念，能使用一阶语言对命题进行形式化。
(3)熟悉塔斯基语义，理解可满足性、真、有效性等的定义。
(4)熟悉解析树对有效性的判定。
(5)熟悉一阶演绎系统，其中的证明方法。
(6)理解一阶演绎系统的可靠性、完全性及其证明。
课程编号
0102c0041
课程负责人
胡泽洪
教学成员
胡泽洪
学时
36
学分
2
课程类别
选修课程
授课方式
课堂讲授、讨论
教学目的及要求
通过本课程的学习，让学生掌握逻辑学的基础知识，弄清楚逻辑学的来龙去脉、发展状况及与其他学科的相互关系，了解最常用、最重要的一些推理、论证形式，学会正确地进行推理和论证，学会批判性思维，培养理性精神。
4、论文写作：在第三学期初步确定论文选题，第四学期进行学位论文开题论证，经导师及指导组同意后，可进入论文写作阶段。
指导方式：
导师个人指导与指导组集体培养相结合。
学术型研究生教学计划
院（系）名称
政治与行政学院
学科专业
逻辑学
类别
课程名称
学时
学分
主讲教师
各学期教学安排
考查
考试
一
二
三
四
五
六
公共必修课
外国语
90
1、逻辑、哲学与逻辑哲学
2、逻辑的对象与范围
3、真与真理论
4、逻辑联结词
5、专名与通名理论
6、归纳与演绎
7、模态逻辑及其相关哲学问题研究
考核方式
考试
参考书目
1、苏珊。哈克：《逻辑哲学》，罗毅译，商务印书馆，2003年。
2、胡泽洪、张家龙等：《逻辑哲学研究》，广东教育出版社，2013年。
《哲学逻辑》课程简明教学大纲
课程内容
1、命题逻辑的语形与语义
2、解析树判定重言式
3、一阶语言（无等词）
4、一阶逻辑的Tarski语义（I）
5、一阶逻辑的Tarski语义（II）
6、解析树判定有效性
7、一阶演绎系统（I）
8、一阶演绎系统（II）
9、一阶演绎系统的可靠性
10、一阶演绎系统的完全性（I）
11、一阶演绎系统的完全性（II）
课程编号
0102a0005
课程负责人
胡泽洪
教学成员
胡泽洪、于奇智等
学时
36
学分
2
课程类别
学科基础课
授课方式
专题讲座
教学目的及要求
本课程为哲学方法论系列专题讲座，通过本课程的学习，让哲学博士生深入了解和掌握哲学各个相关专业领域的方法论，拓宽研究视野，优化思维方式，提升哲学水平。
课程内容
一、逻辑方法
二、认识方法
三、系统方法论
四、科学方法论
五、语言分析方法
六、文献学方法
七、解释学方法
考核方式
课程论文
参考书目
各位任课教师根据所讲专题开列相关参考文献。
《一阶逻辑》课程简明教学大纲
课程名称
一阶逻辑
课程编号
0102b0031
课程负责人
熊明
教学成员
熊明
学时
54
学分
3
课程类别
专业必修
授课方式
课堂讲授
教学目的及要求
一阶逻辑是数理逻辑最基础的课程，它主要运用数学的方法来分析数学推理，建立推理系统，并研究这些系统的逻辑性质。本课程的教学目的和要求如下：
7、J. Garson, Modal Logic for philosophers,Cambridge University Press, 2006.
8、周北海，《模态逻辑导论》，北京大学出版社，1996。
9、李小五，《模态逻辑》，中山大学出版社，2005。
《逻辑基础》课程简明教学大纲
课程名称
逻辑基础
课程内容
古代部分两个专题：
1、亚里士多德的逻辑
2、斯多葛学派的逻辑。
中世纪部分两个专题：
1、经院逻辑
2、现代逻辑的萌芽。
近现代部分五个专题：
1、莱布尼兹的逻辑思想
2、布尔的布尔逻辑
3、弗雷格的逻辑
4、罗素和怀特海的《数学原理》
5、现代逻辑的发展
考核方式
考试
参考书目
1、威廉涅尔：《逻辑学的发展》，张家龙译，商务印书馆1985年版
著作
4
Handbook of Philosophical Logic
Volume1—Volume 12
Kluwer Academic Publishers
著作
5
宋文淦：《符号逻辑基础》
北京师大出版社，1993年
著作
6
李娜：《数理逻辑的思想与方法》
南开大学出版社，
2006年
著作
7
周礼全主编：《逻辑—正确思维和有效交际的理论》
12、带等词的一阶语言
考核方式
考试
参考书目
1、H.-D.Ebbinghaus,J.Flum,W.Thomas,Mathematical Logic,2nded.Springer-Verlag, 1994.
2、S.G.Simpson,mathematical logic (Lecture Notes), , 2013.
华南师范大学学术型硕士研究生培养方案
院（系）名称
政治与行政学院
研究方向
学科专业
逻辑学
1
逻辑哲学
2
语言逻辑
学制
3年
3
哲学逻辑
4
认知逻辑
5
法律逻辑
培养目标：
培养具有较高哲学理论素养，较宽厚逻辑学功底的理论人才、学术人才以及实际工作领域人才。培养学生具有逻辑学领域内坚实的基础理论和系统的专业知识，具有比较开阔的观察与研究视野；以理性思维为目的，培养学生具有健全的人格和良好的身心素质；学生须至少熟练掌握一门外语；培养的学生要既能独立从事逻辑学、哲学、语言学等方面的教学与研究，也能胜任新闻出版、党政机关等实际工作部门的理论及行政管理工作。
3、J.Ketland,Propostional Logic and Predicate_Logic (Lecture Notes), 2008.
4、叶峰：《一阶逻辑与一阶理论》，中国社会科学出版社，1993年.
5、熊明：《古典逻辑》（自编讲义），2006。
《语言逻辑研究》课程简明教学大纲
课程名称
语言逻辑研究
36
2
赵艺
√
√
逻辑学经典著作选读
Logic classic reader
36
2
王健平
√
√
专业英语
Professional English
36
2
赵艺熊明
√
√
文献综述
1
√
学术报告
1
√
科研实践能力训练
2
√
学位论文
*“各学期教学安排”、“考查”和“考试”栏目里用“√”来表示。
逻辑学专业学术型研究生必读文献主要书目和期刊目录
3、马蒂尼奇：《语言哲学》，牟博等译.北京：商务印书馆，2005年。
《逻辑哲学研究》课程简明教学大纲
课程名称
逻辑哲学研究
课程编号
0102b0033
课程负责人
胡泽洪
教学成员
胡泽洪
学时
54
学分
3
课程类别
专业必修课
授课方式
课堂讲授、讨论
教学目的及要求
逻辑哲学是研究现代逻辑及其发展中的哲学问题的学科，通过本课程的学习，让学生较为全面地了解逻辑哲学的基本问题，理解逻辑与哲学的关系，并能就某一问题从事相关研究。
课程内容
1、逻辑学的基本概念及其历史发展
2、逻辑、语言与思维
3、命题逻辑
4、詞项逻辑
5、谓词逻辑
6、归纳逻辑
7、非形式谬误
考核方式
考试
参考书目
1、欧文。M。柯匹等：《逻辑要义》，胡泽洪等译，世界图书出版公司，2013
2、陈波：《逻辑学导论》，第2版，中国人民大学出版社，2006
3、胡泽洪、周祯祥、王健平主编：《逻辑学》，广东教育出版社，2007
课程编号
0102b0032
课程负责人
王健平
教学成员
王健平
学时
54
学分
3
课程类别
专业必修课
授课方式
课堂教学、讨论
教学目的及要求
使学生明确语言逻辑的研究对象、性质与内容，认识研究语言逻辑的理论意义和实践意义，掌握有关语言逻辑的主要知识，了解语言逻辑的研究动态与研究课题，学会独立思考并利用文献资料进行创新研究。
序号
文献名称
作者或出版社
文献类别
1
Introduction to Logic
I.M.Copi
C.Cohen
著作
2
An New Introduction to Modal Logic
G.E.Hughers
M.J.Cresswell
著作
3
Logic for Mathematicians
A.G.Hamilton
课程名称
哲学逻辑
课程编号
0102b0034
课程负责人
熊明
教学成员
熊明
学时
54
学分
3
课程类别
专业必修课
授课方式
课堂讲授、讨论
教学目的及要求
哲学逻辑包括的范围涵盖了广义模态逻辑和真理论等各个分支学科，本课程作为导论课程，主要内容是模态逻辑及其适当的扩展。通过本课程的学习，可以掌握和了解可能世界语义学分析可能与必然的基本思想和理论，熟悉各种模态系统。为学生在分析哲学、语言哲学学习和研究打下必要的基础。
课程内容
1、语言逻辑的研究对象与内容
2、语境问题研究
3、语言层次理论研究
4、语词与概念
5、语句与命题
6、歧义问题研究
7、预设问题研究
8、蕴涵问题研究
9、会话涵义研究
10、言语行为与言语意图研究
考核方式
考试
参考书目
1、周礼全：《逻辑——正确思维与有效交际的理论》，人民出版社出版，1994年。
2、奥尔伍德等：《语言学中的逻辑》，王维贤等译，北京大学出版社2009年。
54
3
胡泽洪
√
√
哲学逻辑
Philosophical logic
54
3
熊明
√
√
选
修
课
程
逻辑基础
Logical basis
36
2
胡泽洪
√
√
西方逻辑史
History of western logic
36
2
周祯祥等
√
√
语言哲学
Philosophy of language
36
2
王健平
√
√
逻辑与认知
Logic and cognitive
4
√
√
政治理论
74
3
√
√
学科基础课
哲学方法论
Philosophical Methodology
54
3
胡泽洪、于奇智等
√
√
专业必修课
一阶逻辑
The first-order logic
54
3
熊明
√
√
语言逻辑研究
The study of language logic
54
3
王健平
√
√
逻辑哲学研究
Logic philosophy research
培养的主要内容（方式、方法和要求）：
1、课程学习：较为深入、系统地学习逻辑学专业相关课程，并拓宽哲学专业的其他课程。
2、教学实践：在第三至第四学期，研究生在导师指导下参加本科生的教学或以其他方式参加教学实践活动。
3、科研训练：在导师指导下，通过参与导师的部分科研课题、学术报告、学术讲座等活动，训练和提高科研能力。
课程内容
1、命题模态逻辑的语言
2、可能世界语义与系统S5
3、可能世界语义与系统K
4、正规系统
5、模态语义图
6、严格蕴涵与Lewis系统
7、定域的量化模态逻辑
8、变域的量化模态逻辑
9、可靠性与完全性
考核方式
考试
参考书目
6、G. Huhes & M.J. Cresswell, A New Introduction to Modal Logic, Routledge，London and New York, 1996.
著作
19
陈晓平：《归纳逻辑与归纳悖论》
武汉大学出版社，
1994年
著作
20
邓生庆、任晓明：《归纳逻辑百年》
中央编译出版社，
2006
著作
21
蔡曙山：《言语行为和语用逻辑》
中国社会科学出版社，1998年
著作
22
邹崇理：《逻辑、语言和信息》
人民出版社，2002年
著作
《哲学方法论》课程简明教学大纲
课程名称
哲学方法论
著作
14
胡泽洪、张家龙等：《逻辑哲学研究》
广东教育出版社，
2013年
著作
15
苏珊.哈克：《逻辑哲学》
商务印书馆，
2003年
著作
16
《亚里士多德全集》
中国人民大学出版社，1990年
著作
17
罗.格勃尔等：《哲学逻辑》
中国人民大学出版社，2008
著作
18
周云之、刘培育：《先秦逻辑史》
中国社会科学出版社，1984年
《西方逻辑史》课程简明教学大纲
课程名称
西方逻辑史
课程编号
0102c0042
课程负责人
周祯祥
教学成员
周祯祥等
学时
36
学分
2
课程类别
选修课程
授课方式
课堂讲授、讨论
教学目的及要求
西方逻辑史是逻辑学研究的导引，引导逻辑学硕士生知晓逻辑学这一古老学科的发展轨迹和学科发展线索。本课程以古代、中世纪及近现代三个分期的主要逻辑学家的思想和著作为内容，研究生通过对逻辑史的理解，逐渐理清个人学科研究的方向，选择好本学科研究的专题，为硕士论文的撰写提供思路。
2、郑文辉：《欧美逻辑学说史》，中山大学出版社1994年版
3、张家龙：《演绎逻辑史》，科学出版社2001年版
4、维库文献：《history of logic》
《语言哲学》课程简明教学大纲
人民出版社，
1994年
著作
8
杜国平：《经典辑与非经典逻辑》
高等教育出版社，
2006年
著作
9
马蒂尼奇编：《语言哲学》
商务印书馆，
1998年
著作
10
周礼全：《模态逻辑引论》
上海人民出版社，
1986年
著作
11
张家龙：《数理逻辑发展史》
社会科学文献出版社，1993年
著作
13
陈波：《逻辑哲学研究》
中国人民大学出版社，2013年
(1)理解推理有效性和可满足性概念，能使用解析树对重言式进行判定。
(2)理解个体词、谓词和量词概念，能使用一阶语言对命题进行形式化。
(3)熟悉塔斯基语义，理解可满足性、真、有效性等的定义。
(4)熟悉解析树对有效性的判定。
(5)熟悉一阶演绎系统，其中的证明方法。
(6)理解一阶演绎系统的可靠性、完全性及其证明。
课程编号
0102c0041
课程负责人
胡泽洪
教学成员
胡泽洪
学时
36
学分
2
课程类别
选修课程
授课方式
课堂讲授、讨论
教学目的及要求
通过本课程的学习，让学生掌握逻辑学的基础知识，弄清楚逻辑学的来龙去脉、发展状况及与其他学科的相互关系，了解最常用、最重要的一些推理、论证形式，学会正确地进行推理和论证，学会批判性思维，培养理性精神。
4、论文写作：在第三学期初步确定论文选题，第四学期进行学位论文开题论证，经导师及指导组同意后，可进入论文写作阶段。
指导方式：
导师个人指导与指导组集体培养相结合。
学术型研究生教学计划
院（系）名称
政治与行政学院
学科专业
逻辑学
类别
课程名称
学时
学分
主讲教师
各学期教学安排
考查
考试
一
二
三
四
五
六
公共必修课
外国语
90