作者masteryi5566 (漢默丁格5566)
看板W-Philosophy
標題Re: [問題] 關於邏輯的問題
時間Wed Sep 26 19:48:28 2018
範例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://webptt.com/m.aspx?n=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
1F：推 std92050: 感謝泡麵頭 不過我真的還是不太了解你舉範例1、2的意思 09/26 21:58
2F：→ std92050: 範例一應該是有效的 因為前提矛盾(不一致) 09/26 21:59
3F：→ std92050: 範例二表示一致但不一定是有效的 09/26 22:01
4F：→ std92050: 但這樣無效論證 前提就不能不一致不是嗎 09/26 22:02
5F：→ masteryi5566: 首先，論證有效性是語意學的概念，一個論證有效iff 09/26 23:01
6F：→ masteryi5566: 前提都為真時，結論必然為真。所以從這個方面看來， 09/26 23:01
7F：→ masteryi5566: 兩個矛盾的語句一開始就不會同時為真，根本符合不了 09/26 23:01
8F：→ masteryi5566: 這個條件。同樣地，兩個可以同時為真的語句，與當前 09/26 23:01
9F：→ masteryi5566: 提都為真時，不一定為真的結論，也是一個無效論證。 09/26 23:01
10F：→ masteryi5566: 而我後面是從語法上解釋為什麼矛盾的句子可以推出所 09/26 23:01
11F：→ masteryi5566: 有句子。 09/26 23:01
12F：→ masteryi5566: 我重新審視以後，我的說法應該需要修正，我上面給出 09/26 23:12
13F：→ masteryi5566: 的定義是一個條件句，前提都為真時，則結論必然為真 09/26 23:12
14F：→ masteryi5566: ，然而不一致的前提顯然無法滿足前件，所以反而整句 09/26 23:12
15F：→ masteryi5566: 為真，因此整個條件句是空泛為真。 09/26 23:12
16F：→ masteryi5566: 因此我想，你說得是對的，一個無效論證前提不可能不 09/26 23:13
17F：→ masteryi5566: 一致，那麼我的文章能幫到的只有，解釋了為什麼矛盾 09/26 23:13
18F：→ masteryi5566: 句能推出所有語句。 09/26 23:13
19F：推 china2025: excuse ne 09/30 06:44