Het formalisme bestaat erin om een vaststaande doctrine of methodologie strikt toe te passen, zonder af te wijken van de voorschriften, bij de ontwikkeling van een onderzoeks- of onderwijsproces. De term heeft echter verschillende toepassingen volgens het veld.

Binnen de context van kunst is formalisme de stroom die de waarde van esthetiek boven andere overwegingen verheft. Dat is de reden waarom de formalisten geloven dat kunst moet worden beoordeeld aan de hand van de esthetische conditie die verder gaat dan sociale of ethische aspecten die verband houden met het werk.

Formalisme, aan de andere kant, hecht veel belang aan de formele (abstracte) kenmerken van creaties, zoals vorm, structuur of compositie.

Voor literatuur is formalisme een trend die rond 1914 op Russisch grondgebied werd geboren en gebaseerd is op het begrijpen van literaire werken als een specifieke taalstructuur . Dit betekent dat literatuur, voor theoretici en formalistische critici, niet praktisch bruikbaar is vanuit een pragmatisch oogpunt.

Binnen dit geciteerde Russische formalisme kunnen we de gelegenheid niet voorbij laten gaan om te vermelden wie als de vader ervan wordt beschouwd. Dit is Viktor Shklovski die ook in de geschiedenis is gegaan omdat hij de OPOYAZ, de Society for the Study of Poetic Language, heeft opgericht, waarin enkele van de belangrijkste theorieën binnen dat voornoemde formalisme zijn ontwikkeld.

We moeten echter niet doorgaan naar de figuur van de eveneens Russische Roman Jakobson die een uitgebreide verzameling werken over dit onderwerp heeft ontwikkeld. Daarnaast viel hij op door het creëren van een reeks theorieën die fundamenteel draaiden rond poëtica en stilistiek. De belangrijkste tentoonstellingen van deze auteur zijn opgenomen in het artikel met de titel Linguistics and Poetics, dat in 1960 werd gepubliceerd.

Statistieken, informatietheorie en informatietechnologie, onder andere disciplines, spreken van een formeel systeem om een ​​grammatica te noemen die wordt gebruikt bij de ontwikkeling van modellen.

In de wiskunde is een formeel systeem (ook bekend als axiomatisch systeem ) een kunstmatige constructie die wordt gevormd door symbolen die aan elkaar zijn gekoppeld, waardoor je kettingen kunt maken die volgens bepaalde regels kunnen worden gemanipuleerd om op hun beurt nieuwe ketens te creëren. Deze formele systemen worden gebruikt om representaties van verschillende facetten van een realiteit te bereiken.

In dit specifieke vakgebied kun je er niet over praten zonder te verwijzen naar David Hilbert. Dit was een onbetwistbare figuur in het wiskundige veld, zowel tijdens de negentiende als de twintigste eeuw, omdat dankzij hun theorieën en benaderingen het uiterlijk van het bovengenoemde formalisme werd bevorderd. Op deze manier werd vastgesteld dat de eerdergenoemde wiskunde niet alleen een spel was, maar ook een activiteit van volledig autonoom denken.

Dat was zijn intellectuele vermogen binnen de genoemde reikwijdte die dankzij hem in staat waren om op dezelfde manier vragen te vinden die even vitaal waren als de wiskundige logica, de theorie van demonstratie en zelfs het verschil tussen wat algemene relativiteit en kwantummechanica is.

Formalisme, ten slotte, ook een school binnen de filosofie van de wiskunde die tests van het axiomatische type in stellingen ontwikkelt.