Виды доказательства

Прямым называется доказательство, при котором истинность выдвинутого тезиса логически следует из оснований (аргументов). При прямом доказательстве берутся такие основания, которые являются достаточными для обоснования тезиса.

Косвенным называется доказательство, при котором истинность выдвинутого тезиса обосновывается путем доказательства ложности антитезиса.

Косвенные доказательства широко используются в так называемых «точных» науках, где оно носит название «доказательства от противного». Наиболее распространенными видами косвенного доказательства являются апогогическое и разделительное доказательства.

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

При разделительном доказательстве устанавливается ложность всех членов разделительного суждения, кроме одного, являющегося доказываемым тезисом. Разделительное доказательство строится по отрицающе-утверждающему модусу разделительно-категорического силлогизма.

Опровержение - это логический процесс обоснования ложности выдвинутого положения. Опровержение является частным случаем доказательства.

Различают следующие виды опровержения:

а) опровержение тезиса

б) опровержение аргументов

в) опровержение связи тезиса с аргументами.