Введение

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

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

Однако и в этом качестве рассматриваемая тема имеет огромное значение. В ней раскрывается сложный механизм одной из очень важных логических процедур, которая широко применяется не только в науках, но и при обсуждении практических вопросов, в особенности юридических (и прежде всего судебных).