Формализация системы частных криминалистических теорий.

та тенденция развития системы тесно связана с тенденциями развития языка криминалистики, математизацией науки и формализацией описания ею объектов исследования. Необходимо, однако, заметить, что применение математических методов исследования, приводящих к проявлению рассматриваемой тенденции, наталкивается на определенные сложности. На них справедливо обращает внимание Г. Л. Грановский, который пишет: “Математика содержит ряд готовых математических структур, которые способны отразить признаки криминалистических объектов. В ряде случаев достаточно просто отобрать структуру, подходящую для криминалистических целей. Однако к такому отбору надлежит относиться достаточно вдумчиво. Особая осторожность требуется в подборе математических структур, призванных отразить основные закономерности криминалистических явлений”, ибо “криминалистика... требует в ряде случаев особых методов математики. Таких “криминалистических разделов” математика пока не имеет. Надо, однако, думать, что в процессе взаимодействия криминалистики с прикладной математикой этих задачи будут решены. Достаточно упомянуть, что ряд математических исследований в области распознания образов уже сейчас выполняется применительно к требованиям криминалистической практики”[74].

Элементы системы частных криминалистических теорий, как знание теоретическое, представляют собой ряд идеализированных моделей или образов. Именно поэтому разработка знаковых систем в криминалистике, функционирующих в качестве материального воплощения этих идеальных образов, не может не отразиться на их системе. В. Лекторский и С. Мелюхин совершенно правы, когда пишут, что “в настоящее время особое значение имеет... понимание места знаковых систем в теоретическом научном исследовании. Такая задача представляется особенно актуальной, если учесть некоторые важные особенности современного научного знания: возрастание роли теоретических методов, тенденцию к разработке исследовательских программ (еще одно проявление тенденции формализации системы — Р. Б.), планированию научных экспериментов, возрастание роли философских категорий и принципов в научном познании и т. д.”[75] Кроме того, формализация является необходимым условием создания криминалистических информационно-поисковых систем, теоретической основой разработки и функционирования которых является содержание ряда частных криминалистических теорий. Интересы создания таких ИПС диктуют необходимость развития этих теорий в определенном аспекте: развитие теорий влечет за собой изменение их системы.