基于不定可扩展性概念再探对角线方法

摘要：

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

关键词：对角线方法、悖论、不定可扩展性概念、自然语言

所属期刊栏目：50

分类号：TP301;O141(计算技术、计算机技术)

在线出版日期：2023-09-06（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：114-118