语义封闭性、“真矛盾论”与“悖论逻辑”

作为一种逻辑悖论的解决方案,亚相容逻辑主张:悖论及其矛盾性结论是可接受的,而由此向"不足道"的推导却必须予以阻止。普利斯特构建的"悖论逻辑"系统是亚相容方案的重要代表。"悖论逻辑"以"语义封闭性"作为基本诉求,以"真矛盾论"作为哲学说明,通过定义"悖论性的"这一特殊的语义值实现对所谓的"真矛盾"的刻画。然而,由于该系统的否定词在表达能力上具有一定的局限性,"语义封闭性"和"真矛盾论"在其中并非可以兼得。