Навігація
Головна
 
Головна arrow Логіка arrow Логіка
< Попередня   ЗМІСТ   Наступна >

Доказ і спростування

Поняття докази і його структура

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

Визначення докази

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

Особливу роль при цьому відіграє вивчення математики. З незапам'ятних часів математичні міркування вважаються загальновизнаним еталоном докази. Бажаючи похвалити чиюсь аргументацію, ми називаємо се математично суворої і бездоганною.

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

Логічна теорія докази в основі своїй проста і доступна, хоча її деталізація вимагає спеціального символічної мови та іншої витонченої техніки сучасної логіки.

Під доказом в логіці розуміється процедура встановлення істинності деякого твердження шляхом приведення інших тверджень, істинність яких вже відома і з яких з необхідністю випливає перше.

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

Одне з основних завдань логіки полягає в доданні точного значення поняттю докази. Але хоча це поняття є чи не головним у логіці, воно не має точного, суворо універсального визначення, що застосовується у всіх випадках і в будь-яких наукових теоріях.

«Поняття докази, - пише вітчизняний логік і математик В. А. Успенський, - у всій його повноті належить математиці не більше ніж психології: адже доказ - це просто міркування, переконуюче нас настільки, що з його допомогою ми готові переконувати інших».

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

На кожному з нас лежить «тягар докази» висунутих положень. Важливо постійно думати про змістовний бік справи. Разом з тим суттєво також, щоб завжди забезпечувалося єдність змістовності і доказовості. Ніякі штучні прийоми, ніяке красномовство не здатні допомогти, якщо немає добре обґрунтованих ідей і переконливих доказів.

Завдання докази - вичерпно затвердити обгрунтованість доводиться тези.

Раз в доказі йдеться про повну підтвердженні, зв'язок між аргументами і тезою повинна носити дедуктивний характер. За своєю формою доказ - дедуктивний умовивід або ланцюжок таких умовиводів, провідних від істинних посилок до доводиться положенню.

Стара латинське прислів'я говорить: «Докази цінуються але якості, а не за кількістю». Справді, дедукція з істини дає тільки істину. Якщо знайдені вірні аргументи і з них дедуктивно виведено доказувана положення, доказ відбулося, і нічого більше не потрібно.

Доказ в широкому сенсі

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

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

Широке вживання поняття «доказ» саме по собі не веде до непорозумінь. Але тільки за однієї умови. Потрібно постійно мати на увазі, що індуктивне узагальнення, перехід від приватних фактів до загальних висновків дає не достовірне, а лише ймовірне знання.

Багато наших твердження не є ні істинними, ні хибними. Оцінки, правила, поради, вимоги, застереження не описують розглянуту ситуацію. Вони вказують, якою вона повинна стати, в якому напрямку її треба перетворити. Від описів ми вправі вимагати, щоб вони були істинними. Але вдалий наказ, рада, і т.д. ми характеризуємо як ефективний, доцільний, але не як істинний.

У стандартному визначенні докази використовується поняття істини. Довести деякий тезу - значить логічно вивести його з інших є істинними положень. Але є твердження, не пов'язані з істиною. Очевидно також, що, оперуючи ними, можна і потрібно бути і логічним, і доказовим.

Виникає, таким чином, питання про істотне розширення поняття докази. Їм повинні охоплюватися не тільки опису, але й затвердження типу оцінок, вимог.

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

 
Якщо Ви помітили помилку в тексті позначте слово та натисніть Shift + Enter
< Попередня   ЗМІСТ   Наступна >
 
Дисципліни
Агропромисловість
Аудит та Бухоблік
Банківська справа
БЖД
Географія
Документознавство
Екологія
Економіка
Етика та Естетика
Журналістика
Інвестування
Інформатика
Історія
Культурологія
Література
Логіка
Логістика
Маркетинг
Медицина
Нерухомість
Менеджмент
Педагогіка
Політологія
Політекономія
Право
Природознавство
Психологія
Релігієзнавство
Риторика
Соціологія
Статистика
Техніка
Страхова справа
Товарознавство
Туризм
Філософія
Фінанси
Пошук