Меню
Головна
 
Головна arrow Філософія arrow Історія і філософія науки
< Попередня   ЗМІСТ   Наступна >

Природознавство і математика. Онтологічні та гносеологічні підстави математизації знання

Відомий фізик Євген Вігнера говорив про "незрозумілою застосовності" математики в природничих науках, а Н. Бурбак писав: "В своїй аксіоматичною формі математика здається скупченням математичних структур, і виявляється, невідомо чому, що деякі аспекти реальності ніби в результаті приречення укладаються в деякі з цих форм". Дійсно, в деяких філософських концепціях містяться ідеалістичні й містичні моменти в спробах онтологічного обґрунтування застосування математики в пізнанні. Так, Піфагор стверджував, що "все є число" і "світом правлять числа". Платон ототожнював вогонь, воду, землю, повітря, ефір з правильними многогранниками. Кеплер навіть побудував модель Сонячної системи на основі п'яти "Платонових тіл". Готфрід-Вільгельм Лейбніц стверджував, що між математикою і природою існує передвстановлена гармонія. У сучасній філософії "логічні атомисты" зводять математику до логіки.

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

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

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

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

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

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

Отже, одне абстрактне відношення має дві різні, але скоординовані "проекції" - наочний геометричний образ і числовий вираз. В цьому і полягає, згідно Декарту, сутність математизації природи: "фізика" зводиться до геометрія, геометрія - до арифметики, а остання виражається мовою алгебри, який володіє тією особливістю, що, будучи цілком символічним, може виражати всі що завгодно. Створення зручних позначень стало вирішальною умовою математизації природознавства в XVII ст. Свій внесок в удосконалення символіки внесли Франсуа вієта які були введені і Лейбніц. Останній вважав, що позначення повинні стимулювати уяву, т. е. що самі символи повинні виконувати евристичну роль в отриманні нових результатів, а не просто фіксувати те, що вже знайдено без їх участі.

Правда, заслуга ефективного застосування математики для опису природи належить Декарту, а Ньютону, так що кажуть, що Декарт все пояснював, але нічого не обчислював, а Ньютон все обчислював, але нічого не пояснював, - тому фізику Декарта називають "гіпотетичної", а фізику Ньютона - "математичної".

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

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

Математизація знання в астрономії й механіки.

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

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

Початком математичного опису природи було створення календаря. Вавилонські жерці виявили, що сонячні затемнення повторюються через 6585 діб. Це зажадало тривалих спостережень у різних місцевостях, так як наступні один за одним затемнення бувають видні, як правило, в різних частинах Землі, що математично обґрунтував ще Гиппарх Родоський.

Рухи небесних тіл відрізняються винятковою регулярністю, тому Аристотель стверджував, що математика застосовна тільки до "надлунному світу".

Геометрія і тригонометрія, яких потребували геодезія, мореплавання і будівництво, стали застосовуватися і в астрономії, так як небозвід був подібний до земної поверхні, причому в астрономії застосовувалася не тільки плоска, але і сферична тригонометрія. Створення геліоцентричної системи було б неможливо, якби Микола Коперник, крім медичних і юридичних знань, не придбав би під час десятирічного перебування в Італії ще й ґрунтовних знань у геометрії. Математична обробка матеріалів спостережень Тихо Браге підштовхнула Йоганна Кеплера до гіпотези про эллипсах як формах планетних орбіт.

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

Математика як мова науки. В цілому по відношенню до природознавства математика відіграє роль формального метатеорії, поставляючи запас готових форм для подання знання. Але будучи корисним і зручним мовою представлення знань, математика, як і кожен використовуваний нами мову, непомітно вводить і такі об'єкти, які існують тільки в самій мові. Ще Парменід зауважив, що мова нас вводить в оману, так як в ньому є слово "небуття", хоча небуття і немає. Так статистика створює "середні величини", відсутні в реальності, так платонистской математики допускається, щоб елементами множини поряд з індивідами були також і множини, і таке вільне конструювання множин виявилося загрожує парадоксами. З-за цього створюється враження, що "математичні формули існують незалежно від нас, що вони розумніші за своїх творців", як писав Р. Герц.

Разом з тим, працюючи з математичною моделлю процесу у вигляді рівняння, фізик, довільно змінюючи його, отримує нові співвідношення між величинами, які в досвіді ще не спостерігалися. У цьому полягає метод математичної екстраполяції, завдяки яким були отримані важливі результати. Так, Дж. К. Максвелл видозмінив рівняння електродинаміки так, що з них логічно випливало існування змінного електромагнітного поля, що поширюється в просторі зі швидкістю світла, або "хвиль Герца". Ейнштейн писав: "Я переконаний, що чисто математичне побудова дозволить знайти закономірності, які дадуть ключ до пізнання явищ природи".

Значення математичної ідеї інваріантності" у фізиці.

Прикладом продуктивного використання важливою математичної ідеї в фізиці може служити принцип інваріантності (симетрії). У 1841 р. англійський математик і логік Дж. Буль відкрив клас алгебраїчних функцій, які володіли властивістю інваріантності при деяких перетвореннях, а потім А. Келі і Дж. Сильвестр створили нову область алгебри - теорію інваріантів. У фізиці математичної ідеї інваріанта відповідає ідея відносності. В якості основного властивості механічного руху його відносність була встановлена Галілеєм і придбала фундаментальне значення в теоріях, створених у XX ст. А. Ейнштейном. Останній вказав, що властивістю інваріантності обов'язково повинні володіти всі фізичні закони.

В інших науках властивість інваріантності деяких величин виявилося при використанні математичних та системно-структурних методів пізнання.

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

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

І сама математика, як це було показано ще Феліксом Клейном в "Эрлангенской програмі" (1872), впорядковується за допомогою ідеї інваріантності. Так, геометрія стає приватним випадком теорії інваріантів. Теорія груп як деяка частина алгебри дозволяє по-новому поглянути не тільки на фізичний світ, але і на математику. Між поняттям числа і поняттям групи виявляється глибока зв'язок. З точки зору теорії пізнання поняття групи ставить на більш високому рівні ту ж проблему, що виникла у зв'язку з поняттям числа. Створення натурального ряду чисел починалося з встановлення "першого елемента" і правила, що породжує наступні числа. Як би ми не просувалися в ускладненні породжуваних "елементів", всі вони належать до тієї ж сукупності, "групи". В теорії груп долається протиставлення "елемента" і "операції". Операції стають елементами. Сукупність операцій утворює групу, коли два будь-яких послідовно проведених перетворення дають той же результат, який дає і одна-єдина операція. Так що група є закрита система операцій. Тільки за допомогою поняття групи Герман Мінковський зміг надати суворо математичну форму спеціальної теорії відносності Ейнштейна і тим самим показати її з абсолютно нового боку.

Роль вимірювання в математизації знання. У природничонаукове знання числові величини вводяться за допомогою вимірювань.

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

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

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

Математичне моделювання.

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

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

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

Припущення, покладені в основу моделі природного явища, можуть бути досить грубими. Так, ньютоновская модель Сонячної системи використовувала такі припущення: небесні тіла суть матеріальні точки відповідної маси, локалізовані в їх центрах тяжкості, між якими діє сила, рівна добутку мас, поділеному на квадрат відстані між зазначеними центрами і помножена на деякий коефіцієнт, обчислений експериментально. При всій брутальності такої моделі вона давала можливість передбачати розташування небесних тіл на тривалий термін і навіть існування не спостерігалися раніше небесних тіл за їх взаємодій з спостережуваними тілами. Так, у 1846 р. У. Леверье і Дж. Адамсом була відкрита "на кінчику пера" планети Нептун, а в 1930 р. П. Лоуэллом - планета Плутон. Більш точна релятивістська модель дозволила пояснити поведінку Меркурія, яке для колишньої моделі було аномалією.

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

До появи комп'ютерів математичне моделювання зводилося до побудови аналітичної теорії явища, яке не завжди доводили до формул, тому що природа виявлялася істотно складніше моделі.

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

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

Історія науки показує важливість гіпотез і заснованих на них моделей. Наприклад, на основі геліоцентричної гіпотези Микола Коперник побудував математичну модель Сонячної системи. "Планетарна модель атома Ернеста Резерфорда дозволила Нільсу Бору розраховувати квантові числа електронних орбіт і т. п.

У минулому математичні моделі природи будували, виходячи з принципу лапласовского детермінізму. Передбачалося, що між різними за часом станами системи існує однозначна зв'язок. Проте вже у XVIII ст. у науці стали застосовуватися і статистичні моделі, спочатку в описах соціальних явищ, а потім і в описі природи. Дж. К. Максвелл, Людвіг Больцман та інші побудували кінетичну теорію газів, засновану на гіпотезі, що будь-який обсяг газу складається з дуже великої кількості хаотично рухомих молекул. Виявилося, що на основі таких простих припущень можна створити багату результатами теорію, що підтверджується експериментами. Так теоретико-ймовірнісні моделі стали основою сучасної фізики, особливо фізики мікросвіту. Рівняння Шредінгера є модель поведінки електрона в атомі водню, і воно служить, в принципі, теоретичною основою всієї хімії. Розв'язати рівняння - означає знайти хвильову функцію, відповідну стаціонарного стану атома. Рішень завжди існує безліч, і кожному відповідає своє значення енергії. Основний стан - стан з мінімальною енергією. Але точне рішення рівняння Шредінгера можна знайти лише у найпростішому випадку для одного електрона. Зі збільшенням числа електронів складність завдання катастрофічно зростає.

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

 
< Попередня   ЗМІСТ   Наступна >

Схожі тими

Гносеологічні основи науки
Структура знання в соціальних науках
Філософські проблеми природознавства
Онтологічні підстави науки
Підстави науки. Роль філософських ідей й принципів у розвитку наукового знання
Структура та закономірності розвитку різних областей наукового знання
Посткризова математика в біржовій торгівлі
Онтологічний статус зла
Елементи фінансової математики
Особливості визначення ціни страхування. Актуарна математика
 
Предмети
Банківська справа
БЖД
Бухоблік і аудит
Документознавство
Екологія
Економіка
Етика і естетика
Інвестування
Інформатика
Історія
Культурологія
Література
Логістика
Маркетинг
Медицина
Менеджмент
Політологія
Політекономія
Право
Психологія
Соціологія
Страхова справа
Товарознавство
Філософія
Фінанси