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

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

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

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

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

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

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

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

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

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

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

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