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

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