※ 引述《phantomsq (小颖)》之铭言： : 标题: Re: [问题] 这三段论推论有效吗？ : 时间: Fri Apr 4 11:33:07 2014 : : 　1#.布玛认为外星人都善良 : 　2.布玛认为达尔是外星人 : 　3.布玛认为贝吉塔不善良 : 　4.达尔是贝吉塔 : 　-- : 　5.布玛认为达尔善良 : 　6.布玛认为贝吉塔不是外星人 : : 不知道欸 : : 我觉得这样推论直觉上相当合理， : 如果extensional context的假定必然发生不合理， : 或许intensional context的假定有可能合理？ : （或者，有可能既非extensional也非intensional？） : : 不过我不清楚intensional context之下有哪形式推理规则可用orz : 以及在这些推理规则之下是否必然会得出不合理的结果？ : ※ 编辑: phantomsq (114.37.232.179), 04/04/2014 11:56:47 : 推 MathTurtle:嗯, 刚才想到另一个可能的推论方法。 04/04 11:57 : → MathTurtle:就是透过 If B[P] and P entails Q, then B[Q] 这条 04/04 11:58 : 推 MathTurtle:说错 04/04 12:03 : → MathTurtle:用 If B[if P then Q] then (if B[P] then B[Q]) 这条 04/04 12:04 : → MathTurtle:这条称为 (K) axiom 04/04 12:04 : → MathTurtle:然後还需要 If P is logically true, then B[P] 04/04 12:07 : → MathTurtle:这条叫做 necessitation rule 04/04 12:07 用了这两条後, 推论如下 　1#.布玛认为外星人都善良 　2.布玛认为达尔是外星人 　3.布玛认为贝吉塔不善良 　4.达尔是贝吉塔 7.「如果外星人都善良, 则如果达尔是外星人则达尔善良」是logical truth 8. 布玛认为「如果外星人都善良, 则如果达尔是外星人则达尔善良」 (by Nec) 9. If 布玛认为「外星人都善良」 then 布玛认为「如果达尔是外星人则达尔善良」 (8, K, MP) 10. 布玛认为「如果达尔是外星人则达尔善良」 (1, 9, MP) 11. If 布玛认为「达尔是外星人」, then 布玛认为「达尔善良」 (10,K, MP) 12. 布玛认为达尔善良 (2, 11,MP) --

※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 140.112.4.182 ※ 文章网址: http://webptt.com/cn.aspx?n=bbs/W-Philosophy/M.1396585136.A.FB8.html intensional - extensional contexts 的区分在於你可以可以代换同指涉的词 这里的推论用的是 modal logic 中的推论公设和推论规则, 没有牵涉到指涉的概念。 (所以无论 extensional 或 intensional 都适用) ※ 编辑: MathTurtle (140.112.4.182), 04/04/2014 12:34:51 ※ 编辑: MathTurtle (140.112.4.182), 04/04/2014 12:35:41