La scienza formale è un insieme di conoscenza razionale e ordinata, che studia i fenomeni dall'astrazione e con l'obiettivo di generalizzare leggi o teorie.
Pertanto, possiamo dire che sono essenziali per la conoscenza. Grazie a loro questi possono essere applicati alla realtà. D'altra parte, per il suo approccio alla conoscenza, il metodo utilizzato è la deduzione.
Matematica e scienze formali
Forse la matematica può essere considerata la scienza formale per eccellenza. Studiano strutture e relazioni astratte. Per raggiungere il loro obiettivo, partono da assiomi che si sviluppano attraverso il ragionamento logico. Pertanto, il loro apprendimento è essenziale.
Inoltre, utilizza un linguaggio formale e universale che consente a chiunque lo conosca di comprenderlo. In questo modo tutti conoscono i simboli più frequenti, come l'addizione (+), la sottrazione (-), o altri come la radice quadrata o un integrale.
Logica e scienza formale
La logica è una branca della filosofia che studia prove, errori e domande più simili. Al suo interno, la parte relativa alla matematica utilizza i suoi sistemi formali per giungere alle sue conclusioni.
Pertanto, nella scienza formale, la logica è più che necessaria. In effetti, è molto comune in economia utilizzare questo tipo di ragionamento. Ad esempio, la scuola austriaca utilizza la prasseologia per i suoi studi su questa scienza sociale.
Informatica
In questo caso siamo di fronte a una scienza formale che studia le basi teoriche dell'informatica.
In questo modo algoritmi, come quelli di Google, si basano sui precetti formali citati, applicandoli a problemi reali.
Pertanto, oggi il mondo digitale è possibile grazie alla teoria che ne è alla base. Senza questi aspetti teorici, avrebbero camminato alla cieca e con il conseguente rischio. Da qui l'importanza di questo tipo di scienza.
Esempio di scienza formale
Vediamo, per finire, alcuni esempi che possono sembrare scontati ma che rispecchiano perfettamente il metodo deduttivo utilizzato in questo tipo di scienza.
- Immaginiamo che in biologia si parte da un assioma. Le pecore non volano. D'altra parte, sappiamo che gli animali volanti hanno le ali. La deduzione è che le pecore non avranno le ali. È evidente, ma in realtà i fenomeni sono molto più complicati.
- In criminologia. L'assassino era un maschio nero. Il principale sospettato è orientale. Questo non sarà l'assassino. Ancora una volta la realtà è molto più complessa, ma il metodo è lo stesso.
- Quest'ultimo esempio sarebbe l'opposto, usando il metodo induttivo. Mio nonno ha la stitichezza, mio nonno è un uomo, gli uomini sono stitici. Come si vede, in questo caso si passa dal particolare al generale.
Sono esempi molto semplici, ma con essi abbiamo voluto mostrare come funziona il metodo deduttivo utilizzato nella scienza formale, rispetto a quello induttivo. In effetti, la realtà, come abbiamo accennato prima, è molto più complessa. Certo, molte volte possiamo affrontarlo con semplicità.