南京大学逻辑学考研参考书目
逻辑与证明(3)-南京大学计算机科学与技术系
再一例
用谓词逻辑，将下列推理形式化，并对正 确的推理给出推理过程，要指明所假设命 题或谓词的含义
老钱不该来！
再一例
如果税收下降，收入一定上升。现在我的 收入上升了，所以，一定是税收下降了！ 定义命题P：税收下降；命题Q：收入上升 前提：
P Q；Q
结论：
P
?
推理过程的不正确， 不能保证任何结果的正确性
推理过程:
推理过程正确性保障
推理过程正确性的保障需要 数学(具体而言是数理逻辑)的支持！ 数理逻辑基础包括： 命题逻辑和谓词逻辑
蕴涵重言式与导出的推理规则
附加律 化简律
假言推理
取拒式 析取三段论
假言三段论
等价三段论 构造性二难
破坏性二难
1. A ( A B) 2. ( A B) A 3. (( A B) A) B 4. (( A B) B) A 5. (( A B) B) A 6. (( A B) ( B C )) ( A C ) 7. (( A B) ( B C )) ( A C ) 8. (( A B) (C D) ( A C )) ( B D) (( A B) (A B)) B 9. (( A B) (C D) (B D)) (A C )
推理过程
从前提A1, A2, …, Ak为真出发，推出结论B为真的推 理过程是一个表达式序列，该序列最后一个表达 式应是要证明的结论，而其它任一表达式满足如 下的条件,：
它可以是任意一个重言式； 它可以是{A1, A2, …, Ak}中的任何一个表达式； 可以是序列中前面的任一表达式通过应用“替换规则 ”得到的表达式； 可以是对序列中前面任意一个或若干个表达式应用推 理规则得到的新表达式
南大研究生考纲
南大研究生考纲
南大研究生考纲，包括以下内容：
1. 考试科目：根据不同专业设置不同考试科目，通常包括基础
课程、专业课程和综合素质考核。
2. 考试形式：采用笔试、面试或实验等形式进行考试，具体考
试形式根据不同专业的要求而定。
3. 考试内容：基础课程包括数学、英语、计算机等；专业课程
则根据所报专业而定，包括相关学科的理论和实践知识；综合素质考核包括综合素质测试和面试等，主要考察考生的综合素质和学术能力。
4. 考试难度：南大研究生考试难度较大，需要考生具备扎实的
学科基础和较高的学术水平，同时要有较强的综合素质和创新能力。
5. 考试时间和地点：具体考试时间和地点根据招生单位的安排
而定，通常在每年的春季和秋季进行。
6. 考试报名条件：拥有本科学位或以上学历，具备拟报考专业
的基础知识和技能，同时满足招生单位的其他要求。
7. 考试报名方式：通常采用在线报名方式，具体流程和要求可
参考招生单位的招生简章和网站公告等。
8. 考试后的评价标准：根据考试成绩和面试表现等综合评价考
生的学术水平、综合素质和创新能力，最终确定录取名单。
- 1 -。
逻辑学参考书目-精品课程-华东政法大学
逻辑学参考书目1、金岳霖：《逻辑》，北京：三联出版社，1962；商务印书馆，1937。
2、金岳霖主编：《形式逻辑》，北京：人民出版社，1979。
3、诸葛殷同等：《形式逻辑原理》，北京：人民出版社，1982。
4、苏天辅：《形式逻辑》，北京：中央广播电视大学出版社，1983年。
5、[美]苏佩斯著，宋文淦等译：《逻辑导论》，北京：中国社会科学出版社，1984。
6、[英]涅尔著，张家龙等译：《逻辑学的发展》，北京：商务印书馆，1985。
7、王雨田著：《现代逻辑科学导引》，北京：中国人民大学出版社，1987。
8、吴家国主编：《〈普通逻辑〉教学参考书》，上海：上海人民出版社，1988。
9、[美]科庇著，宋文坚等译：《符号逻辑》，北京：北京大学出版社，1988。
10、Douglas Walton. Informal Logic: A Handbook of Critical Argumentation, Cambridge: Cambridge university Press, 1989.11苏越等著：《讲演辩论中的逻辑诀窍》，北京：北京师范大学出版社，1990。
12、宋文坚著：《西方形式逻辑史》，北京：中国社会科学出版社，1991。
13、刘壮虎著：《逻辑演算》，北京：中国社会科学出版，1993。
14、宋文淦著：《符号逻辑基础》，北京：北京师范大学出版社，1993。
15、普通逻辑编写组编：《普通逻辑》，上海：上海人民出版社，1993。
16、周礼全主编：《逻辑：正确思维和有效交际的理论》，北京：人民出版社，1994。
17、王雨田、吴炳荣著：《归纳逻辑与人工智能》，上海：中国纺织大学出版社，1995。
18、桂起权等著：《机遇与冒险的逻辑：归纳逻辑与科学决策》，东营：石油大学出版社，1996。
19、[美]奥斯丁•弗里莱著、李建强等译：《辩论与论辩》，保定：河北大学出版社，1996。
20、蔡曙山著：《言语行为和语用逻辑》，北京：中国社会科学出版社，1998。
南京大学考研专业目录及考试科目
南京大学考研专业目录及考试科目
2018年，南京大学将对考研生进行考研专业目录及考试科目等细节的检查和确认，以确保每位考生都能找到合适的考研专业和考试科目。
南京大学拥有15个不同的专业方向，具体如下：文学、历史学、哲学、法学、教育学、政治学、公共管理、心理学、社会学、新闻传播学、经济学、管理学、理学、工学和农学。
此外，南京大学还设置了7个不同的考试科目，包括政治、历史、地理、法律、数学、英语和实用文体。
在报考资格中，要求考生具备高中或以上的学历，且有一定的掌握和使用英语的能力。
考试之前，南京大学还将为考生提供复习课程，以帮助考生更好地掌握考试科目的基本知识并能更好地备考。
这次考研是一次重要的考验，参加考研的考生应该努力学习，把握时间，多看书，多探讨，尽可能多地了解考研科目，以便考试时落落有力，尽可能取得更好的成绩。
此外，考生还应注意合理安排自己的复习时间，并坚持自学，以便能更好地备考考研，取得更好的成绩。
最后，南京大学考研不仅考验考生的学术水平，更考验考生的耐心、毅力、勤奋和坚持的能力。
只有全面完善的准备，才会有较高的考研成绩。
2024年南京大学逻辑学专业考研研究方向,招生人数,参考书目,复试线,备考经验指导
本文将由新祥旭考研简老师对2024年南京大学哲学系逻辑学专业考研进行解析。
主要有以下板块：南京大学哲学系的介绍，招生人数，研究方向，考试科目，参考书目，考研经验等几大方面。
一、院系介绍南京大学哲学系的前身是中央大学哲学系，创立于1920年。
1952年院系调整时撤销系建制，1960年恢复设立政治系哲学专业，1977年恢复哲学系，2000年在哲学系编制内设立宗教学系。
本系另一源头为民国时期另一哲学重镇——金陵大学哲学系。
在数十年历史中，刘伯明、汤用彤、宗白华、方东美、唐君毅、牟宗三、程石泉、倪青元、殷海光、熊伟、陈康、苗力田、潘菽、孙叔平、孙伯鍨等一批哲学大师和著名学者曾先后在本系任教。
1978年，以本系教师胡福明为主要作者的《实践是检验真理的唯一标准》一文，在当时的思想解放运动中产生了历史性重大影响，并直接成为改革开放的理论先声。
在数代学者的努力下，本系形成了既注重学科基础研究、又关注现实社会生活的优良传统，迄今已发展成为人才培养层次完备，师资力量雄厚，学科齐全，研究成就显著，在国内外有重要影响的哲学教学与研究基地。
本系是我国首批获得博士学位授予权的哲学系之一。
2002年成为哲学一级学科博士学位授权单位，下设马克思主义哲学、中国哲学、外国哲学、逻辑学、伦理学、宗教学、科学技术哲学、东方哲学与宗教(自设)等八个博士点和相应硕士点，其中马克思主义哲学为全国重点学科，宗教学为江苏省重点学科，并设有涵盖上列所有学科的哲学博士后流动站。
哲学一级学科于2008年被遴选为江苏省一级学科重点学科，2009年被遴选为国家一级重点学科培育建设点。
本系还主持南京大学马克思主义理论一级学科博士点与硕士点的建设工作。
各学科均可接受访问学者、进修教师和海外留学生。
二、专业介绍招生年份：2023年招生院系：哲学系招生专业：逻辑学研究方向：01 (全日制)现代逻辑与逻辑哲学02 (全日制)科学逻辑与科学方法论03 (全日制)辩证逻辑与创新思维04 (全日制)中外逻辑思想史05 (全日制)语言逻辑06 (全日制)现代逻辑在计算机科学与人工智能中的应用拟招生人数：5考试科目：①101 思想政治理论②201 英语（一）或 203 日语或 264 二外德语或 265 二外法语③673 哲学综合④914 形式逻辑基础三、参考书目673哲学综合马克思主义理论研究和建设工程重点教材《马克思主义哲学（第二版）》，人民出版社、高等教育出版社2020年版；《哲学概论》，林德宏主编，南京大学出版社1997年版。
考研逻辑学专业介绍
考研逻辑学专业介绍一、专业解析：(一)学科简介逻辑学是哲学的一个二级学科。
逻辑学是研讨朴实理念的科学，所谓朴实理念即是思维的最抽象的要素所构成的理念。
由亚里士多德创建。
在这有些开始论逻辑学的概念里，所包括关于逻辑学以及其他概念的规则，也相同适用于哲学上很多基本概念。
这些规则都是因为并关于整体有了综观而据以创建出来的。
咱们可以说逻辑学是研讨思维、思维的规则和规则的科学。
但是只有思维本身才构成使得理念变成逻辑的理念的遍及规则性或要素。
理念并不是方式的思维，而是思维的特有规则和规则本身展开而成的整体，这些规则和规则，乃是思维本身给予的，决不是现已存在于外面的现成的事物。
(二)培养目标应把握现代逻辑的基本理论与办法，具备使用外文文献进行专业研讨的才能，了解本专业的学术研讨动态，具有独立展开逻辑学教育和研讨工作的才能，学位论文要有必定的研讨深度、学术水准与新意。
(三)研讨方向01现代逻辑与逻辑哲学02科学逻辑与科学办法论03辩证逻辑与创新思维04中外逻辑思维史05思维剖析技能06言语逻辑07现代逻辑在计算机科学与人工智能中的使用(各个招生单位研讨方向略有不同，以上以南京大学为例)(四)考试门类①101政治②201英语一或203日语③611哲学归纳④914方式逻辑(含符号逻辑基础)(各个招生单位考试门类略有不同，以上以南京大学为例)(五)附近学科与此专业有关的学科有：马克思主义哲学，我国哲学，外国哲学，伦理学，美学，宗教育，科学技能哲学，科学技能史，法学理论，我国近现代史，马克思主义展开史，马克思主义基本原理，马克思主义我国化研讨，思维政治教育，课程与教育论，人类学，社会学，文艺学。
南京大学2011年研究生招生专业目录及书目
南京大学2011年研究生招生专业目录及书目
数学系（电话83593117）
专业代码 025200 专业名称 应用统计硕士 招生人数 30
研究方向 01应用统计硕士
考试科目 ①101政治②204英语二③303数学三④432统计学
参考书目 参见相关教指委全国考试大纲
备 注 专业学位，学制3年。不接受单独考试。
考试科目 ①101政治②201英语一③627数学分析④801高等代数 复试：（1）笔试（实变函数、泛函分析、常微分方程、近世代数、点集拓扑、计算方法、运筹学、概率论，考生在以上八门科目中任选三门）；（2）口试（专业综合）
参考书目 《数学分析教程》许绍溥、姜东平、宋国柱、任福贤著，南京大学出版社；《高等代数》（第三版）北京大学数学系几何与代数教研室前代数小组编，王萼芳、石生明修订，高等教育出版社。 复试参考书：《实变函数与泛函分析概要（第一册）》（第二版）郑维行、王声望编，高等教育出版社；《泛函分析讲义（上册）》张恭庆、林源渠编，北京大学出版社；《常微分方程教程》丁同仁、李承治编，高等教育出版社；《代数学引论》聂灵沼、丁石孙编著，高等教育出版社；《点集拓扑讲义》（第三版）熊金城编著，高等教育出版社；《数值计算方法（上、下册）》林成森编著，科学出版社；《运筹学》孙麟平编著，科学出版社；《概率论基础》李贤平著，高等教育出版社。
逻辑学
Nanjing University
• 不相容析取：析取支之间相 不相容析取： 互排斥， 互排斥，即如果其中的一个 为真， 为真，则其余的不可能为真 。 • （1）明天要么下雨，要么 明天要么下雨， 晴天。 晴天。 • （2）这幅画或者是宋代的 或者是唐代的。 ，或者是唐代的。
不相容析取命题
p T T F F q T F T F p？q F T T F
Nanjing University
命题逻辑（符号逻辑） 命题逻辑（符号逻辑）
不同形式的陈述（命题）及其推理 不同形式的陈述（命题） 推理有效性的判定（真值表、归谬赋值法） 推理有效性的判定（真值表、归谬赋值法） 形式证明
Nanjing University
本讲主要内容
1.否定、合取、析取联结词的逻辑涵义 2.利用相关符号写出命题形式 3.判定真值形式的真值 4.合取、析取命题的推理
Nanjing University
同一命题可在不同语句中被断定。 同一命题可在不同语句中被断定。 • 天在下雨。 天在下雨。 中文） （中文） • It is raining. 英语） （英语） • Esta lloviendo. （西班牙语 ） • Il pleut. （法语 ） • Es regent. 德语） （德语） • • • • • 红楼梦》 《红楼梦》的作者是曹雪芹 曹雪芹是《红楼梦》 曹雪芹是《红楼梦》的作者 普希金哂笑的少女 少女： 少女：我不能和小孩子一起跳舞 普希金：对不起，亲爱的小姐， 普希金：对不起，亲爱的小姐， 我不知道你正怀着孩子
语句与命题并非一一对应
• 同一语句可以表达不同的命题 • 美国最大的州曾经是一个独立的 共和国。 共和国。 • 这个语句在二十世纪上半叶说出 ，就是做了关于德克萨斯州的一 个真命题； 个真命题；而在现在说出就做了 关于阿拉斯加州的一个假命题。 关于阿拉斯加州的一个假命题。 • 显然，时间语境的变化可以使完 显然，时间语境的变化 语境的变化可以使完 全相同的语句断定非常不同的命 题。 • 道不变天不变。 道不变天不变。 • 父在母先亡。 父在母先亡。 • “夔一足” 夔一足”
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
考试科目：
①101 思想政治理论②201 英语一或 203 日语③635 哲学综合A 或 637 哲学综合C④914 形式逻辑基础
参考书目：
科目③哲学综合A：
《马克思主义哲学》（马克思主义理论研究和建设工程重点教材），《马克思主义哲学》编写组编，人民出版社、高等教育出版社2009年版；
《马克思主义哲学前沿问题导引》，张亮主编，北京师范大学出版社2015年版；
《西方哲学史新编》苗力田等主编，人民出版社，或《西方哲学史》张志伟主编，中国人民大学出版社，或《欧洲哲学通史》冒从虎等著，南开大学出版社。
科目③哲学综合C：《马克思主义哲学》（马克思主义理论研究和建设工程重点教材），
《马克思主义哲学》编写组编，人民出版社、高等教育出版社2009年版；
《马克思主义哲学前沿问题导引》，张亮主编，北京师范大学出版社2015年版；
《自然辩证法概论》高教出版社 2004.5；林德宏，《科技哲学十五讲》北京大学出版社2004.10。
科目④：《形式逻辑纲要》郁慕镛等主编，江苏科技出版社；
《逻辑学导论》（美）柯匹等著，中国人民大学出版社。
参考资料：
《南京大学635哲学综合A原理考研专业课复习全书》聚英南大（含真题与答案解析）
《2017南京大学635哲学综合A原理考研专业课历年真题与答案解析》。