косвенное доказательство

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

Источники:

1. Философский словарь / Под ред. И.Т. Фролова. - 4-е изд.-М.: Политиздат, 1981. - 445 с.