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

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是不一致的。假定(ⅱ)