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.
Obviously a formal verifier metamath, and a corresponding database like set.mm but law.mm containing all the normative statements etc would have to be supported by an ecosystem, such an ecosystem should reward finding inconsistencies, since if we tolerate just one inconsistency (which would correspond to true == false) then every statement provably true can be proven false and vice versa, this is the principle of explosion: a formal system loses every meaning when an inconsistency is present, hence an ecosystem maintaining the law would encourage finding inconsistencies instead of swiping the arbitrarianism under the rug.
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.
DoctorOetker · · focus · HN ↗