Page:Opuscules et fragments inédits de Leibniz, Couturat, 1903.djvu/259

Le texte de cette page a été corrigé et est conforme au fac-similé.
229
principia calucli rationalis

d’inventer, à fin d’aller plus loin, et de suppléer à ce qui nous manque. Cet inventaire dont je parle seroit bien eloigné des systemes, et des dictionnaires, et ne seroit composé que de quantité de Listes, denombremens, Tables, ou Progressions, qui serviroient à avoir tousjours en veue dans quelque meditation ou deliberation ⟨ que ce soit ⟩ le catalogue des faits et des circomstances ⟨ et des plus importantes suppositions et maximes ⟩ qui doivent servir de base au raisonnement. Mais j’avoue que de le donner tel qu’il faut ce n’est pas l’entreprise d’un seul homme, ny même de peu de personnes. Neantmoins je croy qu’en attendant ⟨ mieux ⟩ on pourroit ⟨ par le soin de quelques gens habiles et industrieux ⟩ parvenir aisement à quelque chose d’approchant, qui vaudroit mieux sans comparaison que la presente confusion, ou il semble que nos richesses mêmes nous rendent pauvres apeu pres comme il arriveroit dans un grand magazin qui manqueroit de l’ordre necessaire pour trouver ce qu’il faut, car c’est autant de ne rien avoir que de l’avoir sans s’en pouvoir servir. Mais comme il faut que la science generale serve encor à faire bien dresser l’inventaire, car elle est aux sciences particulieres ce que la science de tenir les comptes est à un marchand ou à un financier, c’est par elle qu’il faudra tousjours commencer.


Phil., VII, B, ii, 1 (1 p. in-folio.)

Principia Calculi rationalis.

{ Omnia hic demonstrantur præter hæc pauca : Ax. 3 et 4 et Ax. 5, quæ sunt loco definitiorum ipsius negationis veri falsique consequentiæ. usumque tantum quem his terminis semper imposterum tribuemus designant.

Hic demonstrantur Modi primæ figuræ, et regulæ oppositionum. Quarum ope (ut alibi jam ostendimus[1]) demonstrantur deinde conversiones et modi reliquarum figurarum.

Axiomata calculi de continentibus et contentis demonstrantur per Axiomata coincidentiæ. }

Axioma i. A continet B et B continet C, ergo A continet C.

{ dem. A ∞ AB, B ∞ BC, Ergo 1 ∞ AC. nam pro B in priore præ-

  1. Dans le De Arte combinatoria, 1666 (Phil. IV, 55 ; Math. V, 33). Cf. Phil., VI, 14, 15 ; VII, B, iv, 10 verso ; C, 83-84.