Formalvidenskab, videnskab, der ikke omhandler empiriske kendsgerninger, men udelukkende formelle systemers indre sammenhæng. Eksempler er logik, matematik og dele af lingvistikken. Modsat realvidenskab.