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