Posted by: Alexandre Borovik | July 12, 2009

Self-referencial

Fargo Bank sues itself. What is next? Russell’s paradox in banking?

About these ads

Responses

  1. 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?

  2. Paul, this is actually the central question behind the doctrine of “legal formalism.” Seriously.

  3. Now we all wait for Russell&Russell to start suing all banks that don’t sue themselves. :-D

  4. 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.

  5. [...] Never a dull moment under capitalism, where news arrives of Wells Fargo Bank suing itself.  (HT: AB) [...]


Categories

Follow

Get every new post delivered to your Inbox.

Join 75 other followers

%d bloggers like this: