2) причинно-следственные или генетические связи явлений: связь между причиной и следствием (огнестрельное ранение и смерть) и между условием и обусловленным (превышение скорости и авария) как в прямом, так и в обратном направлениях;
3) функциональные связи – количественные связи переменных величин (например, зависимость тормозного пути и скорости движения);
4) индивидуализирующие (объемные) связи, на основе которых устанавливаются родовидовые отношения и отношения тождества.
А. А. Хмыров дополняет этот перечень хронологическими (временными) и локальными (пространственными) связями, как универсальными и независимыми от других форм объективных связей явлений, и корреляционной связью (связь соответствия).
Доказывание на основе любой из названных связей есть построение обоснованных выводов от одного суждения к другому. Процесс построения такого вывода называют в логике умозаключением. Формальная правильность умозаключения, основанного на верных посылках, позволяет сформулировать вывод, соответствующий действительной природе вещей.
Логика делит умозаключения на дедуктивные и индуктивные. И те, и другие используются в уголовно-процессуальном доказывании.
Наиболее простые дедуктивные умозаключения, структура которых включает в себя: а) неизвестное обстоятельство или доказываемый тезис, б) известное обстоятельство-доказательство или аргумент, в) общее положение – суждение, связывающее известное с неизвестным, А. А. Эйсман назвал элементарными актами доказывания. Приведем примеры использования в практике доказывания типичных простых (элементарных) дедуктивных умозаключений.
В зависимости от типа используемого общего положения (связывающего суждения), умозаключение может быть условно-категорическим и разделительно-категорическим[О типах умозаключений и правилах их построения см., например: Ивлиев, Ю. В. Логика : учебник для вузов. – 2-е изд., перераб. и доп. / Ю. В. Ивлиев. – М. : Логос, 1997.].
Условно-категорическое умозаключение, например, выглядит так: чтобы оставить след пальца на предмете, надо подержать его в руке (это общее, не нуждающееся в доказывании положение). Л. оставил след пальца на пистолете (это аргумент), следовательно, он держал пистолет в руке (вывод, доказываемое положение).
Разделительно-категорическое умозаключение