DEJLBŒUP. — LOGIQUE ALGORITHMIQUE 551
8. Postulat. Étant donnés deux concepts différents S et P tirés d'un même ensemble de choses, c'est-à-dire, soumis aux conditions suivantes (2) : S + S' =1, P + P' = 1, S + S' ==P + P', on peut dire qu'en général S et P auront une partie commune et une partie non commune, ainsi que S et P', S' et P, et S' etP'. C'est ce qui est rendu sensible par la fig. 3.
���Fig. 3.
Rem. 4. C'est là une proposition fondamentale sur les concepts, qui rend possible leur composition et leur décomposition. Cette propo- sition est indémontrable; elle est impliquée dans l'idée que l'on se fait d'un concept. A ce titre, c'est le postulat de la logique déductive<
9. CoNV. Convenons de représenter par SP (fig. 3) ou PS ce qu'il y a de commun entre S et P, et de même par S'P, S'P' et SP' ou bien par PS', P 'S' et P 'S ce qu'il y a de commun entre S' et P, S' et P'> S et P'. De même on désignera par MSP ce qu'il y a de commun entre les concepts M, S, et P; et ainsi de suite.
10. DÉF. Le symbole SP représente un concept qui correspond à une collection de choses parfaitement déterminée. A cause de sa forme, nous lui donnons le nom de symbole double ou de concept double^ par opposition aux symboles ou concepts simples^ tels que S et P. On dira de même de MSP que c'est un symbole ou concept triple.
Au point de vue de la notation, les symboles doubles, triples, etc., porteront en général le nom de symboles ou concepts composés, et les concepts simples qui y entrent, le nom de composants ; mais, au point de vue de l'extension, les composés seront dits concepts spéci- fiques ou espèces, les composants, concepts génériques ou genres.
11. Cor. On peut changer l'ordre des composants. Ainsi MSP = PMS =: SPM, etc.
12. Cor. Si l'extension du genre est nulle, celle de l'espèce est nulle aussi.
13. Cor. Si une espèce (SP) fait partie d'un genre (M), on peut accoler à son symbole celui du genre (c'est-à-dire : SP =MSP). Ré-
�� �
