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

Распространенной является классификация по типу отношений аргументов и тезиса. По данному критерию доказательства делятся на прямые и косвенные.

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

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

Косвенные доказательства можно разделить на два вида в зависимости от отношений тезиса к вводимому дополнительному суждению, которое будем называть допущением косвенного доказательства:

1) рассуждение от противного;

2) разделительное доказательство.

В первом случае мы временно предполагаем истинность суждения, противоречащего тезису – антитезиса. Доводим антитезис до абсурда, что приводит к заключению о ложности антитезиса. На основании чего делается вывод об истинности тезиса.

Разделительное доказательство по своей формальной структуре совпадает с разделительно-категорическим умозаключением, способ отрицающе-утверждающий.

Существуют и другие виды доказательств. Например, тривиальным, но играющим большую роль в познании видом доказательства является обоснование высказывания путем непосредственного обращения к фактам. Достаточным основанием для признания некоторого утверждения истинным или ложным в этом случае являются соответствующим образом проверенные показания органов чувств. Таким образом, доказано, например, что существует смена времен года, дня и ночи, что существуют жидкие и твердые тела.