Косвенное доказывание протекает путем опровержения и ис­ключения всех ложных версии, на основании чего утверждают до­стоверность единственного оставшегося предположения.

Вывод протекает в форме отрицающе-утверждающего модуса разделительно-категорического умозаключения. Метод исключе­ния можно представить в следующем виде:

< HivH2vH., > lHi, lH;

Н,

Заключение в этом выводе может расцениваться как достовер­ное, если, во-первых, построен исчерпывающий ряд версий, объясня­ющих исследуемое событие, и, во-вторых, в процессе проверки вер­сий опровергнуты все ложные предположения. Версия, указываю­щая па оставшуюся причину, в этом случае будет единственной, а выраженное в ней знание будет выступать уже не'как проблематич­ное, а как достоверное.

Этот способ доказывания, протекающий по методу исключения, часто используется в судебно-слсдст венной практике при доказыва-нии как общих, так и частных версий.

Косвенное доказывание гипотез при расследовании преступле­ний должно применяться с учетом особенностей этого вида исследо­вания.

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

Так, например, выдвигают три версии о личности преступника, совершившего хищение товаров из магазина. Хищение совершено:

(1) продавцом А, (2) сторожем Б или (3) ранее осужденным В. При этом не исключают и четвертую версию — хищение совершено кем-то из посторонних.

Если первые три версии вполне проверяемы, поскольку в них речь идет о конкретных лицах, то последнюю версию проверить трудно. Следствия, вытекающие из нее, будут малоопределенными, значит, проверка их будет сопряжена с задержкой во времени. Тем не менее исключать ее при разработке версий и планировании рас­следования нельзя, она может оказаться плодотворной.

При обращении в судебном исследовании к методу исключения при косвенном доказывании не следует переоценивать его значения и ограничиваться только этой логической операцией в процессе поисков истины. Косвенное доказывание должно сочетаться с пря­мым обоснованием оставшегося предположения.

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

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