LOGIQUE FORMELLE

Comme nous l'avons remarqué déjà, 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, ce qu'elle examine, ce n'est

pas leur nature, ce que fait la psychologie; ce n'est pas non plus

leur rapport avec la réalité, avec les objets, ce qui relève de la

logique appliquée; elle recherche uniquement si les connaissemees

qu'elles nous procurent contiennent ou ne contiennent

pas quelque contradiction intrinsèque et par quels moyens on

peut s'en assurer. En somme, la logique formelle définit les

conditions que le principe d'identité impose aux opérations de

l'intelligence.

Division. - Or, les trois opérations fondamentales de l'esprit

sont : concevoir, juger, raisonner ; la logique formelle se divise

donc naturellement en troïs parties, selon qu'elle traite de

l'idée, du jugement ou du raisonnement.