《形式逻辑》教学大纲格式

《形式逻辑》课程教学大纲课程性质：公共基础课程新大类基础课程授课对象：哲学专业开课学期：2019年春季学期总学时：54学时学分：3学分讲课学时：45学时指定教材：《逻辑学》，马工程教材，自编资料参考书目1.王宪均，数理逻辑导论，北京大学出版社，19822.PeterSmith,Introductiontoformallogic,CambridgeUniversityPress,20033.徐明，符号逻辑讲义，武汉大学出版社2008教学目的：作为导论性质的课程，本课程力图实现如下目标：1、使学生了解当代形式逻辑所关注的基本问题（主要是论证的有效性问题），并了解研究这些问题的基本方法（语义的方法和形式系统的方法）；2、使学生掌握逻辑的方法，并以此方法能初步分析部分自然语言的逻辑形式；3、使学生熟练掌握命题逻辑和谓词逻辑的语法、语义、相关的形式系统（特别是自然推演）及其基本的性质；4、使学生了解三段论的推理及其系统。上述目标的实现一方面能使学生培养严谨的思维习惯，为进一步学习哲学奠定一定的基础，另一方面能引领对逻辑感兴趣的学生走入逻辑学学科的大门。第一章导论课时：1周，共3课时教学内容第一节逻辑学研究的对象一、论说的大概界定及其评价逻辑学主要是对论说可信度评判的系统研究。因此，在这一节里面，我将主要介绍论说的大致上的界定，之所以是大致上的，是因为逻辑学中并没有对论说有一个严格的定义。教学的主要目的是引导学生对论说有一个直觉上的感觉，并列举日常中常见的一些论说，然后对这些论说进行一个大致的分类，进而想同学们阐明，本门课只关注其中的演绎论说。进而告知学生，本门课是对演绎逻辑的研究，而并不研究归纳逻辑或者其他形式的逻辑。有了对论说的介绍之后，接下来是要介绍如何评价论说，进而引出逻辑学的主要研究对象：对论说的可信度的评判。在这里，我们给出了演绎逻辑对论说的评价标准：有效性。课程将从语法和语义两方面阐述有效性的概念，以此让学生了解本门课及其逻辑学大致的研究方法。第二节两种关于有效性的直觉从日常生活中的例子出发，向学生阐述语义有效性所刻画的直觉，同时介绍与语义有效性想关联的可满足性的概念和语义一致性的概念，引导学生对演绎逻辑的基本概念有一个基本的、粗浅的认识。从以往所学的数学论证出发，向学生介绍语法有效性的概念，并借此想学生介绍逻辑学中语法和语义的区别。本节还将从这两种关于有效性的直觉出发，向学生阐述逻辑学在何种意义上是与内容无关的。另外，本节还将给出几种论证有效性的基本方法，这基本方法对学生来说并不陌生，但是却能帮助学生进一步理解两种有效性的概念。第三节本门课研究研究什么、不研究什么在本节中，我将重点向学生讲述本门课不研究的内容，以及为什么不研究这些内容的理由。我将引导学生暂时搁置一些哲学的讨论，例如，暂时不讨论逻辑学是什么，真理是什么之类的问题；其次，我将阐述作为一门学科的逻辑学与社会上流通的逻辑学之间的区别，例如，把作为一门学科的逻辑学与对思维的训练而进行的通俗逻辑学教育区分开来；再次，我将阐述各种XX逻辑学是什么意思，例如，我将告诉学生，“政治逻辑”是什么？它与我们所学的逻辑学有什么区别。在本节，我还将向学生介绍一点逻辑学的用途。思考题：（五号黑体）1、请学生思考为何寻找反例能证明推理或者论证的非有效性；2、请学生思考是否所有的非有效推理模式的特例都是非有效的推理3、请学生思考反例方法的局限性

第二章命题逻辑（一）课时：2周，共6课时教学内容第一节汉语中的命题联接词和真值函数联接词本节我将向学生介绍什么是语句联接词，并且通过例子向学生说明汉语中的哪些语词可以看做是命题联接词，其次我还将就一些特殊的命题联接词进行说明。其次，我将向学生介绍一些基本的常用的命题联接词在符号逻辑中的表达。再次，我将向学生介绍真值函数联接词的定义，并通过例子说明哪些联接词是真值函数联接词。第二节自然语言的符号化本节主要向学生介绍如何将汉语进行符号化。特别地，我将介绍一些切实可行的方法来帮助学生掌握符号化的过程。在介绍符号化的过程中，我将讲一点使用和提及的区分。第三节命题逻辑的语法本节将向学生介绍命题逻辑的形式语言及其语法，并通过例子说明哪些表达式是在该语言中合法的语句，哪些不是。同时，向学生介绍一些约定俗成的省略写法。引导学生区分对象语言和元语言，并引导学生熟悉逻辑学中常用的古希腊字母的写法和发音。介绍命题逻辑语法的一些基本概念，例如子公式和主联接词等等，并通过例子向学生阐述如何寻找主联接词和子公式引导学生思考归纳定义。思考题：（五号黑体）1、给出一些表达式的例子，请学生思考它们是否是命题逻辑中的语句；2、给出命题逻辑的波兰记法，请学生思考那些表达式是它的语句，哪些不是3、请学生思考他们还碰到过哪些归纳定义。第三章命题逻辑（二）课时：1周，共3课时教学内容第一节真值表方法首先，本节要求学生掌握基本联接词的语义解释，并要求学生掌握真值表方法。具体来说，我将通过各种例子来进行说明和阐述其次，本节要求学生掌握如何计算公式的真值，同样，这也将通过例子来阐述。再次，本节要求学生掌握为公式和论说构建真值表的方法，并通过例子来阐述。并在此处向学生介绍几个基本的语义概念，例如可满足性、重言式、矛盾式、重言等值、论证的语义有效性等等。在学生了解这些基本概念之后，再向学生介绍这些基本概念之间的相互关系。第二节简化的真值表方法向学生介绍真值表方法的优势和劣势，并借此引出简化的真值表方法，并通过例子是学生掌握这种简化的真值表方法。思考题：（五号黑体）1、给出一些公式和论说，请学生构建它们的真值表2、给出一些公式和论说，请学生为它们构建简化的真值表3、给出一些基本的语义学概念，请学生进一步思考这些概念之间的联系4、请学生思考真值表所刻画的论说有效性概念是否符合导论中所阐述的语义有效性概念，并请学生给出理由。第四章命题逻辑（三）课时：9教学内容：第一节世界与赋值的基本概念讲述维特根斯坦关于世界的概念，引出赋值的概念，以及阐述赋值和世界之间的关系第二节阐述一些最基本的语义概念讲述重言式、逻辑蕴涵、矛盾式等基本概念第三节对语义概念的应用

应用语义概念证明一些结论第四节代入讲述代入的直觉以及基本概念，并证明一些基本的概念第五节范式讲述合取范式和析取范式及其用处，并讲述如何从真值表求出合取范式和析取范式思考题：（五号黑体）证明一些关于语义概念的基本结论；求取范式第五章命题逻辑（四）课时：4周，共12课时教学内容第一节形式系统的概念请学生回忆高中所学的数学，并欧几里得集合学位例说明形式系统的一些特质。第二节命题逻辑的自然推演请学生掌握命题逻辑的自然推演的基本概念，以及五个基本联接词在自然推演中的规定，并通过直觉说明这些规定的正确性。通过对自然推演的基本介绍，让学生对形式系统有一个直观的印象。第三节简单的自然推演这一节主要让学生对形式系统中的“证明”概念有一个基本的了解，并且掌握一些简单的自然推演，特别是几个基本的联接词规则的简单运用。本节将通过大量的例子来说明如何进行自然推演。第四节有前提推演和无前提推演本节主要让学生掌握有前提的自然推演和无前提的自然推演，并通过例子和练习进一步掌握命题逻辑的自然推演的基本技巧。第五节自然推演的技巧本节主要通过例子让学生进一步掌握自然推演的技巧，特别是掌握复杂的自然推演该如何进行。特别地，我将对一些特殊的例子进行讲解，使学生掌握一些切实可行的推演技巧。特别是，让学生记住一些常用公式的自然推演，以便在做自然推演时有一个证明库。 思考题：（五号黑体）1、请学生做大量的自然推演练习2、请学生回忆前两张所阐述的一些语义概念，请他们思考之前所学习的语义概念和本章学习的在自然系统中所做的规定，进一步请他们思考语法和语义的区别。第六章命题逻辑（五）课时：4周，共12课时教学内容第一节弗雷格希尔伯特式系统讲述弗雷格希尔伯特式系统的基本概念。公里及其推理规则第二节定理和演绎讲述弗雷格希尔伯特式系统中的证明概念，演绎概念以及定理，并举例说明证明，演绎和定理等基本概念