Formální vědy - soubor věd zabývajících se studiem formálních systémů . Mezi formální vědy patří: matematika , logika , kybernetika , teoretická informatika , teorie informace , teorie systémů , teorie rozhodování , statistika , některé aspekty lingvistiky .
Formální vědy pocházejí z matematických textů pocházejících z roku 1800 před naším letopočtem. E. ( Babylonská matematika ), 1600 př. Kr E. ( staroegyptská matematika ) a 1000 př. Kr. E. ( starověká indická matematika ), dlouho před vytvořením vědecké metody . Indičtí, starověcí řečtí a arabští matematici významně přispěli k matematice a Čína a Japonsko nezávisle vyvinuly svou vlastní matematickou tradici.
Logika, stejně jako matematika, je příkladem formální vědy s dávnou historií (viz Historie logiky ). Analýza inferenčních módů probíhala ve starověké Číně , starověké Indii , starověkém Římě a starověkém Řecku . Moderní logika byla ovlivněna především starověkou řeckou tradicí, která pokračovala v dílech arabských logiků.
Jiné formální vědy jsou z velké části příbuzné matematice a vyvinuly se z ní. Na počátku 17. století se objevují první práce o teorii pravděpodobnosti ( statistika ). Od poloviny 20. století se začal rychle rozvíjet operační výzkum , teorie informace , teoretická informatika a další formální vědy . S ohledem na teoretickou informatiku, to by mělo být poznamenal, že jeho původ je viděn v práci Turinga a někdy stopovaný zpátky do Babbage a dokonce Leibniz . Vznik nových disciplín ukazuje, že matematika byla pouze jednou z mnoha v řadě formálních věd.
Na rozdíl od přírodních a společenských věd jsou formální vědy v určitém smyslu logicky a metodologicky nezávislé na empirických metodách. Ve formálních vědách je přístup ke zkoumaným objektům abstraktní, nicméně získané výsledky jsou aplikovány při studiu všech oblastí reality [1] .