Scienze formali

La scienza formale o astratta è una branca della scienza che studia le discipline relative ai sistemi formali, come logica, matematica, statistica, informatica teorica, intelligenza artificiale, teoria dell'informazione, teoria dei giochi, teoria dei sistemi, teoria delle decisioni e linguistica teorica. Considerando che le scienze naturali e le scienze sociali cercano di caratterizzare rispettivamente i sistemi fisici e i sistemi sociali, utilizzando metodi empirici, le scienze formali sono strumenti linguistici che si occupano di caratterizzare strutture astratte descritte da sistemi formali. Le scienze formali aiutano le scienze naturali e sociali fornendo informazioni sulle strutture usate per descrivere il mondo fisico e quali deduzioni si possono fare su di esse.

Sono quelle discipline che fanno uso di concetti astratti e schemi logici, prescindendo dall'esperienza e dalla realtà empirica. Si distinguono dalle scienze empiriche (sociali e naturali), che si basano sull'osservazione dei fatti, e da quelle applicate, che sono incentrate nella risoluzione di problemi pratici^[1][2].