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