Доказательство
Получение опосредованных, выводных знаний йроисходит не только в форме умозаключения. Другой осжШной формой осуществления этого процесса в мышлении служит доказа- ггіельство. Оно отличается, пожалуй, наибольшей сложностью по сравнению с понятием, суждением, умозаключением, почему и рассматривается после них.
Действительно, если суждение включает в себя понятия, но не сводится к ним, если умозаключение состоит из суждений, но тоже не сводится к ним, то и здесь ситуация аналогичная. Доказательство предполагает умозаключения, опирается на них и т. д., но отнюдь не сводится к ним, не есть их простая арифметическая сумма. Так же как суждение выступает в виде связи понятий, а умозаключение — в форме связи суждений, так и доказательство представляет собой связь умозаключений (а следовательно, суждений и понятий).Структурная сложность этой логической формы — лишь еще одно из свидетельств высокого уровня развития человеческого мышления, способного в интересах постижения истины выстраивать нередко сложнейшие умственные конструкции — цепи умозаключений, их более или менее стройные системы.
Какова проблематика логической теории доказательства? Логика отвлекается от конкретного содержания доказательств в каждой отдельной области практики или науки. Доказательство исследуется в ней лишь со стороны формы: рассматривается логическая природа всякого доказательства, выясняются его роль и значение, структура, его виды, а/ также правила и ошибки.
Однако и в этом качестве рассматриваемая тема имеет огромное значение. В ней раскрывается сложный механизм одной из очень важных логических процедур, которая широко применяется не только в науках, но и при обсуждении практических вопросов, в особенности юридических (и прежде всего судебных).