《逻辑学》教学大纲

教学大纲课程的教学目的逻辑学的教学目的是使学生初步掌握逻辑学的基本概念、思维规律和一般推理方法，通过训练具备基本的逻辑思维能力，培养和提高思维素质，为学习各专业课程奠定良好的基础；了解逻辑学的学科结构和简要发展史，为逻辑学本身的学习和提高奠定基础。教学任务通过本课程的学习，要求学生掌握逻辑学的基础知识、基础理论，提高学生的思维能力。加强逻辑思维的训练，提高学生分析问题与解决问题的能力，为学习其他知识打下坚实的基础。（1）在教学内容方面，引入多学科交叉融合的视角，将各个学科领域涉及的逻辑思维问题纳入教学素材范围。（2）围绕素质教育开展教学方法改革，注意把逻辑教学从技术层面上升到方法论层面。注重培养学生运用逻辑方法的能力，着力提升学生的批判思维能力。（3）在授课方式上，注重多媒体技术的运用。我们鼓励制作精美的幻灯片，结合实际生动的推理实例，引导学生发现学习和生活中的逻辑推理形式，使课堂教学生动有趣。（4）在教学组织形式上，将课堂教学、课外小组协作研究、个别指导有机结合。着力培养学生的自主学习能力，鼓励学生在学习过程中充分发挥批判性思维，增强学生的创新能力。教学内容的结构、模块或单元教学目标与任务由于逻辑学自身发展的特点，结合国内逻辑学现状，课程体系设计兼顾传统逻辑与现代逻辑，大致有以下几个部分：第一讲绪论教学目的：了解普通逻辑的研究对象，掌握思维的逻辑形式的构成。教学过程设计教学过程课时教学内容教学方法第1节逻辑学的对象1基本内容：逻辑学的一些基本概念、思维的内容与形式，逻辑学的对象与性质、学习逻辑学的作用，逻辑学的研究方法以及学习方法，逻辑学的发展简史；重难点：思维的内容与形式，有效(形式正确)的推理，形式化、公理化。课堂教学信息化教学启发式讲授讲授法案例引导第2节逻辑学的性质及作用、逻辑学的发展1第3节逻辑学研究与学习方法1第二讲传统词项逻辑教学目的：熟练掌握概念、语词和词项的联系与区别，明确词项的种类，词项的内涵和外延及词项外延间的关系、确定它的意义；熟练掌握直言命题的定义、结构、种类，直言命题主、谓项的周延性问题，直言命题间的对当关系以及对当关系的推理，直言命题的变形推理并熟练使用对当关系判断命题真假；要求学生熟练掌握三段论的定义、格和式，三段论的基本规则及有效形式，学会判断三段论的格与式，了解三段论规则及应用。教学过程设计教学过程课时教学内容教学方法第1节传统词项逻辑概述1基本内容：词项、词项的分类、词项外延间的关系、限制和概括、定义、划分；Ａ、Ｅ、Ｉ、Ｏ四种命题的定义、周延性及其对当关系推理、变形推理；三段论的结构、格与式、三段论的基本规则及导出规则；重难点：直言命题的周延性及其推理，判定三段论有效性的规则。课堂教学信息化教学启发式讲授讲授法案例引导第2节词项1第3节直言命题1第4节直言命题的直接推理1第5节三段论3第三讲命题逻辑教学目的：正确理解命题、判断和语句之间的联系和区别，掌握复合命题、联言命题、选言命题、假言命题、负命题等一般复合命题的结构与原理及其推理规则；熟练掌握命题形式和真值表方法，能够独立完成命题逻辑的形式化和证明（真值表和自然演绎两种方法）；理解和掌握命题逻辑的自然演绎系统NP。通过运用形式推演的方法（即“语法”的方法），为我们日常推理中的有效推理形式构造形式证明。教学过程设计教学过程课时教学内容教学方法第1节命题逻辑概述0.5基本内容：理解判断、语句与命题之间的关系，掌握联言命题、选言命题、假言命题、负命题等一般复合命题的结构与原理；掌握一般复合命题的真值形式，掌握真值表方法、归谬赋值法的判定方式与方法；掌握命题逻辑的自然演绎系统NP，掌握一般命题推理的实际推理运用。课堂教学信息化教学启发式讲授讲授法案例引导第2节复合命题及其推理、总结命题联结词及其推理规则2.5第3节命题形式和真值表方法3第4节命题逻辑的自然演绎系统NP3

第四讲谓词逻辑教学目的：掌握命题逻辑和谓词逻辑的区别与联系，理解并掌握自然推理系统QNP，运用谓词逻辑的推导规则进行形式推演；理解约束变项、自由变项和命题函项这些概念；初步掌握谓词逻辑的符号化方法；能够独立完成谓词逻辑的符号化和证明（真值表和自然演绎两种方法），理解并掌握什么是一阶量化演绎系统Qm及Qm系统的规则、Qm形式证明、Qm系统的可靠性和完全性；教学过程设计教学过程课时教学内容教学方法第1节命题的谓词形式0.5基本内容：谓词逻辑、个体词、谓词、量词，一阶语言的语义解释，谓词逻辑的推理规则，自然推理系统QNP；量化命题的真假问题；建立量化推理的形式证明。重难点：语义解释、语法与语义的关系，运用谓词逻辑的推导规则进行形式推演；谓词逻辑推理的规则；Qm系统的量化规则、形式证明、可靠性和完全性课堂教学信息化教学启发式讲授讲授法案例引导第2节命题形式化的一般方法0.5第3节谓词逻辑公式1第4节简单命题的逻辑结构1第5节谓词逻辑推理的规则2第6节一阶量化演绎系统Qm2第五讲归纳逻辑教学目的：了解归纳逻辑的定义，理解归纳与演绎的关系；熟练掌握“穆勒五法”，了解传统归纳逻辑与现代归纳逻辑的区别；教学过程设计教学过程课时教学内容教学方法第1节归纳逻辑概述0.5基本内容：归纳逻辑的定义、性质和作用，简单枚举归纳推理、类比推理，探求因果联系的五种方法，现代概率归纳推理和统计归纳推理；重难点：探求因果联系五种方法的公式表示及相关联系，现代概率归纳推理和统计归纳推理。课堂教学信息化教学启发式讲授讲授法案例引导第2节传统归纳逻辑0.5第3节现代归纳逻辑1第六讲科学逻辑、论辩与辩谬逻辑教学目的：了解假说的形成、特征和检验；充分理解论证的种类和反驳的方法；了解论辩、诡辩与谬误的辨析；教学过程设计教学过程课时教学内容教学方法第1节科学逻辑概述、科学解释与科学预测0.5基本内容：掌握假说的实质和方法，论辨的三种方法、论辨的四条基本规则，论证的分类、反证法，反驳的种类、归谬法，辩护的常用方法，论辩、诡辩、谬误与辩谬的定义与区别，各种类型的谬误，破斥诡辩的方法；重难点：反证法与归谬法的联系与区别，常见“推不出”的逻辑错误，区别各种类型的谬误,对各种诡辩进行正确的、有力的破斥。课堂教学信息化教学启发式讲授讲授法案例引导第2节科学假说0.5第3节论辩逻辑1.5第4节辩谬逻辑1.5第七讲逻辑思维的基本规则教学目的：了解逻辑思维基本规律的性质，熟练掌握同一律、矛盾律和排中律的基本内容；教学过程设计教学过程课时教学内容教学方法第1节逻辑思维的基本规则概述与同一律0.5基本内容：理解同一律的内涵及核心作用、掌握同一律的要求与违反同一律的错误；理解矛盾律的内涵、掌握矛盾律的要求与违反矛盾律的错误；理解排中律的内涵、掌握排中律的要求与违反排中律的错误；掌握矛盾律与排中律的区别。课堂教学信息化教学启发式讲授讲授法案例引导第2节矛盾律0.5第3节排中律1教学活动以及教学方法上的基本要求等（1）探究式教学。为了充分调动学生的积极主动性，我们采用探究式教学，通过课堂引导，让学生自己通过探究、小组讨论从而达到自己关于逻辑推理的认识。比如在形式化的教学过程中，我们让学生自己讨论并给出推理的形式，并且讨论这些推理的有效性，让学生真正理解推理过程的本质。（2）实践教学。为了让学生真正运用所学到的逻辑理论，我们设定论辩题目，在课堂上组织学生进行论辩比赛。论辩过程是综合运用逻辑推理的过程，各种逻辑推理都能够得到展现。在这个过程中，主要引导学生自觉运用逻辑理论，精心设计论证，从而提高逻辑论辩能力。（3）案例小组教学。以小组为单位，组织学生寻找科学研究和日常生活中运用逻辑推理方式的案例，并且展示案例分析。在小组之间展开相互评价，并且由教师展开点评，取得了良好的教学效果。（4）模拟教学。为了让学生学会运用逻辑推理规则进行推理，掌握命题逻辑自然演绎系统和谓词逻辑自然演绎系统，我们采用模拟教学。展示如何从形式化的结果开始，运用逻辑推理规则进行证明，展示各种证明技巧，让学生模拟。通过现场模拟教学，使学生会用逻辑推理规则对实际的推理案例展开分析，提高自觉运用逻辑推理的能力。本课程积极参与现代教育技术应用与教学改革。目前，本课程授课都在先进的多媒体教室进行。在教