Jakie są nauki formalne?

„Formalna nauka” to dziedzina badań, która wykorzystuje systemy formalne do generowania wiedzy. Matematyka jest prototypowym przykładem. Inne obejmują logikę, statystykę, teorię informacji i informatykę teoretyczną. Chociaż czasem kwestionowano, czy są to naprawdę „nauki” - biorąc pod uwagę brak eksperymentów w świecie rzeczywistym - dyscypliny te i tak często łączą się z nauką. Pomimo braku podstaw empirycznych, nauki formalne są ogólnie uważane za niezwykle ważne, a cała nauka ilościowa zależy od nich. To ciągła debata na temat tego, czy nauki formalne są prawdziwą nauką.

Teksty matematyczne pojawiają się w historii starożytnej około 1800 roku pne, w Mezopotamii, miejscu Babilonu, największego wówczas miasta na Ziemi. Pierwotnym celem była kwantyfikacja towarów, takich jak niewolnicy lub zboże. Około 600 lat pne w Chinach i Grecji w 400 rpne to początkowy rozwój logiki, wyraźna analiza metod rozumowania. W Grecji byli wielcy starożytni greccy filozofowie, tacy jak Pitagoras, Sokrates i Arystoteles, których intuicje i przekonania o logice i nauce dominowały w świecie zachodnim aż do czasów nowożytnych, aż do XVII-wiecznych opraw takich jak Pierre de Fermat, Blaise Pascal i Christiaan Huygens przyspieszył rozwój matematyki w jej nowoczesnej formie.

Teoria informacji, informatyka teoretyczna i współczesne statystyki (bayesowskie) pochodzą z Claude'a Shannona i Jona von Neumanna w połowie XX wieku. Alan Turing również wniósł istotny wkład. Teoria wokół komputerów, sygnalizacji radiowej i konstrukcji anteny zależy od kamieni milowych osiągniętych przez tych myślicieli. Te obszary są ważnymi częściami nauk formalnych.

Po wielu dekadach bałaganu w metodach eksperymentalnych i analizach, ostatnio „nauki miękkie” (nauki społeczne, nauki polityczne itp.) Stały się bardziej ilościowe, zwiastując zasadniczą zmianę w sposobie działania. Psychologia stała się bardziej eksperymentalna, a wiele z tych wyników niweczy tradycyjną mądrość starszych myślicieli, takich jak Freud. Psychologia eksperymentalna często mieści się pod hasłem „psychologii poznawczej”.

Wydaje się, że fizyka teoretyczna w dużym stopniu zależy od rozwoju matematyki. Fizyka teoretyczna często wykorzystuje najbardziej zaawansowaną dostępną matematykę dnia i opisuje jej wyniki i prognozy w tych terminach.