Наибольшей разработке логическая сторона доказывания подвергнута в трудах А. А. Старченко, А. А. Эйсмана, А. А. Хмырова[См.: Старченко, А. А. Логика в судебном исследовании / А. А. Старченко. – М.: Госюриздат, 1958; Эйсман, А. А. Логика доказывания/А. А. Эйсман. – М. :Юрид. лит., 1971; Эйсман, А. А. Заключение эксперта (структура и научное обоснование) / А. А. Эйсман. – М. : Юрид. лит., 1967; Теория доказательств в советском уголовном процессе / под ред. Н. В. Жогина. – М., 1973 (автор соответствующего раздела – А. А. Эйсман); Хмыров, А. А. Косвенные доказательства в уголовных делах / А. А. Хмыров. – СПб. : Изд-во Р. Асланова «Юридический центр Пресс», 2005.]. И хотя в той или иной мере этого вопроса касались и другие исследователи процесса доказывания, в дальнейшем изложении этого вопроса в большей степени используются труды именно этих авторов.

С точки зрения А. А. Эйсмана, в практике доказывания чаще всего обнаруживаются:

1) связи сущности и явления (убийство путем выстрела из огнестрельного оружия и приобретение этого оружия);

2) причинно-следственные или генетические связи явлений: связь между причиной и следствием (огнестрельное ранение и смерть) и между условием и обусловленным (превышение скорости и авария) как в прямом, так и в обратном направлениях;

3) функциональные связи – количественные связи переменных величин (например, зависимость тормозного пути и скорости движения);

4) индивидуализирующие (объемные) связи, на основе которых устанавливаются родовидовые отношения и отношения тождества.

А. А. Хмыров дополняет этот перечень хронологическими (временными) и локальными (пространственными) связями, как универсальными и независимыми от других форм объективных связей явлений, и корреляционной связью (связь соответствия).

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

Логика делит умозаключения на дедуктивные и индуктивные. И те, и другие используются в уголовно-процессуальном доказывании.

Наиболее простые дедуктивные умозаключения, структура которых включает в себя: а) неизвестное обстоятельство или доказываемый тезис, б) известное обстоятельство-доказательство или аргумент, в) общее положение – суждение, связывающее известное с неизвестным, А. А. Эйсман назвал элементарными актами доказывания. Приведем примеры использования в практике доказывания типичных простых (элементарных) дедуктивных умозаключений.

В зависимости от типа используемого общего положения (связывающего суждения), умозаключение может быть условно-категорическим и разделительно-категорическим[О типах умозаключений и правилах их построения см., например: Ивлиев, Ю. В. Логика : учебник для вузов. – 2-е изд., перераб. и доп. / Ю. В. Ивлиев. – М. : Логос, 1997.].

Условно-категорическое умозаключение, например, выглядит так: чтобы оставить след пальца на предмете, надо подержать его в руке (это общее, не нуждающееся в доказывании положение). Л. оставил след пальца на пистолете (это аргумент), следовательно, он держал пистолет в руке (вывод, доказываемое положение).

Разделительно-категорическое умозаключение может выглядеть так: убийство потерпевшей путем удушения могли совершить К. и Е. (доказанное положение, вытекающее из совокупности собранных доказательств). Е. не совершал этого убийства (аргумент, установленный постановлением органа расследования о прекращении уголовного преследования в отношении Е.). Следовательно, преступление совершил К.