| Головна |
| « Попередня | Наступна » | |
Особливості формалізації сучасної науки |
||
|
Процес теоретизації сучасної науки тісно пов'язаний з процесом її формалізації. Формалізація визначається у філософському енциклопедичному словнику як сукупність пізнавальних операцій, що забезпечують відволікання від значення понять і сенсу виразів наукової теорії з метою дослідження її логи-чеських особенностей239. При цьому результати мислення відображаються в точних поняттях і твердженнях. Формалізація пов'язана з побудовою абстрактно-математичних моделей, що розкривають сутність досліджуваних процесів. Метод формалізації - це переклад змістовних фрагментів знання (у математиці, фізиці, логіці, хімії та ін науках) на штучні символічні, логіко-математичні та математичні мови, підлеглі чіткими правилами побудови формул та їх перетворень . При формалізації судження про об'єкти переносяться в площину оперування з символами і знаками. Яскравим прикладом формалізації є широко використовувані в науці математичні описи різних об'єктів, явищ, що грунтуються на відповідних змістовних теоріях. При цьому використовувана математична символіка не тільки допомагає закріпити вже наявні знання про досліджуваних об'єктах, явищах, але і виступає свого роду інструментом у процесі подальшого їх пізнання. Потреба у формалізації виникає перед тією чи іншою наукою на досить високому рівні її розвитку, коли завдання логічної систематизації та організації готівкового знання набуває першочергового значення. Для побудови будь-якої формальної системи необхідно: а) завдання алфавіту, тобто певного набору знаків; б) завдання правил, за якими з вихідних знаків цього алфавіту можуть бути отримані «слова», «формули »; в) завдання правил, за якими від одних слів, формул даної системи можна переходити до інших слів і формулами. Етапи формалізації: - запис вихідних даних на деякій общепонятном мовою (природному і штучному), що виключає різні тлумачення; - переробка вихідного запису на основі деяких точних правил. порівняння отриманого рішення з реальністю; - оцінка ефективності формалізації, оцінка добротності тих гіпотез (постулатів, що спрощують припущень), які лежали в її основі. У результаті створюється формальна знакова система у вигляді певного штучної мови. Важливою перевагою цієї системи є можливість проведення в її рамках дослідження якого об'єкта чисто формальним шляхом (оперування знаками) без безпосереднього звернення до цього об'єкта. Інше достоїнство формалізації полягає в забезпеченні стислості і чіткості запису наукової інформації, що відкриває великі можливості для оперування нею. Навряд чи вдалося б успішно користуватися, наприклад, теоретичними висновками Максвелла, якби вони не були компактно виражені у вигляді математичних рівнянь, а описувалися б за допомогою звичайного, природної мови. Зрозуміло, формалізовані штучні мови не володіють гнучкістю і багатством мови природного. Зате в них відсутній багатозначність термінів (полісемія), властива природним мовам. Вони характеризуються точно побудованим синтаксисом (що встановлює правила зв'язку між знаками безвідносно їх змісту) і однозначною семантикою (семанті-етичні правила формалізованої мови цілком однозначно визначають співвіднесеність знакової системи з певною предметною областю). Праці Лейбніца поклали початок створенню методу логічних числень. Останній привів до формування в середині XIX в. математичної логіки, яка в другій половині ХХ в. зіграла важливу роль у розвитку кібернетики, в появі електронних обчислювальних машин, у вирішенні завдань автоматизації виробництва тощо Формалізація дозволяє: - однозначно визначити вхідні терміни, усвідомити істотні зв'язки і відносини в структурі наукового знання; - виокремити і уточнити логічну структуру теорії, т. забезпечити стандартизацію використовуваної мови і понятійного апарату, який використовуються в даній теорії; - постановку нових проблем і пошук їх вирішення. Формалізація відіграє важливу роль в: - виявленні та уточненні змісту наукової теорії; - систематизації тієї суми знань, яка накопичена змістовної теорією; - синтезі суміжних наук. Метод формалізації найбільш ефективний у строгих і точних науках. Розрізняють два типи формалізованих теорій: повністю та частково формалізовані теорії. Повністю формалізовані теорії являють собою систему формальних тверджень, впорядкованих за допомогою аксіоматі-ко-дедуктивного методу. Це система символів, деякі з яких вважаються вихідними, тобто аксіомами, а всі інші виходять за допомогою явно зазначених правил виводу. Такі теорії, як правило, існують в математиці. У математизованих теоріях ідеалізований об'єкт виступає у вигляді математичної моделі або сукупності таких моделей. Стислість, обозримость символічних виразів, оперативність перетворень, можливість підпорядкувати їх чітким математичним правилам забезпечує успішне вирішення пізнавальних завдань на формальному рівні. У розширенні можливостей формалізації істотну роль грає прогрес обчислювальної техніки, а сама формалізація виступає умовою автоматизації деяких розумових операцій.
|
||
| « Попередня | Наступна » | |
|
|
||
Інформація, релевантна " Особливості формалізації сучасної науки " |
||
|
||