※ 引述《yauhh (举杯邀鼠长 共饮长江奶)》之铭言： : ※ 引述《krisnight (krisnight)》之铭言： : (略) : 啊! 我知道你所说的「一般而言, 当有人说 P 就是 P 为真」的意思. : 虽然是对的,但只限於 P 是单一的命题词汇. : 这样的想法不能套到所有的复合词汇上啊! 单一词汇代表一个事实,但复合词汇可不是! : 所以 (P -> Q) 是一个命题, 但我们不会说「一般而言, 当有人说 (P -> Q) : 就是 (P -> Q) 为真」的意思. 以上的辩证全是要谈这个情况. : 你要搞清楚,你讲的是 atom, atomic proposition. 我看不太懂你的意思 我的理解是你认为 平时说出atomic sentence是在肯定atomic sentence为真 但是complicated sentence这样就不可能 某人assert that (P-->Q) 而他认为(P-->Q)是真的 这样的可能性还是有的 : 我不知道你有何种想法讲出「P 意为 P 为真」的讲法, 我原本猜 他的意思是这样的 Assert that P implies it is the case that P. : 但是,在你讲这句话之前,我讲的是「命题是一个可能真,可能假的东西」 : 当我讲命题二字时,我想到的是所有的复合命题和单一命题, : 而你讲命题的时候,只想到单一命题词汇. : 此外,很多时候当我们讲 P 的时候,仍然保留它可以真可以假的弹性. : (你讲的那句话真的不是约定俗成,因为最起码我不把你这句话当做一回事.) : 然而,在更之前,我们谈的是 (P and ~P), 这是一个复合命题! : 复合命题就是可能真,可能伪; 而这个特别的命题因为无法表现出来, : 就被 Principle of Contradiction 限制为 it is not the case that : (P and ~P). 但这并不是说它 "is not a proposition," 这差很多. : 请阅读: : 1. 基础逻辑课本. : 2. Wikipedia的 Propositional_calculus 条目. : 2. Wikipedia的 Principle_of_Contradiction 条目. : 你不能说 (P and ~P) 不是命题,因为 Principle of Contradiction 是表达为 : ~(P and ~P). 如果 (P and ~P) 不是命题, ~(P and ~P) 要怎麽表达意思? --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 220.134.201.196