O formalismo é aplicar rigorosamente, e sem se desviar de seus preceitos, uma determinada doutrina ou metodologia no desenvolvimento de um processo de pesquisa ou ensino. O termo, no entanto, tem vários usos de acordo com o campo.

Dentro do contexto da arte, o formalismo é a corrente que exalta o valor da estética sobre outras considerações. É por isso que os formalistas acreditam que a arte deve ser julgada por sua condição estética além dos aspectos sociais ou éticos ligados ao trabalho.

O formalismo, por outro lado, dá grande importância às características formais (abstratas) das criações, como forma, estrutura ou composição.

Para a literatura, o formalismo é uma tendência que nasceu em território russo por volta de 1914 e se baseia na compreensão das obras literárias como uma estrutura particular da linguagem . Isso significa que a literatura, para os teóricos e críticos formalistas, não é útil do ponto de vista pragmático.

Dentro deste citado formalismo russo, não podemos deixar passar a oportunidade de mencionar quem é considerado o pai dele. Este é Viktor Shklovski, que também entrou para a história por ter criado a OPOYAZ, a Sociedade para o Estudo da Linguagem Poética, na qual foram desenvolvidas algumas das mais importantes teorias dentro do formalismo acima mencionado.

No entanto, não devemos ultrapassar a altura da figura do também russo Roman Jakobson, que desenvolveu uma ampla coleção de obras sobre o assunto em questão. Além disso, ele se destacou pela criação de uma série de teorias que giravam fundamentalmente em torno da poética e da estilística. As principais exposições feitas por este autor estão incluídas no artigo intitulado Linguistics and Poetics, publicado em 1960.

Estatísticas, teoria da informação e tecnologia da informação, entre outras disciplinas, falam de um sistema formal para mencionar uma gramática que é usada no desenvolvimento de modelos.

Na matemática, um sistema formal (também conhecido como sistema axiomático ) é uma construção artificial que é formada por símbolos interligados, o que permite criar cadeias que podem ser manipuladas de acordo com certas regras para criar, por sua vez, novas cadeias. Esses sistemas formais são usados ​​para obter representações de diferentes facetas de uma realidade.

Neste campo em particular, você não pode falar sobre isso sem se referir a David Hilbert. Esta era uma figura indiscutível no campo da matemática, tanto durante os séculos XIX como XX, porque graças às suas teorias e abordagens a aparência do formalismo acima mencionado foi fomentada. Desta forma, foi estabelecido que a matemática acima mencionada não era apenas um jogo, mas também uma atividade de pensamento totalmente autônomo.

Tal era sua capacidade intelectual dentro do escopo citado que graças a ele foram capazes de encontrar, da mesma forma, questões tão vitais quanto a lógica matemática, a teoria da demonstração e até mesmo a diferença entre o que é relatividade geral e mecânica quântica.

Formalismo, enfim, também uma escola dentro da filosofia da matemática que desenvolve testes do tipo axiomático em teoremas.