Jean Nicod

“ M. Goblot ne cache point son aversion pour la logique formelle en tant que philosophie de la déduction. Car il discerne en toute logique formelle deux irrémédiables défauts.
Un raisonnement formel est un raisonnement qui conclut vi formae, indépendamment de la nature des objets dont il s’agit, en tant que cette nature n’est pas exprimée dans les prémisses. M. Goblot — je puis me tromper — me paraît avoir une aversion profonde pour ce vi formae. La science du rhéteur, selon Platon, était la science de persuader en général, indépendante de la science de n’importe quoi en particulier. ”

“ 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. ”

“ 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. ”

“ 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. ”

“ 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. ”

“ 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é. ”

“ 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. ”

“ « 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) . ”

“ 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. » ”