普通逻辑学修订第三版教学大纲

普通逻辑学修订第三版教学大纲课程信息课程名称：普通逻辑学课程代码：1001621004学分：3先修课程：无授课对象：理工科大学生课程介绍普通逻辑学是当前哲学基础课程中的必修课程之一，是培养学生逻辑思维和语言表达能力的重要专业课。本课程的学习对于提高学生的思考水平、加强他们的批判性思维和逻辑推理能力，具有重要的意义。本课程主要讲授了以下内容：逻辑学概述命题逻辑谓词逻辑形式和非形式逻辑推理和证明认识与实在逻辑学在其他学科中的应用教学目标通过本课程的学习，学生将了解以下知识和能力：了解逻辑学的基本概念及其发展历史，理解逻辑学在其他学科中的重要性和应用掌握命题逻辑的基本概念和符号，能够正确使用命题逻辑进行简单的推理和证明掌握谓词逻辑的基本概念和符号，能够正确使用谓词逻辑进行简单的推理和证明掌握逻辑学的基本方法和思维技巧，能够应用逻辑学的方法进行批判性思考培养学生的归纳、演绎和证明能力，提高其语言表达能力和文献阅读能力教学内容1.逻辑学概述1.1逻辑学的起源和发展古希腊逻辑学中世纪逻辑学现代逻辑学1.2逻辑学的基本概念真值、命题、谓词、量词、关系合式公式、矛盾公式、演绎关系和语义关系1.3非形式逻辑与形式逻辑非形式逻辑：自然语言中的逻辑形式逻辑：用符号表示的逻辑，包括命题逻辑和谓词逻辑1.4逻辑学在其他学科中的应用数学和自然科学中的逻辑语言学、计算机科学和哲学中的逻辑2.命题逻辑2.1命题逻辑的基本概念命题符号和真值表连接词和条件语句命题推理2.2命题逻辑的应用命题逻辑在数学、科学和哲学中的应用3.谓词逻辑3.1谓词逻辑的基本概念谓词符号和量词符号表示语句的真值和量化范围谓词公式和谓词推理3.2谓词逻辑的应用谓词逻辑在自然语言理解、程序设计和知识表示中的应用4.推理和证明4.1推理的基本形式归纳、演绎和类比推理等价推理和蕴涵推理4.2证明的基本方法直接证明、间接证明和反证法充分必要条件和归谬法5.认识与实在5.1认识的基本问题知觉、概念、判断和推理经验和理性，真理和主观性5.2实在的基本问题物质和形式实在和现象，客观性和主观性6.逻辑学在其他学科中的应用6.1逻辑学在数学中的应用集合论、数理逻辑和代数逻辑6.2逻辑学在计算机科学中的应用程序设计、人工智能和数据库系统6.3逻辑学在哲学中的应用形而上学、认识论和伦理学教学方法本课程采用讲授、案例分析和课堂讨论等多种教学方法，其中以讲授为主要教学方法。为了使学生在学习本课程过程中能够加深对逻辑学的理解和掌握其基本方法和思维技巧，课堂上将提供丰富的案例进行讲解和分析，并鼓励学生积极参与课堂讨论和思考，培养其批判性思维和逻辑推理能力。对于本课程学习过程中遇到的问题和疑问，将通过短信、邮件等方式提供及时的帮助和支持。评估考核本课程评估采用多种方式，其中包括课堂参与、作业、考察和论文写作等，课堂参与和作业占总成绩的30%，考察和论文写作占总成绩的70%。具体评估方式如下：课堂参与：包括课堂出勤、发言和参与讨论，占总成绩的10%作业：完成课堂练习和作业，占总成绩的20%考察：考试形式为闭卷笔试，占总成绩的40%论文：要求学生撰写一份论文，占总成绩的30%参考书目张维迎.逻辑学.北京：高等教育出版社，2010.刘绪才.当代逻辑学导论.北京：高等教育出版社，2015.杨立民.逻辑学教程.北京：高等教育出版社，2007.童国桢.逻辑学基础.北京：人民教育