当前课程知识点:逻辑学概论 >  第二讲 逻辑学的产生和发展 >  2.5 古希腊和中世纪逻辑 >  逻辑学02-5

返回《逻辑学概论》慕课在线视频课程列表

逻辑学02-5在线视频

逻辑学02-5

下一节:逻辑学02-6

返回《逻辑学概论》慕课在线视频列表

逻辑学02-5课程教案、知识点、字幕

前面我们介绍了东方的逻辑传统

中国和印度

那么我们现在来介绍

古希腊和中世纪的逻辑

因为现代的逻辑

主要还是西方

从古希腊这么一个渊源过来的

所以我们还是先要介绍

古希腊的逻辑

那么古希腊有很多的

大家所熟知的学者

比如说苏格拉底 柏拉图等等

那么他们都有关于逻辑的

专门的论述

这个不是说像我们的

比如说《论语》里边

必也正名乎

我们现在看出它有一点

逻辑的色彩

那么古希腊的那些学者呢

苏格拉底 柏拉图

他们是把推理或者说把逻辑

作为一个专门的对象

来加以研究

并且加以论述的

那么古希腊逻辑的集大成者

或者说达到最高水平的

是我们大家所熟知的

亚里士多德

那么亚里士多德我们知道

是一个所谓百科全书式的学者

我们现在可以看到的

他的著作有哲学的 语言学的

物理学的 生物学的

生理学的 修辞学的等等

那么其中有一部分

就是关于逻辑的

那么关于逻辑的这一部分呢

有六篇

那么后人在整理

亚里士多德著作的时候呢

把这六篇汇编到一起

给它一个总的名称叫做《工具论》

现在我们国家出版的

《亚里士多德全集》的中文版

第一卷整个的

就是《工具论》六篇

《工具论》这六篇

按照传统的翻译是这样的

范畴篇 解释篇

前分析篇 后分析篇

实际上就是分析篇分成上下

论辩篇 辨谬篇

这是比较传统的翻译法

我们现在的版本呢

可能不是这么翻的

那么亚里士多德他的逻辑学的论著

代表了古希腊逻辑所达到的

最高的成就

那么这里边最有代表的

就是所谓三段论

什么叫三段论

我们前边说什么是逻辑的时候

我们举过这样的例子

所有的金属是导体

玻璃不是导体

所以玻璃不是金属

这也是一个三段论

那么我们还举过这样的例子

所有的金属是导体

铜是导体

所以铜是金属

这也是一个三段论

当然这个三段论

我们说好像有问题

对 这是一个错误的

或者说无效的三段论

但是它仍然是三段论

就是像这样的这一类的推理

叫做三段论

那么在亚里士多德那里呢

三段论得到了非常透彻的研究

当然亚里士多德他的功绩

他的成果

绝不仅仅在于三段论

对于逻辑的其它方面

亚里士多德都做了探讨

以至于有很多我们现代逻辑

所探讨的问题

最早在亚里士多德那里

就已经被触及到了

所以说亚里士多德

被西方称为逻辑学之父

古希腊除了亚里士多德以外呢

还有很多的逻辑学家

那么其中在亚里士多德之后

很有成绩的

是麦加拉斯多阿学派

他们的成绩在于

构造了所谓命题逻辑的系统

那么什么是命题逻辑

我们举个简单的例子

如果铜是金属

那么铜是导体

我们知道铜是金属

所以我推出铜是导体

这跟刚才说的三段论好像差不多

但是这是不一样的

三段论第一句话说的是

凡是或者说所有的金属

是导体

然后说铜是金属

推出铜是导体

而命题逻辑呢

它的第一个前提是

如果铜是金属

那么铜是导体

后面两个都一样

铜是金属推出铜是导体

我们好像觉得差不多

道理是差不多

但是从具体的逻辑结构

逻辑的方法来说

是不一样的

而且是很不一样的

那么后面这一种呢

就是所谓命题逻辑

那么麦加拉斯多阿学派呢

他们构造了命题逻辑

而且构造出了它的系统

它的所谓公理系统

就和欧几里得几何一样

构造出了它的系统

那么在古希腊以后

中世纪

中世纪的逻辑呢

主要是所谓经院逻辑

因为这个时候宗教很盛行

在教会里边有研究逻辑的学者

那么他们建立的体系

叫做经院逻辑的体系

经院逻辑的特点呢

它继承和发展了古希腊的逻辑思想

和阿拉伯的逻辑思想

那么阿拉伯的逻辑思想呢

是从古希腊传过去的

从古希腊传到阿拉伯

那么在阿拉伯又得到了发展

然后中世纪的经院逻辑

就把古希腊和阿拉伯的逻辑呢

一块拿来进行了继承和发展

建立了他们的体系

另外经院逻辑

他们做的另外一件

很重要的事情是

就是对于逻辑的教学

除了研究以外

怎么样把前人已经有的

逻辑的成果

传授给一般的人

怎么把逻辑学写成教科书

怎么把逻辑知识

让人们能够更好地理解

能够很好地记忆

他们都作出了很多的努力

那么关于古希腊

和中世纪的逻辑呢

我们就说这一点

逻辑学概论课程列表:

第一讲 什么是逻辑学

-1.1 “逻辑"和逻辑学

--默认

-1.2 推理和推理形式

--movie_01_02.mp4

-1.3 有效推理形式

--movie_01_03.mp4

-1.4 逻辑学的特点

--movie_01_04.mp4

-1.5 逻辑学的基本准则

--movie_01_05.mp4

-1.6 逻辑学和其他学科的关系

--movie_01_06.mp4

-1.7 关于本课程《逻辑学概论》

--movie_01_07.mp4

-第一章作业

第二讲 逻辑学的产生和发展

-2.1 中国古代逻辑思想(上)

--默认

-2.2 中国古代逻辑思想(中)

--逻辑学02-2

-2.3 中国古代逻辑思想(下)

--逻辑学02-3

-2.4 印度古代逻辑

--逻辑学20-4

-2.5 古希腊和中世纪逻辑

--逻辑学02-5

-2.6 近代西方逻辑

--逻辑学02-6

-2.7 数理逻辑的提出和实现

--逻辑学02-7

-2.8 数理逻辑的发展

--逻辑学02-8

-第二章作业

第三讲 命题联结词及其基本推理形式

-3.1 推理和命题

--默认

-3.2 基本命题和复合命题

--默认

-3.3 常用命题联结词及其基本推理形式(1)

--默认

-3.4 常用命题联结词及其基本推理形式(2)

--默认

-3.5 常用命题联结词及其基本推理形式(3)

--默认

-3.6 常用命题联结词及其基本推理形式(4)

--逻辑学03-6

-3.7 常用命题联结词及其基本推理形式(5)

--逻辑学03-7

-3.8 常用命题联结词及其基本推理形式(6)

--逻辑学03-8

-3.9 常用命题联结词及其基本推理形式(7)

--逻辑学03-9

-第三章作业

第四讲 复合命题的推理: 有效推理形式的判定

-4.1 重言式、矛盾式和可满足式

--默认

-4.2 具体推理转换为推理形式

--默认

-4.3 推理形式转换为复合命题形式

--默认

-4.4 有效推理形式的判定:真值表法

--默认

-4.5 有效推理形式的判定:归谬赋值法

--默认

-第四章作业

第五讲 复合命题的推理: 命题联结词的充足集

-5.1 命题联结词:真值函数

--默认

-5.2 析取范式

--默认

-5.3 为复合命题形式作与之等值的析取范式

--默认

-5.4 合取范式

--默认

-5.5 范式存在定理

--Video

-5.6 命题联结词的充足集

--Video

-5.7 命题联结词的独元充足集

--Video

-第五章作业

第六讲 命题演算:公理系统

-6.1 公理系统的构成

--Video

-6.2 命题演算的公理系统 L

--Video

-6.3 命题演算公理系统 L 中的证明

--Video

-6.4 命题演算公理系统 L 中的证明(续)

--Video

-6.5 命题演算公理系统 L 中的推演

--Video

-第六章作业

第七讲 命题演算:公理系统,自然演绎系统

-7.1 公理系统出发点的延伸

--逻辑学07-1

-7.2 公理系统的评价

--逻辑学07-2

-7.3 公理系统的性质和评价及其意义

--逻辑学07-3

-7.4 命题演算的自然演绎系统

--逻辑学07-4

-7.5 命题演算自然演绎系统中的证明和推演

--逻辑学07-5

-第七章作业

第八讲 基本命题的构成

-8.1 基本命题的结构

--8.1 基本命题的结构

-8.2 词项的内涵和外延

--8.2 词项的内涵和外延

-8.3 词项的种类

--8.3 词项的种类

-8.4 词项间的关系

--8.4 词项间的关系

-8.5 词项的定义

--8.5 词项的定义

-8.6 词项的划分

--8.6 词项的划分

-8.7 谓词的分类

--8.7 谓词的分类

-8.8 量词

--8.8 量词

-8.9 联词

--8.9 联词

-第八章作业

第九讲 传统逻辑中基本命题的推理

-9.1 基本命题的推理

--Video

-9.2 传统逻辑对基本命题的分析

--Video

-9.3 性质命题中主、谓词的周延

--Video

-9.4 命题变形的推理

--Video

-9.5 根据对当关系的推理

--Video

-9.6 三段论

--Video

-9.7 三段论的式与格

--Video

-9.8 有效三段论的判定

--Video

-第九章作业

第十讲 基本命题的推理

-10.1 性质命题

--10.1 性质命题

-10.2 主词非空的预设

--10.2 主词非空的预设

-10.3 关系命题的结构

--10.3 关系命题的结构

-10.4 关系命题根据量词的推理

--10.4 关系命题根据量词的推理

-10.5 关系命题根据谓词性质的推理方法

--10.5 关系命题根据谓词性质的推理方法

-10.6 谓词演算简介

--10.6 谓词演算简介

-第十章作业

第十一讲 非经典逻辑初步

-11.1 非经典(非标准)逻辑

--11.1 非经典(非标准)逻辑

-11.2 多值逻辑

--11.2 多值逻辑

-11.3 模糊逻辑

--11.3 模糊逻辑

-11.4 模态逻辑

--11.4 模态逻辑

-11.5 规范逻辑

--11.5 规范逻辑

-11.6 时态逻辑

--11.6 时态逻辑

-11.7 弗协调逻辑

--11.7 弗协调逻辑

-第十一章作业

第十二讲 余论

-12.1 演绎和归纳

--逻辑学12-1

-12.2 探求因果关系的逻辑方法

--逻辑学12-2

-12.3 证论和反驳

--逻辑学12-3

-12.4 悖论

--逻辑学12-4

-12.5 本课程《逻辑学概论》内容回顾

--逻辑学12-5

-第十二章作业

逻辑学02-5笔记与讨论

也许你还感兴趣的课程:

© 柠檬大学-慕课导航 课程版权归原始院校所有,
本网站仅通过互联网进行慕课课程索引,不提供在线课程学习和视频,请同学们点击报名到课程提供网站进行学习。