《逻辑学课件01复合命题》

《《逻辑学课件01复合命题》》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、普通逻辑第一章引论本章学习重点:普通逻辑的对象学习普通逻辑的意义第一节普通逻辑的对象逻辑学是由古希腊的亚里士多德Aristotle创立的，发展到今天已经成为包括多种类型和多个分支的学科。一、逻辑学是研究思维的形式结构（逻辑形式）及其规律的科学。“普通逻辑”普通逻辑作为一门课程以介绍传统形式逻辑和古典归纳逻辑为主，也介绍一些简单的逻辑方法，同时介绍一些现代形式逻辑和现代归纳逻辑的基础知识。概括地说，普通逻辑主要研究思维的逻辑形式，同时也研究思维的逻辑规律和简单的逻辑方法。Logicalform⒈思维和思维

2、形式Formofthinking思维是人脑对于客观世界的间接的、概括的反映。逻辑是以思维为研究对象的，但它不研究思维的一切方面。思维有内容和形式两个方面，逻辑不研究思维的内容，只研究思维的形式方面。思维形式即思维内容的表现形式，有概念（concept）、命题（proposition）（判断）和推理（inference）等。⒉思维的逻辑形式思维活动主要是推理，研究思维的形式方面也就是研究推理的形式结构。推理的前提和结论是命题，因而也要研究命题的形式结构。命题和推理的形式结构就是思维的逻辑形式。逻辑对于思维的

3、形式结构也只是关心它们所表现的思维的真假关系，不关心它们的其他方面，例如逻辑不研究思维形式结构与思维内容的关系。①逻辑形式Logicalform逻辑形式是指命题和推理的形式结构。命题的形式结构：“所有S是P”；“如果p则q”。推理的形式结构：所有M是P，有的S是M，所以，有的S是P。②逻辑形式的构成变项表示思想内容，用字母p、q、r……表示，可以代换不同的概念或复合命题的子命题或任意命题。常项表示数量关系的量词或命题联结词，在一个逻辑形式中保持不变。逻辑常项规定着逻辑形式，区分不同的逻辑形式要看常项。逻辑

4、形式有两个部分：变项和常项。所有S是P如果p那么q变项常项⒉思维的逻辑规律Logicallaw逻辑形式的规律性在于：有一类逻辑形式在任意代入下都表达真实的思想内容，这类逻辑形式称为逻辑规律。例如“S是S”、“并非P并且非P”等。另一类思维形式结构在任意代入下都表达虚假的思想内容，这类思维形式结构称为逻辑矛盾。例如“有S不是S”、“P并且非P”等。此外，还有一类思维形式结构在有的代入下表达真实的思想内容，在有的代入下表达虚假的思想内容。例如“所有S是P”、“如果p那么q”等。合乎逻辑逻辑学论证、运用逻辑规律

5、，发现和排除逻辑矛盾，使人的思维具有结构上的正确性，即合乎逻辑。逻辑规律是保证逻辑形式正确性所必须遵守的最起码的思维法则，包括三条，即同一律、矛盾律和排中律。逻辑规律是从正确的逻辑形式中总结概括出来的，对各类逻辑形式的正确运用，具有某种普遍性的意义，故上述三条规律被称为逻辑形式的基本规律。⒊简单的逻辑方法普通逻辑研究的逻辑方法主要是指：概括、限制、定义、划分、探求因果联系的逻辑方法等等。之所以称为简单的逻辑方法，完全是相对于辩证思维的逻辑方法而言的。二、逻辑形式与语言形式思维的逻辑形式总是和一定语言形式相

6、对应。但不能把语言形式与逻辑形式混为一谈。第一，同一种逻辑形式可以用不同的语言形式来表达；第二，同一个语言形式在不同场合可以表达不同的逻辑形式。自然语言与人工语言语言可以分为自然语言和人工语言。自然语言Naturallanguage(日常语言)是人类进行和表达日常思维的语言。汉语、英语、日语等等，都是自然语言。自然语言有两个重要特点：第一，自然语言是人们在长期社会实践中约定俗成的；第二，自然语言通常有歧义，同一语词、语句在不同语境下可以表达不同含义。人工语言Artificiallanguage是人类为进行

7、某种科学研究，通过严格定义的方式而专门创立的语言。数学语言是一种典型的人工语言。逻辑学所运用的人工语言，称为符号语言。符号语言区别于自然语言的重要特征是:前者排除歧义。人工语言是人类为进行某种科学研究，通过严格定义的方式而专门创立的语言。数学语言是一种典型的人工语言。逻辑学所运用的人工语言，称为符号语言。符号语言区别于自然语言的重要特征是:前者排除歧义。形式语言是一种高度抽象和严格定义的符号语言。用形式语言构造的逻辑系统，称为形式系统。形式语言和形式系统的较为详细的讨论，将在后面给出。传统形式逻辑是用自然

8、语言的联结词表示逻辑常项的，现代形式逻辑则特制了一些表意符号来表示逻辑常项，例如“→”表示“如果……那么……”。三、有效性与可靠性逻辑学研究的核心课题，是推理及其有效性的判定，即要回答什么样的推理是正确的，什么样的推理是错误的，如何判定它们。在一个演绎推理中，当所有的前提为真(Truth)时，其结论必然为真。这样的演绎推理形式就是有效的，否则便是无效的。推理的有效性，指的是推理形式的有效或无效，它只与推理形式有关，而与推理前提