作者phantomsq (小颖)
看板W-Philosophy
标题Re: [问题] 这三段论推论有效吗？
时间Fri Apr 4 11:33:07 2014
※ 引述《MathTurtle (恩典)》之铭言：
: 嗯, 这里有点复杂, 要再分两个case
: case 1.1 理解「布玛认为x是外星人」和「布玛认为x是善良」为extensional context
: 因此这里的x可以代换同指涉的词是合理的。
: 从这里你可以推出: x=y -> 布玛认为x是善良 iff 布玛认为y善良
: 也因此, 前提1-4是矛盾的!
: Case 1.2 主张「布玛认为x是外星人」是intensional context,
: 但认为句子1「对於所有x，如果布玛认为x是外星人，则布玛认为x善良」是合法的。
嗯...想来数龟认为该推论不合理的原因似乎和1.有关
所以我後来把问题改成了：
1#.布玛认为外星人都善良
2.布玛认为达尔是外星人
3.布玛认为贝吉塔不善良
4.达尔是贝吉塔
--
5.布玛认为达尔善良
6.布玛认为贝吉塔不是外星人
假如我们都同意extensional context的解读下是不合理的，
那我们如果假设1#.2.3.5.6.都是intensional context，这样推论合理吗？
（「推论合理」就是前面说的：前提无不一致，推论有效，结论无不一致，不造成悖论）
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 114.37.232.179
※ 文章网址: http://webptt.com/cn.aspx?n=bbs/W-Philosophy/M.1396582391.A.B86.html
※ 编辑: phantomsq (114.37.232.179), 04/04/2014 11:34:55
1F：推 MathTurtle:这样的话前提没有不一致, 但推论是无效的 (所以不合理) 04/04 11:41
2F：→ MathTurtle:你觉得有什麽方式我们可以从1#,2,3,4推出5来? 04/04 11:42
不知道欸
我觉得这样推论直觉上相当合理，
如果extensional context的假定必然发生不合理，
或许intensional context的假定有可能合理？
（或者，有可能既非extensional也非intensional？）
不过我不清楚intensional context之下有哪形式推理规则可用orz
以及在这些推理规则之下是否必然会得出不合理的结果？
※ 编辑: phantomsq (114.37.232.179), 04/04/2014 11:56:47
3F：推 MathTurtle:嗯, 刚才想到另一个可能的推论方法。 04/04 11:57
4F：→ MathTurtle:就是透过 If B[P] and P entails Q, then B[Q] 这条 04/04 11:58
5F：推 MathTurtle:说错 04/04 12:03
6F：→ MathTurtle:用 If B[if P then Q] then (if B[P] then B[Q]) 这条 04/04 12:04
7F：→ MathTurtle:这条称为 (K) axiom 04/04 12:04
8F：→ MathTurtle:然後还需要 If P is logically true, then B[P] 04/04 12:07
9F：→ MathTurtle:这条叫做 necessitation rule 04/04 12:07