作者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/cn.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