Доказ та спростування
ДОКАЗИ ТА СПРАВЖНЕННЯ
Доказ посідає специфічне місце у курсі логіки. Воно поєднує всі розглянуті форми мислення. Тут застосовуються всі закони та правила, що забезпечують логічну суворість та послідовність думки. У доказі фокусуються всі теоретичні та практичні висновки логіки, найбільше значно виражаються її пізнавальні можливості та завдання.
Доказ становить основну рису правильного мислення, важливе умова наукового пізнання. Наука прагне довести всі свої становища, знайти їм ґрунтовне пояснення. Традиційну логіку прийнято характеризувати як науку про вивідне знання, про міркування, а доказ - необхідну умову будь-якого наукового міркування.
Поняттядокази та його будова
Доказ - це виведення одного знання з іншого, істинність якого раніше встановлена та перевірена людською практикою. Ось чому воно зрештою є звіркою теоретичних положень і висновків з реальною дійсністю. Використання наукових відкриттів у практичній діяльності важко уявити без подібної звірки.
Логічно стрункий та переконливий доказ необхідний як у природничих, так і в гуманітарних науках. Слід наголосити, що термін "доказ" вживається в декількох значеннях.
По-перше,під доказом розуміють факти, з яких обгрунтовується істинність тієї чи іншої становища.
По-друге,"доказ" означає джерела відомостей про факти: літописи, оповідання очевидців, мемуари, документи і т.п. Наприклад, атестат зрілості П. -доказ наявної в нього середньої освіти.
По-третє,"доказ" - це процес мислення, в якому обґрунтовується істина будь-якого судження (положення). У логіці термін "доказ" вживається саме у цьому значенні.
Доказ утворює досить розпливчасту сукупність, яку неможливо охопити одним універсальним визначенням. У логіці прийнято говорити не про доказовість взагалі, а про доказовість у рамках даної конкретної системи чи теорії. У цьому допускається існування різних трактувань поняття " доказ " , які стосуються різних систем. Це необхідно на увазі при розгляді докази в рамках традиційної логіки.
Отже, доказ - це логічний міркування, у процесі якого підтверджується істинність будь-якої думки за допомогою інших положень, перевірених теорією та практикою. Шляхом доказу відбувається перехід від можливого, недостовірного знання до достовірного. Його призначення - служити звіркою теоретичних положень та висновків із реальною дійсністю.
Доказ тісно пов'язаний з переконанням, але не тотожний йому: докази повинні ґрунтуватися на даних науки та конкретної практики. Переконання не можуть бути засновані, наприклад, на вірі, на забобонах, на непоінформованості людей у певних питаннях, на видимості доказовості, заснованої на різноманітних логічних помилках.
Доказ як особливий логічний спосіб обґрунтування істини має власну будову. У найбільш загальному вигляді будь-який доказ складається із трьох частин: тези, аргументів, демонстрації. Кожна з цих частин у логічній структурі доказу виконує свої особливі функції; жодну їх не можна ігнорувати при побудові логічно правильного докази.
Тезою доказу називається те положення,істинність якого потрібно довести. Якщо немає тези, то й доводити нема чого. Тому все доказове міркування цілком підпорядковане тезі і служить на його підтвердження (або спростування). Відомий український логік С.І. Поварнін порівнював роль тези в доказі зі значенням фігури "короля" у шаховій грі. Цій фігурі підпорядкований весь процес гри, з її "інтересами" узгоджується кожен рух інших шахових фігур. Аналогічно й у доказі: головна мета всіх міркувань – підтвердження чи спростування тези.
Докази розрізняють прості та складні. У складному доказі є основна теза та приватні тези.
Основна теза -це положення, якому підпорядковане обґрунтування низки інших положень.Приватна теза -це таке положення, яке стає тезою лише тому, що за його допомогою доводиться основна теза. Приватна теза, будучи доведеною, сама стає аргументом для обґрунтування основної тези.
Аргументами (чи підставами) докази називають ті міркування, які наводяться для доказу тези. Довести тезу, отже, навести такі міркування, які були б достатніми для обґрунтування істинності чи хибності висунутої тези.
Щоб факти могли виконати роль аргументів, необхідно брати не окремі факти, а всю сукупність фактів, що належать до розглянутого питання. Не слід довільно вихоплювати лише потрібні факти і забувати, бачити інші, небажані, ; не слід використовувати лише другорядні сторони фактів, не враховуючи їх основних, істотних сторін. Будь-яка однобічність у відборі фактів веде до нерозуміння їхньої сутності, до їхнього свідомого чи несвідомого спотворення.
Важливим видом аргументів є закони науки. Посилання на законє вагомим аргументом. Авторитетність законів науки як аргументів пов'язана з нашим розумінням того, що таке закон.
Але всякий закон має межі своєї дії. Закони діють у певних умовах, із зміною яких може виникнути інший закон. Тому при обґрунтуванні будь-якого положення за допомогою закону треба знати, чи можна довести тезу обґрунтувати саме цим законом.
Як підстави доказу використовуються також аксіоми.Аксіома -це положення, яке не вимагає доказу. Істинність аксіом, що лежать в основі доказу, не задовольняється у кожному окремому випадку тому, що перевірка цієї істинності багаторазово проводилася раніше, підтверджена практикою людини. Аксіоми досить широко використовуються як основи в математиці, механіці, теоретичній фізиці та інших галузях природознавства. У гуманітарних науках аксіоми як підстави докази майже не застосовуються. Пояснюється це тим, що суспільне життя, яке вивчається даними науками, є складною формою руху матерії, варіативність якої посилюється свідомим впливом на неї людини.
Однак слід враховувати, що не будь-яке визначення може стати аргументом. Щоб визначення могло бути використане для обґрунтування тези, воно має бути істинним, правильним, загальноприйнятим, утвердженим у науці. Визначення, яке заперечується, потребує свого уточнення, може бути аргументом.
Демонстрацією (чи формою доказу) називається спосіб логічного зв'язку тези з аргументами. Теза та аргументи доказу є за своєю логічною формою судженнями. Виражені у граматичних реченнях, вони сприймаються нами безпосередньо: тезу та аргументи можна побачити, якщо вони написані;почути, якщо вони сказані.
Проте теза і аргументи власними силами, поза логічного зв'язку друг з одним, ще становлять докази. Аргументи починають набувати певного значення лише тоді, коли ми виводимо з них тезу.Процес виведення тези з аргументів і є демонстрація.Вона завжди виражається у формі висновку. Це може бути окремий висновок, але частіше - ланцюжок міркувань. Особливість висновків, у формі яких протікає демонстрація, полягає в тому, що судження, що потребує обґрунтування та виступає тезою доказу, є висновком висновку та формулюється заздалегідь; судження ж про аргументи, які є посилками висновку, залишаються невідомими і підлягають відновленню.