Ang pormalismo ay binubuo sa paglalapat ng mahigpit, at nang hindi lumihis mula sa mga tuntunin nito, isang tiyak na doktrina o pamamaraan sa pagbuo ng isang proseso ng pagsisiyasat o pagtuturo. Gayunpaman, ang termino, ay may ilang mga gamit depende sa larangan.
Sa loob ng konteksto ng sining, ang pormalismo ay ang kasalukuyang nagtataas ng halaga ng aesthetics sa iba pang mga pagsasaalang-alang. Iyon ang dahilan kung bakit naniniwala ang mga pormalista na ang sining ay dapat hatulan ng kondisyon ng aesthetic nito na lampas sa mga panlipunang o etikal na aspeto na nauugnay sa akda.
Ang Pormalismo, sa kabilang banda, ay nakadikit ng malaking kahalagahan sa pormal (abstract) na mga katangian ng mga likha, tulad ng form, istraktura o komposisyon.
Para sa panitikan, ang pormalismo ay isang kalakaran na ipinanganak sa teritoryo ng Russia noong 1914 at batay sa pag-unawa sa mga akdang pampanitikan bilang isang partikular na istraktura ng wika. Nangangahulugan ito na ang panitikan, para sa pormalistang mga teorista at kritiko, ay hindi kapaki-pakinabang mula sa isang malabo na pananaw.
Sa loob ng nabanggit na formalismong Ruso, hindi natin maiiwan ang pagkakataong banggitin ang isa na itinuturing na ama nito. Ito ay tungkol sa VĂktor Shklovski na bumagsak din sa kasaysayan sa pagkakaroon ng nilikha na OPOYAZ, ang Lipunan para sa Pag-aaral ng Poetic na Wika, kung saan ang ilan sa mga pinakamahalagang teorya ay binuo sa loob ng nabanggit na pormalismo.
Gayunpaman, ang pigura ng Russian Roman Jakobson ay hindi dapat papansinin, na bumuo ng isang malawak na koleksyon ng mga gawa sa paksa sa kamay. Bilang karagdagan sa ito, nanindigan siya para sa paglikha ng isang serye ng mga teorya na higit sa lahat umiikot sa patula at pangkakanyahan. Ang pangunahing mga eksibisyon na ginawa ng may-akda na ito ay kasama sa artikulong pinamagatang Linguistic at Poetics , na inilathala noong 1960.
Ang mga istatistika, teorya ng impormasyon at agham ng computer, bukod sa iba pang mga disiplina, ay nagsasalita ng isang pormal na sistema upang mabanggit ang isang gramatika na ginagamit sa pagbuo ng mga modelo.
Sa matematika, ang isang pormal na sistema (na kilala rin bilang isang axiomatic system) ay isang artipisyal na konstruksyon na nabuo mula sa mga simbolo na magkakasama, na nagbibigay-daan upang lumikha ng mga kadena na maaaring mai-manipulate ayon sa ilang mga patakaran upang lumikha, sa turn, mga bagong chain. Ang mga pormal na system na ito ay ginagamit upang makamit ang mga representasyon ng iba't ibang mga facet ng isang katotohanan.
Sa partikular na larangan na ito, hindi maaaring pag-usapan ito ng isa nang hindi tinutukoy si David Hilbert. Ito ay isang hindi mapag-aalinlanganan na pigura sa loob ng larangan ng matematika, kapwa sa panahon ng XIX at XX na siglo, dahil salamat sa kanyang mga teorya at lumapit sa hitsura ng nabanggit na pormalismo. Sa ganitong paraan, itinatag na ang nabanggit na matematika ay hindi lamang isang laro kundi pati na rin isang ganap na awtonomikong aktibidad sa pag-iisip.
Ganito ang kanyang kakayahan sa intelektwal sa loob ng nabanggit na larangan na salamat sa kanya nagawa nilang matagpuan, sa parehong paraan, tulad ng mga mahahalagang katanungan tulad ng lohikal na lohika, teorya ng patunay at kahit na ang pagkakaiba sa pagitan ng kung ano ang pangkalahatang kapamanggitan at mekanika ng dami.
Ang pormalismo, sa wakas, din ng isang paaralan sa loob ng pilosopiya ng matematika na bubuo ng mga patunay ng uri ng axiomatic sa mga teorema.