People always get upset when I propose mathematical formalization of law and using e.g. metamath verifier as a judge.
At least the metamath verifiers will not bend over backwards and come up with absurd inconsistent counterarguments.
It's the most humiliating thing for citizens when the legal cadre of a nation pretends in the national journal that everybody falls for its lies... openly mocking the concept of truth itself with absurdism.
Are laws expected to be completely self and cross consistent?
I wanted programmatic law in the past and then after thinking and talking a bit, concluded that self and cross consistency in the law is not considered necessary.
It can't be completely self and cross consistent, it's not possible. But that is exactly the goal, we just can't achieve it.
How do you know if you are breaking the law or not if it's inconsistent? And like the sibling points out, any inconsistency can be abused to declare you guilty or innocent on any behavior depending on the partisanship and interests of the judge.
I used to want programmatic law for exactly the reason that I could determine what was illegal so I didn't break the law.
After a while and talking to smart people I became convinced that was impossible; instead, we have a judicial system filled with experts who make heuristic decisions, and (ideally) it's biased towards not finding people guilty of breaking complex laws they couldn't have figured out. Life requires flexible thinking.
DoctorOetker · · focus · HN ↗
At least the metamath verifiers will not bend over backwards and come up with absurd inconsistent counterarguments.
It's the most humiliating thing for citizens when the legal cadre of a nation pretends in the national journal that everybody falls for its lies... openly mocking the concept of truth itself with absurdism.
dekhn · · focus · HN ↗
I wanted programmatic law in the past and then after thinking and talking a bit, concluded that self and cross consistency in the law is not considered necessary.
marcosdumay · · focus · HN ↗
How do you know if you are breaking the law or not if it's inconsistent? And like the sibling points out, any inconsistency can be abused to declare you guilty or innocent on any behavior depending on the partisanship and interests of the judge.
dekhn · · focus · HN ↗
After a while and talking to smart people I became convinced that was impossible; instead, we have a judicial system filled with experts who make heuristic decisions, and (ideally) it's biased towards not finding people guilty of breaking complex laws they couldn't have figured out. Life requires flexible thinking.