Formalvetenskap
| Del av en serie om |
| Vetenskap |
|---|
 |
| Essens |
| Historia · Litteratur · Metod · Filosofi |
| Discipliner |
|
Formal · Natur (Fysikalisk · Liv) · Samhälle · Tvär · Tillämpad |
| Övrigt |
| Undervisning · Finansiering · Politik · Sociologi · Pseudovetenskap |
Formalvetenskap eller formella vetenskaper[1] är ett samlingsbegrepp för sådana vetenskapliga discipliner som behandlar formella system. De kräver inte empiriska belägg genom experiement eller observation av verkligheten, utan bygger helt på logisk bevisföring och deduktion (härledning) utifrån system av axiom och definitioner. Här finns till exempel formell logik, matematik, teoretisk datavetenskap, informationsteori, spelteori och systemteori. Gemensamt för dessa vetenskaper är att de använder teckensystem för att beskriva och analysera abstrakta strukturer.
Forskningsprocessen börjar oftast med en problemformulering och utefter det formuleras ett tänkbart svar (förmodan). Ett bevis är en bekräftad förmodan.
Se även
[redigera | redigera wikitext]- Formalism
- Formella metoder och formell verifiering inom datavetenskap
- Formellt språk
- Rationalism
Referenser
[redigera | redigera wikitext]- Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Formal sciences, 1 september 2016.
Noter
[redigera | redigera wikitext]- ^ ”Vetenskapsfilosofi”. www.mv.helsinki.fi. https://www.mv.helsinki.fi/home/wadenstr/vetfil/klassifiering.htm. Läst 6 november 2022.