formalisme – philosophie –

AUTRES DISCIPLINES

En philosophie, le formalisme est la thèse soutenant que la vérité des sciences (en mathématiques surtout) ne dépend que des règles d’usage de symboles conventionnels.
Le formalisme remonte à Aristote qui, dans l’Antiquité, a posé la première distinction fondamentale, à savoir que toute chose comporte deux composantes : forme et matière.
Le formalisme peut intervenir dans différents domaines : artistique, littéraire, linguistique. Plus particulièrement en mathématiques le formalisme ou les systèmes formels sont utiles pour représenter des objets d’étude de manière non-ambiguë, notamment en logique mathématique..