论文部分内容阅读
归纳逻辑是研究或然性推理的逻辑。现代归纳逻辑主要是以概率论为工具来研究或然性推理的,所以归纳概率逻辑是现代归纳逻辑的主流。柯恩的归纳逻辑是归纳概率逻辑发展的一个新方向。
柯恩归纳逻辑的产生与归纳逻辑的发展密切相联。在归纳逻辑的发展过程中,归纳概率逻辑中的帕斯卡概率逻辑预设了逻辑全知者和概率全知者,以致于遇到了很多困难。对这些困难的解决,导致了非帕斯卡概率逻辑的产生。而柯恩的归纳逻辑是非帕斯卡概率逻辑中最有代表和影响的。
柯恩的归纳理论主要是归纳支持理论和归纳概率理论。柯恩把归纳概率定义为推理规则的可靠性程度,并用相关变量法来度量这种可靠性。同时,他提出了确定复合假说的归纳支持分级和归纳概率分级的逻辑句法。他还从模态逻辑的角度建立了归纳逻辑的形式公理系统。
在关于柯恩归纳理论的研究中,对于他的相关变量法是不是排除归纳法,存在着分歧意见。笔者从柯恩的逻辑句法、系统本身的不一致的原因,以及相关变量法与排除归纳法相区别的角度认为,柯恩的相关变量法不是培根-穆勒型的排除归纳法。
柯恩试图用相关变量法来刻画科学研究中常用的排除归纳法。他用模态逻辑研究归纳逻辑,在现代归纳逻辑中独树一帜,为人们研究归纳逻辑提供了新的视角。但是,他的归纳逻辑中有很多内容比较模糊,有待于人们继续研究。