Formalization of Methods in Criminalistics

  • L. P. Grynko Poltava Law Institute Yaroslav Mudryi National Law University
Keywords: formalization, forensic methods, methods of formalization, modeling


Scientific works on formalization of methods in criminalistics have been analyzed in the article. Despite the importance and relevance of these issues, it has been established that there is a number of unresolved issues in the theory of forensic science, as well as in investigative and judicial practice regarding the possibilities of formalizing methods and their implementation, which require separate independent research and in-depth reflection. Accordingly, the purpose of this article is to clarify the methods used to detect and investigate crimes and the possibilities of their formalization in criminalistics.

Formalization methods in criminalistics have been considered. It has been found out that the most successful is their division into formalization of theoretical methods and formalization of practical methods. Methods of theoretical level have been researched. It has been emphasized that the use of mathematical methods contributes to the development of the most accurate practical recommendations, which allow to approach many issues of the theory and practice of forensic science from new positions.

The author has considered the modeling method and has argued that it creates the preconditions for the use of formalization, since acting as prototypes, plans, hypothetical constructions of all kinds, this process is presented to investigators as a complex of interrelated transformations in the form of description. The development and use of forensic material models in the management of an investigative situation allows investigators to use, by analogy, forensic algorithms and investigative programs. Thus, the formalization is carried out in the form of the transition of content into a sign system. It is designed to address the tasks faced by investigators and directly related to the investigative situation existing at the time of the investigation.

It has been found out that the formalization of forensic knowledge methods allows the use of such knowledge in the process of solving problems and making decisions by means of signs and symbols, which may increase the capacity of investigators to solve problems at all stages of crime investigation in different conditions of uncertainty.


Download data is not yet available.

Author Biography

L. P. Grynko, Poltava Law Institute Yaroslav Mudryi National Law University

Department of criminal law and criminal law disciplines;
Candidate (Ph.D.) of Juridical Sciences.


Koldin V.Ya. and Yablokov N.P., 2000. Forensic Methodology. Forensics [Metodologiya kriminalistiki. Kriminalistika]. Moscow.

Sharov V.I., 2003. Formalization in forensics. Questions of the theory and methodology of forensic research [Formalizatsiya v kriminalistike. Voprosy teorii i metodologii kriminalisticheskogo issledovaniya]. D.Sc. dissertation. Nizhny Novgorod Academy of the Ministry of Internal Affairs of Russia.

Tsilmak O.M., 2015. Methods of construction and verification of forensic versions [Metody pobudovy ta perevirky kryminalistychnykh versii]. Juridical Scientific and Electronic Journal, No. 2, pp. 243-247.

Vorob`ev N.N., 1976. The problem of mathematizing knowledge [Problema matematizatsii znaniya]. In: Management, information, intelligence [Upravlenie, informatsiya, intellekt]. Moscow. Pp. 24-42.

Lukianchykov B.Ye, Lukianchykov Ye.D. and Petriaev S.Yu., 2017. Forensics [Kryminalistyka]: in 2 parts. Part 1. Kyiv: Natsionalnyi tekhnichnyi universytet Ukrainy “Kyivskyi politekhnichnyi instytut imeni Ihoria Sikorskoho”.

Vartofskii M., 1988. Models: representation and scientific understanding [Modeli: reprezentatsiya i nauchnoe ponimanie]. Moscow: Progress.

Herasimov R.R., 2010. Simulation in the investigation of crimes [Modeliuvannia pry rozsliduvanni zlochyniv]. Časopis Kiïvsʹkogo unìversitetu prava – Law Review of Kyiv University of Law, No. 3, pp. 253-257.

Yunatskyi O.V., 2004. Forensic modeling of cognitive activity of the investigator [Kryminalistychne modeliuvannia piznavalnoi diialnosti slidchoho]. Abstract of Ph.D. dissertation. National Academy of Internal Affairs of Ukraine.

Nesvitailo I.I., 2015. The relation between the concepts of modeling and algorithm in the investigation of crimes [Spivvidnoshennia poniat modeliuvannia ta alhorytmu pry rozsliduvanni zlochyniv]. Pìvdennoukraïnsʹkij pravničij časopis – South Ukrainian Law Journal, No. 2, pp. 245-248.

Luzgin I.M., 1981. Crime investigation modeling [Modelirovanie pri rassledovanii prestuplenii]. Moscow: Yuridicheskaya literatura.

Shepitko V.Yu, 2008. Forensics [Kryminalistyka]. [online] Kharkiv: Pravo. Available at [Accessed 21 October 2019].

How to Cite
Grynko, L. P. (2019) “Formalization of Methods in Criminalistics”, Law and Safety, 75(4), pp. 86-90. doi: 10.32631/pb.2019.4.11.