当前课程知识点:逻辑学概论 >  第十一讲 非经典逻辑初步 >  11.1 非经典(非标准)逻辑 >  11.1 非经典(非标准)逻辑

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

11.1 非经典(非标准)逻辑在线视频

11.1 非经典(非标准)逻辑

下一节:11.2 多值逻辑

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

11.1 非经典(非标准)逻辑课程教案、知识点、字幕

这一讲 我们简单地来介绍

非经典逻辑

所以题目叫做 非经典逻辑初步

非经典逻辑

这个我们在第二讲

介绍逻辑发展史的时候呢

我们已经提到过

这个就是在数理逻辑

在罗素和怀特海的工作之后

那么数理逻辑发展的一个重要的方向呢

就是非经典逻辑

那么所谓非经典逻辑

是相对于经典逻辑而言的

那么我们说

在数理逻辑产生之前

那个逻辑我们称为古典逻辑

这个是以亚里士多德的工作

作为最重要的代表

然后数理逻辑

在离现在一百年以前

那么罗素和怀特海

以他们的《数学原理》这个著作

作为标志

那么这个就是所谓标准的

或者经典的数理逻辑

那么在这个之后呢

数理逻辑在经典逻辑之上呢

产生了很多很多的不同的逻辑系统

那么这些逻辑系统呢

有些是从应用的角度出发

那么也有的是从理论的角度出发

那么这些逻辑系统呢

有一些 大部分是对原有的

经典逻辑系统的一种扩充

或者说延伸

但是也有一些呢

是对于原来的经典逻辑的

一些基本的方面

一些基本的概念

一些基本的理念呢

提出了挑战

所以形成了种种不同的非经典逻辑

那么非经典逻辑

到现在 发展得非常之旺盛

就是各种不同的非经典逻辑

有很多很多不同的分支

而每一种分支呢

它又有许多不同的这样的系统

那么一般地来说

非经典逻辑

每一种 它的工作

都是要以建立它的系统

也就是我们在前面介绍过的

比如说命题演算的公理系统

或者是命题演算的

自然推演系统

或者是谓词演算的公理系统

和自然推演系统

那么现代逻辑里边

非经典逻辑 一般地来说

要以能够建立系统

要建立某一个逻辑系统

才能够说这个工作是做到了

就是说可以让大家来分享

来接受的这样的一个地步

那么各种各样的非经典逻辑的系统

有很多很多

那么我们这里限于时间

也因为这个非经典逻辑

它在这个经典逻辑的基础之上

这个系统一般地来说

相对来说是比较复杂的

所以我们没有时间

深入地来介绍非经典逻辑的系统

我们只是很简单地介绍

非经典逻辑里边

一些比较简单的

介绍一些皮毛

但是这些往往是很有趣的

因为前边我们介绍的逻辑

我们往往要加一个说明

就是说我们是在经典逻辑范围之内的

比如我们说 我们在前面

我们介绍所谓范式的时候我们说

各种各样的这样的函数

用范式都可以表达

我们总是要加一个注

说在二值逻辑的范围之内

我们说 或门 与门 非门

可以解决一切这种问题

我们又要加一个注解说

在二值的范围之内

那么所谓在二值范围之内

就是说在经典逻辑范围之内

再比如说 我们前面说

绝对准确的天气预报

比如说今天下雨

这个不是绝对准确的

今天不下雨 也不是绝对准确的

我们要说 今天下雨

或者今天不下雨

这个一定不会错的

那么可能有的朋友想到了 说

那我提一个 说

今天可能下雨

这是不是也是一定是对的

我们说这个一般地来说也是对的

但是我们在前面为什么

不举这样的例子呢

因为在经典逻辑里边

它不考虑什么 一定 可能

不考虑这样的一些成分

所以我们前边讨论问题的时候

我们总是要说

是在经典逻辑的范围之内

而我们应用中

有很多地方它是要突破

这个经典逻辑的

所谓经典逻辑呢

一个就是说它的真值

只限于取真和假

等于我们说这个人呢

我们只能分成好人和坏人

更多的 有一点好的 半好半坏的

我们暂时就不能采取这样的说法了

为什么

因为我们是二值逻辑

另外比如说我们对于一个句子

对于一个基本命题

只能把它分析为 主词 谓词 量词

其实还有一些其他的成分

这些成分往往是可以用来

进行推理的

比如说从必然可以推出可能

像这样的在经典逻辑里边呢

都是不能处理的

而在非经典逻辑里边呢

都可以处理

所以我们这一讲 主要是让大家

开阔一下眼界

知道最近一个世纪的逻辑

居然还有这么多的内容丰富

而且很切合于我们的应用

而且又是很有趣味的

但是对于每一种经典逻辑呢

我们只是介绍最最皮毛的一点

好 下面我们就要来介绍

几种最基本的非经典逻辑

逻辑学概论课程列表:

第一讲 什么是逻辑学

-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

-第十二章作业

11.1 非经典(非标准)逻辑笔记与讨论

也许你还感兴趣的课程:

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