Scienza formale

Una scienza è detta scienza formale quando la verità può essere verificata senza alcuna osservazione dei fatti.

Un esempio di scienza formale è la matematica.

Nelle scienze formali il ragionamento comincia da una premessa iniziale detta ipotesi.

La conclusione del ragionamento è, invece, detta tesi.

Il percorso tra la premessa (ipotesi) e la conclusione (tesi) si basa su un processo logico-deduttivo.

Non sono necessarie verifiche sperimentali.

Esempio. La dimostrazione di un teorema matematico non richiede una verifica sperimentale, né l'osservazione dei fatti, perché si basa esclusivamente su un processo logico.

Le scienze formali si distinguono dalle scienze reali (o empiriche) che, invece, richiedono una verifica sperimentale.