※ 引述《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