Правила доведення
Існує кілька основних правил тези, правил аргументів і правил зв’язку тези з аргументами. Розглянемо спочатку правила тези:
1) теза, що доводиться, має бути істинною (у доведеннях істинність тези не “народжується”, а лише встановлюється, виявляється, розкривається);
2) теза має бути обґрунтованою, точною, чіткою (це стосується всіх її компонентів як судження: суб’єкта, предиката, операторів (у тому числі модальних));
3) теза має лишатися однією й тією самою впродовж усього міркування і доведення (це положення ґрунтується на законі тотожності).
Окрім правил тези вирізняють такі правила аргументів:
1) аргументи повинні бути істинними;
2) істинність аргументів має бути обґрунтована незалежно від істинності тези (в іншому разі вони не виконуватимуть своєї основної функції у доведенні — бути основою (підґрунтям) тези, а не її наслідком);
3) аргументи не повинні суперечити один одному;
4) кожний із аргументів має бути необхідним, а всі разом — достатні для обґрунтування істинності цієї тези.
Стосовно правил щодо способу (форми) доведення, то вони дублюють правила дедуктивних, індуктивних і традуктивних умовиводів. Головне правило полягає в тому, що теза має із логічною необхідністю виходити з аргументів як висновок із засновків.
8.3.