|
最有趣的逻辑悖论之一:格雷林悖论
下面引用由门外汉在 2011/06/16 07:15pm 发表的内容:
我现在已经懒得和人胡扯了。
如果哪位知道有否定矛盾律的多值逻辑,请引出文献出来,让我好好的参观参观,学习学习。 “辩证dialectic”逻辑,R(·,·)="﹁∈" 对应的是 A←→﹁A 。是一种连续逻辑,当然也是多值逻辑
否定“形式formal”逻辑的所有定理的,包括“同一律A=A”、排中律、矛盾律
*************************************************
.
【新】分类,【新】文化,【新】未来。(公理化的中国道学) 。
.
附图:二维几何模型表示的逻辑类型

.
【公理二】存在且只存在 R(·,·)="∈"∪"﹁∈"∪"Φ"
.
按照《一分为二》方法假设代号 A 和 ﹁A ,那么对照《二维几何模型表示的逻辑类型》附图,存在五种侧面,分别如下:
R(·,·)="Φ" 对应的是 A 和 ﹁A ;
R(·,·)="∈" 对应的是 A←→A 和 ﹁A←→﹁A ;
R(·,·)="﹁∈" 对应的是 A←→﹁A 。
以上是【公理】部分,与 A 所选择的具体内容无关。
.
*************************************************
|
|