塔斯基首先提出关于真之定义的T模式即:"p"是真的,当且仅当,p。随后他又用X取代T模式中的"p",并且用"满足"来定义"真"。本文一方面根据"内容恰当性"要求,提出另一种模式T′即:"p"是真的,当且仅当,p是存在的;用以补充T模式,并完善塔斯基的语言层次论。另一方面根据"形式正确性"要求,指出塔斯基对T模式的这两项修改都是多余的。
科研之友
微信
新浪微博
Facebook
分享链接
