Tolerating contradictions undermines truth-directedness; a logic accommodating A and ¬A equally prov...
This proposition has not been edited since the history system was added.