Re: [問題] 關於邏輯的問題

[masteryi5566 (漢默丁格5566)]

範例1：

前提：
1.今天下雨
2.今天不下雨

結論：
蔡英文是男的

範例2.：
1.今天下雨
2.今天下雨過後地是濕的

結論：
蔡英文是男的

望你能看出為什麼無效論證，其前提一致與否不重要。

另外若你有興趣的話，從矛盾語句能推出任何語句，我們在邏輯上稱為Ex falso quodlibet。
他能推出所有語句的理由是這樣的。

前提：

1.P‧~P

欲證Q

Proof：
2.P (1.simplification)
3.~P(as 2)
4.PvQ(2.disjunction)
5.Q(3&4 disjunctive syllogism  )

如此，我們可以推導出任意Q。
希望表達得夠清楚。


-----
Sent from JPTT on my Samsung SM-G950F.

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 39.8.192.127
※ 文章網址: https://www.ptt.cc/bbs/W-Philosophy/M.1537962510.A.189.html
※ 編輯: masteryi5566 (39.8.192.127), 09/26/2018 19:48:50
※ 編輯: masteryi5566 (39.8.192.127), 09/26/2018 19:57:29
推 std92050: 感謝泡麵頭  不過我真的還是不太了解你舉範例1、2的意思
→ std92050: 範例一應該是有效的 因為前提矛盾(不一致)
→ std92050: 範例二表示一致但不一定是有效的
→ std92050: 但這樣無效論證 前提就不能不一致不是嗎
→ masteryi5566: 首先，論證有效性是語意學的概念，一個論證有效iff
→ masteryi5566: 前提都為真時，結論必然為真。所以從這個方面看來，
→ masteryi5566: 兩個矛盾的語句一開始就不會同時為真，根本符合不了
→ masteryi5566: 這個條件。同樣地，兩個可以同時為真的語句，與當前
→ masteryi5566: 提都為真時，不一定為真的結論，也是一個無效論證。
→ masteryi5566: 而我後面是從語法上解釋為什麼矛盾的句子可以推出所
→ masteryi5566: 有句子。
→ masteryi5566: 我重新審視以後，我的說法應該需要修正，我上面給出
→ masteryi5566: 的定義是一個條件句，前提都為真時，則結論必然為真
→ masteryi5566: ，然而不一致的前提顯然無法滿足前件，所以反而整句
→ masteryi5566: 為真，因此整個條件句是空泛為真。
→ masteryi5566: 因此我想，你說得是對的，一個無效論證前提不可能不
→ masteryi5566: 一致，那麼我的文章能幫到的只有，解釋了為什麼矛盾
→ masteryi5566: 句能推出所有語句。
推 china2025: excuse ne