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