Pasigraphie

Un article de Wikipédia, l'encyclopédie libre.
Cet article est une ébauche concernant la linguistique.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).

D'une manière générale, une pasigraphie est une écriture ou un système de notation universel. L'invention de ce terme est attribuée à Joseph de Maimieux en 1797, toutefois des systèmes pasigraphiques complets avaient déjà été proposés auparavant (Johannes J. Becher, 1661). Le Code international des signaux maritimes et la Classification bibliographique décimale Dewey constituent des pasigraphies officialisées. Etymologiquement, pasigraphie signifie « écrire à tous ». [1]


Ernst Schröder, puis Henri Poincaré ont surnommé pasigraphie, le système de signes inventé par Giuseppe Peano pour écrire les propositions logiques et mathématiques (voir formulaire de mathématiques). Cependant, ainsi que le souligne Louis Couturat[2], Peano ne revendique pas ce terme, et présente son système de notations non seulement comme une langue artificielle mais aussi comme un outil d'analyse des théories mathématiques.

Les mathématiciens actuels utilisent toujours aujourd'hui, de façon limitée, certaines notations mathématiques inspirées de Peano, de la même façon qu'ils utilisent depuis plus longtemps le calcul symbolique, quand c'est utile pour la clarté de l'exposition. Mais ils ne prétendent pas en faire une écriture universelle pour codifier leur travaux. Les logiciens utilisent bien une écriture systématique et universelle (encore qu'il y ait des variations, selon les écoles, mais elles sont inessentielles), mais il s'agit de l'objet de leurs travaux ou d'un outil pour ceux-ci, non de la façon de les communiquer.

On peut voir une moderne continuation des travaux de Peano dans la formalisation des mathématiques sur machine, à l'aide d' assistants de preuve. Une écriture formelle est bien indispensable, mais, là non plus, le souci, pour le moment du moins, n'est pas d'une écriture universelle.

[modifier] Notes et références

  1. ↑ Paolo Albani & Berlinghiero Buonarroti, Dictionnaire des langues imaginaires, Ed.Les Belles Lettres, 2001 pour la trad.française (ISBN 2-251-44170-0)
  2. ↑ Louis Couturat 1906 Pour la logistique, revue de métaphysique et de morale T14 N°1, pp 208-317, en particulier pp 211-212, accessible sur le site de la BNF au format "image" : [1].