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

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