методи доказу

Не всі і не завжди можна довести за допомогою фактів, та й не завжди існують доступні сприйняттю факти. В цьому випадку доказувані положення виводяться з інших, достовірність яких покладається встановленої. Надійність докази визначається фактологічного, методологією його побудови, формально - логічним проходженням. Доказ - це інтелектуальна операція, яка полягає у встановленні деякого судження, за допомогою його виведення з інших суджень, істинність яких покладається встановленої до цієї операції і незалежно від неї також за допомогою підтвердження фактами і практичною діяльністю. Залежно від характеру і особливостей предмета дослідження і складнощів його проведення форми докази можуть бути різними. Існують докази фактологічні, що спираються на фактичний матеріал в основному, формально-логічні, головною опорою яких є закони формальної логіки, експериментальні - побудовані на експерименті, емпіричні - спираються на осмислений і узагальнений досвід.

Коректність докази визначається його будовою. У кожному доказі існує три елементи: теза, аргументи (підстави), демонстрація. Теза - це судження, істинність і прийняття якого встановлюється я доказі, аргументи - судження, з яких виводиться теза, демонстрація - логічна форма зв'язку названих двох елементів, що зумовлює необхідність виведення одного з іншого, тези з аргументу.

Існує безліч різноманітних прийомів і способів докази.

Ефективність докази визначається правильним вибором його прийомів відповідно до предметом і характером дослідження, особливостями і призначенням його результатів.

Теза або доказувана положення повинен відповідати правилу точності формулювання, незмінності по всіх етапах докази. У практиці нерідко доводиться спостерігати підміну тези, підміну понять. Ця помилка проявляється коли висунутий на початку докази теза в процесі докази замінюється іншим. Буває підміна кількісних характеристик тези (дане щодо частини об'єкта переноситься на весь об'єкт), підміна істинності (ймовірність видається за достовірність). У забезпеченні ефективності докази необхідно слідувати і істинність аргументів. Часто зустрічаються помилки недоведеного знання. Однією з поширених помилок є "коло в доведенні", який полягає в замкнутості аргументів, які не виходять на тезу. Принципом, застережливим від цих помилок, є принцип доказової залежності аргументів.

Якщо аргументаційна процедура не є логічно строгим доказом, але забезпечує деякого судження певний ступінь ймовірності, її називають обґрунтуванням.

І. Acтaшкінa, B. Mішін

Дослідження систем управління, докладніше.