紧缩论，证明与保守性.pdfVIP

逻辑学研究 2014 年第4 期，36–47 文章编号：1674-3202(2014)-04-0036-12 紧缩论，证明与保守性* 周志荣 中南财经政法大学哲学院 zhouzhirong50@126.com 摘 要：紧缩论者主张真谓词表达了一种逻辑概念，它的全部意义都体现在所有塔斯 基式的T-语句中。Shapiro 近来论证说，将紧缩论的公理添加到一阶皮亚诺算术公理系 统（PA）中，在该扩张理论中能够证明PA 的可靠性，并在此基础上证明PA 的一致性， 这表明紧缩论不具有保守性，因此真谓词不是紧缩的。本文论证，扩张理论预设了反射 原则，这导致它推出了更多的东西，而反射原则是可证性谓词定义的推论，这才是造成 扩张理论非保守性的真正根源。针对紧缩论的非保守性论证因此失效了。 关键词：紧缩论；保守性；可证性；真之理论 中图分类号：B81 文献标识码：A 1 引论 紧缩论者反对真谓词表达实质的意义，认为它仅仅具有逻辑或语法的功 能，即真谓词的全部意义都体