论文部分内容阅读
塔斯基首先提出关于真之定义的T模式即：“p”是真的，当且仅当，p。随后他又用X取代T模式中的“p”，并且用“满足”来定义“真”。本文一方面根据“内容恰当性”要求，提出另一种模式T′即：“p”是真的，当且仅当，p是存在的；用以补充T模式，并完善塔斯基的语言层次论。另一方面根据“形式正确性”要求，指出塔斯基对T模式的这两项修改都是多余的。