Was sind die Formalwissenschaften?
Eine „formale Wissenschaft“ ist ein Studienbereich, der formale Systeme verwendet, um Wissen zu generieren. Mathematik ist das prototypische Beispiel. Andere umfassen Logik, Statistik, Informationstheorie und theoretische Informatik. Obwohl manchmal in Frage gestellt wurde, ob dies wirklich „Wissenschaft“ ist oder nicht - angesichts des Mangels an Experimenten in der realen Welt -, werden diese Disziplinen oft ohnehin in die Wissenschaft einbezogen. Obwohl es an einer empirischen Grundlage mangelt, werden die formalen Wissenschaften im Allgemeinen als äußerst wichtig angesehen, und tatsächlich hängt jede quantitative Wissenschaft von ihnen ab. Es ist eine anhaltende Debatte darüber, ob die formalen Wissenschaften wahre Wissenschaft sind oder nicht.
Mathematiktexte tauchen in der Antike um 1800 v. Chr. In Mesopotamien auf, dem Ort Babylons, der damals größten Stadt der Erde. Der ursprüngliche Zweck war die Quantifizierung von Gütern wie Sklaven oder Getreide. Um 600 v.Chr. In China und 400 v.Chr. In Griechenland entstand die Logik, die explizite Analyse von Argumentationsmethoden. In Griechenland waren die großen antiken griechischen Philosophen wie Pythagoras, Sokrates und Aristoteles, deren Intuitionen und Überzeugungen über Logik und Wissenschaft die westliche Welt bis in die Neuzeit beherrschten, bis zum 17. Jahrhundert Koryphäen wie Pierre de Fermat, Blaise Pascal und Christiaan Huygens Kickstart für die Entwicklung der Mathematik in ihrer modernen Form.
Informationstheorie, theoretische Informatik und moderne (Bayes'sche) Statistik stammen aus der Mitte des 20. Jahrhunderts von Claude Shannon und Jon von Neumann. Alan Turing leistete ebenfalls wichtige Beiträge. Die Theorie zu Computern, Funksignalen und Antennendesign hängt von den Meilensteinen ab, die diese Denker erreicht haben. Diese Bereiche sind alle wichtige Teile der formalen Wissenschaften.
Nach vielen Jahrzehnten des Durcheinanders mit experimentellen Methoden und Analysen sind die „soft sciences“ (Sozialwissenschaften, Politikwissenschaften usw.) in letzter Zeit quantitativer geworden und kündigen eine grundlegende Veränderung in der Art und Weise an, wie Dinge getan werden. Die Psychologie ist experimenteller geworden, und viele dieser Ergebnisse verdrängen die traditionelle Weisheit älterer Denker wie Freud. Experimentelle Psychologie steht oft unter dem Motto "kognitive Psychologie".
Die theoretische Physik scheint in hohem Maße von den Entwicklungen in der Mathematik abhängig zu sein, um Fortschritte zu erzielen. Die theoretische Physik verwendet häufig die aktuellste verfügbare Mathematik und beschreibt ihre Ergebnisse und Vorhersagen in diesen Begriffen.