Syî(. de loc; liv. H, ch. î

28 LES LOGICIELS ANGLAIS CONTCUPOBAINS

Alora les types généraux du syllogisme seraient les suivants :

L'attribut A est une marque de l'atlribut B ;

L'objetdonné a la marque A;

Donc l'objet donné a l'atlribut B.

L'attribut A est une marque de l'absence de l'aliribut B ;

L'objet donné a la marque A ;

Donc l'objet donné n'a pas l'altribut B.

IL H. Herbert Spencer s'est attaqué plus vivement

encore que Stuart Mill à la vieille logique formelle '. La définition qu'il propose de la logique dérive de la dislinclion qu'il établit entre les lois des corrélations externes et celles des corrélations internes, diatinclion qui est elle-même une conséquence de sa doctrine fondamentale de la correspondance du dedans au dehors et de-la subordination constante du premiet' au second*. Les existences considérées comme objectives, c'est-à-dire en dehors de notre conscience, ont entre elles certaines corrélations de temps, d'espace, de nombre, de qualités, etc. Nos idées de ces existences ont de môme entre elles certaines corrélalions, parallèles aux premières, mais dérivées et non primitives. De là deux séries de rapports, les uns extérieurs, les autres intérieurs. La logique a pour objet les premiers; elle est donc, au même titre que les matliématiques, une province de c l'existence objective s ; elle exprime des dépendances nécessaires entre les choses, et non pas entre les pensées; si parfois elle remplit aussi cette dernière fonction, c'est secondairement, et en

1, Cf. Principes de Psychologie, trnd. Ribot et Espinns, 6' p., 0. 2, 3, *, 5, 6, 7 et 8.