作者aletheia (cOnJeCTuRe)
看板logic
标题Re: [请益] 逻辑蕴含与实质蕴含
时间Tue Mar 20 13:50:33 2007
※ 引述《A1Yoshi (我是妖西)》之铭言:
: ※ 引述《aletheia (cOnJeCTuRe)》之铭言:
: 我手边的某本逻辑课本也是这样写,但我觉得这里的「没有关系」大有
: 问题。怎麽会没有关系呢?虽然前提结论怎样的真假组合都不影响论证
: 形式的有效或无效,可是,我觉得在某意义下这样的组合,这组合本身
: 决定了一个句子或一个论证到底是否逻辑上恒真,或有效。
: 不要忘了,今天是因为我们谈的是二值逻辑,要不真要不假,所以才会
: 得到那样的组合,并且那样的组合因此决定了论证形式有效或句子逻辑
: 上恒真的意义内涵啊!
这边不对
principle of extensionality说的不是这样
: 所以,那句「没有关系」让我觉得很诡异。
我也认为说没有关系不太恰当 但可能跟你的理由不相同吧
不过在初阶逻辑中 这样说很恰当
实际上如果不把truth或T 当作primative或许会好的多
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.143.99
1F:→ aletheia:我刚知道这个的历史背景了 03/20 23:55
2F:→ aletheia:推错 03/20 23:55