关于模态形而上学的几点思考

模态逻辑的"原罪"除了奎因指出的混淆了使用与提及外,还包括误以为在命题层面可以揭示概念间的必然联系。必然涉及内涵特性,单纯地从外延角度、在命题层面考察必然,有无法克服的缺陷。克里普克通过语言分析解决必然的内涵特性所带来的问题掩盖了问题的实质,无法触及必然的普遍规律性之本质。这是可能世界语义学的"原罪"。尽管有后天必然真,但克里普克的晨星之例并不属于此类。而他的米尺之例也难以称得上是先天偶然真。这些都是"原罪"的反映。