DOMAINE ET DIVISION

La Logique formelle étudie les conditions de l'accord de la pensée avec elle-même. Son domaine est borné aux opérations par lesquelles l'esprit élabore la connaissance. Dans ces opérations mêmes, ce qu'elle envisage, ce n'est pas leur nature (ce point regarde la Psychologie) ; ce n'est pas non plus leur rapport avec les objets (cette considération appartient à la Logique appliquée) ; ce sont uniquement les conditions de leur validité intrinsèque. Or tout raisonnement se compose de jugements ; tout jugement, d'idées. C'est pourquoi l'ancienne Logique ramène à trois les opérations de l'esprit : 1° Concevoir, c'est-à-dire former l'idée, le concept d'une chose. — 2° Juger, c'est-à-dire affirmer un rapport entre deux idées. — 3° Raisonner, c'est-à-dire d'un ou de plusieurs jugements donnés tirer un autre jugement qui en est la conséquence. Mais la Logique ne sépare pas la pensée de son expression verbale : aux idées correspondent les termes ; aux jugements les propositions ; aux raisonnements, les arguments (vg. syllogisme, induction, etc.). On peut raisonner sur l'expression verbale de la pensée comme sur la pensée ellemême, à cause de leur étroite union et dépendance. De là trois grandes théories dans la Logique formelle.

L — Théorie des idées et des termes.