منطق اللا اتساق : منطق التناقض بين القبول و الرفض

Abstract EN

Paraconsistent Logic raises a number of logical problems, starting with the lack of agreement on one specific name for it, passing through its most important problems of combining the contradictors in a way that to exhibit the inconsistency, and then may we call the inconsistency a logic name? inconsistency the name of logic? Especially since the consistency that this logic denies, as is evident from its name, is the most important characteristic of logic and science, due to looking at the law of non contradiction with a perspective that differs from what was presented by the logicians, and in a clear way there is a theory of logical sets that is inconsistent, and it has truth tables that show cases of possibilities Truth and false, as we have come to see it in different directions of logic most notably intuitive, and in different types of logic such as modal logic, dual-value, three-value, and multi-valued logic.

Hence, it can be said that the logic of paraconsistency is a revolution on one of the most fundamental laws of thought, the law of non-contradiction, as was the three-valued, four-valued, and multi-valued logic that revolutionized the law of the Excluded Middle, and then it is an unfamiliar method of reasoning, but at the same time it is an expression of In fact, it was criticized a lot on Aristotelian logic its strictness, so that it does not make a place for ambiguity, or to allow the existence of the object and its opposite at the same time.