绿蓝悖论和证据定义的困境

绿蓝悖论是检验证据理论的一块试金石,而阿钦斯坦(Peter Achinstein)是一个致力于建构系统的证据理论并且先后提出了两个关于绿蓝悖论解决方案的学者。他早期追随卡尔纳普的研究纲领,认为产生绿蓝悖论的原因是因为"绿蓝"是一个时态谓词。这种解悖方案比较有代表性,耶和科尔(Gal Yehezkel)在2016年提出的解悖方案也属于这个研究路径。但是阿钦斯坦后来承认早期的解悖论方案是失败的,并且从证据理论的角度提出了一个新的解悖方案,认为问题的关键在于"绿蓝"的析取性质对提取证据的选择程序提出了特殊的要求。这种研究范式的转变反映了证据理论的一个困境:证据定义总是不充分的。