disquotation

这些规则可以归约为一个简单的规则，即所谓的“去引号（disquotation）”规则：(10) 对每个语句?，?是“真”的，当且仅当?。

去引号法（disquotation）是一种语义真理理论的方法，由塔斯基提出。塔斯基认为：“p”是真的，当且仅当p。