Теория доказательств

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

Следующее рассуждение может служить примером условного негативного акта доказывания:

1. Если человек совершил взлом, то он был на месте происшествия.

2. Н. не был на месте происшествия.

3. Н. не совершал взлом.

В отличие от предыдущего в условном негативном акте доказывания как аргумент, так и вывод выражены негативными суждениями, в которых отрицается действие. Вывод также следует однозначно —от отрицания логического следствия к отрицанию логического основания. Оба эти акта доказывания полностью соответствуют описываемым традиционной логикой условно-категорическим умозаключениям. Особым случаем двусторонней условной связи суждений является эквивалентная связь, т. е. такая, при которой однозначные выводы следуют как от первого явления ко второму, так и от второго к первому. Так, зная, что две рукописи написаны одним человеком, можно сделать вывод, что комплексы признаков почерка в обеих рукописях совпадут. Но и зная, что комплексы признаков в данных двух рукописях совпадают, можно утверждать, что обе они написаны одним человеком. Подобная двусторонняя однозначная логическая связь обычно устанавливается лишь в итоге специального исследования В процессе же построения выводов из доказательств эквивалентные акты доказывания встречаются редко. Значительно чаще, особенно при анализе и оценке косвенных доказательств, приходится сталкиваться с другими типами актов доказывания —условными многозначными и сопутственными неэквивалентными многозначными).

Рассмотрим следующий пример.

1. Если человек совершил взлом, то он был на месте происшествия.

2. Н. был на месте происшествия.

3. Правдоподобно, что Н. совершил взлом.

Отличие этого акта доказывания от рассмотренных выше условных сразу бросается в глаза. Здесь вывод построен от наличия логического следствия («был на месте происшествия») к наличию основания Эти умозаключения, дающие правдоподобные, а не однозначные (формально достоверные) выводы, традиционной логикой исключаются из рассмотрения. Между тем такие и им подобные (многозначные) акты доказывания играют большую роль в практике судебного доказывания. При косвенном доказывании они преобладают, без них практически невозможно было бы осуществлять доказывание по большинству дел. Само собой разумеется, что правдоподобные акты доказывания нуждаются во взаимном подкреплении и других процедурах, обеспечивающих достоверный вывод из их совокупности (эти процедуры описываются ниже) Свойства правдоподобных умозаключений исследуются особой отраслью логики —логикой правдоподобных умозаключений Такой же многозначностью отличается и негативный условный акт доказывания, в котором вывод обосновывается отрицанием логического основани Таким образом, в многозначных условных актах доказывания оба вывода —как позитивный, так и негативный —являются правдоподобными. Особенно широко в процессе доказывания используются многозначные эквивалентные (сопутственные) акты.