一个非形式的归纳支持句法系统——与刘壮虎先生商榷

本文致力于解决非实质相似(不同类型)假设归纳支持的可比性问题。首先,本文分析了刘壮虎提出的VIL系统,指出由于语义、表达能力、相关变量方法三方面的困难,VIL系统是不恰当的、不完备的,因而无法解决上述问题。其次,本文重新表述了J.Cohen归纳支持理论的基本概念和相关变量方法,在此基础上指出J.Cohen的归纳支持句法同样是不完备、不恰当的。再次,本文吸取Cohen理论中的合理部分——相关变量方法,纠正了J.Cohen对上述句法中有关原理的证明错误,提出和证明了六条新的原理,构造了归纳支持句法非形式系统,克服了Cohen理论的困难,为解决上述问题提供了可行的方案。最后,本文指出;对归纳支持的逻辑结构的研究有可能导致全新的逻辑系统。