Not even unrelated, Catala (the law-language) seems to be a French project, supported by institutions in France, and Catalan seems to have a intertwined history with France: https://en.wikipedia.org/wiki/Catalan_language#France
> The aim is not to formalise or put into code all the law, because that would make no sense, but we are interested in the law that is already executed automatically, such as the calculation of social benefits, tax or unemployment.
Can anyone explain why it's believed this "would make no sense"?
Law isn't written to cover 100% of real life scenarios and potential cases, it's written with deliberate parts of ambiguity, that will ultimately be up to courts to set the precedents for, in various situations and context.
I think the idea is that you can't really cover 100% of real-life cases in "code", either legal or software, so the areas you'll leave this out of would be those "not-entirely-strict" parts.
> Basically, all human knowledge is an application of either math or philosophy
Philosophy is not knowledge, it's pure speculation.
> law is philosophy, so cant be modeled by math
Law is not philosophy unless it was written based on sloppy speculations. In other words, what law is depends on how it was written, it can certainly be modeled by logic and math methods can be developed for it too.
It's nothing new, lawyers have to master logic as part of their training.
I think the primary reason is that laws are about human convention, not real objects which one can clearly and deliberately define. Like at the most basic level nothing exists at all except for quantum fields or something like that. Everything else we talk about on a regular basis, people, dogs, streets, businesses, etc, is defined by convention to a greater or lesser degree.
It is therefore quite hard to create a formal system to refer to objects in the world in a way which induces no contradictions with intuition. This is why we have courts, among other functions of government.
How strange to give it the same name as an unrelated natural language spoken by millions of people: https://en.wikipedia.org/wiki/Catala
Not even unrelated, Catala (the law-language) seems to be a French project, supported by institutions in France, and Catalan seems to have a intertwined history with France: https://en.wikipedia.org/wiki/Catalan_language#France
Past discussions:
1. (https://news.ycombinator.com/item?id=27059899) - May 2021 (126 comments) 2. (https://news.ycombinator.com/item?id=28633122) - Sept 2021 (40 comments) 3. (https://news.ycombinator.com/item?id=37546874) - Sept 2023 (277 comments)
Huh I just finished a book by Jaron Lanier that described a hypothetical system literally just like this. Always fun to get a coincidence like this
> The aim is not to formalise or put into code all the law, because that would make no sense, but we are interested in the law that is already executed automatically, such as the calculation of social benefits, tax or unemployment.
Can anyone explain why it's believed this "would make no sense"?
Law isn't written to cover 100% of real life scenarios and potential cases, it's written with deliberate parts of ambiguity, that will ultimately be up to courts to set the precedents for, in various situations and context.
I think the idea is that you can't really cover 100% of real-life cases in "code", either legal or software, so the areas you'll leave this out of would be those "not-entirely-strict" parts.
Basically, all human knowledge is an application of either math or philosophy, and law is philosophy, so cant be modeled by math
> Basically, all human knowledge is an application of either math or philosophy
Philosophy is not knowledge, it's pure speculation.
> law is philosophy, so cant be modeled by math
Law is not philosophy unless it was written based on sloppy speculations. In other words, what law is depends on how it was written, it can certainly be modeled by logic and math methods can be developed for it too.
It's nothing new, lawyers have to master logic as part of their training.
I assume it would fail to compile, or error out, because of myriad conflicts throughout the body of laws.
I think the primary reason is that laws are about human convention, not real objects which one can clearly and deliberately define. Like at the most basic level nothing exists at all except for quantum fields or something like that. Everything else we talk about on a regular basis, people, dogs, streets, businesses, etc, is defined by convention to a greater or lesser degree.
It is therefore quite hard to create a formal system to refer to objects in the world in a way which induces no contradictions with intuition. This is why we have courts, among other functions of government.
How does this incorporate case law?
That's not so important in Napoleonic/Civil jurisdictions like France. Judges can consider prior rulings, but the law as-written is the main thing.