Co jsou formální vědy?

„Formální věda“ je oblast studia, která využívá formální systémy k vytváření znalostí. Matematika je prototypovým příkladem. Mezi další patří logika, statistika, teorie informací a teoretická informatika. Přestože bylo někdy zpochybňováno, zda se jedná o skutečně „vědu“ - s ohledem na nedostatek experimentů v reálném světě - tyto disciplíny se i tak často dostávají do vědy. Přes jejich nedostatek empirického základu, formální vědy jsou obecně zvažovány extrémně důležité, a opravdu, celá kvantitativní věda závisí na nich. Jde o pokračují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řed naším letopočtem, 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 obilí. Kolem roku 600 př.nl v Číně a v Řecku v roce 400 př.nl byl počáteční vývoj logiky, explicitní analýza metod uvažování. V Řecku byli velcí starověcí řeckí filozofové jako Pythagoras, Sokrates a Aristotle, jejichž intuice a víry o logiku a vědu dominovaly západnímu světu až do moderní doby, až do 17. století, jako jsou Pierre de Fermat, Blaise Pascal a Christiaan Huygens. nastartoval vývoj matematiky v její moderní podobě.

Teorie informací, teoretická informatika a moderní (bayesovské) statistiky se datují do Claude Shannona a Jon von Neumanna v polovině 20. století. Alan Turing také významně přispěl. Teorie počítačů, rádiové signalizace a konstrukce antén závisí na milnících, kterých tito myslitelé dosáhli. Všechny tyto oblasti jsou důležitými součástmi formálních věd.

Po mnoha desetiletích zmatku v experimentálních metodách a analýzách se „měkké vědy“ (společenské vědy, politologie atd.) V poslední době staly kvantitativnějšími, což ohlašovalo zásadní posun ve způsobu, jakým se věci dělají. Psychologie se stala experimentálnější a mnoho z těchto výsledků odvádí tradiční moudrost starších myslitelů, jako je Freud. Experimentální psychologie často spadá pod prapor „kognitivní psychologie“.

Teoretická fyzika se zdá být vysoce závislá na vývoji v matematice, aby dosáhla pokroku. Teoretická fyzika často používá nejpokročilejší dostupnou matematiku dne a popisuje její výsledky a předpovědi v těchto termínech.