CP论题能为本体论论证提供辩护吗?

普兰汀格(A.Plantinga)为上帝的存在提供了一个本体论论证,但他并未为该论证的模态前提“可能必然地,全知全能全善的个体存在”提供任何辩护。在模态认识论的发展历史中,可设想性一直被当作通向可能性的可靠途径。本文旨在考察我们是否能利用“可设想性蕴涵可能性”原则(即CP论题)为普兰汀格的本体论论证提供支持。