Assertion: logic | /r/CapableOf | deriving a contradiction
Facets:
Source sentences:
text: Relevance logic and paraconsistent logic are the most important approaches here, though the concerns are different: a key consequence of classical logic and some of its rivals, such as intuitionistic logic, is that they respect the principle of explosion, which means that the logic collapses if it is capable of deriving a contradiction.