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

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

История

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

Днешность

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

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

Жерела и одказы

• 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?