Розділ «1.3 Загальнонаукові методи теоретичного пізнання»

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

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

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

Повчальним прикладом формально отриманого і, на перший погляд, "беззмістовного" результату, який виявив згодом дуже глибокий фізичний зміст, є розв'язання рівняння Дірака, що описує рух електрона. Серед цих розв'язків виявилися такі, котрі відповідали станам з від'ємною кінетичною енергією. Пізніше було встановлено, що зазначені розв'язки описували поведінку невідомої до цього часу частинки — позитрона, який є антиподом електрона. У даному випадку значна кількість формальних перетворень дала для науки змістовний і цікавий результат.

Формалізація як метод теоретичного пізнання набуває все більшого поширення, що пов'язано не тільки з розвитком математики. У хімії, наприклад, відповідна хімічна символіка разом із правилами оперування нею є одним з варіантів формалізованої штучної мови. У процесі розвитку логіки метод формалізації набуває усе більшого значення. Праці Лейбніца поклали початок застосуванню методу логічних обчислень. Завдяки останньому в середині 19 століття почалося формування математичної логіки, яка в другій половині 20 століття відіграла важливу роль у розвитку кібернетики, у появі електронно-обчислювальних машин, у вирішенні завдань автоматизації виробництва й т.д.

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

Разом з тим зрозуміло, що нереально ставити за мету створення якоїсь єдиної формалізованої мови науки. Справа в тому, що навіть досить багаті формалізовані мови неспроможні задовольнити вимогу повноти, тобто певну множину правильно сформульованих мовних одиниць такої мови (у тому числі й істинних) не можна створити виключно формальним шляхом усередині цієї мови. Дане положення випливає з результатів, які отримав на початку 30-х років 20 століття австрійський логік і математик Курт Гедель.

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

Зауважимо однак таке: те, що не вдається вивести в даній формальній системі, можна вивести в іншій системі, більш багатій. А проте, все більш повна формалізація змісту ніколи не може досягти абсолютної повноти. Іншими словами, можливості будь-якої формалізованої мови залишаються принципово обмеженими. Таким чином, Геделю вдалося логічно обґрунтувати нездійсненність ідеї Р. Карнапа щодо створення єдиної універсальної формалізованої мови науки.

1.3.4 Індукція та дедукція

Індукція (від лат. inductio — наведення, спонукання) — метод пізнання, що ґрунтується на формально-логічному умовиводі, який дає можливість одержати загальний висновок на основі окремих фактів. Інакше кажучи, це є рух нашого мислення від часткового, окремого до загального.

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

Індукція, що використовується в науковому пізнанні (наукова індукція), реалізується у вигляді таких методів:

1) метод єдиної подібності (у всіх випадках при спостереженні якогось явища виявляється лише один спільний фактор, всі інші — різні; отже, цей єдиний подібний фактор і є причиною даного явища);

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

3) з'єднаний метод подібності й відмінності (являє собою комбінацію двох вищевказаних методів);

4) метод супровідних змін (якщо певні зміни одного явища кожного разу спричинюють певні зміни іншого явища, то звідси випливає висновок про причинний зв'язок між цими явищами);

5) метод залишків (якщо складне явище зумовлене багатофакторною причиною" причому деякі з цих факторів відомі як причина якоїсь частини даного явища, то звідси випливає висновок: причина іншої частини явища — інші фактори, що складають разом загальну причину цього явища).

Родоначальником класичного індуктивного методу пізнання був Ф. Бекон. Але вія трактував індукцію надзвичайно широко, вважаючи її найважливішим методом відкриття нових істин у науці, головним засобом наукового пізнання природи" •■

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