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

La bibliothèque libre.
Cette page a été validée par deux contributeurs.

cet effet il faudrait fabriquer une partie au moins de ma langue ; ce qui n’est pas aisé, surtout dans l’état où je suis[1].


12. Mais, environ deux siècles après, ce rêve de l’un des inventeurs du calcul infinitésimal est devenu une réalité.

À la formation d’une Idéographie logique ont contribué, après Leibniz, ses deux élèves Segner (1704-1777) et Lambert (1728-1777) ; son perfectionnement progressif est dû aux importantes recherches de plusieurs mathématiciens et philosophes, parmi lesquels je me contenterai de rappeler ici de Morgan (1806-1871), Boole (1815-1864), Schröder (1841-1902), Mc Coll, Peirce, Macfarlane, Peano (dont je suis fier d’être disciple et collaborateur), et Russell[2].


13. En 1889, M. Giuseppe Peano (professeur d’analyse infinitésimale a l’Université de Turin) parvint le premier à exposer une théorie complète — définitions, postulats, théorèmes et démonstrations — en remplaçant tout à fait le langage ordinaire par un petit nombre de symboles à signification précise et constante.

Onze ans après, 67 mémoires avaient déjà paru en différent pays, dans lesquels 15 auteurs adoptaient l’Idéographie logique telle qu’elle avait été complétée par M. Peano[3].

De nouvelles et nombreuses dissertations ont paru ensuite, dans plusieurs revues et dans les comptes rendus de Congrès et d’Académies d’Europe et d’Amérique ; et dès 1892 plusieurs disciples ont

  1. Opera philosophica, Erdmann, Berolini, 1840, p. 701, 703.
  2. Voici les œuvres principales des auteurs que je viens de nommer :
    xxSegner (Iohann Andreas), Specimen logicæ universaliter demonstratæ, 1740.
    xxLambert (Iohann Heinrich), Logische und philosophische Abhandlungen 1781.
    xxDe Morgan (Augustus), Formal logic, 1847 ; On the syllogism, 1858.
    xxBoole (George), Mathematical analysis of Logic, 1847 ; The laws of thought 1854.
    xxSchröder (Ernst), Operationskreis des Logikkalkuls, 1877 ; — Algebra der Logik, 1890, 1891, 1895.
    xxMc Coll (Hugh), The calculus of equivalent statements, 1878.
    xxPeirce (Charles), Three papers on logic, 1867 ; — On the Algebra of Logic 1880.
    xxMacfarlane, Principles of the Algebra of Logic, 1879.
    xxRussell (Bertrand), Sur la logique des relations, 1901 ; — The Principles of Mathematics, 1903.
    xxDe M. Peano je devrais donner une bibliographie très étendue ; j’en rappelle, pour le moment, ses Arithmetices principia, nova methodo exposita, l’ouvrage dont je vais parler dans le texte.
  3. On en trouve la liste dans la Revue de Mathématiques, t. VII, p. 3, qui dirigée par M. Peano, contient plusieurs de ses recherches originales et de celles de ses collaborateurs. (Dans les citations, j’indiquerai cette revue par « RdM »).