使用对角线方法不仅能得到数理逻辑的基本定理，也能导致逻辑悖论。通过对达米特的不定可扩展性概念及其与对角线方法的关联的考查，指出：1)西蒙斯没有将不定可扩展性概念与对角线方法关联起来，所以其关于对角线论证不同类型的划分只是表面的；2)汤姆逊对角线引理并没有刻画出对角线方法的实质；3)对某概念可以使用对角线方法当且仅当该概念是不定可扩展的；4)使用对角线方法可以发现不定可扩展性概念，从而为刻画自然语言的动态语义模型提供思路。
科研之友
微信
新浪微博
Facebook
分享链接
