Головна
Аксіологія / Аналітична філософія / Антична філософія / Антологія / Антропологія / Історія філософії / Історія філософії / Логіка / Метафізика / Світова філософія / Першоджерела з філософії / Проблеми філософії / Сучасна філософія / Соціальна філософія / Середньовічна філософія / Телеологія / Теорія еволюції / Філософія (підручник) / Філософія мистецтва / Філософія історії / Філософія кіно / Філософія науки / Філософія політики / Філософія різних країн і часів / Філософія самоорганізації / Філософи / Фундаментальна філософія / Хрестоматії з філософії / Езотерика
ГоловнаФілософіяФілософія науки → 
« Попередня Наступна »
В.І. Штанько. Філософія та методологія науки. Навчальний посібник для аспірантів і магістрантів природничонаукових і технічних вузів. Харків: ХНУРЕ. с.292., 2002 - перейти до змісту підручника

Особливості формалізації сучасної науки

Процес теоретизації сучасної науки тісно пов'язаний з процесом її формалізації.

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

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

Потреба у формалізації виникає перед тією чи іншою наукою на досить високому рівні її розвитку, коли завдання логічної систематизації та організації готівкового знання набуває першочергового значення.

Для побудови будь-якої формальної системи необхідно: а) завдання алфавіту, тобто певного набору знаків; б) завдання правил, за якими з вихідних знаків цього алфавіту можуть бути отримані «слова», «формули »; в) завдання правил, за якими від одних слів, формул даної системи можна переходити до інших слів і формулами.

Етапи формалізації: -

запис вихідних даних на деякій общепонятном мовою (природному і штучному), що виключає різні тлумачення; -

переробка вихідного запису на основі деяких точних правил.

Найбільш поширеним видом формалізації є формалізація засобами математики. Для цього виду формалізації на другому етапі має місце рішення задачі з використанням певних алгорітмов240; -

порівняння отриманого рішення з реальністю; -

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

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

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

Формалізація дозволяє: -

однозначно визначити вхідні терміни, усвідомити істотні зв'язки і відносини в структурі наукового знання; -

виокремити і уточнити логічну структуру теорії, т.

тобто встановити вихідні посилки теорії, в якості яких в математиці виступають аксіоми, а в емпіричних науках - фундаментальні принципи або закони. Точне перерахування логічних правил виводу також вельми важливо для виявлення структури теорії; -

забезпечити стандартизацію використовуваної мови і понятійного апарату, який використовуються в даній теорії; -

постановку нових проблем і пошук їх вирішення.

Формалізація відіграє важливу роль в: -

виявленні та уточненні змісту наукової теорії; -

систематизації тієї суми знань, яка накопичена змістовної теорією; -

синтезі суміжних наук.

Метод формалізації найбільш ефективний у строгих і точних науках.

Розрізняють два типи формалізованих теорій: повністю та частково формалізовані теорії. Повністю формалізовані теорії являють собою систему формальних тверджень, впорядкованих за допомогою аксіоматі-ко-дедуктивного методу. Це система символів, деякі з яких вважаються вихідними, тобто аксіомами, а всі інші виходять за допомогою явно зазначених правил виводу. Такі теорії, як правило, існують в математиці. У математизованих теоріях ідеалізований об'єкт виступає у вигляді математичної моделі або сукупності таких моделей.

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

« Попередня Наступна »
= Перейти до змісту підручника =
Інформація, релевантна " Особливості формалізації сучасної науки "
  1. Формалізація сучасної науки
    Формалізація сучасної
  2. Мова науки
    Мова кожної науки служить для комунікації між вченими даній області і для вираження наукових результатів. Поняття конкретних наукових дисциплін у систематичному і точному вигляді представлені в підручниках, акумулюючих в собі всі досягнення даної дисципліни. Освоюючи підручник, майбутній фахівець засвоює погляд на світ своєї науки, її результати і методи. Необхідність в особливому науковому мовою
  3. Можливості і межі формалізації (філософський сенс теорем Геделя, Тарського)
    У розумінні основних проблем формалізації - її сутності, пізнавальної цінності, умов і меж застосовності - серед філософів, логіків та істориків науки відсутня єдина думка. Нерідко висловлюються прямо протилежні погляди - перебільшення ролі формалізації та формалізованої мови і недооцінка значення формалізованих методів дослідження. Давид Гільберт (1862-1943), засновник
  4. Математизація сучасної науки
    силенами процесів теоретизації і формалізації наукового пізнання орга нічно пов'язане з його математизацією - проникненням математичних методів і мови математики в різні науки. Роль математики в розвитку пізнання була усвідомлена досить давно. Вже в античності була створено передумови для становлення математичної програми наукового ісследованія253, яка спиралася на дві
  5. В.І. Штанько. Філософія та методологія науки. Навчальний посібник для аспірантів і магістрантів природничонаукових і технічних вузів. Харків: ХНУРЕ. с.292., 2002

  6. Контрольні питання для СРС 1.
    Що є наука як соціальний феномен? 2. Який предмет філософії науки? 3. Які причини виникнення філософії науки? 4. Як розуміє сутність науки непозітівістскій філософія? 5. На чому грунтуються иррационалистические концепції науки? 6. Чому питання про сутність науки, наукового знання до кінця XX століття все більше займає уми філософів? 7. Який зв'язок філософії науки з
  7. VI. КЛАСИФІКАЦІЯ НАУК
    Всіма цими міркуваннями підготовляється у Аристотеля вирішення питання про класифікацію наук. Цьому питанню присвячені дослідження Аристотеля не тільки в «Метафізика» (VI 1), але також в «Топіці» (VI 6; VIII 1) і в «Нікомахова етики» (VI 2; 3-5). Найбільше гідність і найвище становище Аристотель відводить наукам «теоретичним» («созер-давальним»). Науки ці дають знання почав і причин і
  8. Рекомендована література
    1. Стьопін BC, Горохів В.Г., Розов М.А. Філософія науки і техніки. -М., 1995. -Гол. 1,2,3. 2. Сучасна філософія науки: знання, раціональність, цінності в працях мислителів Заходу. Хрестоматія. Вид. 2-е, перераб. і додатк. -М., 1996. 3. Кун Т.С. Структура наукових революцій / Пер. з англ. - М., 1975. 4. Поппер К. Логіка і зростання наукового знання. -М., 1983. 5. Фейєрабенд П. Ізбр. Праця по
  9. РОЗДІЛ 10 Онтологічні проблеми сучасної науки
    РОЗДІЛ 10 Онтологічні проблеми сучасної
  10. РОЗДІЛ 12 Аксіологічні проблеми сучасної науки
    РОЗДІЛ 12 Аксіологічні проблеми сучасної
  11. РОЗДІЛ 11 Логіко-гносеологічні проблеми сучасної науки
    РОЗДІЛ 11 Логіко-гносеологічні проблеми сучасної
  12. ЕКЗИСТЕНЦІЯ - СМ. Екзистенціалізм експлікації - див Карнапа Р. екстерналізм - СМ. ФІЛОСОФІЯ НАУКИ ЕЛІМІНАТІВІЗМ - ??СМ. ФІЛОСОФІЯ СВІДОМОСТІ елімінації метафізика ПРИНЦИП - СМ. Логічний позитивізм
    есенціалізм епістема (від грец. Episteme - знання) - основне поняття концепції т «археології знання» ТМ. Фуко, представлене в його книзі «Слова і речі. Археологія гуманітарних наук »(1966), в якій європейська культура від Відродження до наших днів розглядається як обумовлена ??трьома е.. - Ренесансної, класичної та сучас. Е. у М. Фуко виступає як історичне апріорі, що задає умови
  13. природні і штучні мови
    Всі мови розділені на природні і штучні. Природні - це ті, якими люди користуються в своєму повсякденному житті. Ці мови виникли, формувалися, поширювалися стихійно. Вище вже зазначалося, що мова будь-якого народу є головним компонентом його культури і в цілому історії народу. Кожен природна мова має свої особливості, що відрізняють його від мов інших народів. Але
  14. А.Ю. Мельвіль. Категорії політичної науки. - М.: Московський державний інститут міжнародних відносин (Університет) МЗС РФ, «Російська політична енциклопедія» (РОССПЕН). - 656 с. , 2002
    Книга підготовлена ??авторським колективом факультету Політології МДІМВ-Університету МЗС Росії під керівництвом проф. А.Ю. Мельвіля в рамках комплексного науково-освітнього та просвітницького проекту, націленого на розвиток нових форм і змісту політологічного освіти в Росії на основі сучасних педагогічних та науково-видавничих методів. У своєму змісті книга
  15. РОЗДІЛ 9 Епістемологічний образ науки. Генезис науки і основні історичні етапи її розвитку
    РОЗДІЛ 9 Епістемологічний образ науки. Генезис науки і основні історичні етапи її
  16. НАУКОВО-ТЕXНІЧЕСКАЯ РЕВОЛЮЦІЯ ТЕКСТ
    Розвиток людської цивілізації пов'язане з науково-технічним прогресом, який веде до швидких і глибоких змін продуктивних сил. Даний процес заснований на перетворенні науки в продуктивну силу суспільства. Такий процес зазвичай називають науково-технічною революцією (НТР). Початком сучасної НТР є середина XX століття. Виділяють чотири головні риси сучасної НТР.
  17. 22. Особливості російської правової системи
    Російське право належить до романо-германської правової сім'ї. Останні 10 років у правовій системі РФ відбуваються революційні зміни, реформування всіх її інститутів. Перегляд базових категорій правознавства. Йдеться про поняття, сутність, соціальне призначення, системі права, правових джерелах, правовій культурі, механізмі правового регулювання Перегляд загальноправових та галузевих
  18. Наукові програми та особливості класичної науки
    Наукові програми та особливості класичної