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 sann vetenskap.

Matematiktexter dyker upp i antik historia omkring 1800 f.Kr., i Mesopotamia, platsen för Babylon, den största staden på jorden vid den tiden.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 resonemangsmetoder.I Grekland var de stora forntida grekiska filosoferna som Pythagoras, Sokrates och Aristoteles, vars intuitioner och övertygelser om logik och vetenskap dominerade den västra världen fram till den moderna eran, fram till 1700 -talets armaturer som Pierre de Fermat, Blaise Pascal och Christiaan HuygensKickstartade utvecklingen av matematik 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 har nyligen ”mjuka vetenskaper” (samhällsvetenskap, statsvetenskap, etc.) blivit mer kvantitativ, vilket ger en grundläggande förändring ihur 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.