Parmi les systèmes d’écriture utilisés pour analyser les différents processus syntaxiques et sémantiques qui régissent la structure d’une langue figurent les formalisations élaborées par les logiciens et les mathématiciens. Considéré du point de vue du linguiste, ces écritures formelles s’acquièrent dès leurs débuts de façon décontextualisée et elles se distinguent des systèmes d’écriture propres aux langues naturelles en n’ayant pas vocation à être oralisées, mais à être appréhendées par la lecture mentale de l’œil. En recourant conjointement à des lettres, des symboles et des structures graphiques, ce type de formalisme constitue un cas de figure où l’écrit semble se substituer totalement à l’oral en étant apte, indépendamment de lui, à représenter certaines des propriétés métalinguistiques du langage. Or, il appert – comme cette communication aura pour but de le montrer – que l’aspect visuel de ces écritures formelles dissimule en fait qu’elles sont ancrées à la fois dans un dire et un faire mathématique, si bien qu’elles constituent de véritables langages dotés d’une dimension énonciative leur permettant de devenir des outils pour une analyse des langues naturelles. Ainsi, nous commencerons tout d’abord par mettre en évidence que les années trente voient apparaître la séparation entre l’écriture formulaire « disant » les propriétés des objets mathématiques et l’écriture des « termes » montrant ce que les objets mathématiques « font ». Puis nous montrerons que la profondeur de cette distinction ne sera véritablement comprise que dans les années 70, lorsque les logiciens et les mathématiciens découvriront que ces deux types d’écriture correspondent en fait à deux points de vue différents, duaux comme les deux côtés d’une médaille : le côté des preuves et celui des programmes. Enfin, nous analyserons l’essor qui résulta dans les années 80 de ce « coup de théâtre épistémologique » et qui donna lieu à l’élaboration de certaines écritures formelles (telles que la logique linéaire et la ludique) qui, nées de la volonté de dépasser l’ancienne séparation entre syntaxe et sémantique, réussissent actuellement à représenter dans la syntaxe même la richesse sémantique, et ce grâce à des agencements graphiques de type géométrique. Il s’ensuit que le formalisme logique peut dorénavant être vu par le linguiste comme un véritable objet linguistique, chargé de possibilités heuristiques.