The law is about as non-binary as it gets. There are two states of the law: proven guilty, and not proven guilty. We say things like "innocent until proven guilty" but we all know and accept that reality does not work that way. There is no law of the excluded middle here.
EDIT: Actually, adding some excluded middle might make our law better and more fair. For example, cases could be dismissed if it is shown that a law is being applied selectively, forcing any "discrimination" to be written into law explicitly. For example, if tax code is more often enforced against the wealthy, or drug law against members of poor neighborhoods, that would have to be explicit, instead of systematically hidden, or else enforcement could be nullified.
As for computing, the reason we use binary logic is simple: weakening makes many problems more tractable. We spend all our time building abstractions and rules to limit what a programmer can express within certain bounds, to enable a compiler to better optimize it. If all we need for an application is boolean logic, then using other logics adds unnecessary power, and power leads to bugs.
You could point out that "law" is more than just crim and you can make a bigger point. Civil litigation is much messier than Guilty/Not guilty. If you really want to drive this line of reasoning home comparative vs contributory negligence seems like the way to go.
The law is about as non-binary as it gets. There are two states of the law: proven guilty, and not proven guilty. We say things like "innocent until proven guilty" but we all know and accept that reality does not work that way. There is no law of the excluded middle here.
EDIT: Actually, adding some excluded middle might make our law better and more fair. For example, cases could be dismissed if it is shown that a law is being applied selectively, forcing any "discrimination" to be written into law explicitly. For example, if tax code is more often enforced against the wealthy, or drug law against members of poor neighborhoods, that would have to be explicit, instead of systematically hidden, or else enforcement could be nullified.
As for computing, the reason we use binary logic is simple: weakening makes many problems more tractable. We spend all our time building abstractions and rules to limit what a programmer can express within certain bounds, to enable a compiler to better optimize it. If all we need for an application is boolean logic, then using other logics adds unnecessary power, and power leads to bugs.