真矛盾理論

真矛盾理論是澳大利亞普利斯特用語。指把悖論性語句當作一種合法的而且為真的語句接受下來。邏輯學家普利斯特贊成塔爾斯基的看法，認為在語義封閉的語言系統中，必會產生悖論，但他不同意塔爾斯基由此得出拒斥語義封閉的語言的結論。

他認為，既然自然語言必然語義封閉，那么就應該把悖論當作嚴酷的事實來接受。“任何對日常的素樸證明的適當刻畫，都必須承認悖論不可避免這一事實。”從語義角度來說，就是既承認有的語句是或真或假的，又承認有的語句既真又假。他把真而非假的語句叫“單真的”，把假而非真的語句叫“單假的”，而把既真又假的語句叫“悖論性的”。悖論性的語句在普利斯特的系統中是與單真的語句並列的真語句。普利斯特將這種語句稱為“真矛盾”語句，又名“辯證論題”。