Re: 吵架專用的悖論

看板logic作者luciferii (路西瓜)時間18年前 (2007/10/26 03:23)推噓5(5推 0噓 20→)

留言25則, 3人參與討論串4/30 (看更多)

※ 引述《aletheia (cOnJeCTuRe)》之銘言： : 你說恆真句會互相矛盾我很難想像這種可能所以才有 paradox : somedubt講的幾乎都是正確的我說幾乎是因為我沒看完所有內容 : 不是說somedoubt有錯抄大一課本如果本句為真，上帝存在。令X表「本句」，Y為「上帝」。這個句子為 X->Y 亦即 X= X->Y X->X (恆真句) = X->(X->Y) = X->Y = X X為恆真句，這個句子本身從來沒有矛盾過，這個語句單一時，沒有什麼「真假都會導致矛盾」的狀態。「所有這類型句子均為真」才會導致同時為真又矛盾這整個命題本身稱作 Curry's Paradox。 paradox，代表由顯然為真的statement(s)推論下去，會互相導致矛盾的statements集合，所以有時候單一句子即可形成paradox （「我只會說謊」）有的是多個statements 才會形成paradox。（下句正確）（上句錯誤）如果你非要讓本例中的單一statement亦為 paradox，請改題目為「如果本句為真，上帝存在且不存在」這樣你才可以說這句話本身形成一個悖論。這些都印在課本上。恆真就是恆真句矛盾句就是恆假句，不管是x為T或F都只能得到 False，沒有人會說「矛盾句是既真又假的語句」。既真又假的叫paradox，加上自我指涉的矛盾句或恆真句才有可能形成 paradox。你完全地搞反。基礎邏輯有修過，集合有修過，就不會弄錯什麼是矛盾的statement、什麼是悖論。 : → somedoubt:再說一遍喔：矛盾句指的是p&~p形式的語句，你可以說矛盾 10/25 10:0 1 : → somedoubt:句是既真又假的語句，也可以說它是恆為假的語句。如果 10/25 10:0 3 : → somedoubt:你因此而將矛盾句理解為悖論語句，那就錯了。 10/25 10:0 4 : → somedoubt:這樣有了改嗎？ 10/25 10:06 這樣有了改了嗎？ ※ 編輯: luciferii 來自: 218.166.97.215 (10/26 05:18)

→