Таким чином, для виведення теорем з аксіом формулюються спеціальні правила виводу.
Всі поняття теорії, крім первісних, вводяться за допомогою визначень, що виражають їх через раніше введені поняття.
Отже, доказ в аксіоматичному методі - це деяка послідовність формул, кожна з яких або є аксіома, або виходить з попередніх формул по якомусь правилу виведення.
Аксіоматичний метод - лише один з методів побудови наукового знання. Він має обмежене застосування, оскільки вимагає високого рівня розвитку аксіоматізіруємої змістовної теорії.
3. Гіпотетико-дедуктивний метод. Його сутність полягає в створенні системи дедуктивно пов'язаних між собою гіпотез, з яких в кінцевому рахунку виводяться твердження про емпіричні факти.
Цей метод тим самим заснований на виведенні (дедукції) висновків з гіпотез та інших посилок, справжнє значення яких невідомо. Тому висновки тут носять імовірнісний характер.
Такий характер висновку пов'язаний ще й з тим, що у формуванні гіпотези бере участь і здогад, і інтуїція, і уява, і індуктивне узагальнення, не кажучи вже про досвід, кваліфікацію та талант вченого. А всі ці фактори майже не піддаються суворо логічному аналізу.
Вихідні поняття: гіпотеза (припущення) - положення, висунуте на початку попереднього умовного пояснення деякого явища або групи явищ; припущення про існування певного явища. Істинність такого допущення невизначена, воно проблематичне.
Дедукція (виведення): а) у самому загальному змісті - це перехід в процесі пізнання від загального до приватного (одиничного), виведення останнього з першого; б) в спеціальному сенсі - процес логічного висновку, тобто переходу за певними правилами логіки від деяких даних припущень (посилок) до їх наслідків (висновків).
Загальна структура гіпотетико-дедуктивного методу (або методу гіпотез):
- Ознайомлення з фактичним матеріалом, що вимагає теоретичного пояснення, і спроба такого з допомогою вже існуючих теорій і законів. Якщо ні, то:
- Висування здогаду (припущення) про причини і закономірності даних явищ за допомогою багатьох логічних прийомів.
- Оцінка серйозності припущень і відбір з безлічі здогадок найбільш вірогідної.
При цьому гіпотеза перевіряється на: а) логічну несуперечність; б) сумісність з фундаментальними теоретичними принципами даної науки (наприклад, з законом збереження і перетворення енергії).
Однак слід мати на увазі, що в періоди наукових революцій руйнуються саме фундаментальні принципи і виникають божевільні ідеї, які не виведені з цих принципів.
o Виведення з гіпотези (зазвичай дедуктивним шляхом) наслідків з уточненням її змісту.
o Експериментальна перевірка виведених з гіпотези наслідків. Тут гіпотеза або отримує експериментальне підтвердження, або спростовується. Однак підтвердження не гарантує її істинності в цілому (або хибності).
З логічної точки зору гіпотетико-дедуктивний метод являє собою ієрархію гіпотез, ступінь абстрактності й загальності яких зростає в міру віддалення від емпіричного базису.
На самому верху розташовуються гіпотези, що мають найбільш загальний характер і тому володіють найбільшою логічною силою. З них як посилок виводяться гіпотези нижчого рівня. На самому нижчому рівні перебувають гіпотези, які можна зіставити з емпіричною дійсністю.
Різновидом гіпотетико-дедуктивного методу можна вважати математичну гіпотезу, де в якості гіпотез виступають деякі рівняння, що представляють модифікацію раніше відомих і перевірених співвідношень. Змінюючи ці співвідношення, складають нове рівняння, що виражає гіпотезу, яка відноситься до недосліджених явищ.
Сторінки
В нашій електронній бібліотеці ви можете безкоштовно і без реєстрації прочитати «Методологія і організація наукових досліджень» автора Г.О.Бірта на телефоні, Android, iPhone, iPads. Зараз ви знаходитесь в розділі „Розділ 2. Методологія, методи, логіка наукових досліджень“ на сторінці 8. Приємного читання.