Esempi di scienze formali

Il scienza formale sono quelli in cui le proposizioni analitiche prendono il dichiarazioni di matematica e logica. In questo modo, la sua area di studio non è il mondo reale ma piuttosto il mondo ideale, forme di contenuto vuote che in molti casi potrebbero non essere completamente osservabili, ma sono validi strumenti analitici per comprendere il realtà. Per esempio: statistica, logica, matematica.

Le scienze formali si caratterizzano per non entrare in conflitto con la realtà, poiché non hanno la responsabilità di essere verificabili. Al contrario, le scienze formali devono usare proposte che sono dimostrabili in senso logico, e che possono accadere: altrimenti, queste scienze si avvalgono di «assiomi» che sono proposizioni evidenti che si accettano senza bisogno di prova preventiva.

L'uso degli assiomi è legato al metodo usuale di questo tipo di scienza, che è il Metodo deduttivo: prendendo come punto di partenza gli assiomi e poi procedendo in modo derivato, arrivando al proposte come necessarie conseguenze logiche delle proposizioni precedenti. Si dice, quindi, che un sistema formale è composto dai seguenti elementi:

Ti può servire:

Si oppongono alle Scienze dei fatti

Di solito la nozione di scienze formali si contrappone alla scienza dei fatti, che sono quelli che studiano i fatti. Sia l'uno che l'altro sono molto importanti nel mondo di oggi, in quanto sono un complemento tra i due: i contributi di alcune scienze fondamentali in quello che è il progresso tecnologico (come il chimica o informatica) sono supportati da sistemi formali come la matematica.

Esempi di scienze formali

1. Informatica teorica. Divisione all'interno dell'informatica, che si concentra sugli aspetti più astratti e matematici dell'area. Include l'analisi di algoritmi e soprattutto la semantica formale di linguaggi di programmazione.
2. Statistiche. Scienza che si occupa di raccogliere, organizzare, elaborare, analizzare e interpretare i dati al fine di dedurre le caratteristiche di a popolazione obbiettivo.
3. Logica. Disciplina che studia le procedure formali della ragione, cercando di sapere che tipo di procedure sono utilizzate dal cervello umano attraverso proposizioni formali.
4. Matematica. Scienza deduttiva che si dedica allo studio delle proprietà delle entità astratte e delle loro relazioni. Lavora con numeri, simboli e figure geometriche.
5. Teoria dei sistemi. Studio interdisciplinare dei sistemi in generale, al fine di studiare i principi applicabili ai sistemi a qualsiasi livello in tutti i campi di ricerca.

Segui con: