Formalizm, bir araştırma ya da öğretme sürecinin geliştirilmesinde kesin bir şekilde ve ilkelerinden sapmadan, belirlenmiş bir doktrin veya metodoloji uygulamaktır. Bununla birlikte, terimi, alana göre birçok kullanım alanına sahiptir.

Sanat bağlamında formalizm, estetiğin değerini diğer düşüncelere göre artıran akımdır. Bu nedenle formalistler sanatın, eserle bağlantılı sosyal veya etik yönlerin ötesindeki estetik koşuluyla yargılanması gerektiğine inanmaktadır.

Öte yandan biçimcilik, biçim, yapı veya kompozisyon gibi yaratımların biçimsel (soyut) özelliklerine büyük önem vermektedir.

Edebiyat için, formalizm, 1914’te Rusya’da doğmuş ve edebi eserlerin belirli bir dilin yapısı olarak anlaşılmasına dayanan bir eğilimdir. Bu, teorisyenlerin ve formalist eleştirmenlerin edebiyatının pragmatik bir bakış açısıyla faydalı olmadığı anlamına gelir.

Bu alıntılanan Rus formalizmi içinde kimin babası olarak nitelendirilebileceğini belirtme fırsatını yakalayamayız. Bu, söz konusu formalizmin içindeki en önemli teorilerin bazılarının geliştirildiği Şiir Dili Çalışmaları Derneği OPOYAZ'ı yarattığı için tarihe geçmiş olan Viktor Shklovski'dir.

Ancak, konuyla ilgili geniş bir çalışma koleksiyonu geliştiren Rus Roman Jakobson figürünün yüksekliğinden de geçmemeliyiz. Buna ek olarak, temel olarak şiir ve üslup etrafında dönen bir dizi teorinin oluşturulmasına dikkat çekti. Bu yazarın yaptığı ana sergiler, 1960 yılında yayınlanan Dilbilim ve Poetik adlı makalede yer almaktadır.

İstatistik, bilgi teorisi ve bilgi teknolojisi, diğer disiplinlerin yanı sıra, modellerin geliştirilmesinde kullanılan bir gramerden bahsetmek için resmi bir sistemden bahseder.

Matematikte, biçimsel bir sistem ( aksiyomatik sistem olarak da bilinir), birbirine bağlanmış sembollerden oluşan yapay bir yapıdır ve bu da, yeni zincirler oluşturmak için belirli kurallara göre manipüle edilebilen zincirler oluşturmanıza olanak sağlar. Bu biçimsel sistemler bir gerçekliğin farklı yönlerinin temsilini sağlamak için kullanılır.

Bu alanda, David Hilbert'e atıfta bulunmadan bunun hakkında konuşamazsınız. Bu, hem on dokuzuncu hem de yirminci yüzyıl boyunca matematik alanındaki tartışılmaz bir rakamdı, çünkü teorileri ve yaklaşımları sayesinde yukarıda belirtilen formalizmin ortaya çıkması desteklendi. Bu şekilde, söz konusu matematiğin sadece bir oyun değil, aynı zamanda tamamen özerk bir düşünce aktivitesi olduğu tespit edildi.

Bu, onun kapsamındaki entelektüel kapasitesinin, onun sayesinde, matematiksel mantık kadar hayati soruları, gösteri teorisini ve hatta genel görelilik ile kuantum mekaniği arasındaki farkları bulabildiğini belirtti.

Formalizm, nihayet teoremlerde aksiyomatik tür testlerini geliştiren matematik felsefesi içindeki bir okulu da.