Formālās zinātnes
Zinātnes, kas operē ar abstraktām formālām sistēmām, izrietinot teorēmas no aksiomām un slēdzienus no premisām - loģika, matemātika, teorētiskā valodniecība, spēļu teorija utt.
Epistemoloģiskais standarts. Formālo zinātņu epistemoloģiskais standarts ir visaugstākais: šīs zinātnes darbojas apodeiktiski (sengrieķu ἀποδεικτικός – “pierādāms”) un piedāvā atbildes, kas ir loģiski pierādāmas un nepieciešami, universāli un a priori patiesas - t. i., bez nepieciešamības veikt kaut kādus empīriskus pētījumus). Piemēram, ja pieņemam Eiklīda aksiomu sistēmu par patiesu, tad taisnstūra trijstūra hipotenūzas kvadrāts tajā nepieciešami būs vienāds ar katešu kvadrātu summu.
Saites.
Zinātne.
