达米特的演绎辩护思想

达米特区分了演绎辩护问题的三个层次:演绎论证的句法有效性的辩护、演绎逻辑系统的正确性的辩护以及演绎推论如何可能的辩护。第一层次的演绎辩护不存在问题。就第二层次的辩护而言,分子论语言观是其语言哲学前提,从基于分子论语言观的意义理论出发,借助于可靠性或完全性的语义学证明,可以构造一个演绎逻辑系统的正确性的辩护。第三层次的演绎辩护问题主要是演绎推论的有用性的辩护,它要求以承认真与真的认识之间存在某种程度的间隙的意义理论为基础。彻底的实在论的意义理论所允许的这种间隙过大,难以说明语言理解和语言学习;而彻底的观念论意义理论所允许的这种间隙又过小。达米特认为,解决第三层次演绎辩护问题所需的意义理论,就真与真的认识的间隙而言,它应比彻底的实在论的意义理论小,而应比彻底的观念论的意义理论大。达米特的演绎辩护思想揭示出意义理论对于现代逻辑的重要影响。

逻辑系统外的“真”

非形式论证有广义与狭义之分,在一个形式逻辑系统外非形式论证应做狭义理解,即不可能前提真并且结论假。而在一个形式逻辑内的可靠性证明中就蕴涵了这种狭义的非形式论证。因此,一个逻辑系统只要证明它是可靠的,那么它就能保证不可能前提真并且结论假的出现。