◆ ◆
个人介绍
形式逻辑

主讲教师：

教师团队：共1位

  • 韩荔华
学校： 北京第二外国语学院
开课院系： 中文系
专业大类： 哲学
开课专业： 中国哲学 
 生活在这个社会中，我们需要与人交流，而这就需要我们有一个清晰地逻辑作为后盾，逻辑的种类是很多的，高深莫测，需要我们用心去学习，去理解，通过对这些逻辑种类的理解，我们会发现原来逻辑学是这么重要！
教师团队

韩荔华

职称：教授

单位：北京第二外国语学院

部门：中文系

职位：教授

形式逻辑

形式逻辑是一门以思维形式及其规律为主要研究对象，同时也涉及一些简单的逻辑方法的科学。 概念、判断、推理是形式逻辑的三大基本要素。概念的两个方面是外延和内涵，外延是指概念包含事物的范围大小，内涵是指概念的含义、性质；判断从质上分为肯定判断和否定判断，从量上分为全称判断、特称判断和单称判断；推理是思维的最高形式，概念构成判断，判断构成推理，从总体上说人的思维就是由这三大要素决定的。 它要求思维满足同一律、矛盾律、排中律和理由充足律。这四条规律要求思维必须具备确定性、无矛盾性、一贯性和论证性。

形式逻辑的发展历程

形式逻辑已经历了2000多年的历史，19世纪中叶以前的形式逻辑主要是传统逻辑，19世纪中叶以后发展起来的现代形式逻辑，通常称为数理逻辑，也称为符号逻辑。

1.传统逻辑

传统逻辑通常把命题分为直言命题、选言命题和假言命题，并研究这几种命题的形式和推理形式。传统逻辑还包括关于矛盾律和排中律等逻辑规律的理论，以及有关词项的理论。形式逻辑在欧洲的创始人是古希腊的亚里士多德。亚里士多德的建立了第一个逻辑系统，即三段论理论。其论述形式逻辑的代表作有《形而上学》和《工具论》。继亚里士多德之后，麦加拉-斯多阿学派逻辑揭示出命题联结词的一些重要性质，发现了若干与命题联结词有关的推理形式和规律，发展了演绎逻辑。而古希腊的另一位哲学家伊壁鸠鲁则认为归纳法是唯一科学的方法。中世纪的一些逻辑学家，发展和丰富了形式逻辑。到了近代，培根和约翰·缪勒则进一步发展了归纳法。

2.数理逻辑　

它是现代形式逻辑。之所以称为数理逻辑，一方面是由于在研究中广泛地使用了人工的符号语言，并发展为使用一种形式化的公理方法，同时也应用了某些数学的工具和具体的结果；另一方面则是由于现代形式逻辑的发展受到数学基础研究的推动，特别是受到深入研究数学证明的逻辑规律和数学基础研究中提出来的逻辑问题的推动。数理逻辑之所以又被称为符号逻辑，是由于它使用人工的符号语言。数理逻辑的创始人是G.W.莱布尼兹。莱布尼兹提出建立“普遍的符号语言”、推理演算和思维机械化的思想。尽管莱布尼兹本人并没有实现他所提出的目标，但数理逻辑的发展却逐步（还没有全部）实现了莱布尼兹的理想。G.弗雷格在1879年发表的《概念语言》一书中，建立了第一个一阶逻辑体系。19世纪70年代，G.康托尔创立了集合论。集合论，特别是第一个一阶逻辑体系的建立，是形式逻辑的发展进入现代阶段的标志。

3.形式逻辑在现代中国　　 

20世纪30至40年代，苏联曾把形式逻辑当作形而上学来批判，并把辩证法当作惟一科学的逻辑。讲辩证法一定要批判形式逻辑。在此影响下，当时中国也有人“宣判”了形式逻辑的“死刑”。不过在1949年前这种全盘否定形式逻辑的思潮在中国还不属主流思想。1949年到1950年间这种思潮也成为中国的主流思想。

形式逻辑与其他逻辑关系

其他逻辑

逻辑，是对思维过程的抽象。研究逻辑的目的是要在思维的层面上弄清楚得到结论的原因。从这个研究任务上来看，凡是具有得出结论的作用的思维过程，都是逻辑过程。据此，人的逻辑应分为三大类，即朴素逻辑、工具逻辑（包括称名逻辑、形式逻辑、表象逻辑）和辩证逻辑。

朴素逻辑

相较于朴素逻辑，形式逻辑的缺陷在于无法解释部分生活事件，也无法解释不符合形式逻辑本身的逻辑的来源。具体例子是，这样的语言结构“连……（名词A）我都不认为……（形容词Z），那么……（名词B）还会是……（形容词Z）吗？”形式逻辑就是不能解释的。而朴素逻辑则可解释为：大前提“A比B更Z”，小前提“A不是Z”，结论“B更不Z”。究其原因，在于形式逻辑不承认表述对比关系的句子可以当作三段论的命题，因此使得其不能解释朴素逻辑中的“对比”过程。

对称逻辑

形式逻辑蕴涵了线性思维方式。把形式逻辑思维方式看成唯一的思维方式，把形式逻辑运用范围扩大到所有对象，特别是需要复杂性思维的经济领域，就会出现悖论。对称逻辑的产生，既是人类思维、理论与实践发展的必然结果，也是“悖论”“逼”出来的产物。“悖论”，是对称逻辑产生的催化剂。对称逻辑的产生是逻辑发展的自然历史过程。对称逻辑是以对称规律为基本的思维规律，是天与人、思维与存在、思维内容与思维形式、思维主体与思维客体、思维层次与思维对象、科学本质与客观本质对称的逻辑。对称逻辑就是对称的思维方式，对称的思维方式就是和谐的思维方式，和谐的思维方式是与和谐社会对称的思维方式。 对称逻辑是辨证逻辑发展的高级阶段，也是逻辑发展的最高阶段。对称逻辑使形式逻辑本身所蕴涵的思维内容与思维形式的统一得以展示。对称逻辑提供了足以研究复杂系统论的思维方式，为第一个中国人自己创立的经济学范式——对称经济学提供了科学的思维方式。对称逻辑学就是对称逻辑的概念、范畴与范畴体系，由我国著名学者陈世清先生创立。

相关书籍推荐


课程评价

教学资源
课程章节资源
课程章节 | 文件类型   | 修改时间 | 大小 | 备注
31 形式逻辑（八）
视频
.mp4
2021-08-26 89.12MB
32 形式逻辑（二）
视频
.mp4
2021-08-26 91.94MB
33 形式逻辑（三）
视频
.mp4
2021-08-26 97.42MB
34 形式逻辑（四）
视频
.mp4
2021-08-26 95.94MB
35 形式逻辑（一）
视频
.mp4
2021-08-26 86.57MB
36 形式逻辑（五）
视频
.mp4
2021-08-26 93.29MB
37 形式逻辑（六）
视频
.mp4
2021-08-26 83.43MB
38 形式逻辑（七）
视频
.mp4
2021-08-26 86.66MB
39 形式逻辑（九）
视频
.mp4
2021-08-26 95.75MB
40 形式逻辑（十）
视频
.mp4
2021-08-26 86.70MB
41 形式逻辑（十一）
视频
.mp4
2021-08-26 88.56MB
42 形式逻辑（十二）
视频
.mp4
2021-08-26 96.95MB
43 形式逻辑（十三）
视频
.mp4
2021-08-26 96.01MB
44 形式逻辑（十四）
视频
.mp4
2021-08-26 91.58MB
45 形式逻辑（十五）
视频
.mp4
2021-08-26 96.08MB
46 形式逻辑（十六）
视频
.mp4
2021-08-26 95.69MB
47 形式逻辑（十七）
视频
.mp4
2021-08-26 95.61MB
48 形式逻辑（十八）
视频
.mp4
2021-08-26 91.81MB
49 形式逻辑（十九）
视频
.mp4
2021-08-26 94.85MB
50 形式逻辑（二十）
视频
.mp4
2021-08-26 80.26MB
51 形式逻辑（二十一）
视频
.mp4
2021-08-26 120.52MB
52 形式逻辑（五十一）
视频
.mp4
2021-08-26 90.34MB
更多
课程章节
1
形式逻辑（二十二）
2
形式逻辑（二十三）
3
形式逻辑（二十四）
4
形式逻辑（二十五）
5
形式逻辑（二十六）
6
形式逻辑（二十七）
7
形式逻辑（二十八）
8
形式逻辑（二十九）
9
形式逻辑（三十）
10
形式逻辑（三十一）
11
形式逻辑（三十二）
12
形式逻辑（三十三）
13
形式逻辑（三十四）
14
形式逻辑（三十五）
15
形式逻辑（三十六）
16
形式逻辑（三十七）
17
形式逻辑（三十八）
18
形式逻辑（三十九）
19
形式逻辑（四十）
20
形式逻辑（四十一）
21
形式逻辑（四十二）
22
形式逻辑（四十三）
23
形式逻辑（四十四）
24
形式逻辑（四十五）
25
形式逻辑（四十六）
26
形式逻辑（四十七）
27
形式逻辑（四十八）
28
形式逻辑（四十九）
29
形式逻辑（五十）
30
形式逻辑（五十二）
31
形式逻辑（八）
32
形式逻辑（二）
33
形式逻辑（三）
34
形式逻辑（四）
35
形式逻辑（一）
36
形式逻辑（五）
37
形式逻辑（六）
38
形式逻辑（七）
39
形式逻辑（九）
40
形式逻辑（十）
41
形式逻辑（十一）
42
形式逻辑（十二）
43
形式逻辑（十三）
44
形式逻辑（十四）
45
形式逻辑（十五）
46
形式逻辑（十六）
47
形式逻辑（十七）
48
形式逻辑（十八）
49
形式逻辑（十九）
50
形式逻辑（二十）
51
形式逻辑（二十一）
52
形式逻辑（五十一）
举报
提示框
取消 进入课程
提示框
确定要报名此课程吗？
确定取消

京ICP备10040544号-2

京公网安备 11010802021885号