Jean Nicod

“ Il n’y a rien au monde de plus hétérogène que des propositions et des objets. Ces deux éléments que M. Goblot mélange me paraissent se séparer d’eux-mêmes, comme l’eau et l’huile. Ai-je été, ayant appris à séparer l’imagination de la logique, incapable de voir où elles se tiennent ? Enfin, voici ma difficulté.
Dans la géométrie élémentaire, dit M. Goblot, la construction de la figure est l’essentiel du raisonnement. Pas à la lettre : la « constatation » du théorème sur la figure une fois construite et démontrée possible peut être fort longue et reposer sur des théorèmes nombreux. ”

“ Si l’océan est vide, si notre poisson ne fait jamais aucune rencontre, n’arrive jamais nulle part, il est clair que ses pérégrinations ne pourront pas lui apprendre la géométrie. Mais plaçons quelque chose de discernable quelque part : supposons qu’une sensation distinctive E, un picotement d’électrisation par exemple, se fasse sentir lorsque le poisson occupe une certaine position, que nous appellerons la position zéro. Par une position il faut comprendre non seulement un lieu, mais aussi une forme prise par le corps du poisson et une orientation unique de cette forme. ”

“ LE TRAITÉ DE LOGIQUE DE GOBLOT
La logique formelle a été renouvelée. Les réflexions des savants sur la science ont posé les fondements d’une théorie de l’induction à la fois plus détaillée et plus vaste. Pour bien voir où en sont les choses, un traité de logique philosophique serait aujourd’hui d’un intérêt particulier. Le livre de M. Goblot est trop original pour qu’il s’en dégage une vue d’ensemble sur les travaux du temps. Il ne faut pas le regretter. L’ouvrage est lui-même une contribution au mouvement, et il est animé de cette vie qui marque la réflexion personnelle profonde. ”

“ Le problème logique, dit M. Goblot, est un des problèmes de la psychologie. La psychologie s’occupe des causes des pensées, la logique ne connaît que leurs raisons. Mais les raisons d’un jugement sont certaines de ses causes possibles. « Si nous retranchons des causes déterminantes d’un jugement toutes celles qui ne sont pas intellectuelles, celles qui restent ne diffèrent plus de ce qu’on nomme une raison. Dire qu’un jugement est complètement et entièrement déterminé par d’autres jugements, c’est dire qu’il en est la conséquence » (p. 22) . ”

“ Mais on ne peut distinguer nettement la logique de la relation de la logique de l’inhérence que si l’on a distingué d’abord la logique de l’inhérence de la logique de la proposition en général. C’est ce que fait la logistique, atteignant par là un progrès philosophique en même temps qu’un progrès formel, et c’est ce que M. Goblot ne s’est pas décidé à faire. Avec raison, il insiste sur ces nuances du jugement universel : le jugement collectif, le jugement général et le jugement hypothétique. ”

“ Démontrer, c’est construire... Pour démontrer qu’une hypothèse entraîne une conséquence, on construit la conséquence avec l’hypothèse. Les opérations constructives ne sont pas des opérations de l’esprit, mais des opérations exécutées mentalement. En leur essence elles sont des actions externes, par exemple des mouvements... Ce qui caractérise le raisonnement c’est que ces opérations ne sont exécutées que mentalement, et la constatation empirique y est remplacée par la constatation logique du résultat. ”

“ Les lois 1, 2 et 3 expriment, il est facile de s’en rendre compte, que ces mouvements sont parfaitement précis, c’est-à-dire qu’à une différence, si légère soit-elle, entre deux mouvements répond une différence perçue dans les sensations internes ; que le milieu est immobile, et que la position zéro indiquée par la sensation E est unique : à une même sensation de mouvement correspond ainsi toujours et partout un même mouvement « réel ». ”

“ Une logique formelle, dit encore M. Goblot, ne peut pas ne pas être stérile. « Autrement dit, le raisonnement n’est jamais indépendant des objets sur lesquels on raisonne ; toute logique formelle est absolument stérile » (p. xxiii) . La vraie déduction conduit à une connaissance nouvelle. Cette connaissance résulte des connaissances antérieures, mais elle n’y était contenue ni explicitement ni implicitement. Sans cela, serait-elle nouvelle ? La logique formelle, au contraire, c’est le domaine de la marche sur place. ”

“ Si le spectacle du monde se déroulait devant un observateur immobile ou inconscient de ses mouvements, comme la représentation cinématographique d’un voyage, une géométrie s’appliquerait à ce spectacle. ”

“ Il est bien vrai que la nécessité logique est condition de la valeur universelle du jugement ; c’est précisément pourquoi elle est moyen, tandis que l’universalité est fin et raison d’être. On pourrait faire de cette nécessité le but unique de toute la logique, puisque ce qui est logiquement nécessaire vaut pour tous les esprits, et que ce qui n’est pas logiquement nécessaire peut toujours être contesté. ”

“ « Chaque vérité construite est un instrument pour en construire d’autres » (p. 276) . Les lois de la nature, en tant qu’elles sont connues, deviennent les lois des raisonnements sur la nature.
Il en résulte qu’il n’y a plus de logique formelle. Si pourtant, mais sa fonction diminuée est tout ancillaire. « La logique formelle qui, depuis Aristote, prétend faire la théorie de la déduction en faisant celle du syllogisme, est une énorme et perpétuelle ignoratio elenchi » (p. 256) . ”

“ Les mouvements équivalents (définition 5) sont ceux qui mènent de la position zéro à une même position.
Un mouvement qui peut se produire deux fois de suite est un mouvement à la fin duquel le corps du poisson a la même forme que dans la position zéro initiale ; un tel mouvement équivaut à un transport de cette position zéro dans l’espace [3] .
Un mouvement qui, exécuté deux fois à partir de la position zéro, ramène à cette position équivaut à une demi-rotation de la position zéro autour d’un axe convenablement choisi (Voir définition 4) . ”

“ Revenons à la théorie positive de M. Goblot. Elle fait des prémisses du raisonnement ses règles, et de ses règles logiques, elle fait des règles auxiliaires concernant l’application des vraies. C’est que la conception du raisonnement change tout à fait. Le raisonnement, pour la logique courante, est une combinaison mentale de propositions selon les règles de la logique formelle. Pour M. Goblot, le raisonnement est une combinaison mentale de choses singulières selon les propositions que l’on admet. ”

“ La définition d’une longueur plus grande qu’une autre, rendue nécessaire par l’existence de longueurs incommensurables, exprime le fait que les côtés égaux d’un triangle isocèle sont plus longs que la médiane abaissée sur le troisième côté. ”

“ La considération mentale d’une chose singulière, exemple ou symbole, est sans doute d’une précieuse utilité pour se diriger dans l’enchaînement des propositions. M. Goblot nous dépeint à merveille l’expérience mentale, le petit drame imaginatif qui accompagne, et souvent dirige, la déduction. ”

“ Quelque appui que puisse trouver dans les faits « das Märchen der Unfruchtbarkeit der reinen Logik » [5] , le philosophe ne saurait établir a priori sa vérité [6] .
Si je ne suis pas convaincu par ce que dit M. Goblot de la logique formelle, je dois signaler avec admiration sa discussion du raisonnement par récurrence. Il expose d’une manière lumineuse les lacunes de la théorie, soutenue d’ailleurs par H. Poincaré avec une légère indécision, d’après laquelle ce raisonnement serait le nerf de la déduction mathématique. Ce sont là des pages excellentes qu’il faut lire. ”

“ La logique des classes est souvent formellement analogue à la logique des propositions. Certains de ses théorèmes n’ont cependant pas d’analogues, parce qu’entre vrai et faux il n’y a rien, alors qu’entre tout et nul il y a quelque. La logique des relations est souvent formellement analogue à la logique des classes. ”

“ Son trait le plus marquant, peut-être, est une large conception génétique. La déduction est le terme de révolution de l’expérience ; elle reste une expérience mentale, bien qu’elle ait atteint la rigueur. ”

“ On pense qu’une prémisse contient la conclusion, les autres prémisses ne servant qu’à l’en extraire ; mais cette métaphore est sans rigueur. Des deux prémisses , , laquelle « contient » la conclusion , laquelle n’est que l’instrument de l’extraction ? La réponse ne peut être qu’arbitraire. Si la conclusion était dans les prémisses, elle s’y trouvait en plusieurs morceaux, comme les pièces détachées d’une machine, qui se trouveraient même incorporées dans des machines différentes. ”

“ L’effort logique a libéré l’intelligence et fondé la sincérité la plus haute. Il ne doit pas être démenti au nom des besoins d’une vie supérieure.
Jean Nicod. ↑ Je ne dis rien ici de l’objection que l’enchainement logique est trop fondamental pour être strictement définissable sans cercle. ↑ C’est moi qui souligne. ↑ C’est moi qui souligne. ↑ « Une pensée purement contemplative... pourrait découvrir dans un principe général les propositions plus spéciales... implicitement affirmées en lui ; elle ne saurait y découvrir les conséquences qui n’y sont pas, mais qui en résultent. » ”