The Algorithmic Justice. Law ICT and Formal Systems, Explorations for a Theoretical Foundation

Equitative algorithms refers to a set of algorithms that can be used in the legal field for the resolution of conflicts in which it is possible for the parties to freely assess their own interests and values to be protected. The article is an introduction to the research of the CREA-Project on the subject and discusses some issues that arise in the legal field from the application of the Fair Division Theory to legal dispute resolution. The article aims to introduce the theoretical-practical legal basis that can make justice via equitative algorithms an instrument of general application in the legal field. Two main issues are discussed: the identification of law with a text and the identification of law with justice.