Formalismo
Il formalismo è l'applicazione rigorosa, senza deviare dai suoi precetti, di una particolare dottrina o metodologia nello sviluppo di un processo di ricerca o insegnamento. Il termine, tuttavia, ha vari usi a seconda del campo.
Nel contesto dell'arte, il formalismo è la corrente che esalta il valore dell'estetica sopra altre considerazioni. I formalisti credono quindi che l'arte debba essere giudicata per la sua condizione estetica al di là degli aspetti sociali o etici legati all'opera.
Il formalismo, invece, attribuisce grande importanza alle caratteristiche formali (astratte) delle creazioni, come la forma, la struttura o la composizione.
Per la letteratura, il formalismo è una tendenza nata in territorio russo intorno al 1914 e si basa sulla comprensione delle opere letterarie come una particolare struttura del linguaggio. Questo significa che la letteratura, per i teorici e i critici formalisti, non è utile da un punto di vista pragmatico.
Nell'ambito del suddetto formalismo russo non possiamo perdere l'occasione di menzionare l'uomo che è considerato il suo padre. Si tratta di Viktor Shklovsky, che è passato alla storia anche per aver creato OPOYAZ, la Società per lo Studio del Linguaggio Poetico, all'interno della quale sono state sviluppate alcune delle più importanti teorie all'interno di questo formalismo.
Non bisogna però trascurare la figura dell'altro russo Roman Jakobson, che ha sviluppato una vasta raccolta di opere su questo tema. Oltre a questo, si distinse per la creazione di una serie di teorie che ruotavano fondamentalmente intorno alla poetica e alla stilistica. Le principali esposizioni fatte da questo autore sono incluse nell'articolo intitolato Linguistica e poetica, pubblicato nel 1960.
La statistica, la teoria dell'informazione e l'informatica, tra altre discipline, parlano di un sistema formale per riferirsi a una grammatica utilizzata nello sviluppo di modelli.
In matematica, un sistema formale (noto anche come sistema assiomatico) è un costrutto artificiale composto da simboli collegati tra loro, che permette la creazione di stringhe che possono essere manipolate secondo certe regole per creare, a loro volta, nuove stringhe. Questi sistemi formali sono utilizzati per ottenere rappresentazioni di diversi aspetti di una realtà.
In questo particolare campo, è impossibile parlarne senza fare riferimento a David Hilbert. Fu una figura indiscutibile nel campo della matematica, sia durante il XIX che il XX secolo, poiché fu grazie alle sue teorie e ai suoi approcci che apparve il suddetto formalismo. In questo modo, si stabilì che la matematica non era solo un gioco ma anche un'attività di pensiero totalmente autonoma.
Tanta fu la sua capacità intellettuale all'interno del suddetto campo che, grazie a lui, si fondarono questioni vitali come la logica matematica, la teoria della dimostrazione e persino la differenza tra relatività generale e meccanica quantistica.
Formalismo, infine, anche una scuola all'interno della filosofia della matematica che sviluppa prove di tipo assiomatico in teoremi.
Formalismo, infine, anche una scuola all'interno della filosofia della matematica che sviluppa prove di tipo assiomatico in teoremi.