Beispiele für formale Wissenschaften
Verschiedenes / / July 04, 2021
Das formale Wissenschaft sind diejenigen, bei denen analytische Aussagen die Aussagen der Mathematik und Logik. Auf diese Weise ist sein Studiengebiet nicht die reale Welt, sondern die ideale Welt, leere Inhaltsformen als in viele Fälle sind möglicherweise nicht vollständig beobachtbar, aber sie sind gültige Analysewerkzeuge, um die Wirklichkeit. Beispielsweise: Statistik, Logik, Mathematik.
Die formalen Wissenschaften zeichnen sich dadurch aus, dass sie nicht mit der Realität in Konflikt geraten, da sie nicht die Verantwortung haben, überprüfbar zu sein. Im Gegenteil, die formalen Wissenschaften müssen Vorschläge dass sie in einem logischen Sinne beweisbar sind und dass sie vorkommen können: Andernfalls verwenden diese Wissenschaften „Axiome“, die offensichtliche Aussagen sind, die ohne vorherige Beweise akzeptiert werden.
Die Verwendung von Axiomen hängt mit der üblichen Methode dieser Art von Wissenschaft zusammen, der Deduktive Methode: die Axiome als Ausgangspunkt nehmen und dann in einer Ableitung vorgehen, um zum. zu gelangen
Vorschläge als notwendige logische Konsequenzen der vorhergehenden Sätze. Man sagt also, dass ein formales System aus Folgendem besteht:Es kann Ihnen dienen:
Sie sind gegen die Faktenwissenschaften
Normalerweise steht der Begriff der formalen Wissenschaften im Gegensatz zu den Faktenwissenschaft, die die Fakten studieren. Sowohl das eine als auch das andere sind in der heutigen Welt von großer Bedeutung, da sie sich ergänzen zwischen den beiden: die Beiträge einiger Grundlagenwissenschaften zum technologischen Fortschritt (wie z das Chemie oder Computer) werden von formalen Systemen wie der Mathematik unterstützt.
Beispiele für formale Wissenschaften
- Theoretische Informatik. Abteilung innerhalb der Informatik, die sich auf die abstraktesten und mathematischsten Aspekte des Gebiets konzentriert. Es umfasst die Analyse von Algorithmen und insbesondere der formalen Semantik von Programmiersprachen.
- Statistiken. Wissenschaft, die für das Sammeln, Organisieren, Verarbeiten, Analysieren und Interpretieren von Daten verantwortlich ist, um die Eigenschaften von a of abzuleiten Population Zielsetzung.
- Logik. Disziplin, die die formalen Verfahren der Vernunft studiert und versucht zu wissen, welche Art von Verfahren das menschliche Gehirn durch formale Aussagen verwendet.
- Mathematik. Deduktive Wissenschaft, die sich dem Studium der Eigenschaften abstrakter Entitäten und ihrer Beziehungen widmet. Arbeitet mit Zahlen, Symbole und geometrische Figuren.
- Systemtheorie. Interdisziplinäres Studium von Systemen im Allgemeinen, um die Prinzipien zu untersuchen, die auf Systeme auf allen Ebenen in allen Forschungsbereichen anwendbar sind.
Folge mit: