收缩论的传统表述存在严重缺陷。通过利用中立性原理重新表述收缩论，可发现其隐含的不一致。本文引入分离原则，提出准收缩论。准收缩论不但保留了传统收缩论的直觉，还可解决困扰传统收缩论的一些问题。 [详细]
本文首先从形式主义的角度介绍了哥德尔不完全性定理，提出“哥德尔不完备性定理”的说法是容易混淆的，说明一阶算术有非标准模型，哥德尔的证明是基于标准模型的，可以推出一阶算术在标准模型上的不完备。接下来，引入了维特根斯坦对于哥德尔定理的评论。...[详细]
关于真的理论有很多，本文目的是阐述真的同一性内容,以及一些学者关于真的同一性理论的批判,进而分析真的同一性理论的不合理 [详细]
本文分析了三个不同的真概念??分析真、先验真和必然真，指出它们分别是在语言框架、概念（认知）框架和世界框架下对真概念所作出的解释。然而，弗雷格的同一性难题表明无法在单一框架中揭示出真概念的丰富内容（命题态度语句的真值即取决于世界框架中发生...[详细]