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

эта тенденция развития системы тесно связана с тенденциями развития языка криминалистики, математизацией науки и формализацией описания ею объектов исследования. Необходимо, однако, заметить, что применение математических методов исследования, приводящих к проявлению рассматриваемой тенденции, наталкивается на определенные сложности.

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