Definizione di scienze formali

Le diverse discipline che compongono la scienza possono essere ordinate in base a tre parametri: dall'oggetto di studio, dal metodo utilizzato e dal suo scopo. Un altro modello di classificazione Consiste nel dividere le scienze in due grandi gruppi: le scienze formali e le scienze fattuale o empiriche.

Quelle formali

Logica e matematica sono due discipline formali perché non hanno un contenuto empirico concreto, come nel caso della biologia, meteorologia o storia.

La logica è un disciplina puramente formale e astratto. In senso stretto non ha un contenuto osservabile, misurabile e tangibile. In realtà è un insieme di regole applicabili a qualsiasi tipo di conoscenza, scientifica o quotidiana.

Le regole della logica sono ciò che permettono pensare coerentemente e in modo razionale. Quindi, non posso dire che qualcosa è e non è entrambi perché sto violando il principio di non contraddizione e non posso affermare che qualcosa non è identico a se stesso perché sono contro il principio di identità.

La matematica è puramente astratta, poiché il suo contenuto è mentale e non materiale.

Ricorda che i numeri non esistono da nessuna parte in natura, poiché sono invenzioni della mente umana per contare o calcolare qualcosa sulla realtà. In questo senso, aritmetica, il geometria o algebra sono discipline matematiche che si basano su una serie di principi che possono essere dimostrati razionalmente.

Se prendiamo come riferimento qualcuno equazione matematico, la sua formulazione è valida in maniera totalmente indipendente dalla realtà.

In breve, logica e matematica costituiscono sistemi formali che comprendono una serie di elementi: assiomi, simboli, regole di inferenza e teoremi. Questi elementi sono espressi sotto forma di affermazioni descritte attraverso segni.

Quelli di fatto hanno implicite le scienze formali

L'insieme delle discipline che si occupano di studiare i fatti necessita di una struttura formale affinché il loro oggetto di studio abbia un senso. D'altra parte, per dimostrare che un'affermazione in biologia o in chimica è formalmente vera, deve esserci una correlazione con i dati empirici.

In breve, le scienze formali sono proiettate nel mondo dei fatti osservabili. Se prendiamo come riferimento il teorema di Pitagora, la sua formulazione è valida per qualsiasi realtà in cui vi sia un angolo retto che forma un triangolo rettangolo.

In breve, le scienze formali e le scienze fattuale sono complementari e non dovrebbero essere concepite come aree di conoscenza separate.

Foto: Fotolia - Artisticco / Sergey Bogdanov