YIII.4.3.Формалізація. Мова науки
Підформалізацієюрозуміється особливий підхід у науковому пізнанні, який полягає у використанні спеціальної символіки, що дозволяє відволіктися від вивчення реальних об'єктів, від змісту теоретичних положень, що їх описують, і оперувати натомість деякою безліччю символів (знаків).
Яскравим прикладом формалізації є математичні описи різних об'єктів, що широко використовуються в науці, явищ, що ґрунтуються на відповідних змістовних теоріях. При цьому математична символіка не тільки допомагає закріпити вже наявні знання про досліджувані об'єкти, явища, але й виступає свого роду інструментом у процесі подальшого їх пізнання.
Для побудови будь-якої формальної системи потрібно: а) завдання алфавіту, тобто. певного набору знаків; б) завдання правил, якими з вихідних знаків цього алфавіту може бути отримані «слова», «формули»; в) завдання правил, за якими від одних слів, формул даної системи можна переходити до інших слів та формул (так звані правила виведення).
У результаті створюється формальна знакова система у вигляді певної штучної мови. Важливою перевагою цієї системи є можливість проведення у межах дослідження якогось об'єкта суто формальним шляхом (оперування знаками) без безпосереднього звернення до цього об'єкту.
Інша перевага формалізації полягає у забезпеченні стислості та чіткості запису наукової інформації, що відкриває великі можливості для оперування нею. Навряд чи вдалося б успішно користуватися, наприклад, теоретичними висновками Максвелла, якби вони не були компактно виражені у вигляді математичних рівнянь, а описувалися за допомогою звичайної, природної мови.
Зрозуміло, формалізовані штучнімови не мають гнучкості і багатства мови природної. Натомість у них відсутня багатозначність термінів (полісемія), властива природним мовам. Вони характеризуються точно побудованим синтаксисом (що встановлює правила зв'язку між знаками безвідносно їхнього змісту) та однозначною семантикою (семантичні правила формалізованої мови цілком однозначно визначають співвіднесеність знакової системи з певною предметною областю). Таким чином, формалізована мова має властивість моносемічності.
Повчальним прикладом формально отриманого і здавалося б «безглуздого» результату, який виявив згодом дуже глибоке фізичне значення, є рішення рівняння Дірака, описуваного рух електрона. Серед цих рішень виявилися такі, що відповідали станам із негативною кінетичною енергією. Пізніше було встановлено, що зазначені рішення описували поведінку невідомої до того частки - позитрона, що є антиподом електрона. У цьому випадку кілька формальних перетворень призвело до змістовного і цікавого для науки результату.
Розширення використання формалізації як методу теоретичного пізнання пов'язане не тільки з розвитком математики. У хімії, наприклад, відповідна хімічна символіка, разом із правилами оперування нею стала одним із варіантів формалізованої штучної мови. Дедалі важливіше місце метод формалізації займав у логіці з її розвитку. Праці Лейбніца започаткували створення методу логічних обчислень. Останній призвів до формування в середині XIX століттяматематичної логіки,яка у другій половині нашого століття відіграла важливу роль у розвитку кібернетики, у появі електронних обчислювальних машин, у вирішенні завданьавтоматизації виробництва та ін.
Мова сучасної науки суттєво відрізняється від природної людської мови. Він містить багато спеціальних термінів, виразів, у ньому широко використовуються засоби формалізації, серед яких центральне місце належить математичній формалізації. З потреб науки, створюються різні штучні мови, призначені на вирішення тих чи інших завдань. Усі безліч створених і створюваних штучних формалізованих мов входить у мову науки, утворюючи потужний засіб наукового пізнання.
Разом з тим слід мати на увазі, що створення якоїсь єдиної формалізованої мови науки неможливо. Річ у тім, що й досить багаті формалізовані мови задовольняють вимоги повноти, тобто. деяка множина правильно сформульованих речень такої мови (у тому числі і істинних) не може бути виведена суто формальним шляхом усередині цієї мови. Це положення випливає з результатів, отриманих на початку 30-х років ХХ століття австрійським логіком та математиком Куртом Геделем. Знаменита теорема Геделя стверджує, кожна формальна система або суперечлива, або містить деяку нерозв'язну (хоч і справжню) формулу, тобто. таку формулу, яку у цій системі не можна ні довести, ні спростувати.
Щоправда, те, що не виводиться в цій формальній системі, виводиться в іншій системі, багатшій. Проте, дедалі більше повна формалізація змісту будь-коли може досягти абсолютної повноти, тобто. можливості будь-якої формалізованої мови залишаються принципово обмеженими. Таким чином, Гедель дав суворо логічне обґрунтування нездійсненності ідеї Р.Карнапа про створення єдиної, універсальної, формалізованої «фізикалістської» мови науки.
«Однак із неможливості створити єдину для всіх наук формалізовану мову не слід робити висновок, що применшує важливість побудови формалізованих мов взагалі. З. геделівської теореми «про неповноту» слід, що точна формалізована система, яка виступає як мови науки, не може вважатися цілком адекватною системі об'єктів, бо деякі змістовно істинні пропозиції не можуть бути отримані засобами даного формалізму, а це означає, що формалізація мови науки не знижує , А, навпаки, передбачає змістовні моменти у побудові мовної системи.
Формалізовані мови не можуть бути єдиною формою мови сучасної науки, бо прагнення максимальної адекватності вимагає використовувати і неформалізовані системи. Але в тій мірі, якою адекватність немислима без точності, тенденція до зростаючої формалізації мов усіх і особливо природничих наук є об'єктивною і прогресивною. ».[379]
Чи не знайшли те, що шукали? Скористайтеся пошуком: