Resumen
The article is devoted to the study of the prerequisites, conditions, possibilities, methods, limits of digital formalization of law. The authors explain the concept, the essence of digital formalization of law, show the existing experience of digital formalization of law. The article reveals functional load the purposes of digital formalization of law. The article describes and explains the determinants of the possibility of a relevant and verifiable-non-destructive for the law of digital formalization of law, at least partially. The authors include the following as such determinants: 1) legal norm is a rule that is fixed or reflected in textual form, and the text of ?strict modality? is, in principle, amenable to formalization; 2) the natural immanence of the nature of the legal norm the expressed formal logic of its ontology; 3) the similarity of the concept of a rule of law with the concept of a mathematical or logical algorithm, the similarity and correlation of their nature; 4) law is a derivative of highly organized matter, and the right is a highly organized complex product, which presumes the presence of its complex internal structure, which is itself a product of formalization; 5) autonomy inherent in the nature of the right; 6) the interpretation of law in the framework of its implementation is impossible without a certain formalization of it. The authors address the issue of the limits of the possible and permissible in digital formalization of a right, the harm and the risks of a defective or hasty digital formalization of a right. The article briefly shows the technologies and approaches to digital formalization of law.