Scienze formali

Da Wikipedia, l'enciclopedia libera.

Le scienze formali o astratte 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 alla risoluzione di problemi pratici[1][2].

Definizione[modifica | modifica wikitesto]

Nel pensiero di David Hume è netta la distinzione tra la conoscenza astratta, che studia le relazioni tra idee, e quella empirica, che si concentra sulle materie di fatto, poiché le prime (geometria, algebra, aritmetica,...) arrivano a conclusioni supportate dall'intuizione e dalla dimostrazione, mediante il solo esercizio del pensiero e senza il bisogno di un riscontro empirico.

Partendo dalla creazione di un sistema formale coerente, completo e decidibile, si può realizzare un modello per interpretare la realtà, ma la validità del sistema formale non implica necessariamente la verità del modello. All'interno del sistema formale la dimostrazione è possibile solo quando si usano dei simboli ben determinati, si identificano precise regole di inferenza e si considerano veri gli assiomi di partenza[3].

Oltre alla logica e alla matematica, vengono talvolta considerate scienze formali la teoria delle decisioni, l'informatica teorica, la teoria dell'informazione, la teoria dei sistemi, e alcune branche della linguistica[4].

Storia[modifica | modifica wikitesto]

Le prime nozioni di matematica basate sul ragionamento astratto possono essere fatte risalire alla prima metà del III secolo a.C., quando alcune civiltà mediorentali (Babilonesi, Antico Egitto) le introdussero per risolvere problemi concreti, come quelli attinenti al commercio e all'agrimensura. Furono poi i Greci ad aprire la strada a nuovi branche della matematica con le varie scoperte fatte grazie alle nozioni trasmesse da questi popoli orientali. Gli Elementi, che, secondo la tradizione, vennero scritti da Euclide intorno al 300 a.C., hanno importanza fondamentale per la storia della matematica, perché nel primo libro vengono presentati i principi fondamentali della geometria (definizioni, postulati e nozioni comuni) e vengono introdotti gli enti geometrici, che esistono indipendentemente dagli esseri umani e si manifestano nella realtà in forme imperfette.

Si deve invece alla matematica indiana il sistema di numerazione decimale, che compare in un breve trattato risalente del IV-V secolo d.C. e al quale seguirono nuove innovazioni e vari matematici importanti, come Āryabhata e Brahmagupta. Anche grazie ai contributi della matematica indiana, furono poi gli Arabi, che incominciarono i loro studi sotto la dinastia degli Abbasidi, a sviluppare l'algebra, campo esplorato anche da al-Khwarizmi, il più importante matematico arabo[5].

Nella civiltà occidentale, la logica, ovvero l'analisi del corretto ragionamento, è stata sviluppata dai Greci, soprattutto grazie alle opere di Aristotele, che per primo cercò di darle una sistemazione scientifica, anche se trattò problemi elaborati precedentemente alle sue idee[6].

Ovviamente col passare del tempo comparvero nuovi campi d'indagine, come quando, nel XVII secolo, nacque la teoria della probabilità grazie agli studi di Blaise Pascal, Pierre de Fermat e Christiaan Huygens, o quando, nel XX secolo, la statistica venne riconosciuta come branca della matematica[7]. Dalla metà del XX secolo si sono aggiunte nuove discipline matematiche e ingegneristiche, come la ricerca operativa e l'ingegneria dei sistemi, e la stessa informatica, intimamente connessa alla logica matematica, contribuì allo sviluppo dell'analisi numerica [8].

Note[modifica | modifica wikitesto]

  1. ^ Scienza, in Enciclopedia Italiana, Istituto dell'Enciclopedia Italiana, 1936. URL consultato il 22 aprile 2017.
  2. ^ Tullio De Mauro, Il dizionario della lingua italiana, Paravia, ISBN 88-395-5026-7.
  3. ^ Paolo Vitali, I caratteri delle scienza formali, naturali e sociali (PDF), paolovidali.it, 2011. URL consultato il 22 aprile 2017.
  4. ^ (EN) Branches of Science (PDF), Università di Chicago. URL consultato il 22 aprile 2017.
  5. ^ Matematica, in Treccani.it – Enciclopedie on line, Istituto dell'Enciclopedia Italiana, 15 marzo 2011.
  6. ^ Logica, in Treccani.it – Enciclopedie on line, Istituto dell'Enciclopedia Italiana, 15 marzo 2011.
  7. ^ Oscar Sheynin, L'Età dei Lumi: matematica. Lo sviluppo della teoria della probabilità e della statistica, in Storia della scienza, Istituto dell'Enciclopedia Italiana, 2002. URL consultato il 22 aprile 2017.
  8. ^ (EN) Formal Sciences, su academicroom.com. URL consultato il 22 aprile 2017.

Voci correlate[modifica | modifica wikitesto]