Biçimcilik, matematiksel kanıtların yorumlanması üzerindeki titizliğini vurgulayan bir matematik felsefesidir. Biçimciler, matematiğin bir dizi aksiyom ve kuralla tanımlanabilecek tamamen biçimsel bir sistem olduğuna ve matematiksel ifadelerin anlamının onların doğruluğuyla alakasız olduğuna inanırlar.
Matematikte formalizmin bir örneği aksiyomatik sistemlerin kullanılmasıdır. Bir aksiyomatik sistem, doğru olduğu varsayılan ifadeler olan bir dizi aksiyom ve aksiyomlardan yeni ifadelerin türetilmesine izin veren kurallar olan çıkarım kurallarıdır. Aksiyomatik sistemler gruplar, halkalar ve alanlar gibi matematiksel yapıları tanımlamak için kullanılabilir ve çıkarım kuralları kullanılarak aksiyomlardan teoremler türetilebilir. Bu şekilde matematiksel ifadelerin doğruluğu, anlamlarını yorumlamaya gerek kalmadan belirlenebilir.
Felsefede:
Felsefede formalizm, bir ifadenin anlamının tamamen onun mantıksal formu tarafından belirlendiği görüşüdür. Bu, bir ifadenin anlamının bağlamdan, konuşmacısından ve dinleyicisinden bağımsız olduğu anlamına gelir.
Felsefede formalizmin bir örneği mantıkçı Gottlob Frege'nin çalışmasıdır. Frege, bir cümlenin anlamının, dildeki kullanılış şekline göre değil, parçalarının düzenlenme şekline göre belirlendiğini savundu. Örneğin "The cat is on the mind" cümlesi kimin söylediğine, kime söylendiğine veya hangi bağlamda söylendiğine bakılmaksızın aynı anlama gelir.
Sanat ve edebiyatta:
Biçimcilik, sanat ve edebiyatta biçimin içerikten daha önemli olduğunu vurgulayan bir düşünce okuludur. Biçimciler, sanat ve edebiyatın temel amacının güzel veya estetik açıdan hoş bir nesne yaratmak olduğuna ve bir sanat veya edebiyat eserinin anlamının, değeriyle alakasız olduğuna inanırlar.
Sanatta formalizmin bir örneği ressam Wassily Kandinsky'nin eseridir. Kandinsky, sanatın amacının uyumlu bir renk ve şekil kompozisyonu yaratmak olduğuna ve bir resmin anlamının onun sanatsal değeriyle alakasız olduğuna inanıyordu.