Il formalismo consiste nell'applicare rigorosamente, e senza deviare dai suoi precetti, una determinata dottrina o metodologia nello sviluppo di un processo di ricerca o di insegnamento. Il termine, tuttavia, ha diversi usi in base al campo.

Nel contesto dell'arte, il formalismo è la corrente che esalta il valore dell'estetica rispetto ad altre considerazioni. Ecco perché i formalisti credono che l'arte dovrebbe essere giudicata in base alla sua condizione estetica al di là degli aspetti sociali o etici legati all'opera.

Il formalismo, d'altra parte, attribuisce grande importanza alle caratteristiche formali (astratte) delle creazioni, come forma, struttura o composizione.

Per la letteratura, il formalismo è una tendenza nata nel territorio russo intorno al 1914 e si basa sulla comprensione delle opere letterarie come una particolare struttura del linguaggio . Ciò significa che la letteratura, per teorici e critici formalisti, non è utile da un punto di vista pragmatico.

All'interno di questo citato formalismo russo non possiamo lasciarci sfuggire l'opportunità di menzionare chi è considerato il padre di esso. Questo è Viktor Shklovski che è anche passato alla storia per aver creato l'OPOYAZ, la Società per lo studio del linguaggio poetico, in cui sono state sviluppate alcune delle teorie più importanti all'interno del suddetto formalismo.

Tuttavia, non dobbiamo superare l'altezza della figura del russo russo Jakobson che ha sviluppato una vasta collezione di opere sull'argomento. In aggiunta a ciò, si è distinto per la creazione di una serie di teorie che ruotavano fondamentalmente attorno alla poetica e alla stilistica. Le principali mostre realizzate da questo autore sono incluse nell'articolo intitolato Linguistics and Poetics, che è stato pubblicato nel 1960.

Le statistiche, la teoria dell'informazione e la tecnologia dell'informazione, tra le altre discipline, parlano di un sistema formale per menzionare una grammatica che viene utilizzata nello sviluppo di modelli.

In matematica, un sistema formale (noto anche come sistema assiomatico ) è una costruzione artificiale che è formata da simboli collegati tra loro, che consente di creare catene che possono essere manipolate secondo determinate regole per creare, a loro volta, nuove catene. Questi sistemi formali sono usati per ottenere rappresentazioni di diversi aspetti di una realtà.

In questo particolare campo, non puoi parlarne senza fare riferimento a David Hilbert. Questa era una figura indiscutibile in campo matematico, sia durante il diciannovesimo che nel ventesimo secolo, perché grazie alle loro teorie e approcci era favorita l'apparizione del suddetto formalismo. In questo modo, è stato stabilito che la suddetta matematica non era solo un gioco ma anche un'attività di pensiero totalmente autonomo.

Tale era la sua capacità intellettuale nell'ambito citato che grazie a lui erano in grado di trovare, allo stesso modo, domande vitali come la logica matematica, la teoria della dimostrazione e persino la differenza tra ciò che è relatività generale e meccanica quantistica.

Formalismo, infine, anche una scuola nella filosofia della matematica che sviluppa test del tipo assiomatico in teoremi.