当前课程知识点：逻辑学概论 > 第十一讲 非经典逻辑初步 > 11.5 规范逻辑 > 11.5 规范逻辑
下面我们再介绍一种 规范逻辑
和前面的模态逻辑是很类似的
所谓规范逻辑 就是含有规范词
什么叫规范词
就是 必须 允许
当然也包括 应该怎么怎么样
必须 允许 这样的规范词的命题
规范命题
这样的命题和它们的推理叫做规范
叫做规范逻辑
那么也称道义逻辑 义务逻辑
像这些有一些是
就是我们说非经典逻辑
同一个它都有
往往有很多不同的中文的名称
有的因为在外语里边
在英文里面它本来就有不同的说法
那么所以翻译过来当然是各种各样
另外就是有一些同样的东西
翻译过来可以不同的翻译
那所以会有种种不同的名称
我们在这里用比较通行的
这个我们在比较通行的说法中
选一种
因为这个东西比较新
所以各种教科书
各种文献上面
中文文献上说法很
一般的来说很不一致
所以大家在其他的教科书上
可能会看到不同的说法
所以我们在这里
尽量的把其他的也比较通行的说法
也列在上面
这个是一个芬兰人
叫 冯 赖特
他是在1951年发表了
叫做规范逻辑
创立了规范逻辑的系统
实际上这个我们要往前推
也是在他之前 也都是已经有了
这样的思想
不过他第一个作出了
这样的系统而已
那么基本的规范词呢
有这么几个
一个叫 必须 用大写的O表示
一个叫 允许 用大写的P表示
另外 必须不
另外还有一个词
还有一个符号是F
那么基本的规范词是 必须 允许
和 禁止
那么这个和刚才一样的
可以适用逻辑方阵
也就是这个
这个是必须如此
这个是必须不如此
我们知道必须不如此
那就是禁止如此
必须不酒后开车
那等于说 禁止酒后开车
这是一样的
这个是允许如此
这个是允许不如此
那么这四个之间的关系
和我们前边 A E I O 的关系
和我们刚才那个关系
是完全一样的
我们再看一看
我们在这里也列出来了
就是 哪一些是反对的关系
哪一些是下反对的关系
哪一些是矛盾的关系
我们都列出来了
所以我们来看
这两个 不能同真 可以同假
就是 必须如此 和 禁止如此
这两个当然不能都真
但是有可能都假
比如说我骑自行车上街
但是现在我不想骑了
或者是自行车有毛病
我推着车在路上走
自行车可不可以推着走
这个我们交通规则里面没有说
必须推着走
没有说
也没有说禁止推着走
禁止推自行车啊
必须推自行车都没有说
自行车必须推着
自行车禁止推着 都没有
这两个都没有
所以这两个它都是假的
但是这两个不能都真
也有可能是一真一假
比如说这个 禁止酒后驾车
这是真的
那么 （必须）酒后驾车 那当然是
当然是假的
那么你（必须）的事情
你当然不会禁止
所以这两个 它不会两个都是真的
这两个它可以都是真的
但它不能都是假的
比如还是刚才那个例子
自行车允许推着走
自行车也允许不推着走
我骑着走 我扛着走都可以
都允许
推着也允许 不推着也允许
这两个都是真的
但是不能说这两个都是假的
它不能都是假的
至少有一个是真的
比如说 允许酒后驾车 假的
那么 允许不酒后驾车
当然我们这实际上是禁止
但是我现在说允许
比如说我喝了酒我不开车
允许吗
当然是允许
允许不酒后开车
当然是允许的
当然本来是应当酒后不开车
必须酒后不开车
但是我现在酒后不开车允许吗
允许 当然允许
所以这两个没有问题
然后这两个对角线也是矛盾关系
比如说 必须如何 如果是真的
那么 允许不这样做 那就是假的
比如说 必须遵守交通规则 是真的
那么 允许不遵守交通规则 那当然是假的
比如说我允许自行车不骑着走
或者是允许自行车不推着走
这个都可以
比如说我骑着走
允许自行车不骑着走
自行车本来是骑着走的
但是我不骑着走允许吗
允许的
那么这个是真的
那么自行车必须骑着走
没有 没有这样的规定
虽然自行车应该是骑着
但是交通规则里面没有说
你必须骑着走
所以这个是真的
那这个就是假的
禁止酒后驾车是真的
那么允许酒后驾车当然是假的
所以这个对角线上呢
必然是一真一假
那么这个我们看
跟刚才我们说反对 这两个
必须 和 禁止 不能同真 可以同假
允许这样 和 允许不这样
它不能同假 它可以同真的
必须如此 和 允许不如此
必然一真一假
禁止如此 和 允许如此
这是禁止 注意
好像这两个都没有非
因为这是禁止
禁止如此 和 允许如此
必然是一真一假
那么我们也可以像刚才
可能和必然之间的关系
我们也可以整理一下
就是 必须 等于说 不允许不这样做
必须怎么做 那就是 不允许不这样做
下边 允许 等于说 不禁止
这个我们现在大家很熟悉
我们有一条关于法律的一个原则
就是说 不禁止的都是允许的
这个是现在大家都知道的
但是在若干年以前
大概在十几年或者二十年以前
还没有形成这个共识
有人干了什么事情
当然这个事情不算太光彩
但是法律里面毕竟没有禁止
于是警察跑到家里面去
把人家抓走了
那么被抓的公民当然要申诉
我记得当时在报纸上
还有小小的讨论
当然最后的结论是
这两个人没有问题 可以回家
但是当时这个警察怎么说的
就是说 禁止吗
没有禁止
没有禁止 但是法律也没有说
你们就可以这么做
当时警察就这么回答他们的
当然我们现在就知道了
你警察是不许这么说的
你不禁止就是允许的
那我们的法律上往往只说
禁止如何
很少说允许如何
当然有的时候也说允许
但是作为法律来说
它更多的是要强调
禁止什么什么
所以我们现在比如说
我们现在经济开发
我们有一个所谓 叫什么
负面清单
什么叫负面清单
负面清单 就是把禁止的东西告诉你
把禁止的 也就是不允许的东西告诉你
然后它这个负面清单上没有的事情
你都可以做
这个是我们现在的社会的进步
我们的法制的进步
所以不禁止就是允许
允许就是不禁止
那么反过来说
就是刚才这句话
禁止呢
禁止就是不允许
禁止的事情都是不允许做的
那么不是必须做的事情呢
那就是允许你不做
不是必须要做的这件事情
那当然是允许你不做这件事情
你倒过来也是这样
好 那么还有两个 就是差等
差等就是旁边的两条线
这个是上真下必真
下假上必假
就是 必须如何 当然是 允许如何的
必须做的事情 当然允许做
禁止做的事情呢
当然是允许不做的
这是当然的
但是你必须做的
如果不是必须做的事情
那是不是允许呢
不一定
也可能是 也可能不是
比如说 因为
就是 必须如此 如果是假的
它有可能 恰恰是禁止的
比如说必须酒后驾车
当然是假的
那么允许酒后驾车
当然也是假的
所以 从它的假 它也是假的
但是 自行车必须骑着走
是假的
那么 允许自行车骑着走
是真的
所以 这个假 它可以真也可以假
所以真的可以往下推
假的不能往下推
那么假的也是这样的
允许都是假的
不允许的事情能必须吗
当然是不行的
所以这个是假的
这个一定是假的
但是这个真这个不一定真
允许 允许怎么样
允许做的事情
并不是必须要做的
允许自行车推着走
没有说 必须自行车推着走
所以这个之间 它们也是这样的关系
这个和刚才那个模态是完全相似的
那么我们说模态里边
刚才我们把实然加进去了
这个能不能把实然加进去
我们说不行 为什么
实然是说一种事实
而这个规范 只是一种主观的要求
我们要求所有人这样做
要求所有人这样做
是不是所有人都这样做
不是所有人都这样做的
所以你把实然放进去
是不对的
肯定是不行的
假如有一天
我只是说假如
假如有一天
我们每一个公民
完全都在法律法规的约束之下行事
也就是没有一个人
违反这样的东西
那么好 到那一天
我们就可以把实然放在这里了
因为必须这样做
我们每个人都是按照这个做的
而且我们每个人做的事情呢
都是允许我们才这么做的
所以假如有一天
我们每一个人
人人都
每个人做的每一件事情
都是符合法律的
都是符合法律法规的
那么我们就可以加进去了
但是这一天还非常地遥远
我们还看不到实现的这一天
所以现在我们说
道义逻辑 规范逻辑
还不能把这个实然加进去
好 关于规范逻辑 我们就讲这些
-1.1 “逻辑"和逻辑学
--默认
-1.2 推理和推理形式
-1.3 有效推理形式
-1.4 逻辑学的特点
-1.5 逻辑学的基本准则
-1.6 逻辑学和其他学科的关系
-1.7 关于本课程《逻辑学概论》
-第一章作业
-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.2 词项的内涵和外延
-8.3 词项的种类
-8.4 词项间的关系
-8.5 词项的定义
-8.6 词项的划分
-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.2 主词非空的预设
-10.3 关系命题的结构
-10.4 关系命题根据量词的推理
-10.5 关系命题根据谓词性质的推理方法
-10.6 谓词演算简介
-第十章作业
-11.1 非经典（非标准）逻辑
-11.2 多值逻辑
-11.3 模糊逻辑
-11.4 模态逻辑
-11.5 规范逻辑
-11.6 时态逻辑
-11.7 弗协调逻辑
-第十一章作业
-12.1 演绎和归纳
--逻辑学12-1
-12.2 探求因果关系的逻辑方法
--逻辑学12-2
-12.3 证论和反驳
--逻辑学12-3
-12.4 悖论
--逻辑学12-4
-12.5 本课程《逻辑学概论》内容回顾
--逻辑学12-5
-第十二章作业
