What would be really nice is if law was machine-readable (and interpretable). But that would probably require computers being able to understand language.
EDIT: just saw swampthing's comment below, such things exist.
It is far, far easier to have laws written in code and execute test cases based on those laws before even investing any capital into a venture which may require edge cases of a given law, rather than the current scenario of hemming and hawing around a fundamentally subjective and fuzzy area and eventually subjecting your endeavour to the rigors of being a legal "test case" consisting of much ado about nothing and the outcome is as close to random as anything else.
When you reduce the legal profession to coding and writing test cases though, hell will freeze over the next day. Such a politically powerful faction will never allow themselves to be marginalised in this way, even if they claim to desperately be striving for exactly the kind of scenarios that this would allow; universal access to a completely objective justice system with etc etc etc. The extent to which this is actually impossible is somewhat depressing because it's something of an expose on the hypocrisy implicit in the claims of the legal system to actually serve the public, rather than itself.
But hey, that's life. If it ever does happen my wager is it will be because it is forced on them through market forces, the public at large simply uses alternatives venues for mediation and the legal system is forced to compete with it. I predict much artificial legal protection to prevent this from happening before it actually comes to pass, though.
There are many English speakers in Quebec (one of Canada's top law schools is located in the largest city in Quebec, which is known for being English-speaking...) and so you should be able to find a lot more materials in English than Scandinavian countries but I wouldn't know.
You're likely already aware of it but Louisiana also has the historical France link and civil code connection but I know much less about how that system works.
You're 90% of the way to the answer. Take into account Hanlon's Razor and it should become clear.
Unless the people designing the law are smart enough to take into account every single edge case, we're faced with a choice between gross miscarriages of justice through inflexible laws, and gross miscarriages of justice through incompetent or corrupt judges.
We know the people designing the law aren't that smart; and even if they were, the laws are already too complicated. The only solution is to strike a balance between the two types of errors that minimizes their sum.
Very little of what I do as a lawyer involves interpreting or applying specific statutory laws.
In a civil-law system where laws and regulations are more minutely detailed, and judges have less discretion, would law-as-computer code be more feasible?
Also, even if the legal situation is clear, there's still discretion involved to decide which claim ranks higher. E.g. Free Speech versus (something like) Right to Privacy in the case you can see at http://lexetius.com/1999,2324 . (If you don't speak German, Google translate might be good enough.)
To me the practice of common law and civil law seem more similar than their theory.
Can you formally define concepts and events occurring in a "fuzzy, broad" world in a useful way? It is kind of amusing to imagine that someone out there is sitting around with a recursively-enumerable objective statement of what constitutes fairness.
Fairness itself is a fuzzy concept, sure, but writing clearly delineated code that deals with reality in a concrete fashion with the goal of being fair is the only way that fairness even enters the equation.
I'm operating on the assumption that you dropped the word "belongs" somewhere in there.
>There have been explicit ventures along this exact path previously in a more limited extent, that being financial products having python based code that would allow the investors to put in a set of assumptions and see what the product model would do under those circumstances.
In the same way that there have been explicit ventures along the path of the axiomatization of mathematics, yes.
>writing clearly delineated code that deals with reality in a concrete fashion
Show me some clearly delineated code that deals with the workings of a single sheet of A4 paper in a concrete fashion, and then we can consider the law. Fairness is not a fuzzy concept, it is a human concept, humans as much a part of the universe as any other. It is not really harder to measure fairness than to measure the electromagnetic interaction.
We spoon-feed our problems to computer systems so that they may analyze the parts which we cannot; your precept of a computerized legal system is assuming a priori the lack of spoon-feeding, since corruption can enter the picture here just as easily as in the old system, cf. LulzSec. Thusfar there are two pieces of secure code in existence: seL4 and qmail, and I'm not sure about the former.
Now that I am a software engineer, I don't think that any more.
Though law and code have a lot of similarities: http://skepticlawyer.com.au/2011/06/27/the-art-of-law/
The law isn't complex for the sake of it. The law is complex because the world is complex (cf. essential and accidental complexity). A single person is complex and hard to model reliably -- sure, you can get the first 90% right, but that's not enough. Then you scale that up to pairs of people, people in families, people in businesses and so on.
Law tries hard, very hard, to boil this intractably vast variety down into general, abstract systems. But corner cases frequently arise that don't quite fit the current rules. The rules need to extended by analogy, or broken, or turned inside out, or ignored, or not ... in order to make it work. Every once in a while enough of these little oddities accumulate that a new generality can be perceived.
But, like any model, the first 90% is easy. Everything else is recursively more difficult as you go into sub-sub-sub-sub categories where millions of dollars or people's lives and freedom can turn on a tiny distinction that only humans could, currently, tease out.
I did not come to think of law this way while studying law. It was when I began writing software that I realised how complex the world really is. How difficult it is to change established, complex systems.
The computer is a useful brute, but not too bright. Explaining all those corner cases, all those once-in-a-turquoise-moon exceptions in nauseating detail, is a useful lesson in humility.
You do have a point though, perhaps a hybrid approach is best.
One of the classic moments in the history of common law was the emergence of Equity. It arose because the strict, predictable rules of Common Law as it then existed were leading to what were clearly unjust outcomes.
Sometimes no specific rule can capture the correct action. You need room for judgement. It bugs the everliving daylights out of me that so much of law is undecidable and informal, but it is so out of historical demonstrations that a balance between robustness and strictness is required.
The only scope for human error in such a system is the process of coding itself, and massively distributing this and opening that process as much as possible makes any bugs in the system shallow by comparison, as well as easily demonstrable by test cases rather than actually requiring some clueless politician, lawyer or judge to make a terrible decision and someone else to suffer the consequences for it.
I do think some tools and practices can be adapted. I think, for example, that expert systems -- whether classical or hybrid a la Watson -- could make a big dent in that $500 figure. That is definitely pursuable.
But humans inject errors, it's what they do best. And outside of a properly formal system (and per Godel, these aren't perfectly usable anyway) the best way to identify errors is ... with another human.
You might say that judges have been performing software inspections for much longer than we have.
Don't get me wrong, law is as slow as frozen honey. But the problem domain is heinously complex and I expect that any software system would reflect that complexity. Given our profession's iffy track record on creating items of massive size and complexity, I lack your transformative enthusiasm.
I am what you might call a cautiously optimistic conservative. Or a pessimistic radical. Not sure. One blogger I host talks about "radical centrism".
The good news, though, is that legal documents tend to follow a fairly narrow channel of variations, when isolated to particular practice areas (e.g., leases, sales of goods, service agreements, motions, etc.)
I've always wanted to run a huge number of documents through Beyesian filters or something similar to develop some interesting classification rules, but it's damn hard to get a pool of representative documents that isn't strictly confidential.
http://topsy.com/pycon.blip.tv/file/4879824/?allow_lang=en
which then links to a video of the presentation (watching it now)
http://blip.tv/pycon-us-videos-2009-2010-2011/pycon-2011-how...
There seem to be a lot of law/lawyer related posts in past week.