※ 引述《aletheia (cOnJeCTuRe)》之铭言： : 标题: [心得] 逻辑系统大概是甚麽样子 : 时间: Sat Oct 18 02:14:08 2008 :

※ 发信站: 批踢踢实业坊(ptt.cc) : ◆ From: 220.134.201.196 : ※ 编辑: aletheia 来自: 220.134.201.196 (10/18 02:20) : 推 yauhh:上课啦上课啦 (敲锣) 10/18 02:20 : ※ 编辑: aletheia 来自: 220.134.201.196 (10/18 02:26) : 推 yauhh:那麽,推论规则是syntactically或semantically处理? 10/18 02:24 : → aletheia:嗯 当然是语法的 logical calculus就是语法上的计算系统 10/18 02:27 : → aletheia:不过其实我们设定推论法则时 还是要参考一下自然语言 10/18 02:41 : → aletheia:这样会使得这个系统比较好用一点 但这并不是必须的 10/18 02:41 : 推 ksmrt0123:「公理可以演绎出该语言中的所有theorem」 只是 10/18 15:13 : → ksmrt0123:completeness 而已吧... soundness 呢? 10/18 15:13 : → ksmrt0123:且依此说法, 不具备completeness的 logic system 就是 10/18 15:15 : → ksmrt0123:不「恰当」的罗? 10/18 15:15 恩 我写的太短 也没办法解释的很详细 基本上我那段的意思是 在选择theorem的时候还是要参考 该语言适当的semantics 而初阶语言既然是complete又是sound 那adequacy就可以用semantics解释会比较快 像高阶语言中没有effective semantics 那的确就不好搞出calculus 但这边的确有混淆的风险就是了 另外"公理可以演绎出该语言中的所有theorem" 这不是在讲completeness 一个系统具备完备性的话是说 "在其对应的semantics下 凡是valid都能在其中被证明" 也就是如果一各系统具有完备性 那麽其中的seqeuent都可以被视为是valid argument forms --

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