Formele wetenskap is 'n tak vanwetenskap wat dissiplines bestudeer wat gemoeid is met abstrakte strukture wat beskryf word deurformele stelsels, sooslogika,wiskunde,statistiek,teoretiese rekenaarwetenskap,kunsmatige intelligensie,inligtingsteorie,spelteorie,stelselteorie,besluit-teorie, enteoretiese taalwetenskap. Terwyl dienatuurwetenskappe ensosiale wetenskappe poog omfisiese stelsels ensosiale stelsels onderskeidelik te karakteriseer, met die gebruik vanempiriese metodes, die formele wetenskappe gebruik taalgereedskap gemoeid met die karakterisering van abstrakte strukture wat deurformele stelsels beskryf word. Die formele wetenskappe help die natuur- en sosiale wetenskappe deur inligting te verskaf oor die strukture wat gebruik word om die fisiese wêreld te beskryf, en watter afleidings daaroor gemaak kan word.
Een rede waarom wiskunde besondere aansien geniet, bo alle ander wetenskappe, is dat die wette daarvan absoluut seker en onbetwisbaar is, terwyl dié van ander wetenskappe tot 'n mate debatteerbaar is en voortdurend gevaar loop om deur nuut ontdekte feite omvergewerp te word.
As gevolg van hul nie-empiriese aard, word formele wetenskappe vertolk deur 'n stelaksiomas endefinisies uit te stippel waaruit ander stellings (stellings) afgelei word. Vir hierdie rede, inRudolf Carnap selogies-positivistiese opvatting van dieepistemologie van wetenskap, Teorieë wat tot formele wetenskappe behoort, word verstaan dat dit geensintetiese stellings bevat nie, en in plaas daarvan slegsanalitiese stellings bevat.[2][3]
Wikimedia Commons het meer media in die kategorieFormele wetenskap.
