最有趣的逻辑悖论之一：格雷林悖论

门外汉

我现在已经懒得和人胡扯了。
如果哪位知道有否定矛盾律的多值逻辑，请引出文献出来，让我好好的参观参观，学习学习。

ygq的马甲

下面引用由门外汉在 2011/06/16 07:15pm 发表的内容：
我现在已经懒得和人胡扯了。
如果哪位知道有否定矛盾律的多值逻辑，请引出文献出来，让我好好的参观参观，学习学习。

“辩证ｄｉａｌｅｃｔｉｃ”逻辑，R(·,·)="﹁∈" 对应的是 A←→﹁A 。是一种连续逻辑，当然也是多值逻辑
否定“形式ｆｏｒｍａｌ”逻辑的所有定理的，包括“同一律Ａ＝Ａ”、排中律、矛盾律
*************************************************
.
【新】分类，【新】文化，【新】未来。（公理化的中国道学） 。
.
附图：二维几何模型表示的逻辑类型

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

ygq的马甲

楼主（门外汉）的【致命】缺陷是， 【推理】和【变换】能力，太差了
而变换的能力，对逻辑是必须的

天茂

下面引用由门外汉在 2011/06/16 06:57pm 发表的内容：
这逻辑可真是混乱到家了。
单拿一个“骡”来说，说它“非驴非马”，绝没有谁来反对的，如果你说它“是驴是马”，恐怕连骡子自己都要反驳你几句。

说骡子非驴非马，指的是身体非驴（驴矮小，骡高大），耳朵非马（马耳短，骡耳长），等等；
说骡子是驴是马，指的是身体是马（马高大，骡高大），耳朵是驴（驴耳长，骡耳长），等等。
难道您认为上面的说法有什么问题吗？
我们讨论学术问题，最好不要掺杂非学术因素。

门外汉

下面引用由天茂在 2011/06/16 08:50pm 发表的内容：
说骡子非驴非马，指的是身体非驴（驴矮小，骡高大），耳朵非马（马耳短，骡耳长），等等；
说骡子是驴是马，指的是身体是马（马高大，骡高大），耳朵是驴（驴耳长，骡耳长），等等。
难道您认为上面的说法有什么问题吗？
我们讨论学术问题，最好不要掺杂非学术因素。

你的说法本身就是在掺杂非学术因素。
用这种思维方法来解释任何道理，没有解释不通的。
数学虽然需要想像力，但绝对不需要这么丰富的想像力。
如果是搞文学，这种丰富的想像力才是必不可少的。

ygq的马甲

下面引用由ygq的马甲在 2011/06/16 08:06pm 发表的内容：
楼主（门外汉）的【致命】缺陷是， 【推理】和【变换】能力，太差了
而变换的能力，对逻辑是必须的

如果楼主（门外汉）还想继续【逻辑】方面的话题，需要加强【训练】的

天茂

[这个贴子最后由天茂在 2011/06/18 07:34am 第 1 次编辑]

下面引用由门外汉在 2011/06/16 07:02pm 发表的内容：
“非真非假”是否定排中律的，“既真且假”是否定矛盾律的。
排中律和矛盾律不是同一概念。
我只听说过有否定排中律的多值逻辑，还真没听说有否定矛盾律的多值逻辑呢。
如果有这样的逻辑，给引证一个出来。

咱们先把对矛盾律和排中律的认识统一和明确起来：
矛盾律的基本内容是：在同一个思维过程中，互相否定的思想不能同时是真的。
排中律的基本内容是：在同一个思维过程中，两个互相否定的思想必有一个是真的。
矛盾律考虑了两种情况：矛盾关系（例如“红”和“非红”）和反对关系（例如“红”和“绿”），而排中律只考虑了矛盾关系。
而我们讨论的“第三者”（“非此非彼”和“亦此亦彼”）显然与反对关系无关。这就是说，如果将反对关系排除在外，矛盾律和排中律可以如下叙述：
矛盾律的基本内容是：在同一个思维过程中，两个互相否定的思想必有一个是假的。
排中律的基本内容是：在同一个思维过程中，两个互相否定的思想必有一个是真的。
这就是说，矛盾律和排中律可以用以下叙述统一起来：
在一对矛盾判断中，必有一真，必有一假。
——————————————————————————
请门外汉先生先确认上述结论，如有疑问，先澄清后再往下继续。