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

天茂

下面引用由门外汉在 2011/06/16 03:14pm 发表的内容：
卢卡西维茨的三值逻辑是“既不真也不假”，因为它是对“将来”做出阵述的，所以对于“现在”来说，是无法判定。
但是卢卡西维茨的三值逻辑只承认“不真不假”，而不会承认“既真又假”。
还是那句话：我从来没看 ...

从排中律的规则来说，不真不假＝既真又假＝第三者。

门外汉

下面引用由天茂在 2011/06/16 03:22pm 发表的内容：
从排中律的规则来说，不真不假＝既真又假＝第三者。

如果你是这么理解的，那说明你的三值逻辑确实是走偏了。
我看到有些三值逻辑确实是承认“不真不假”的，但还真没看到哪一个三值逻辑是承认“既真又假”的。
现在给你一个机会：请你论证一下“既真又假”的合理性，让我大开眼界。

ygq的马甲

下面引用由门外汉在 2011/06/16 05:51pm 发表的内容：
如果你是这么理解的，那说明你的三值逻辑确实是走偏了。
我看到有些三值逻辑确实是承认“不真不假”的，但还真没看到哪一个三值逻辑是承认“既真又假”的。
现在给你一个机会：请你论证一下“既真又假”的合理性 ...

你（门外汉）这种外行，实在没说头
注：从排中律的规则来说，不真不假＝既真又假＝第三者。
*************************************************
.
【新】分类，【新】文化，【新】未来。（公理化的中国道学） 。
.
附图：二维几何模型表示的逻辑类型

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

门外汉

下面引用由ygq的马甲在 2011/06/16 06:21pm 发表的内容：
你（门外汉）这种外行，实在没说头
注：从排中律的规则来说，不真不假＝既真又假＝第三者。
*************************************************
.
...

那你给引出文献来吧，让我看一下哪位逻辑学家论证了不真不假＝既真又假。

ygq的马甲

下面引用由门外汉在 2011/06/16 06:31pm 发表的内容：
那你给引出文献来吧，让我看一下哪位逻辑学家论证了不真不假＝既真又假。

你（门外汉），难道不会自己来【证明】吗 ？？？
【证明】：不真不假，是 R(·,·)="﹁∈" 对应的是 A←→﹁A 。

天茂

[这个贴子最后由天茂在 2011/06/16 06:37pm 第 1 次编辑]

下面引用由门外汉在 2011/06/16 05:51pm 发表的内容：
如果你是这么理解的，那说明你的三值逻辑确实是走偏了。
我看到有些三值逻辑确实是承认“不真不假”的，但还真没看到哪一个三值逻辑是承认“既真又假”的。
现在给你一个机会：请你论证一下“既真又假”的合理性 ...

这样的例子比比皆是，比如：
“灰”既可以说成是“不黑不白”，也可以说成是“又黑又白”；
“中”既可以说成是“不上不下”，也可以说成是“既上又下”；
“悖”既可以说成是“不真不假”，也可以说成是“既真又假”；
“骡”既可以说成是“非驴非马”，也可以说成是“是驴是马”；
“0 ”既可以说成是“非正非负”，也可以说成是“亦正亦负”；
“解析几何”既可以说成是“既不是代数又不是几何”，也可以说成是“既是代数又是几何”；
“任何一个人”既可以说成是“不好不坏”，也可以说成是“又好又坏”；
……
简直数不胜数！

天茂

下面引用由门外汉在 2011/06/16 06:31pm 发表的内容：
那你给引出文献来吧，让我看一下哪位逻辑学家论证了不真不假＝既真又假。

一般的文献在谈到“真、假”时常用“非真非假”的说法，很少用“既真又假”；在谈到“彼、此”时常用“亦此亦彼”的说法，很少用“非此非彼”。这不过只是个习惯而已。
如果大家只认可“非真非假”不承认“既真又假”，岂不是应该常用“非此非彼”而不用“亦此亦彼”的说法吗？为什么恰好相反呢？

门外汉

下面引用由天茂在 2011/06/16 06:35pm 发表的内容：
这样的例子比比皆是，比如：
“灰”既可以说成是“不黑不白”，也可以说成是“又黑又白”；
“中”既可以说成是“不上不下”，也可以说成是“既上又下”；
“悖”既可以说成是“不真不假”，也可以说成是“既真又假”；
“骡”既可以说成是“非驴非马”，也可以说成是“是驴是马”；
“0 ”既可以说成是“非正非负”，也可以说成是“亦正亦负”；
“解析几何”既可以说成是“既不是代数又不是几何”，也可以说成是“既是代数又是几何”；
“任何一个人”既可以说成是“不好不坏”，也可以说成是“又好又坏”；
……
简直数不胜数！

这逻辑可真是混乱到家了。
单拿一个“骡”来说，说它“非驴非马”，绝没有谁来反对的，如果你说它“是驴是马”，恐怕连骡子自己都要反驳你几句。

门外汉

“非真非假”是否定排中律的，“既真且假”是否定矛盾律的。
排中律和矛盾律不是同一概念。
我只听说过有否定排中律的多值逻辑，还真没听说有否定矛盾律的多值逻辑呢。
如果有这样的逻辑，给引证一个出来。

ygq的马甲

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

你（门外汉）这种外行，实在没说头
“形式ｆｏｒｍａｌ”逻辑的“同一律 Ａ＝Ａ”，是基础。排中律和矛盾律的导出的定理。【否定】其一，也必定否定“同一律 Ａ＝Ａ”，