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