>a standard of objective fairness and justice which would be better defined by deterministic, logical languages like programming languages rather than fuzzy, broad languages like English.
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.
To the extent that applications defining the class to which you believe your behaviour exists and allowing you to test it with a high degree of specificity, yes. 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.
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.
>To the extent that applications defining the class to which you believe your behaviour exists and allowing you to test it with a high degree of specificity, yes.
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.
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.