Every legal code I know contradicts itself somewhere, and courts still function
Every legal system I know contains provisions that conflict: a later statute that cuts across an earlier one, a general rule and a specific exception that both seem to apply, a constitutional provision in tension with an ordinary law.
If classical logic were the whole story, one such contradiction would make every legal proposition provable. Obviously that doesn't happen. Courts reason around the conflict with maxims: the later law prevails over the earlier, the specific over the general, the higher over the lower.
Usul al-fiqh has its own, older apparatus for the same problem: abrogation (naskh), where a later ruling supersedes an earlier one; specification (takhṣīṣ), where a general text is narrowed by a particular one; and preference (tarjīḥ) between conflicting evidence.
My question for the logicians: is this paraconsistent reasoning? Or is it just a way of repairing consistency before any reasoning happens, so that classical logic remains the right model of what courts do afterwards?