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

c’est-à-dire « il y a un seul $\mathrm {Np}$ qui soit en même temps un $\mathrm {2N}$ » ; comme ce $\mathrm {N}$ est 2, il forme l’$\mathrm {Elm}$ « $\iota 2$ » et par conséquent
                                              $\mathrm {\iota 2\;=\;Np\smallfrown 2N}$
ou bien                                   $2\;=\;$$\iota$$\mathrm {\left(Np\smallfrown 2N\right)}$
qu’on lira : 2 est le seul $\mathrm {Np}$ qui soit en même temps un $\mathrm {2N}$.

47. Moyennant les symboles « $\iota$ » et « $\smallsmile$ » on peut former l’ « agrégat » d’un nombre quelconque d’individus donnés, c’est-à-dire la $\mathrm {Cls}$ à laquelle appartiennent précisément les individus en question. À cet effet, il faut passer d’abord des individus aux $\mathrm {Elm}$ correspondants et puis former la réunion simple de ces $\mathrm {Cls}$ [39] ; par ex.,

($\iota \;$Sem) $\;\smallsmile \;$ ($\iota \;$Cham)$\;\smallsmile \;$($\iota \;$ Japhet) $\;=\;$ (fils de Noé)

De la sorte, par une seule proposition, on affirme que Sem, Cham et Japhet étaient fils de Noé et que Noé n’avait pas d’autres fils.

Symboles constants ou variables

48. On dit constant tout symbole qui a toujours la même signification, au sens que j’ai précisé [28] ; savoir que, dans tous ses rôles (s’il en a plusieurs), il a toujours le même ensemble de propriétés.

Tous ceux, dont je viens de vous expliquer la signification et l’emploi, sont des symboles constants ; tandis qu’on dit variables d’autres symboles qui représentent des objets qu’on suppose bien déterminés, mais dont on laisse libre le choix.

À cet effet — depuis Aristote pour la Logique et Euclide (-315, -255) pour l’Arithmétique — on emploie des lettres, qui néanmoins doivent obéir à une loi qui est la condition primordiale du langage ; savoir que, après avoir choisi leur signification, on est forcé de la conserver jusqu’à la fin de la question dont il s’agit. Mais, dans une autre question, on est libre de donner aux mêmes lettres d’autres significations.

Dans le Formulaire, les variables sont toujours représentées par des lettres minuscules en italique (telles que « a, b, c,… ») ; tandis que les symboles constants, ainsi que nous l’avons vu, sont formés par des lettres grecques ($\varepsilon \ \iota$) ou romaines ($\mathrm {Cls\ Elm}$), ou sont des signes spéciaux ($=\;\supset \;\land \;\lor \;\smallfrown \;\smallsmile \;\mathrm {o} \;$$\iota$).