普通逻辑学全套课件

《普通逻辑学全套课件》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、PUTONGLUOJIXUE普通逻辑学1教材2普通逻辑学第一章　绪　论第一节　普通逻辑的研究对象一、“逻辑”的含义二、普通逻辑的研究对象首先搞清楚什么是思维？什么是思维的形式？什么是思维的内容？什么是思维的逻辑形式？31、思维。理性认识阶段即思维，它具有以下特点：(1)间接性(2)概括性(3)与语言密不可分性2、思维形式指的是人脑对客体间接、概括反映的基本形式。人们对客体反映的三种基本形式是概念、判断和推理3、思维所反映的客观事物及其属性就是思维的内容例如：所有唯物主义者都是无神论者44.思维的逻辑形式，就是

2、指思维的具体内容各个部分之间的联系方式。[1]所有的法律都是上层建筑,[2]所有的天体都是运动的[3]所有的唯物主义者都是承认物质是第一性的它们都有着一个共同的形式结构：这就是“所有......都是”以“Ｓ”来代表思维反映的对象的概念，以“Ｐ”来代表反映的对象所具有的属性的概念5这三个内容各不相同的判断所共同具有的形式结构就是：所有Ｓ都是Ｐ这就是思维的逻辑形式思维的形式结构都包含有逻辑常项和逻辑变项。逻辑常项就是指在一种逻辑形式中，它自身保持不变并能够决定这种形式的逻辑特性的部分。所有…都是…6逻辑常项是我们

3、区分不同逻辑形式的标准与根据逻辑变项就是指在一种逻辑形式中，可以用不同的概念或判断来代换的部分。例如：用“学生”代表主项，用“有思想的”代表谓项，“所有…都是…”可表达为：所有学生都是有思想的7逻辑常项与逻辑变项应用举例1.如果所有的人都是爱美的，那么所有教徒也是爱美的。2.一个概念，或者它是集合概念，或者它是普遍概念。3.要成就事业，既要有满腔热情，又要有清醒的头脑。8普通逻辑主要研究思维的逻辑形式，此外：还研究思维的逻辑规律：普通逻辑的基本规律有：同一律、不矛盾律、排中律，等。还研究一些认识现实的比较简单

4、的逻辑方法：如定义、划分、概括、限制、探求因果联系的方法9普通逻辑下一个简明的定义：普通逻辑是研究思维的逻辑形式及其规律和简单的逻辑方法的科学。10第二节逻辑学的三个发源地2古代中国代表人物：墨子（前475-390）代表作：《墨经》1古希腊亚里士多德（前384-322）代表作：《工具论》113古代印度被称为因明学《墨经》是可以与《工具论》相媲美的，为什么没有《工具论》影响大？12第三节逻辑学的三个分支形式逻辑数理逻辑（广义与狭义）辩证逻辑国外学者将逻辑学分为：基本逻辑、元逻辑与应用逻辑。应用逻辑包括：哲学逻辑

5、、数理逻辑，等哲学逻辑又包括：模态逻辑多值逻辑模糊逻辑规范逻辑时态逻辑相干逻辑13逻辑学在中国的发展名学式微传统逻辑传入明代李之藻译[葡]哥因盘利大学逻辑讲义为〈名理探〉1902年严复译〈穆勒名学〉λογοςlogicлогика民初章士钊在北大讲〈逻辑指要〉金岳霖〈逻辑〉（1937，商务）当代现代逻辑发展迅速14第二章概念第一节概念概述第二节概念的种类第三节概念间的关系第四节概念的限制和概括第五节定义第六节划分15第二节概念概述一什么是概念概念是反映事物本质属性的思维形式。每一类事物都有许许多多的属性。其中

6、，有些属性是本质属性，有些属性是非本质属性。人们把握了一类事物的本质属性，就形成了关于该类事物的概念。关于本质属性与特有属性概念具有抽象性、概括性的特点。16二概念与语词概念的表达形式是语词。概念是语词的思想内容，语词是概念的表达形式，概念离不开语词。但两者并不相等，它们有性质上的不同，并非一一对应：1.并非所有的语词都表达概念虚词介词、助词等2.同一词语可表达多个概念一人一手逻辑对象3.同一个概念可用多个词语表达医师大夫郎中17三概念的两个逻辑特征概念的内涵概念所反映的事物（对象）的本质属性。概念的外延具有

7、概念所反映的那种本质属性的事物（对象）。事物是质和量的统一，决定反映事物的概念是内涵和外延的统一。它们之间存在反变关系18第二节概念的种类一根据概念所反映的对象的数量来分1普遍概念大学城市小说诗人山2单独概念北大上海《围城》李白黄山二根据概念所反映的对象是否集合体来分1集合概念人类群岛森林词汇中华民族2非集合概念牛顿岛杉树单词汉族人三根据概念所反映的对象有否某属性来分1正概念金属党员谦虚成年有罪2负概念非金属非党员不谦虚未成年无罪负概念的外延与论域19怎样区分集合概念和非集合概念看是不是把对象当作集合体来反映

8、的词汇河流山脉军队丛书森林杉树林原始森林大兴安岭森林注意某些既能表达集合概念又能表达非集合概念的词语如“人”1.人是从猴子变来的。2.人都是从娘肚子里生出来的。如“鲁迅著作”1.鲁迅著作不是一天能够读完的。2.《一件小事》是鲁迅著作。20第三节概念间的关系同全1A真包含AB3真包含于BAABBA4交叉5全异欧拉图欧拉（1707-1783）瑞士数学家。A属概念B种概念A种概念B属概念B21全异关系又分