ign="justify"> Непрямий доказ таке, в якому істинність тези обгрунтовується за допомогою спростування істинності антитези. Непрямі докази поділяються на апогегіческіе і розділові. Апагогіческое доказ часто зустрічається і в теорії, і в практиці під назвою "доказ від протилежного". Його суть полягає в наступному. По-перше, на основі даної тези формується антитеза (суперечить йому судження). По-друге, доводиться хибність антитези, що відповідно до закону виключеного третього побічно доводить істинність тези. Наприклад, висувається теза: "Курка не є живородних істотою"; формулюється антитеза: "Курка є живородних істотою". Потім відшукуються аргументи і наводиться доказ того, що антитеза - хибна. "Курка є птахом, а всі птахи відкладають яйця, з яких і з'являються курчата". Значить, брехливо те, що "курка є живородних істотою". На цій підставі робиться висновок про істинність тези. Так як теза й антитеза перебувають у відношенні суперечності, то, якщо антитеза хибна, теза буде правдивий. p align="justify"> Розділові доказ полягає в наступному:
визначають всі можливі альтернативи, серед яких є і теза, що потребує доказі;
доказ тези здійснюється через доказ помилковості всіх інших тез. Розділову доказ часто використовується в слідчій і судовій практиці. Так, скажемо, при перевірці версій щодо підозрюваних в даному злочині осіб. При виборі однієї з конкуруючих статей у процесі кваліфікації правопорушень. Або в науці при з'ясуванні причин виникнення будь-яких явищ. Розділове непрямий доказ полягає в побудові розділового судження, елементами якого є доводити тезу і деякі суперечать йому антитези. Після цього показується, що за винятком тези всі елементи диз'юнкції є помилковими. Залишається визнати тезу істинним. p align="justify"> Про автора "Математичних почав натуральної філософії" розповідають, що він, будучи студентом, вивчав "Геометрія" Евкліда виключно з формулювань теорем і не утруднявся вивченням доказів, вважаючи, що все і так очевидно. Однак, ставши великим ученим, він змінив думку і став приділяти багато уваги доказам. Дійсно, переоцінити значення докази не тільки в науці, але і в звичайному житті неможливо. Вивчення докази на конкретних зразках не тільки корисно, але й інтересно.А. А. Івін наводить такий цікавий приклад. Англійський філософ Нового часу Томас Гоббс, доживши до сорока років, навіть не мав уявлення про геометрію. Вперше в житті прочитавши формулювання теореми Піфагора, він вигукнув: "Боже, але це ж неможливо". Однак крок за кроком він простежив всі докази античного математика та філософа і переконався в їх правильності. Завдання докази - вичерпно переконати в істинності тези - була виконана, і англійському філософу нічого не залишалося, як прийняти його в якості такого і змиритися з цим. p align="justify"> Стара латинське прислів'я справедливо стверджує: "Доказ цінується не за кількістю, а за якістю". Тому майте на увазі, що стовідсотково...
