Peirce的三值逻辑

c
chebyshev
楼主 (未名空间)

设想一个人去看病,医生会给三种结论:有病,没病,in-conclusive。
(这是机器学习常见的情况)。

这三种情况,用T,F,I来表示。真,假,不知道。

先考虑one place operator。定义一个操作符"-"
-T,-F按照非真,非假处理即可。
-I按照仍然是in-conclusive处理。因为没有结论的非,无法帮助你定位到T,F。

再考虑two placement operator "x"。
假设两个医生都给这个人看了病,一个人说"有病“,另一个说”没查出来“。
那一般人恐怕都会按照有病吃点药。所以 T x I = T

如此继续下去,two placement operator的取值表格有9个。

这样,1884年,Perice就用三页纸开创了一门数学。

为什么说这是一门有效的数学?
原因如下:
第一,按照上面的例子,三值逻辑(或者多值函数)有应用场景。
第二,数学定理可以给应用提供insight。例如如下2问题,显然是有意义的:

0/1逻辑里,NOR可以表示所有其他的关系。这个事实在数字电路中广泛应用。
那么对给定的三值逻辑,有没有universal gate?
什么是其universal gate?

第三,从应用的角度来讲,NULL之类的东西是怎么回事?这是最直接的应用。
例如:https://modern-sql.com/concept/three-valued-logic

R
ReedToBe

多值包括三值逻辑没什么值得深究的,可以归约于二值逻辑。
g
guvest


你还不如说红楼梦归约于新华字典。

【 在 ReedToBe (ReedToBe) 的大作中提到: 】
: 多值包括三值逻辑没什么值得深究的,可以归约于二值逻辑。

s
straybird02

智障二货,这边人太nice了。赶快回古板装逼

【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
: 你还不如说红楼梦归约于新华字典。

m
muse

楼主的呗了半天,有什么新意吗?是个人用过sql的,都知道三值逻辑。

g
guvest

没有。有也不会告诉你。

另外我跟大家一样,碰到Null,nil,...都是鸡毛鸭血。

你说下SQL三值逻辑的universal gate是啥?
类似于0/1逻辑里NOR那个操作的。
【 在 muse (老心理学家) 的大作中提到: 】
: 楼主的呗了半天,有什么新意吗?

s
straybird02

智障二货老卢瑟,整天意淫,吃安眠药和睾丸酮

【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
: 没有。有也不会告诉你。
: 另外我跟大家一样,碰到Null,nil,...都是鸡毛鸭血。

m
muse

老实说,我也得查真值表。
【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
: 没有。有也不会告诉你。
: 另外我跟大家一样,碰到Null,nil,...都是鸡毛鸭血。
: 你说下SQL三值逻辑的universal gate是啥?
: 类似于0/1逻辑里NOR那个操作的。

g
guvest

本体论工程,知识图谱之类的AI项目,可以套个Peirce的帽子卖钱的。
所以不便多谈,见谅。

【 在 muse (老心理学家) 的大作中提到: 】
: 老实说,我也得查真值表。