"矛盾"的多重定义与"真矛盾论"的理论困境

"真矛盾论"是澳大利亚著名逻辑学家和哲学家普利斯特等学者为当代亚相容逻辑的理论建构提供的哲学根据.他们认为,存在"事实上为真"的矛盾.要论证这一观点,就需要首先说明什么是矛盾之"真",这就要求回到"矛盾"概念的定义.本文表明,在"矛盾"的多重定义下,"真矛盾论"无法为自身找到合适的根据:"矛盾"的纯粹语形定义是不恰当的;在语义型定义下,矛盾是无法为"真"的,如果强行赋予其"真"值,则意味着已经改变了论题;在语用型定义下,矛盾之"真"可获得相对的说明,但矛盾的"可接受性"被弱化了,同时会导致与亚相容理念相背的结果;在本体论型定义下,矛盾之"真"需要语义封闭系统的可靠性作为基础,而其可靠性并不能在语义封闭的情况下得到证明.