“后马克思主义”是马克思主义吗?
§1 命题演算的自然推演系统
命题逻辑可以有不同的形式化方法。自然推演系统就是另一种形式化方法。
广义上讲,自然推演系统也是一种公理系统,但它和狭义的公理系统在以下几方面有所不同。
(1)没有公理。任何狭义的公理系统,不论公理多少,总是需要有一些公理作为出发点,但自然推演系统没有公理。
(2)有新类型的推演规则。因为没有公理,所以必须有引进和消去假设的规则。这种规则类似于公理系统中的演绎定理。
(3)建立系统所考虑的重点是接近于日常推理。一般使用较多的联接词和量词,不在乎形成规则的复杂,也使用较多的推演规则,不强调推演规则互相独立。
相关词
相关推荐
-
[1] 命题演算和谓词演算的不同系统
-
[2] 命题演算系统的等价性
-
[3] 不用模式的命题演算系统
-
[4] 《模态命题演算》系统 K
-
[5] 谓词演算的自然推演系统
其他推荐
-
图书 可能世界的名字
作者:刘新文 祝瑞
图书 可能世界的名字
-
2
图书 图式逻辑
作者:刘新文
图书 图式逻辑
-
3
图书 现代汉语复句句式研究
作者:徐阳春
图书 现代汉语复句句式研究
-
4
图书 逻辑演算
作者:刘壮虎
图书 逻辑演算
-
5
图书 资本经济学道 法 术 技
作者:刘永佶
图书 资本经济学道 法 术 技
-
6
图书 范畴类型逻辑及其在汉语反身代词回指照应中的应用
作者:贾青
图书 范畴类型逻辑及其在汉语反身代词回指照应中的应用
-
7
图书 弗雷格
作者:〔美〕汉斯·D·斯鲁格 江怡
图书 弗雷格
-
8
图书 论笛卡尔的机械论哲学
作者:宋斌
图书 论笛卡尔的机械论哲学
-
9
图书 近代西方哲学的理性与信仰
作者:李勇
图书 近代西方哲学的理性与信仰
-
10
图书 周易象数图说
作者:顾明
图书 周易象数图说