По форме доказательства делятся на прямые и косвенные

Прямое доказательство – это доказательство, в котором истинность тезиса выводится из истинности аргументов непосредственно, т.е. без введения дополнительных предложений. Например, силлогизм:

Всякое уголовное преступление наказуемо.

Взятка уголовное преступление

Взятка наказуема

Посылки силлогизма являются аргументами

Косвенное доказательство- это доказательство, осуществляемое путем опровержения некоторых других высказываний. Такими высказываниями являются дополнительные суждения, несовместимые с тезисом.

Различают два вида косвенных высказываний:1)» от противного»(апагогическое)2) разделительное (доказательство посредством исключения альтернатив

В основе доказательства «от противного» лежит допущение истинности антитезиса.

Симметричным доказательству «от противного» является опровержение путем «сведения к абсурду»

Разделительное доказательство строится на основе правила, являющегося обобщением известного правила разделительного-категорического умозаключения- modus tollendo ponens (A v B, неB)-А

Число альтернатив-членов дизъюнктивного высказывания – может быть любым. Главное, в чем мы должны быть уверены,-что список исчерпывает все возможные альтернативы тезису. Таким образом,при построении разделительного доказательства мы выдвигаем тезис и наряду с ним рассматриваем все возможные варианты.

Виды опровержения.

Способы опровержения-это процедура опровержения(критики) доказательства в целом. Выделяют три способа:

1) Опровержение тезиса – обоснование ложности тезиса. Это может осуществляться либо путем прямого доказательства антитезиса,либо посредством метода «сведения к абсурду»

2) Опровержение аргументов – это рассуждение,устанавливающее необоснованность тезиса путем доказательства ложности используемых аргументов.

3) Опровержение демонстрации – обнаружение логических ошибок в форме доказательства (демонстрации),что ведет к уверждению необоснованности тезиса.

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