Formalizam je matematička filozofija koja naglašava rigoroznost matematičkih dokaza umjesto njihove interpretacije. Formalisti vjeruju da je matematika čisto formalni sustav koji se može opisati skupom aksioma i pravila te da je značenje matematičkih iskaza irelevantno za njihovu istinitost.
Primjer formalizma u matematici je korištenje aksiomatskih sustava. Aksiomatski sustav je skup aksioma, koji su izjave za koje se pretpostavlja da su istinite, i pravila zaključivanja, koja su pravila koja dopuštaju da se iz aksioma izvode nove izjave. Aksiomatski sustavi mogu se koristiti za definiranje matematičkih struktura, kao što su grupe, prstenovi i polja, a teoremi se mogu izvesti iz aksioma korištenjem pravila zaključivanja. Na taj način se može utvrditi istinitost matematičkih izjava bez potrebe za tumačenjem njihovog značenja.
U filozofiji:
U filozofiji, formalizam je gledište da je značenje iskaza u potpunosti određeno njegovim logičkim oblikom. To znači da je značenje izjave neovisno o kontekstu, govorniku i publici.
Primjer formalizma u filozofiji je rad logičara Gottloba Fregea. Frege je tvrdio da je značenje rečenice određeno načinom na koji su njezini dijelovi raspoređeni, a ne načinom na koji se koristi u jeziku. Na primjer, rečenica "Mačka je na prostirci" ima isto značenje bez obzira na to tko je izgovara, kome se izgovara ili u kojem je kontekstu izrečena.
U umjetnosti i književnosti:
Formalizam je škola mišljenja u umjetnosti i književnosti koja naglašava važnost forme nad sadržajem. Formalisti vjeruju da je primarni cilj umjetnosti i književnosti stvoriti lijep ili estetski ugodan predmet, te da je značenje umjetničkog ili književnog djela irelevantno za njegovu vrijednost.
Primjer formalizma u umjetnosti je rad slikara Vasilija Kandinskog. Kandinski je smatrao da je cilj umjetnosti stvoriti skladnu kompoziciju boja i oblika, te da je značenje slike irelevantno za njezinu umjetničku vrijednost.