Способы доказательства

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

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

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

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

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

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

В отличие от дедуктивной аргументации, в недедуктивной тезис является следствием аргументов, а аргументы, как правило, являются следствием гипотезы.

Опровержение (критика). Виды опровержения.

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

Тезисом называют то суждение, которое необходимо опровергнуть. Он опровергается при помощи аргументов опровержения – суждений, при посредстве которых и происходит опровержение тезиса.

Прямое опровержение

Прямое опровержение строится методом «сведения к абсур­ду». Оно имеет следующие шаги:

1) допускают истинность предложенного тезиса (Т);

2) из Т выводят все возможные следствия (а₁, а₂… а_n);

3) полученные следствия сопоставляют с другими суждения­ми;

обнаружив противоречивость (а&а) или ложность следствий, делают вывод о ложности Т.