在L．J．柯恩的非帕斯卡归纳概率逻辑中，所谓可检验概括是一个全称条件句，该条件句的前件是由所谓V谓词或它的合取构成，V谓词是指形如：“是一个蜂群，”“是一个台风”这一类的谓词；后件是由目标谓词或由它构成的真值函项构成，目标谓词是指形如：“区别色彩”，“摧毁城市”这一类的谓词。任何不满足上述条件的概括都是不可检验概括。