数学联邦政治世界观
超小超大

范畴逻辑(二) (6-5)

此时再由 Yoneda 引理,我们可以推断C𝔾'≅C𝔾。因此可见,尽管 𝔾 和 𝔾' 是两个不同的逻辑系统,但在这个意义上它们都可以看作是(在等价的意义下)同一个语形范畴 C𝔾 的不同表示。而语形范畴则是在保持某个逻辑系统所有的语义信息不变的情况下我们所得到的某种不依赖于具体表示(presentation invariant)的对象。在这种意义上,我们的语形范畴是在我们只关心逻辑的模型的大前提下对逻辑系统非常好的抽象。

逻辑片段与范畴结构

在本文的结尾部分我们来阐述本篇文章标题所指的内容。如果你非常严肃地看待前面两节的小标题,你会发现我们前面的描述其实并不完全准确。对于命题逻辑,我们仅仅指出了某种特殊的结构,即布尔代数,和经典逻辑的对应;对于推广的逻辑系统,我们也仅仅研究了最最简单的等式逻辑和有限乘积完备的范畴之间的对应关系。这些都只是一般情形的中很小的一部分特殊的结构。

事实上,逻辑和范畴结构之间的对应远比我们前面所描述的要来的深远。在等式逻辑中我们除了等号,其他所有的逻辑连词都无法使用。在这之上我们还有很多逻辑片段,这些逻辑片段与它们对应的范畴结构都列在下表中了:

逻辑片段 范畴结构

等式逻辑(=) 有限乘积完备范畴

笛卡尔逻辑(Cartesian Logic)(=,⊤,∧,∃!)

笛卡尔范畴(Cartesian Category)

正规逻辑(Regular Logic)(=,⊤,∧,∃) 正规范畴(Regular Category)

连贯逻辑(Coherent Logic)(=,⊤,∧,⊥,∨,∃)

连贯范畴(Coherent Category)

几何逻辑(Geometric Logic)(=,⊤,∧,⊥,∨,∃) 几何范畴(Geometric Category)

一阶直觉主义逻辑(=,⊤,∧,⊥,∨,→,∃,∀)海廷范畴(Heyting Category)

一阶经典逻辑(=,⊤,∧,⊥,∨,→,¬,∃,∀)

布尔范畴(Booleán Category)

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

雪霞:花样诗情 连载中
雪霞:花样诗情
Crystal绘霞
从前的一些往事,凹凸设定
0.2万字9个月前
小故事合集(琳) 连载中
小故事合集(琳)
十三月_琳
之前那个不写了,简介在第一章
3.1万字9个月前
幻缘界 连载中
幻缘界
泥牛入海A
自己写的动漫小说,希望被人喜欢,有人合作做成动漫
32.7万字9个月前
悟空小侠(六空cp) 连载中
悟空小侠(六空cp)
CT小柒
Cp只有六空其他都是友情向
0.0万字9个月前
血咒邪妃 连载中
血咒邪妃
沫九殇
她本是一代邪教主,穿越成为神族的储君公主。一个血夜的觉醒,她背负了最沉重的命运,但依旧唯我独尊,依旧睥睨天下。翻手为云,覆手为雨,欲与天公试......
3.3万字9个月前
春山向晚 连载中
春山向晚
绵羊失眠
青阳城的沈家是医药世家,家主沈康的医术远近闻名。然而,在一次出手救人之后,沈家遭到了打击报复,全家上下二十八口全部丧命。沈家大小姐沈惊棠在家......
5.0万字9个月前