1) суждение о связи первого факта со вторым-это связывающее суждение;

2) суждение о первом факте —аргумент (в частности, доказательство);

3) суждение о втором факте —вывод, т. е. доказываемое суждение.

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

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

1. Связывающее суждение: если некто (Н) оставил след пальца на месте происшествия, то он был на этом месте.

2. Аргумент: Н. оставил след пальца в таком-то месте.

3. Вывод: Н. был в таком-то месте.

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

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

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

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

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

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

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

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

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

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

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

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

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

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