Aliens

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.