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

Формалны наукы суть такы области штудий,  де ся  новы знаня вытворюють з помочов формалных систем в протикладѣ з емпиричныма науками, основаныма на експериментѣ. Характерным примѣром е математика.  Далшы примѣры загорнюють логику, штатистику, информатику. Хоть ся даколи кладе под сомнѣв, ци иде о правдиву науку з оглядом на то, же ту не суть експерименты в реалном свѣтѣ, — тоты дисциплины достали ся меджи наукы. Наперек недостатку емпиричной базы формалны наукы суть  универзално поважованы за надзвычайно важны, а их резултаты суть поуживаны в розличных емпиричных науках. Але дискузия о их «правдивости» не е закончена.WiseGeek: What are the Formal Sciences?

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

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

Ай в области формалных наук тыж вывинули ся «окреме формалны» дисциплины, як напримѣр,  з алгебры формална алгебра (инвариантны перетворѣня), з логикы формална логика. Кант з понятя истины (правды) выокремив понятя формалной правды, што е тверджѣня котре ся злагоджуе зоз законами логикы, а не мать жадне одношѣня ку даякой реалитѣ.Révai nagy lexikona, том 7, с. 689.

Жерела и одказы
 Révai nagy lexikona. 1-21. köt. Révai Testvérek Irodalmi Intézet Részvénytársaság, Budapest. 1911–1935.
 WiseGeek: What are the Formal Sciences?

 Референции 

Катеґорія:Наука