Can the legal system be axiomatized? What does it mean if the axioms are inconsistent, or the resolution of a lawsuit is undecideable within, or independent of, the standard axioms?
There is a long-standing branch of Artificial Intelligence which is working on formal representation of laws and regulations, part of the “AI and Law” community. (See, for example, the biannual International Conference series on AI and Law — ICAIL.) A key research team in this effort has been the AI Department of the Dutch Tax Office, which has been working to develop formal representations of tax codes for precisely the reasons mentioned by other commentators: to enable automatic verification of consistency, and automatic identification of conflicts in proposed codes. A recent research project funded by the EC in this area was the Estrella project. See: http://www.estrellaproject.org
Similar efforts in formal representation and inferencing over the rules governing the operation of the US electricity grid may have prevented the outages which occurred there earlier this decade, since the outages were supposedly caused by conflicts between various operational regulations.
Can the legal system be axiomatized? What does it mean if the axioms are inconsistent, or the resolution of a lawsuit is undecideable within, or independent of, the standard axioms?
By: Paul on July 12, 2009
at 6:54 pm
Paul, this is actually the central question behind the doctrine of “legal formalism.” Seriously.
By: John Armstrong on July 12, 2009
at 8:26 pm
Now we all wait for Russell&Russell to start suing all banks that don’t sue themselves. 😀
By: Veky on July 13, 2009
at 8:49 am
There is a long-standing branch of Artificial Intelligence which is working on formal representation of laws and regulations, part of the “AI and Law” community. (See, for example, the biannual International Conference series on AI and Law — ICAIL.) A key research team in this effort has been the AI Department of the Dutch Tax Office, which has been working to develop formal representations of tax codes for precisely the reasons mentioned by other commentators: to enable automatic verification of consistency, and automatic identification of conflicts in proposed codes. A recent research project funded by the EC in this area was the Estrella project. See: http://www.estrellaproject.org
Similar efforts in formal representation and inferencing over the rules governing the operation of the US electricity grid may have prevented the outages which occurred there earlier this decade, since the outages were supposedly caused by conflicts between various operational regulations.
By: peter on July 14, 2009
at 11:50 am
[…] Never a dull moment under capitalism, where news arrives of Wells Fargo Bank suing itself. (HT: AB) […]
By: Recursive Capitalism at Vukutu on July 14, 2009
at 12:20 pm