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

Выполнил:

студент

гр.5325 Алешков А.А

Содержание

•Понятие «доказательство»;

•Виды доказательств: прямое и косвенное доказательства;

•Вывод;

•Список используемой литературы;

Понятие «доказательство»

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

1.Что доказывается?

2.Чем доказывается выдвигаемое положение?

3.Как оно доказывается?

Ответы на эти вопросы раскрывают соответственно тезис, основания (аргументы) и демонстрация.

Тезис – суждение, истинность которого следует

доказать.

Аргументы – истинные суждения, служащие для обоснования тезиса. Основаниями могут быть суждения различного типа: суждения об удостоверенных фактах; определения; аксиомы; доказанные ранее положения науки (теоремы, законы науки и др.).

Демонстрация – логическая форма построения доказательства.

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

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

Различают доказательства прямые и косвенные.

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

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

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

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

Вывод

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

Список используемой литературы

1.Н.А. Черняк – «Логика», издание ОмГУ 2004г.