“可设想性蕴涵可能性”论题有资格成为模态认识论吗?

模态认识论是关于我们如何获得可能性与必然性知识的认识论。在模态认识论的发展历史中,可设想性一直被当成通达可能性的桥梁。尤其是在查莫斯二维语义理论框架下,"可设想性蕴涵可能性"论题(以下简称CP论题)可以被看作一个可靠的假说。但它是否有资格被当成模态认识论是另一回事。一个担忧是:如果我们无法判断某命题是否是可设想的,那么,即便CP论题为真,我们也无法依赖可设想性获得关于其可能性的知识。关于这个问题,有两类代表性的意见:一类是极端的,如罕拉安和拜利认为,对于所有命题,我们都不知道它是否是可设想的。一类是温和的,如沃利认为,存在某些命题,我们不知道它是否是可设想的。文章将驳斥极端观点并为温和观点做出补充:如果一个命题是必然性命题,即一个要么必然为真要么必然为假的命题,如果不知其真值,我们无法判断其是不是可设想的。在这种情况下,可设想性无法提供关于它的可能性知识。