Wat zijn de formele wetenschappen?

Een "formele wetenschap" is een studiegebied dat formele systemen gebruikt om kennis te genereren.Wiskunde is het prototypische voorbeeld.Anderen omvatten logica, statistieken, informatietheorie en theoretische informatica.Hoewel het soms is gevraagd of dit al dan niet echt 'wetenschap' zijn-gezien het gebrek aan experimenten in de praktijk-worden deze disciplines toch vaak in de wetenschap samengevoegd.Ondanks hun gebrek aan empirische basis, worden de formele wetenschappen over het algemeen als uiterst belangrijk beschouwd, en inderdaad, alle kwantitatieve wetenschap hangt van hen af.Het is een voortdurend debat over de vraag of de formele wetenschappen ware wetenschap zijn.

Wiskundige teksten ontstaan in de oude geschiedenis rond 1800 voor Christus, in Mesopotamië, de locatie van Babylon, de grootste stad op dat moment.Het oorspronkelijke doel was om goederen te kwantificeren, zoals slaven of graan.Ongeveer 600 voor Christus in China en in Griekenland in 400 voor Christus was de eerste ontwikkeling van de logica, de expliciete analyse van redeneermethoden.In Griekenland waren de grote oude Griekse filosofen zoals Pythagoras, Socrates en Aristoteles, wiens intuïties en overtuigingen over logica en wetenschap de westerse wereld domineerden tot het moderne tijdperk, tot 17e -eeuwse luminaries zoals Pierre de Fermat, Blaise Pascal en Christia HuygensAlan Turing heeft ook belangrijke bijdragen geleverd.De theorie rond computers, radiosignalering en antenneontwerp hangen allemaal af van de mijlpalen die deze denkers hebben bereikt.Deze gebieden zijn allemaal belangrijke onderdelen van de formele wetenschappen.

Na vele decennia van rommel in experimentele methoden en analyse, zijn de "zachte wetenschappen" (sociale wetenschappen, politieke wetenschappen, enz.)de manier waarop dingen worden gedaan.Psychologie is experimenteeler geworden en veel van deze resultaten zijn de traditionele wijsheid van oudere denkers zoals Freud weggevaagd.Experimentele psychologie valt vaak onder de vlag van 'cognitieve psychologie'.

Theoretische fysica lijkt sterk afhankelijk van ontwikkelingen in wiskunde om vooruitgang te boeken.Theoretische fysica gebruikt vaak de meest geavanceerde beschikbare wiskunde van de dag en beschrijft de resultaten en voorspellingen ervan in deze termen.