逻辑后承概念

后承的直观概念不能被任何单独的演绎系统所捕捉，因此对于”后承”并不意味着在这个或那个演绎模式中的可推导性。本书由一个单一的，扩展的推论组成。推论的结论是，塔斯基关于后承的分析，或者说逻辑后承的标准的语义学说明是错误的。这一关于逻辑真理和逻辑后承的说明不能捕捉哪怕是接近于捕捉任何逻辑属性的前理论概念。这个说明将既是产出不足的（undergenerate）又是产出过多的(overgenerate)：它将宣称某些推论是无效的而实际上是有效的，并且宣称另一些是有效的而事实上是无效的。