Bacon-Mill实验推理方法的一个推广——关于不确定实验推理方法的设想

A Generalization of Bacon-Mill Experimental Inference Method

J. Cohen在文[2]、[4]、[5]中试图构造相关变量方法(RVM),统一表达Bacon-Mill的排除归纳法,并在模态辑逻S4系统中表述基于RVM的归纳支持与归纳概率句法系统,由此完整地提出了非Pascal概率(非P)归纳逻辑(CIL)。CIL三个基本假定是:(ⅰ) 在Bacon-Mill排除法基础上进行的实验推理可以用RVM描述;(ⅱ) 由RVM确定的归纳支持分级和归纳概率分级句法满足Lewis-Barcon演算的S4标准解释;(ⅲ) 归纳概率分级可解释为假说的似规律度。本文将证明:CIL中以RVM为基础的真值语义理论与经典二值逻辑的真值语义理论不一致,而CIL是在经典二值逻辑的基础上被描述的,因此,CIL是不一致的。假定(ⅱ)

In his inductive probability logic theory(CIL), J. Cohen extends Bacon-Mill's experiment inference methods. In this paper, it is proved that CIL is ineonsistent and inadequate for Bacon Mill's methods. And, on the basis of Bacon-Mill's methods, an uncertaiu method for experimenters is given.