哥德尔自指命题与悖论

摘要：

“可证”的算子用法与谓词用法是严格区分概念层次的结果.“可证”的算子用法是从命题外部来理解“可证”的,而它的谓词用法则是从命题内部来理解的.哥德尔自指命题是否导致悖论,关键在于如何理解“可证”概念.如果把“可证”理解为语句算子,那么哥德尔自指命题就不会导致悖论.否则,如果把它理解为谓词,那么哥德尔自指命题就会导致悖论.

关键词：可证、算子、谓词、真

所属期刊栏目：26

分类号：B81(逻辑学(论理学))

资助基金：教育部人文社会科学研究项目"面向信息处理的情境语义学研究"08JC720016

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

页数：共4页

页码：8-10,27