Page:Œuvres philosophiques de Leibniz, Alcan, 1900, tome 1.djvu/355

Le texte de cette page a été corrigé et est conforme au fac-similé.
327
de la connaissance

sions méritaient plutôt d’être démontrées par ces figures, que ces figures par les conversions. Mais comme cette démonstration des conversions fait encore voir l’usage des identiques affirmatives que plusieurs prennent pour frivoles tout à fait, il sera d’autant plus à propos de la mettre ici. Je ne veux parler que des conversions sans contraposition, qui me suffisent ici, et qui sont simples ou par accident comme on les appelle. Les conversions simples sont de deux sortes, celle de l’universelle négative, comme : nul carré n’est obtusangle, donc nul obtusangle n’est carré ; et celle de la particulière affirmative, comme : quelque triangle est obtusangle, donc quelque obtusangle est un triangle. Mais la conversion par accident, comme on l’appelle, regarde l’universelle affirmative, comme : tout carré est rectangle, donc quelque rectangle est carré. On entend toujours ici par rectangle une figure dont tous les angles sont droits, et par le carré un quadrilatère régulier. Maintenant il s’agit de démontrer ces trois sortes de conversions qui sont :

1o  Nul A est B ; donc nul B n’est A.
2o  Quelque A est B ; donc quelque B est A.
3o  Tout A est B ; donc quelque B est A.

Démonstration de première conversion en Cesare, qui est de la seconde figure.

Nul A est B,
Tout B est B.

Donc nul B est A.

Tout A est A,
Tout A est B.

Donc quelque B est A.

Démonstration de la seconde conversion en Datiti qui est de la troisième figure.

Tout A est A,
Quelque A est B.

Donc quelque B est A.

Démonstration de la troisième conversion en Darapti qui est de la troisième figure.

Tout est A est A,
Tout A est B.

Donc quelque B est A.