Jaké jsou formální vědy?

„Formální věda“ je oblast studie, která k vytváření znalostí používá formální systémy.Matematika je prototypickým příkladem.Mezi další patří logika, statistika, teorie informací a teoretická počítačová věda.Přestože bylo někdy zpochybněno, zda se jedná o skutečně „vědu“-vzhledem k nedostatku experimentů v reálném světě-tyto disciplíny se stejně často dozví do vědy.Navzdory jejich nedostatku empirického základu jsou formální vědy obecně považovány za nesmírně důležité a ve skutečnosti na nich všechna kvantitativní věda závisí.Jedná se o probíhající debatu o tom, zda jsou formální vědy skutečnou vědou.

Matematické texty se objevují ve starověké historii kolem roku 1800 př.nl, v Mezopotámii, umístění Babylonu, největšího města na Zemi v té době.Původním účelem bylo kvantifikovat zboží, jako jsou otroky nebo zrno.Přibližně 600 př.nl v Číně a v Řecku v roce 400 př.nl byl počátečním vývojem logiky, explicitní analýza metod uvažování.V Řecku byli velcí starověcí filozofové, jako jsou Pythagoras, Socrates a Aristoteles, jejichž intuice a víra o logiku a vědu dominovaly západním světu až do moderní éry, až do 17. století svítidla, jako je Pierre de Fermat, Blaise Pascal a Christiaan HuygensKickstartoval vývoj matematiky ve své moderní podobě.

Teorie informací, teoretická počítačová věda a moderní (Bayesovská) statistika datum Claude Shannonovi a Jon Von Neumannovi v polovině 20. století.Alan Turing také významně přispěl.Teorie kolem počítačů, rádiové signalizace a návrhu antény závisí na milnících, které tyto myslitelé dosáhli.Všechny tyto oblasti jsou důležitými součástmi formálních věd.

Po mnoha desetiletích nepořádků v experimentálních metodách a analýze se nedávno „měkké vědy“ (sociální věda, politologie atd.) Dostaly kvantitativnější a ohlašovaly zásadní posun vzpůsob, jakým se věci dělají.Psychologie se stala experimentální a mnoho z těchto výsledků zamezí tradiční moudrost starších myslitelů, jako je Freud.Experimentální psychologie často spadá pod prapor „kognitivní psychologie“.Teoretická fyzika často používá nejpokročilejší matematiku dne a popisuje její výsledky a předpovědi v těchto termínech.