Page:Russell - Le Mysticisme et la Logique.djvu/69

Le texte de cette page a été corrigé et est conforme au fac-similé.

déductions importantes. C’est ainsi que l’on cultive une bonne tonalité d’esprit et que l’attention apprend à choisir et à se poser de préférence sur ce qui est important et essentiel.

Lorsque les études distinctes qui composent les mathématiques auront, chacune, été traitées comme un tout logique, comme le développement naturel des propositions qui leur servent de principes, l’étudiant sera à même de comprendre la science fondamentale qui unifie et systématise l’ensemble du raisonnement déductif. C’est la logique symbolique : ordre de recherches qui, tout en devant son origine à Aristote, est, cependant, dans ses plus vastes développements, presque entièrement un produit du xixe siècle, et qui, de fait, se développe aujourd’hui avec une grande rapidité. La véritable méthode de recherche en logique symbolique, et probablement la meilleure façon, aussi, d’initier à cette étude l’individu qui connaît d’autres parties des mathématiques, consiste dans l’analyse d’un raisonnement quelconque, afin de découvrir les principes qui y sont appliqués. Ces principes sont, pour la plupart, si bien enracinés dans nos instincts de ratiocination, qu’ils sont employés tout à fait inconsciemment, et ne sauraient être mis en lumière que par un long effort. Mais lorsqu’on les a enfin découverts on constate qu’ils sont en petit nombre et qu’ils sont la seule source de tout