DIS, COMMENT FAIRE POUR LIRE ÇA ? ÉCRITURE ET GRAPHISME DANS LES FORMALISMES CONTEMPORAINS - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Dossiers d'HEL Année : 2016

DIS, COMMENT FAIRE POUR LIRE ÇA ? ÉCRITURE ET GRAPHISME DANS LES FORMALISMES CONTEMPORAINS

Résumé

After having pointed out that the difficulty in reading contemporary formalisms lies in the fact that they combine algebraic and geometric dimensions in their written form, this paper – which aims to question the merits of a number of dichotomies (visual versus oral reading, doing vs. saying ...) which are usually referred to in describing the specificity of formal writings – first focuses on the practice of mathematicians, which was at the origin of the creation of this type of writing, in order to highlight different facets of mathematical doing in the fields of activity where a formalism occurs, and argues that these doings are usually interlaced with a saying. Examining the conceptual upheaval, resulting from logicians’ and computer scientists’ use of the proof-program correspondence (or Curry-Howard isomorphism), is then undertaken and this study offers us the opportunity to propose keys to understanding the main contemporary formalisms used for the analysis of natural languages.
Après avoir mis en évidence que la difficulté de lecture des formalismes contemporains réside dans le fait qu’ils conjuguent dans leur graphie les dimensions algébrique et géométrique, cet article – qui entend questionner le bien-fondé d’un certain nombre de dichotomies (lecture visuelle versus orale, faire et dire, …) usuellement mobilisées pour qualifier la spécificité des écritures formelles – se penche tout d’abord sur la pratique des mathématiciens, qui fut à l’origine de la création de ce type d’écriture, pour dégager, dans les champs d’activité où le formalisme intervient, les différents facettes du faire mathématique et argumenter qu’il se retrouve le plus souvent entrelacé à un dire. L’examen du bouleversement conceptuel résultant de l’exploitation par les logiciens et les informaticiens de la correspondance preuve-programme (ou isomorphisme de Curry-Howard) est ensuite entrepris et cette étude offre alors la possibilité de proposer des clés de lecture des principaux formalismes contemporains utilisés pour l’analyse des langues naturelles.
Fichier principal
Vignette du fichier
Godart_Mosca_DossiersHEL9.pdf (659.7 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-01304964 , version 1 (20-04-2016)

Identifiants

  • HAL Id : hal-01304964 , version 1

Citer

Béatrice Godart-Wendling, Antonio Mosca. DIS, COMMENT FAIRE POUR LIRE ÇA ? ÉCRITURE ET GRAPHISME DANS LES FORMALISMES CONTEMPORAINS. Dossiers d'HEL, 2016, Écriture(s) et représentations du langage et des langues, 9, pp.194-211. ⟨hal-01304964⟩
273 Consultations
188 Téléchargements

Partager

Gmail Facebook X LinkedIn More