яких спочиває їх істинність або спростування форми їх докази - демонстрації. Це види так званих непрямих тверджень. Але за своїм значенням вони менш ефективні, ніж пряме спростування тези. Дійсно, доводити логічність підстав не означає, що цим доведена логічність наслідки з них. Наприклад, в умовиводі:
Всі планети мають супутників.
Марс - Планета. /Td>
Отже, Марс має супутників. /Td>
Тут теза (В«Марс - планетаВ») є істинним твердженням, але доказ невірно, тому що велика посилка (В«Усі планети мають супутників В») - затвердження помилкове. Його можна спростувати зауваженням, що Венера не має супутників. p> Спростування демонстрації доведення тези полягає в тому, що показують відсутність логічного зв'язку між тезою і його аргументом. Оскільки це може бути, перш за все, результатом порушення правил умовиводів, за якими будується доказ даної тези, то для спростування необхідно вказати на загальний вигляд помилки. Тим самим доводиться, що доказ було побудовано неправильно. Тим не менш, це не означає, що ми спростували сама теза, який може бути як істинним, так і помилковим. Є чимало прикладів того, коли істинне твердження вважалося суворо доведеним, хоча з часом в доказі знаходили помилки.
Спростування є важливим знаряддям розвитку наукового пізнання. З їх допомогою наука звільняється від помилкових тверджень, оман і догм, а також удосконалює свій теоретичний апарат.
4. Умови і правила докази
Для того щоб докази проводили до бажаного результату, необхідне дотримання правил та умов їх проведення. Оскільки докази, як правило, складаються з цілого ряду умовиводів різного виду, остільки в доказах необхідно дотримуватися правил і умови для кожного виду умовиводів окремо. Однак з факту з'єднання багатьох умовиводів у складних доказах і спростування і, отже, наявності багатьох посилок випливають додаткові умови, недотримання яких тягне за собою помилки в доказах.
Ці умови та помилки діляться на кілька груп залежно від того, до якої частини докази вони відносяться. Ось деякі з них:
Правила та умови, пов'язані з тезису.
Теза має бути точно і ясно сформульований. Неточно сформульовані тези, розпливчасті, невизначені поняття, неуточнений сенс - все це призводить до плутанини і робить неможливим доказ. Невипадково тому в науковій практиці, перш ніж приступити до доведенню-якого наукового положення, проводять дослідження з уточненню їх сенсу і внутрішньої логічного пов'язаності, з аналізу понять, входять до складу цього положення, і т.д.
Теза на всьому протязі докази або спростування повинен залишатися одним і тим же. Ця умова засноване на дотриманні закону тотожності, ігнорування його призводить до того, що теза залишається недоведеним, оскільки при доказі відбувається підміна тези (Ignoratio elenchi) і довод...
