※ 引述《asdinap (asdinap)》之铭言： : 但 (φ-> (Ψ->φ) ) 中 表示 可以代入任何的语句 : 我解读为 可以代入任何(语句内容所指的)事件 的话 -> 是无因果关系的 : (请见下文说明) : 而如果可以代入任何的语句只是一些文字 不代表文字所意涵的内容的话 : 那是我对这逻辑学公理的解读错误了 不是说 -> 这个符号有或没有因果关系. -> 符号的意思就是:隐含. 它的意思是说,只要你在 -> 左边放一些东西,并在 -> 右边也放一些东西, 整个句子就是一则合格的逻辑叙述. p->q 就是如果有p,就可以得到一个q. 至於更复杂的句子,φ-> (Ψ->φ),你真的不需要因为句式比较复杂,就怀疑 -> 是不是代表因果关系. 只要你填入一些项目,例如, p -> (q -> p) 这句所指明的隐含关系真的就是这个样子. 至於你所思考的 p q 内容意义上面的关系, 那是亚里斯多德时代的逻辑观念,他的逻辑观念是:一个p,如果用世界真实的一切 检验不成立,那麽p就不是一个合格的逻辑叙述或项目. 但是,这样的观念已经被布尔的现代逻辑观念打破(或扩充). 现代逻辑讲的是,一个p,不管它内容意义在真实世界是不是成立,只要p的格式 符合合格的逻辑叙述格式,p就是一个逻辑叙述. 所以,φ-> (Ψ->φ),不要特地思考某一些意义无关的φ跟Ψ,来使自己的想法混淆. φ-> (Ψ->φ)真的只是句子的形式,而不是指句子的内容对或不对. 一句叙述就算看起来显然不对,但只要句子形式合格,就是个逻辑叙述. (话说,解释句子内容对或不对,逻辑学有许多解释系统可以使用呢!) --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 59.112.225.131