紧缩论，证明与保守性

紧缩论者主张真谓词表达了一种逻辑概念，它的全部意义都体现在所有塔斯基式的T-语句中。Shapiro近来论证说，将紧缩论的公理添加到一阶皮亚诺算术公理系统（PA）中，在该扩张理论中能够证明PA的可靠性，并在此基础上证明PA的一致性，这表明紧缩论不具有保守性，因此真谓词不是紧缩的。本文论证，扩张理论预设了反射原则，这导致它推出了更多的东西，而反射原则是可证性谓词定义的推论，这才是造成扩张理论非保守性的真正根源。针对紧缩论的非保守性论证因此失效了。