Формалны наукы

Матеріал з Вікіпедія
Перейти до навігації Перейти до пошуку
CMAP - Centre de Mathématiques Appliquées de l'Ecole polytechnique (25911635211).jpg

Формалны наукы суть такы области штудий, де ся новы знаня вытворюють з помочов формалных систем в протикладѣ з емпиричныма науками, основаныма на експериментѣ. Характерным примѣром е математика. Далшы примѣры загорнюють логику, штатистику, информатику. Хоть ся даколи кладе под сомнѣв, ци иде о правдиву науку з оглядом на то, же ту не суть експерименты в реалном свѣтѣ, — тоты дисциплины достали ся меджи наукы. Наперек недостатку емпиричной базы формалны наукы суть универзално поважованы за надзвычайно важны, а их резултаты суть поуживаны в розличных емпиричных науках. Але дискузия о их «правдивости» не е закончена.[1]

История[едітовати | едітовати жрідло]

Формалны наукы были меджи первыма. Найстаршы математичны роботы, о котрых знаеме суть з Мезопотамии (около 1800 до РХ). Около року 500 до РХ в Китаю и около року 400 до РХ в Греции зачала ся розвивати яко наука логика. Многы понятя и законы сформулованы еще в старовѣку перетырвали аж до XVII. стороча, коли тоты наукы ся модернизовали и достали их теперѣшну форму.[1]

Днешность[едітовати | едітовати жрідло]

В сучасности ся появляють все новы и новы формалны наукы або дисциплины в рамках скорше вывинутых наук, напримѣр теория информации, теоретична информатика и модерна Байесовска штатистика, котры ся появили в серединѣ XX. стороча.[1]

Ай в области формалных наук тыж вывинули ся «окреме формалны» дисциплины, як напримѣр, з алгебры формална алгебра (инвариантны перетворѣня), з логикы формална логика. Кант з понятя истины (правды) выокремив понятя формалной правды, што е тверджѣня котре ся злагоджуе зоз законами логикы, а не мать жадне одношѣня ку даякой реалитѣ.[2]

Жерела и одказы[едітовати | едітовати жрідло]

Commons
Вікісклад має мултімедіалны дата на тему:

Референции[едітовати | едітовати жрідло]

  1. 1,0 1,1 1,2 WiseGeek: What are the Formal Sciences?
  2. Révai nagy lexikona, том 7, с. 689.