形式逻辑

◆ ◆

个人介绍

形式逻辑

主讲教师：

教师团队：共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”。究其原因，在于形式逻辑不承认表述对比关系的句子可以当作三段论的命题，因此使得其不能解释朴素逻辑中的“对比”过程。

对称逻辑

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

课程评价

教学资源

课程章节资源

课程章节	\| 文件类型		\| 修改时间	\| 大小	\| 备注
1 形式逻辑（一）		视频 .mp4	2013-11-26	86.57MB
2 形式逻辑（二）		视频 .mp4	2013-11-26	91.94MB
3 形式逻辑（三）		视频 .mp4	2013-11-26	97.42MB
4 形式逻辑（四）		视频 .mp4	2013-11-26	95.94MB
5 形式逻辑（五）		视频 .mp4	2013-11-26	93.29MB
6 形式逻辑（六）		视频 .mp4	2013-11-26	83.43MB
7 形式逻辑（七）		视频 .mp4	2013-11-26	86.66MB
8 形式逻辑（八）		视频 .mp4	2013-11-26	89.12MB
9 形式逻辑（九）		视频 .mp4	2013-11-26	95.75MB
10 形式逻辑（十）		视频 .mp4	2013-11-26	86.70MB
11 形式逻辑（十一）		视频 .mp4	2013-11-26	88.56MB
12 形式逻辑（十二）		视频 .mp4	2013-11-26	96.95MB
13 形式逻辑（十三）		视频 .mp4	2013-11-26	96.01MB
14 形式逻辑（十四）		视频 .mp4	2013-11-26	91.58MB
15 形式逻辑（十五）		视频 .mp4	2013-11-26	96.08MB
16 形式逻辑（十六）		视频 .mp4	2013-11-26	95.69MB
17 形式逻辑（十七）		视频 .mp4	2013-11-26	95.61MB
18 形式逻辑（十八）		视频 .mp4	2013-11-26	91.81MB
19 形式逻辑（十九）		视频 .mp4	2013-11-26	94.85MB
20 形式逻辑（二十）		视频 .mp4	2013-11-26	80.26MB
21 形式逻辑（二十一）		视频 .mp4	2013-11-26	120.52MB
51 形式逻辑（五十一）		视频 .mp4	2013-11-26	90.34MB