Головна |
отримувати з них нові формули і співвідношення. Тим самим операції з думками про предмети замінюються діями зі знаками і символами.
Формалізація, таким чином, є узагальнення форм різних за змістом процесів, абстрагарованіе цих форм від їх змісту. Вона уточнює зміст шляхом виявлення його форми і може здійснюватися з різним ступенем повноти. Але, як показав австрійський логік і математик XX в. К. Гедель, в змістовній теорії завжди залишається невиявлених, неформ-лізуемий залишок. Все більше поглиблюється формалізація змісту знання ніколи не досягає абсолютної повноти, бо ніколи не припиняється розвиток (зміна) предмета пізнання і знань про нього. Це означає, що формалізація внутрішньо обмежена в своїх можливостях. Доведено, що загального методу, що дозволяє будь-яке міркування замінити обчисленням («порахуємо!» - Як мріяв Лейбніц), не існує. Теореми Геделя дали досить суворе обгрунтування принципової неможливості повної формалізації наукових міркувань і наукового знання в цілому.
2. Аксіоматичний метод - Спосіб побудови наукової теорії, при якому в її основу кладуться деякі вихідні положення - аксіоми (постулати), з яких всі інші твердження цієї теорії виводяться з них чисто логічним шляхом, за допомогою докази. Для виведення теорем з аксіом (і взагалі одних формул з інших) формулюються спеціальні правила виводу. Отже, доказ в аксіоматичному методі - це деяка послідовність формул, кожна з яких є або аксіома, або виходить з попередніх формул за будь-якою правилом виведення.
Аксіоматичний метод - лише один з методів побудови вже видобутого наукового знання. Він має обмежене застосування, оскільки вимагає високого рівня розвитку аксіоматизована змістовної теорії. Відомий французький ^ фізик Луї де Бройль звертав увагу на те, що «аксіоматичний метод може бути хорошим методом класифікації або викладання, але він не є методом відкриття»1.
Бройль Луї де. Стежками науки. М., 1962. С. 179.
3. Гшютетіко-дедуктивний метод - Метод наукового пізнання, сутність якого полягає в створенні системи дедуктивно пов'язаних між собою гіпотез, з яких в кінцевому рахунку виводяться твердження про емпіричних фактах. Тим самим цей метод заснований на виведенні (дедукції) висновків з гіпотез та інших посилок, истинностное значення яких невідомо. А це означає, що висновок, отримане на основі даного методу, неминуче буде мати імовірнісний характер. Загальна структура гипотетико-дедуктивного методу (кроки
його реалізації):
а) ознайомлення з фактичним матеріалом, що вимагає теоретичного пояснення і спроба такого за допомогою вже існуючих теорій і законів. Якщо ні, то:
I б) висування припущення (гіпотези, припущення) про причини
; "І закономірності цих явищ за допомогою розмаїтості
- Них логічних прийомів;
в) оцінка обґрунтованості і серйозності припущень і від
бор з їх безлічі найбільш вірогідною;
г) виведення з гіпотези (зазвичай дедуктивним шляхом) слід
ствий з уточненням її змісту;
д) експериментальна перевірка виведених з гіпотези слід
ствий. Тут гіпотеза або отримує експериментальне підтвер
ждение, або спростовується. Однак підтвердження окремих
них наслідків не гарантує її істинності (або хибності)
в цілому. Краща за результатами перевірки гіпотеза перехо
дит в теорію.
Різновидом гіпотетико-дедуктивного методу можна вважати математичну гіпотезу, де в якості гіпотез виступають деякі рівняння, що надають модифікацію раніше відомих і перевірених станів. Змінюючи останні, складають нове рівняння, що виражає гіпотезу, яка відноситься до нових явищ. Гіпотетико-дедуктивний метод (як і аксіоматичний) є не стільки методом відкриття, скільки способом побудови і обгрунтування наукового знання, оскільки він показує, яким саме шляхом можна прийти до нової гіпотези.
Основи філософії науки | Основи філософії науки | Основи філософії науки | Глава V. Методологія наукового дослідження 335 | Глава V. Методологія наукового дослідження | Глава V. Методологія наукового дослідження | Глава V. Методологія наукового дослідження | Методи емпіричного дослідження | Глава У. Методологія наукового дослідження | Глава V. Методологія наукового дослідження |