Page:Padoa - La Logique déductive dans sa dernière phase de développement.djvu/23

17. Par exemple, pour supprimer l’emploi des mots dans les énoncés et dans les démonstrations des 97 propositions qui composent ma théorie des nombres entiers relatifs^[1], je n’ai recours qu’à 9 symboles logiques et (voyez étrange coïncidence) à autant de symboles algébriques !

Voici le vocabulaire logique que j’ai employé dans ce mémoire, pour y remplacer tout à fait le langage ordinaire :

, $\varepsilon$ $\mathrm {Cls}$ $\supset$ $=$ $\exists$ $\smallfrown$ $\varepsilon$ $\iota$

Une ligne suffit à le contenir, mais j’aurais pu le restreindre davantage, ainsi que je vous démontrerai dans la suite [127].

Bien que ces symboles doivent paraître mystérieux à ceux d’entre vous qui ne les avaient jamais vus, leur nombre est si petit que tout le monde doit se sentir bien rassuré. En effet j’ose affirmer que l’Idéographie logique est incomparablement plus facile que tout autre langage connu ; et vous en avez la preuve dans le fait qu’en deux leçons, pas plus, je me propose de faire pénétrer votre esprit dans l’essence intime de ce langage sans pareil. Est-ce que si peu de temps suffirait pour apprendre à lire seulement, une langue étrangère, même une de celles qui ont avec le français une parfaite communauté d’origine, tel que l’italien ou l’espagnol ?

Et il faut ajouter que, tandis que pour les langages naturels le « legere » est si loin de l’« intelligere » que plusieurs années d’étude systématique ne suffisent pas à soustraire les meilleurs élèves de nos écoles à la tyrannie du dictionnaire et de la grammaire, pour l’Idéographie logique, ainsi que vous pourrez l’expérimenter, lire et comprendre c’est la même chose.

La sténographie et les langues artificielles

18. Tout le monde sait que la sténographie ne fait qu’abréger la représentation graphique des différents langages naturels, sans éliminer leurs diversités phoniques ; ainsi, par exemple, un Anglais et

1. Numeri interi relativi, Revue de Mathématiques publiée par G. Peano, Turin, t. VII, n. 2, a. 1901. — C’est la traduction symbolique de la théorie que j’avais présentée en 1900 à Paris aux Congrès de Philosophie (Essai d’une théorie algébrique des nombres entiers précédée d’une introduction logique à une théorie déductive quelconque) et des Mathématiciens (Un nouveau système de postulats pour l’algèbre).