Exempel på formella vetenskaper

De formell vetenskap är de där analytiska propositioner tar uttalanden matematik och logik. På detta sätt är hans studieområde inte den verkliga världen utan snarare den ideala världen, tomma former av innehåll än i många fall kanske inte är fullt observerbara, men de är giltiga analytiska verktyg för att förstå verklighet. Till exempel: statistik, logik, matematik.

De formella vetenskaperna kännetecknas av att de inte kommer i konflikt med verkligheten, eftersom de inte har ansvaret för att vara verifierbara. Tvärtom måste den formella vetenskapen använda förslag att de kan påvisas i logisk mening och att de kan hända: annars använder dessa vetenskaper 'axiomer' som är självklara förslag som accepteras utan att det krävs något tidigare bevis.

Användningen av axiomer är relaterad till den vanliga metoden för denna typ av vetenskap, som är Deduktiv metod: tar axiomerna som utgångspunkt och fortsätter sedan på ett derivat sätt och kommer fram till förslag som nödvändiga logiska konsekvenser av de tidigare förslagen. Det sägs alltså att ett formellt system består av följande:

Det kan tjäna dig:

De motsätter sig de faktiska vetenskaperna

Begreppet formell vetenskap kommer vanligtvis i motsats till faktavetenskap, vilka är de som studerar fakta. Både den ena och den andra är mycket viktiga i dagens värld, eftersom de är ett komplement mellan de två: bidrag från vissa grundläggande vetenskaper i vad som är tekniskt framsteg (t.ex. de kemi eller databehandling) stöds av formella system som matematik.

Exempel på formella vetenskaper

1. Teoretisk datavetenskap. Avdelning inom datavetenskap, som fokuserar på de mer abstrakta och matematiska aspekterna av området. Det inkluderar analys av algoritmer och särskilt den formella semantiken i programmeringsspråk.
2. Statistik. Vetenskap som ansvarar för att samla in, organisera, bearbeta, analysera och tolka data för att härleda egenskaperna hos en befolkning mål.
3. Logik. Disciplin som studerar förnuftens formella förfaranden och försöker veta vilken typ av förfaranden som används av den mänskliga hjärnan genom formella förslag.
4. Matematik. Deduktiv vetenskap som är dedikerad till att studera egenskaperna hos abstrakta enheter och deras relationer. Arbetar med tal, symboler och geometriska figurer.
5. Systemteori. Tvärvetenskaplig studie av system i allmänhet för att studera de principer som är tillämpliga på system på alla nivåer inom alla forskningsområden.

Följ med: