Formell vitenskap
From Wikipedia, the free encyclopedia
Formell vitenskap eller formalvitenskap er vitenskap der formen og systemet alene er viktig, ikke innholdet.[1] Formelle vitenskaper er logikk, matematikk, statistikk, informasjonsteori, spillteori og innen lingvistikk, syntaks og gramatikk. Naturvitenskap og samfunnsvitenskap undersøker fenomener og hendelser empirisk. Formell vitenskap måler ingenting, men bidrar til vitenskapen ved å klargjøre hva empirisk vitenskap med rette kan si om verden. Formell vitenskap kan bevare sannhet slik at sanne premisser med sikkerhet gir en sann konklusjon.