Vilka är de formella vetenskaperna?
En "formell vetenskap" är ett studieområde som använder formella system för att generera kunskap. Matematik är det prototypiska exemplet. Andra inkluderar logik, statistik, informationsteori och teoretisk datavetenskap. Även om det ibland har ifrågasatts om dessa verkligen är "vetenskap"-med tanke på bristen på verkliga experiment-blir dessa discipliner ofta klumpade till vetenskapen ändå. Trots deras brist på empirisk grund anses de formella vetenskaperna i allmänhet vara oerhört viktiga, och faktiskt beror all kvantitativ vetenskap på dem. Det är en pågående debatt om huruvida de formella vetenskaperna är sanna vetenskap eller inte. Det ursprungliga syftet var att kvantifiera varor, såsom slavar eller spannmål. Cirka 600 f.Kr. i Kina och i Grekland i 400 f.Kr. var den första utvecklingen av logik, den uttryckliga analysen av Reasoning -metoder. I Grekland var de stora forntida grekiska filosoferna som Pythagoras, Socrates och Aristoteles, vars intuitioner och trosuppfattningar om logik och vetenskap dominerade den västra världen tills den moderna eran, fram till 1700 -talets Luminarier som Pierre de Fermat, Blaise Pascal och Christiaan Huygens Kickstarted The Development of Mathematics i sin moderna form.
Informationsteori, teoretisk datavetenskap och modern (Bayesian) statistik datum till Claude Shannon och Jon Von Neumann i mitten av 1900-talet. Alan Turing gav också viktiga bidrag. Teorin kring datorer, radiosignalering och antenndesign beror alla på de milstolpar som dessa tänkare uppnår. Dessa områden är alla viktiga delar av de formella vetenskaperna.
Efter många decennier av rörighet i experimentella metoder och analys, nyligen ”mjuka vetenskaper” (samhällsvetenskap, statsvetenskap, etc.)har blivit mer kvantitativ och förmedlar en grundläggande förändring i hur saker görs. Psykologi har blivit mer experimentell, och många av dessa resultat sveper bort den traditionella visdomen hos äldre tänkare som Freud. Experimentell psykologi faller ofta under banan för "kognitiv psykologi."
Teoretisk fysik verkar mycket beroende av utvecklingen i matematik för att göra framsteg. Teoretisk fysik använder ofta dagens mest avancerade tillgängliga matematik och beskriver dess resultat och förutsägelser i dessa termer.