不是很明白“道可道,非恒道”的原则是指什么?

回答: 你回头再仔细读一下吧:)JSL20232024-10-26 18:36:27

不过从逻辑上来说,“道可道,非恒道”是个全称命题:所有能说出来的道理,都不是“真理”。而不完备定理有两个限制:1. 在有些公理系统 2. 有些定理推不出。“有些”是“存在”命题,所以这两者不是一类命题。比如:“所有猫都不是黄色的”和“有些猫不是黄色的”是不一样的。后者成立,不能证明前者,存在和全称不是一个运算符。

 

所有跟帖: 

你看这个清楚不:)道可道非常道 的原则 -JSL2023- 给 JSL2023 发送悄悄话 (1082 bytes) () 10/26/2024 postreply 20:02:54

您这个理解比较小众。 -露重烟微- 给 露重烟微 发送悄悄话 (565 bytes) () 10/26/2024 postreply 20:44:49

关不关联本身就是无门关啊,你要怎么证明:) -JSL2023- 给 JSL2023 发送悄悄话 (0 bytes) () 10/26/2024 postreply 21:53:13

您不是说了嘛,不关联不用证,关键是要证关联。:) -露重烟微- 给 露重烟微 发送悄悄话 (0 bytes) () 10/26/2024 postreply 22:07:00

对嘛,我不是一直在问你怎么征无门关?或者狗有无佛性一类:) -JSL2023- 给 JSL2023 发送悄悄话 (0 bytes) () 10/26/2024 postreply 22:09:55

说了啊,自相矛盾自动不成立。:) -露重烟微- 给 露重烟微 发送悄悄话 (0 bytes) () 10/26/2024 postreply 22:22:00

那不正好?我从头到尾都在问 狗有无佛性 和 Godel有什么关系:) -JSL2023- 给 JSL2023 发送悄悄话 (931 bytes) () 10/26/2024 postreply 22:25:08

所以Goedel为啥要费劲编码,心证即可:不管回答公理系统能不能推出所有定理,您都丧失了自己的佛性。同曲同工,是不是更妙? -露重烟微- 给 露重烟微 发送悄悄话 (0 bytes) () 10/26/2024 postreply 22:50:00

你理解反了,你要问老荷为啥要引无门关:已经有了Godel 为啥要引无门关:) -JSL2023- 给 JSL2023 发送悄悄话 (130 bytes) () 10/27/2024 postreply 00:28:54

1. 更有趣味性 2. “无门关”认为语言不可靠,因为容易形成矛盾,但却又要依靠语言来传授知识。 -露重烟微- 给 露重烟微 发送悄悄话 (0 bytes) () 10/27/2024 postreply 12:05:00

Goedel推出某些形逻数学系统不可靠,但数学家又要用这些系统来证明。这是一个类比方便理解。再细的等我周末要有空写个长篇。 -露重烟微- 给 露重烟微 发送悄悄话 (0 bytes) () 10/27/2024 postreply 12:07:00

那不就有关联了吗?道可道与无门关有什么不同?别又等大半年:) -JSL2023- 给 JSL2023 发送悄悄话 (133 bytes) () 10/27/2024 postreply 15:35:58

能类比就叫有关联? 那别说半年啦,半生都不够用。 -露重烟微- 给 露重烟微 发送悄悄话 (0 bytes) () 10/27/2024 postreply 17:19:40

请您先登陆,再发跟帖!