Hacker News new | ask | show | jobs
by basil-rash 827 days ago
There’s tons of prior art in Law saying that And and Or are the same thing and can be interpreted interchangeably based on context.

Much to the chagrin of the computer scientists who think it’s some sort of robust formal specification for civil society.

3 comments

WANTED: DEAD AND ALIVE
If you look at "wanted" to be prefixed to everything in the list, it'd expand to: "wanted: dead, and wanted: alive".

While this: "Wanted: dead or alive"

could be interpreted as: "We haven't decided yet what we actually want, if it's dead, or alive, but it's one of those".

Then it can be good to give them (the police) a call and ask if they have decided yet, before you go looking for the wanted person

Obviously they want Schrodinger's criminal. You must get them before their wave function collapses.
> Much to the chagrin of the computer scientists who think it’s some sort of robust formal specification for civil society.

Law is actually code, just written in a language that is full of UB and you need to have if run on the system to know exactly what it does, the system being the hierarchy of jurisdictions.

> Law is actually code, just written in a language that is full of UB

Which is why legalese exists. To try to limit undefined behavior by being extremely verbose to cut out any loopholes.

Like...imagine a kid jumping on their bed. Mom says "Stop jumping on the bed!" and the kids stops. Comes back to the kid's room later, kid is jumping on the bed again, tells the kid to stop. Kid says "I'm not jumping, I'm hopping!" and goes into a diatribe about the difference between jumping and hopping, mom says to stop hopping and leaves. Goes back again later, kid is STILL jumping on the bed, and mom is angry! "You said no jumping or hopping, I'm not doing either, I'm bouncing!"

Eventually the mom has to say something like "Do not jump, hop, bounce, spring, leap, or otherwise propel yourself upwards or laterally from the bed, mattress, or any other part of furniture intended for sleeping".

Great example.

And then it goes on even further, because she did not say, that the kid must never "propel themselves upwards or laterally from the bed", and only stopped that action in that moment ...

> based on context

Does this specific context allow for interchanging?

The bill clearly defines an independent service provider and an owner as different entities.