Топ-100

Scienze formali

Le scienze formali o astratte sono quelle discipline che fanno uso di concetti astratti e schemi logici, prescindendo dallesperienza e dalla realtà empirica. Si distinguono dalle scienze empiriche, che si basano sullosservazione dei fatti, e da quelle applicate, che sono incentrate nella risoluzione di problemi pratici.

image

1. Definizione
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 arrivano a conclusioni supportate dallintuizione 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. Allinterno 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.
Oltre alla logica e alla matematica, vengono talvolta considerate scienze formali la teoria delle decisioni, linformatica teorica, la teoria dellinformazione, la teoria dei sistemi, e alcune branche della linguistica.

2. Storia
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 allagrimensura. 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 lalgebra, campo esplorato anche da al-Khwarizmi, il più importante matematico arabo.
Nella civiltà occidentale, la logica, ovvero lanalisi 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.
Ovviamente col passare del tempo comparvero nuovi campi dindagine, 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. Dalla metà del XX secolo si sono aggiunte nuove discipline matematiche e ingegneristiche, come la ricerca operativa e lingegneria dei sistemi, e la stessa informatica, intimamente connessa alla logica matematica, contribuì allo sviluppo dellanalisi numerica.

scientifiche posso essere suddivise in tre categorie: le scienze formali le scienze empiriche e le scienze applicate. Le prime, di cui fa parte anche la matematica
l ingegneria, la biologia, la medicina e le scienze sociali. La Scienza dei sistemi comprende scienze formali quali: scienza dei sistemi complessi, cibernetica
disciplina che fornisce un linguaggio formale utilizzato dalle scienze della natura in particolare dalle scienze dure per descrivere e modellizzare
XIX secolo la logica tornerà a studiare gli aspetti formali del linguaggio, ovvero la logica formale e a essere trattata con metodi naturalistici da Christoph
il suo ruolo di garante dei principi di tutte scienze nonché di espressione del senso vero della scienza in generale affidandole quindi il compito di
Bisogni Educativi Speciali. Insieme alle altre Scienze Umane si rivolge dunque ai contesti formali non - formali e informali, nei quali si ambienta il processo
prima di essere progressivamente sostituito, ove sono richiesti titoli formali dai termini specifici relativi agli studiosi delle diverse discipline
suddividendole in scienze formali logica, matematica, geometria, etc. scienze fisiche fisica, chimica, meccanica, etc. scienze biologiche fisiologia
sistemi non formali come il diritto privato moderno nonché fra atti, negozi, contratti formali e atti, negozi, contratti non formali Se si tiene
approccio è stato preceduto dallo studio di lunga durata, nell ambito delle scienze cognitive propriamente dette, della inclinazione cognitiva umana, specialmente