Непрямий доказ

НЕПРЯМИЙ ДОКАЗ — вид логічного доказу, що відрізняється способом обґрунтування тези. На відміну від прямого доказу у непрямому доведенні істинності доказуваного тези обґрунтовується шляхом встановлення хибності певних положень. Останні так пов’язані з доказываемым тезою, що з їх помилковості випливає істинність тези. Існують різні види непрямого докази. В розділовому непрямому доказі розглядається деяка кількість припущень, в сукупності вичерпних всі можливі в даному випадку затвердження; з’ясовується хибність усіх припущень, крім одного, істинність якого, таким чином, і встановлюється. Інший вид непрямого докази — апагогическое доказ (доведення від супротивного), в ході якого отримують логічне протиріччя з припущення істинності антитези (твердження, що суперечить доказываемому тези) і на цій підставі роблять висновок про істинність тези.

Філософський словник. Під ред. І. Т. Фролова. М., 1991, с. 204-205.