Академический Документы
Профессиональный Документы
Культура Документы
France et de l'tranger
LE MOUVEMENT LOGIQUE
ANALYSE ET CRITIQUE DE QUELQUES OUVRAGES RECENTS
(R.
P.
HUGON.
A. WLF.
A. T. SHEARMAN.
A. PASTORE.
B.CROCE.G.VAtLATI.)
A. LALANDE.
257
LE MOUVEMENT LOGIQUE
D'autres au contraire, rejettent ce formalisme, et prtendent construire la Logique a po~et'tO)~. par l'analyse des sciences, de mme
qu'on essaie de construire la morale inductivement sur les bases
formes par les apprciations et par les lgislations humaines. La
Logique mtaphysique, au contraire, identifie le rel l'ide, ne voit
dans les gnralisations scientifiques que des abstractions grossires,
bonnes seulement pour la pratique, et continue de mpriser avec
Cicron les p)biens de la philosophie, qui se satisfont de l'empirisme. Enfin le point de vue historique donne naissance une logique
~th~qup. dont la doctrine est une sorte d'volutionnismerform
volutionnisme.en ce sens que la logique y est essentiellementconue
comme l'histoire de la fonction-pense, suivie dans son dveloppement. a la manire des sciences naturelles; mais volutionnisme
rform, en ce qu'il renonce tirer mcaniquement le suprieur de
l'infrieur, et qu'il tient le progrs de l'esprit pour une cration continuelle, faisant apparatre chaque degr quelque chose de nouveau 1.
La plupart des varits du pragmatisme se rattachent cette conception. Il faudrait enfin, pour rendre moins incomplet ce catalogue des
vaisseaux, mentionner les dfenseurs du point de vue aristotlicien et
thomiste, qui d'ailleurs reconnaissent la ncessit d'en perfectionner
l'application; et ceux du point de vue kantien, qui continuent voir
dans une logique immuable le cadre ncessaire de l'exprience sensible. Je me propose d'analyser ici quelques ouvrages rcents qui
peuvent servir d'illustration ces tendances; j'essayerai de montrer,
en concluant, comment ces diffrents points de vue se contredisent
moins qu'ils ne se compltent et rpondent surtout des diffrenciations ncessaires, qui se sont produites d'une faon tout fait analogue dans les sciences de la nature, dans l'thique, et mme dans la
gomtrie.
1
TOMELXU!1907.
17
Objicitur
1906
Vocabu-
ngliger.
L'induction, comme on avait le droit de s'y attendre, est ramene
en tant ~ue 'ratsOM~emenf, la dduction car si l'on ne sous-entend
une majeure universelle par sa forme, est trs gnrale par son contenu, il est impossible de conc!M?'e sans sophisme de l'individuel au
gnrique. Je crois que la cause est entendue. D'autre part, les tables
de Bacon sont encore confondues avec les rgles de Stuart Mil! it
faudra vingt ans pour que cette erreur classique sorte de l'enseignement.
La mthodologie de cette Logique en est la partie la plus trange.
Tandis que nous sommes habitus voir cette tude occuper la moiti
ou mme les deux tiers d'un trait, elle est ici confine en moins de
cinquante pages dans un ouvrage qui en a plus de cinq cents. Et la
matire n'en est pas moins surprenante que les proportions. La science
est tout d'abord dfinie comme une connaissance absolue, connaissance certaine et vidente de l'tre par soi, ncessaire, universel (431).
Les sciences sont divises en physique, mathmatique, mtaphysique,
logique et morale. Les classifications modernes cites sont au nombre
de quatre celles de Bacon, d'Ampre, d'Auguste Comte (cinq lignes)
et de Spencer (autant); et ces deux dernires sont rfutes en bloc
par cette considration qu'il n'y a pas de sciences concrtes,alors que
ce point est justement ce qui les spare l'un de l'autre, et celui o
Spencer a cru pouvoir prendre en dfaut son clbre prdcesseur.
Mais ce qu'il y de plus imprvu (au moins pour un lecteur lev dans
la philosophie classique', c'est assurment la rduction de toutes les
mthodes philosophiques l'idalisme, l'empirisme,le traditionalisme,
qui sont condamnes en quelques lignes; l'clectisme, qui occupe
au contraire deux paragraphes entiers d'exposition et de rfutation:
et enfin la mthode scolastique qui est la mthode par excellence. La
chose est prouve par ce syllogisme dont chaque membre est ensuite
repris pour tre dmontr tour tour par le mme procd
Sc/tO~asttCt'Mm me~/todMS omntno est appt'oba~da.
est dommage que l'auteur n'en dise pas davantage sur un sujet aussi
intressant. Tout ceci est malheureusement expdi par lui en quelques lignes.
1.
Il
Il
Bien qu'il s'agisse encore de logique formelle, et mme de syllogistique, nous sommes au contraire en plein mouvement contemporain
avec l'ouvrage de M. A. Wolf sur la valeur existentielle de la prdication catgorique 2. Ce petit ouvrage, solide et vivement crit, se propose d'tudier en lui-mme le problme suivant, qui n'a jamais t
trait que partiellement et par occasion chez les logiciens antrieurs
L'assertion d'une proposition catgorique implique-t-elle ncessairement que les termes qui la composent sont les noms de choses
ayant une existence relle? t. U y a donc lieu d'examiner pour la
Ma/O! en
Excellens methodus duo debet praestare, scientiae
effet, est ainsi conu
acquisitionem, scientiae certitudinem. Sed ad acquisitionem scientiae re~MM'~M)'
analysis, ad ejus certitudinem synthesis. Ergo perfecta methodus est quae analysi et synthesi vicissim utitur.
Sans s'arrter aux quivoques excellens,
perfecta, ~e~M!, il suffit de remarquer que l'argumentprouve que toute bonne
mthode doit user de l'analyse et de la synthse, et non que toute mthode qui
en use est bonne. Supprimez le est quae, qui introduit subrepticement une
fausse conversion, et )e syllogisme principal ne conclut pas.
The e.E!'s<e?!<:a< import of
2. A. WOLF, Fellow of University College, London
ca<e.~ot'ca'/p?'ed:ca<!o?:, 1 vol. in-12, xn-164 pp.
Cambridge,at the University
1. La
Press, <90S.
jO/'o&a~K)'
autres par
Jugements dmonstratifs.
Jugements historiques.
Jugements qui directement ou indirectement prdiquent la
non-existence de leur sujet
Jugements de non-existence.
-2" Jugements affirmatifs ayant pour prdicat un dterminant destructif.
3 Jugements ngatifs ayant pour prdicat un dterminant analy2"
3
C.
tique.
La
prdicat.
Enfin, quant aux termes complexes :l"SaP (tout S est?) implique,
par le principe de contradiction, que SP' (S non P) est inexistant;
2" SeP aucun S n'est?) implique que SP est inexistant.
Si l'on en vient enfin aux rgles, en partie conventionnelles, que
doivent s'imposer la logique formelle et la logique symbolique, il
convient d'adopter expressment la rgle d'aprs laquelle la logique
formelle n'admet aucune implication d'existence. On semble alors, il
est vrai, se heurter la difficult dj signale par Leibniz et reprise
par Venu et Keynes la conversion de A et de 1 ne serait pas valide;
car PtS s'< }/ a des P, il a des S; or cela n'est impliqu par
aucune des deux propositions d'o celle-l se tire par conversion
SaP et S'P. 11 faut donc postuler sparment, pour rendre cette
conversion lgitime que le sujet des co~uo'te~dac avait une valeur
existentielle.
Mais la difficult tombe si l'on reste strictement
nd!e la rgle de non-existentialit, et si par suite on nie que
Certaines choses
:D .s'/t )/ a des P, il t/ a des S. Par exemple
que craignent les enfants sont des fantmes ne doit pas tre considr comme impliquant, m /b!'mae, que les fantmes sont rels.
La question est un peu plus complique en Logique symbolique,
parce qu'on y traite en outre des termes composs SP, SP'. Or,
comme nous l'avons vu plus haut SaP SP'= 0 etSeP~ SP =0
Mais. cette rserve prs, la Logistique peut adopter aussi la rgle
de non-implication existentielle, car SiP et SoP peuvent tre interprts simplement
S peut tre P, S peut n'/re pas P
et non
P;
pas ncessairement
/<
a des SP,
il
?/
a des
SP'.
II va de soi
III
Shearman. d'University College (Universit de Londres) a publi
chez Williams et Norgate un petit volume dont le titre promet beauLe due<oppe~:en< de la logique symbolique, tude htstot'tqus
coup
et critique du calcul logique 1. L'auteur est un lve de Venn, auquel
il se rfre souvent; mais il connat les contemporains et les cite souvent avec propos. Son but a t de montrer que la logistique a
rellement fait des progrs depuis un demi-sicle, que ceux qui la
cultivent diffrent surtout sur des points de dtail, non sur l'essentiel,
et qu'en somme il y a aujourd'hui une science du calcul logique, inacheve sans doute, et mme dbutante, mais incontestable et bien
constitue. Pour le prouver il considre successivement l'usage des
symboles en tant qu'ils reprsentent les termes, les propositions et
les oprations (ch. i et ti); les mthodes de solution des problmes
(ch. )ti); le calcul logique fond sur la comprhension (ch. iv);les
doctrines de Jevons et de Mac-Coll (ch. v); les doctrines logiques plus
rcentes Peirce, Mitchell, Johnson propos desquels il revient de
Morgan; puis Frege, Peano, Russell, Whitehead (ch. vi). Le livre se
termine par un chapitre sur l'utilit de la logique symbolique (ch. v::)
qui n'est pas sans intrt au point de vue ducatif, elle dveloppe
l'attention, et la facult de concentrer sa pense; elle gale ou surpasse en cela les mathmatiques,dont personne ne conteste la valeur
ducative. Sert-elle au progrs mme de la science?Jevons le croyait;
mais s'il peut tre utile ou mme fcond de reconnaitre, comme il
le fait, l'importance scientifique de l'quivalence et de la substitution,
il ne s'ensuit pas que le calcul logique soit un instrument pratique,
armant mieux le savant pour la dcouverte de la vrit. Et, de fait,
il ne l'est pas. Recherches scientifiques ou affaires journalires seront
toujours plus vite et plus fructueusement conduites par des procds
plus alatoires et plus expditifs. Le tout est de savoir lequel vaut
mieux, d'agir vigoureusement et rapidement,quitte dfaire ensuite
une bonne partie de ce qu'on a fuit, ou de produire trs peu, mais
avec la certitude que ce qu'on a produit pourra demeurer peu prs
sans changement. C'est une affaire d'espces, et de got personnel.
Quant la philosophie, le calcul logique peut lui rendre de grands
services, en mettant en relief certaines impossibilits ou ncessits
M.
caractre scientifique
Si ce
coup plus grande prcision quant aux faits matriels et quant aux
dates. II n'y a rien de plus inefficace que l'histoire a&s<rat<e.
Ce
que j'appelle l'esprit d'enseignementest le soin qu'on prend de songer
la psychologie de son lecteur, et de lui rappeler (c'est--dire souvent
de lui apprendre) ce qu'il a besoin de savoir pour comprendre clairement la question traite. L'auteur procde le plus souvent par voie
d'indications succinctes, et souvent mme d'allusions la mthode
diagrammatique de Venn, le problme de Boole < bien connu de tous
les logiciens Cette manire d'crire est frquente chez les lves
qui font une dissertation ou un mmoire pour leur professeur, et qui
ne veulent pas avoir l'air de lui enseigner ce qu'il sait bien. Mme
chez eux, elle repose en grande partie sur une ide inexacte de ce que
doit tre une dissertation philosophique. Elle devient tout fait nuisible un auteur qui crit pour le public. M. Shearman parle-t-il
seulement pour MM. Russe!, Whitehead, Peano et Couturat? Dans
une matire aussi pineuse et aussi conteste que le calcul logique,
nous aurions besoin avant tout d'ouvrages qui soient explicites,
dvelopps, bien pourvus d'applications matrielles, et qui ne voltigent pas sur le sommet des questions.
IV
logique algorithmiqueappartient aussi, quoique d'une manire
trs spciale, le curieux ouvrage de M. Ann. Pastore qui a pour titre
Logique formelle dduite de la considration de modles mcaA la
niques
trent exprimentalement
Quelque paradoxal que cela puisse paratre, nous devons reconnaitre que la construction d'une thorie logique qui satisfait certaines conditions dtermines ne diffre pas logiquement de la
construction de tout autre modle physique (assemblage, appareil,
instrument, machine, etc.), ou modle mathmatique ~thorie analytique, quation; systme d'quations, etc.), en sorte qu'elle peut tre
substitue tout autre modle correspondant, ou, rciproquement,
le prendre pour substitut, avec to.ut autant de droit, de rigueur
togique et d'utilit
I.'opration fondamentale de l'esprit, comme le disait trs bien Taine,
c'est la f)'a'uc~'on. Toute pense est symbolique prendre un systme
d'objets pour reprsenter des ides, c'est l'envers de cette opration
qui consiste prendre des ides pour reprsenter des objets la possibiHt de l'une garantit la possibilit de l'autre. Et d'ailleurs, tout
logicien vers dans son art ne se fait-il pas lui-mme, plus ou moins
compltement, une mcanique intellectuelle, intrieure, un schma
gomtrique ou cinmatique par lequel il excute ses raisonnements ? N'est-ce pas l la vraie nature de la notation rudimentaire
dont Euler use dans ses Lettres, des figures un peu plus savantes
dont se servait Leibniz, enfin des machines logiques comme celles de
Stanley Jevons? L'ide d'une logique mcanique n'est rien moins
qu'une nouveaut.
Le but de l'ouvrage est donc de dcrire un mcanisme correspondant aux oprations logiques, et de montrer comment les divers
mouvements de ce mcanisme rpondent chacun chacun aux diff-
<.
L'ide (c'est--dire
1.
de
Logica /b)'M~e, p. n.
3. Ici, en passant, une discussion assez longue, mais un peu superRcieMe,
des dfauts reprochs au langage ptr plusieurs psychologues modernes, et.
notamment une critique des critiques de M. Bergson.
_t<
MATHMATIQUES
LOGIQUE
GRAMMAIRE
1" ~Vom.
2" Verbe.
LOGIQUE
LOGIQUE
ARITHMETIQUE
~RELLE
REFLECHIE
Objet.
Ide.
Relation. Relation.
PHYSIQUE
MCANIQUE
PHYSIQUE
GEOMETRIE MATHEMATIQUE
RATIONNELLE
A'bmtre..PoMtt..U<tMe.
Espace.
Succession. J.foMt'oneHt.
Temps.
-Mbut.'emeMt.
j'exclus ou
je nie
fp. 136).
Mais ce n'est pas tout. La machine figure encore trs bien les syllogismes dits conclusion faible obtenus par la subalternation de
la conclusion dans les syllogismes conclusion universelle. De plus,
elle fait prvoir des faits logiques nouveaux elle ralise, par exemple,
des types de raisonnement rpondant la dfinition gnrale du
syllogisme, parfaitement concluants, mais qui en diffrent par quelque condition spciale par exemple on peut violer la rgle medius
genct'ater este, et, par suite, ;V~ sequituo geminis e particularibus,
dans un syllogisme de la 3" figure, condition d'employer le mme
petit pignon, parmi ceux du moyen terme; autrement dit, condition
que le groupe des Quelques S soit le mme dans les deux prmisses
On peut aussi violer la rgle Utraque si prasmissa negat, quand la
relation exclue des deux cts est telle qu'elle ne laisse place qu' une
seule relation entre les deux extrmes
on remarquera en effet que
t. L'auteur appelle les modes de la 4" figure .BaM~:p<o?t, Da&<M, Celnntesfapf'smo, /)'iesoM (orum), ou selon d'autres Bt'aMan~p, ou Bamalip, Dimatis, etc.
(178). C'est une singulire confusion des modes indirects d'Aristote et des modes
de la 4 figure.
2. Mais l'auteur croit tort que c'est l un fait nouveau. On lit en effet, dans
la Logique scolastique du P. Hugon, analyse plus haut Aliquando tamen
medium potest bis accipi particulariter, dumnodo constet ipsum accipi pro
eodem in utraque praemissa'o.M, 178.
3. Les scolastiques avaient aussi not des syllogismes concluants deux prsed ethnici
Qui non habetfidem non placet Dec
misses ngatives. Exempte
non habent fidem. Ergo non placent Deo. Huoo~, Logica, n9. Il est vrai que
le cas considr par M. Pastore est diffrent. Dans l'exemple de P. Hugon, la
mineure est en ralit affirmative, car la ngation y appartient l'attribut le
moyen terme est non habens /Hen?.
la rotation dans le mme sens marque mieux un rapport de convenance qu'un rapport d'inclusion proprement dite. En rsum l'appareil, soumis aux seules ncessits qui rsultent de sa construction, et
cette condition extrinsque que la conclusion soit une proposition
de la forme A, E, 1 ou U, fournit 32 types syllogistiques qui correspondent chacun une forme de raisonnement lgitime et dont
les 19 modes classiques, rduits 18, ne sont que des cas particuliers.
On peut figurer et tudier de mme des prosyllogismes, des
sentes, etc.
Ce systme est trs ingnieux. Est-il entirement exact? On ne
pourrait le dire en connaissance de cause qu'aprs avoir assez lon-
Nos
modle ido-physique, au contraire, tout fonctionne, ou doit fonctionner, mathmatiquement.Un arrt, s'il s'en produit, est un accident
sans intrt, comme serait une dent casse dans une montre. Mais
prcisment l'objet tudi, par cela mme qu'il est purement compos
de relations cinmatiques,n'a pas de nature physique, pas de ralit
intrieure et individuelle, comme celle qui dtermine, par'exemple,
la dilatation d'un morceau de cuivre. Il est tout entier dans ses proprits gomtriques. Il peut tre un auxiliaire prcieux de l'analyse,
comme sont une rgle calcul ou un compas; ce ne sont pas, au sens
ordinaire du mot, des instruments d'exprience.
L'auteur lui-mme l'accorderait sans doute, car, ainsi qu'il le dit
trs bien en deux passages, toute opration logique est une fiction
symbolique, un modle intrieur. Ses modles ido-physiques ne
nous font donc pas sortir de la logique; il est vrai qu'ils en largissent le champ d'une manire trs intressante et trs originale, et que
ce n'est pas peu de chose que d'augmenter suivant son expression la
visibilit des consquences l'intrieur d'une thorie (248).
Une autre difficult, que j'ai dj signale est le postulat de la
quantiScation. Ni nos jugements psychologiques, ni les formes classiques A, E, I, 0 ne sont quantifies. Quantifier en les traduisant,
c'est donc y ajouter arbitrairement une dtermination absente. Le
paralllisme est ainsi rompu sur deux points. Dans la conversion
classique .1 uo'fitur per accidens veut dire ceci Tout S est P~
Quelque P au moins est S, mais peut-tre aussi Tout P. Dans la
machine logique, l'indtermination ne subsiste pas il faut, ou que je
laisse libre la vis de pression, ou que je la serre. Dans le premier cas
l'appareil dit Tout S est P~ Quelque P est S+ quelque P n'est
pas S; dans le second cas Tout S est P tout P est S. Il n'y a pas de
milieu. Si une nouvelle logique peut se constituer sur la base L.. la
substitution pure et simple, comme le voulait Jevons, ce n'est ni la
logique classique, ni la logistique du type Peano ou du type Russell,
qui reposent toutes deux sur une relation dissymtrique, celle d'im-
plication.
v
Benedetto Croce aborde le problme logique par un biais tout
diffrent On sait qu'il est l'auteur d'une E'ih'qup, dj traduite en
franais, dans laquelle il tudie, au sens tymologique du mot, la
fonction concrte, sensible et imaginative, dans ses rapports avec
toutes les formes d'expression qui la manifestent et la constituent.
Cette esthtique n'est pas une psychologie, si l'on donne ce mot son
sens courant d'/ns<ort0<a animae, de psychologie descriptive et faussement gntique, soit sous la forme associationniste, soit sous la
forme volutionniste. Toutes deux, selon l'auteur, sont de pseudosciences paresseuses, qui se contentent d'enregistrer les faits, c'est-dire au fond les problmes, et croient y avoir rpondu quand elles les
ont rpts sous une autre forme, qui en dissimule le caractre interrogatif.
Cette sorte de psychologie ne peut pas davantage suffire constituer la logique, ni mme lui servir de point de dpart. Elle ne peut
mme pas lui venir en aide, ni lui servir de complment, et l'on doit
tenir pour une grossire erreur l'illusion de ceux qui attribuent la
psychologie la fonction de retracer la gense du fait logique, la
logique la fonction d'en analyser la nature car la nature d'un fait en
est la gense. la gense d'un fait en est la nature. L'un des mots vient
du grec et l'autre du latin, mais philosophiquementils dsignent tous
deux le mme problme. Et si ce problme appartient la logique, il
ne peut appartenir en mme temps la psychologie,
Mais on peut encore moins attribuer la logique un caractre purement formel, si l'on entend par l qu'elle se dsintresse de la ralit
et qu'on n'y doit jamais savoir, suivant le mot clbre de M. Russell,
ni de quoi l'on parle, ni si ce qu'on dit est vrai. C'est un abus que
d'admettre, comme la plupart des logiciens, qu'il puisse y avoir des
conclusions vraies matriellement et fausses formellement. Une vrit
dont on donne une dmonstration fausse, n'est plus une vrit', on ne
peut sparer le vrai et la raison qui le rend tel les deux ne font qu'un.
La logique a donc pour objet de connatre la pense vraie, d'exclure
la pense fausse, et elle n'a que faire de eette pense inexistante pour
qui la vrit et la fausset ne seraient qu'une dtermination accidentelle et extrinsque (9).J,
M.
les psychologues.
Le vritable point de dpart du travail logique pour l'humanit, de
la thorie logique pour le philosophe, c'est donc la reprsentation
naturelle des choses, que l'auteur a dj tudie prcdemment dans
son Est/ttt'que 1, et le langage, qui en est l'expression; non pas le
langage des grammairiens, abstrait et mcanis, mais le langage
spontan, concret, vivant < non pas Donat, mais Virgile; non pas le
Lonard du Trat'f de peinture, mais celui de la Joconde et de la
Cne
et de mme, l'introduction de la thorie logique, ce n'est pas
une thorie grammaticale, mais une philosophie du langage et une
esthtique < non pas Aristarque ou Apollonius Discole,mais Vico et
Humboldt
L'homme qui peint, qui parle ou qui chante, voil
le fait sur lequel il faut arrter son attention c'est de l qu'on voit
sortir l'homme qui s'lve la pense et au raisonnement, et qui, de
conscience intuitive, devient conscience logique (15).
Toute la logique est dans une opration fondamentale et unique
la cration du concept. C'est l ce qui distingue Spinoza de Shakespeare et Descartes de Corneille. C'est par l que l'on passe du premier
au second stade de la pense, de l'individuel l'universel. Et de
mme que la ralit de la fonction esthtique se prouve par la vie
ternelle et universelle de l'art, la ralit de la fonction logique se
prouve par ce fait qu'il existe des sciences.
Mais ceci semble un paradoxe. N',est-il pas courant de dire que le
jugement est l'acte logique par excellence?
Il faut distinguer. Il y a des jugements purement esthtiques, qui
ne sont que l'expression d'un tat d'me. Ceux-l n'ont rien de logique.
II y a des jugements qui font entrer un individu dans une classe ou
qui lui attribuent une qualit ceux-l prsupposent videmment les
concepts, puisqu'ils les combinent. Enfin il y a des jugements qui sont
des dfinitions ceux-l sont des faits logiques primitifs, il est juste
de le reconnatre. Mais pourquoi? Parce qu'ils reprsentent l'opration mme qui constitue le concept un concept, et la dfinition de ce
concept, c'est une seule et mme chose (23).
i.
Mais le syllogisme? Il est, lui aussi, une opration sur des concepts,
et mme une dtermination de concepts. Pour s'en rendre compte, il
faut carter la fausse apparence qui nous trompe quand nous observons superficiellement une discussion. Nous imaginons que les
adversaires sont d'accord sur les concepts, et cherchent tablir des
relations entre les concepts. Rien de plus faux. Tout le ressort de
le
rptant
satit des aphorismes tels que ceux-ci savoir, c'est pouvoir; le but des
sciences est de doter les hommes de nouvelles ressources, etc. C'est l une
vue trs incomplte, entretenuepar une sorte de lgende historique laquelle il ne
faut pas se fier. Ceux qui ont lu Bacon lui-mme avec quetque attention savent combien de fois il recommande de chercher tucifera. non fructifera experimenta
combien de fois il rappelle Atalante perdant la course pour avoir ramass les
pommes d'or; il faut mme aller plus loin, et se rappeler qu'il donne la
science le rle de faire connaitre opus quod oper~Mf Deus et qu'il n'hsite pas
plus que les purs cartsiens crire cette formule radicale Scientia, quae
donc cet gard tout le contraire d'un agnostiest essentiae imago.
ciste ou d'un pragmatiste.
est
Elle ne peut avoir de concepts vrais, mais seulement des reprsentations gnrales, ou concepts reprsentatifs, qui ne sont pas des
reprsentations vraies, puisque leur gnralit les rend irreprsentables qui ne sont pas non plus de vrais concepts, puisqu'ils n'ont
pas la rigueur logique ncessaire la pense. < Ce ne sont pas des
connaissances, ce sont des actions utiles; elles ne nous font pas contempler la ralit; elles ne nous en font pas davantage comprendre
la nature elles nous donnent seulement le moyen de manier rapidement nos connaissances. Elles sont la pense du rel ce qu'un
index est un livre; on les a appels des tiquettes, des fiches, et l'on
a eu raison; comme connaissance, leur valeur est zro. (65-66.)
Ces ides gnrales empiriques et irrationnelles, l'auteur les appelle
pseudo-concepts. Sous la forme o elle est prsente cette thorie
peut sembler trs paradoxale il ne faut pourtant pas oublier que
l'opposition du vrai concept et du pseudo-concept n'est pas au fond
trs diffrente de celle qu'tablit Taine, entre les < ides gnrales qui
sont des modles t et t les ides gnrales qui sont des copies , ide
qui parat d'ailleurs inspire par la distinction faite chez Hegel, et
popularise par Kuno Fischer, entre les vrais concepts et les abstrac-'
tions. M. Dunan, dans ses Essais de philosophie ~n.fa!e, a critiqu
de mme le conceptualisme, sous sa forme ordinaire
montrant
que les seuls vrais concepts, identiques eux-mmes (et fort diffrents
en cela des ressemblances sensibles), sont les concepts a priori.
Il va de soi pourtant que ni l'un ni l'autre n'expliquent pragmatiquement cette gnralit.
Les lois empiriques et les causes empiriques sont soumises la
mme critique car lois et causes, dans l'entendement pur, ne sont
autre chose que les concepts eux-mmes; la loi de l'art ne diffre pas
du concept de l'art; la loi de la moralit du concept de la moralit. Donc,
pseudo-concept implique pseudo-loi; et, de fait, toutes les lois de la
nature que nous pouvons citer sont seulement des expressions indiquant quoi l'on peut raisonnablements'attendre, et non des principes
absolus exerant une dtermination rigoureuse sur le phnomne. Un
loup et une louve n'engendrent pas un homme, soit; mais ils engendrent
cependant, si le transformisme est vrai, un louveteau qui n'est pas
prcisment aussi loup qu'eux, puisque dans la suite des gnrations,
ils finiront par avoir des descendants qui ne seront plus du tout de
leur espce. Un verre d'eau et un autre verre d'eau, pour boire, c'est
en
pratique.
Il s'ensuit que la classification des sciences ne peut tre qu'empirique et de mme nature que le travail d'un bibliothcaire, moins
qu'on ne l'largisse jusqu' comprendre la philosophie tout entire.
Cependant, on peut classer les recherches et les ides scientifiques
concrtes; mais c'est alors au point de vue franchement historique,
comme le fait un historien de la civilisation grecque, quand il tche
d'assigner la place qui leur convient un Anaxagoge, un Euclide,
un Hippocrate. 11 serait souhaiter que les nombreux auteurs qui
perdent leur temps vouloir classer les sciences in abstracto, d'une
manire empirique et demi-philosophique, s'occupassent au contraire les classer in concrte, sur le terrain historique, qui est loin
d'tre jusqu' prsent cultiv comme il le faudrait (!M).
Un pareil travail montrerait combien il y a de fausses catgories
scientifiques, qui n'existent que par la runion traditionnelle, dans
un mme livre, de problmes htroclites, dont une bonne histoire,
aussi bien qu'une analyse philosophique,montrerait l'incompatibilit.
On peut en citer comme exemple la Linguistique, la Philosophie du
Droit, la Pdagogie, la Statistique, la Sociologie, la Criminologie, le
Folklore, etc., etc. M y a longtemps qu'on s'en serait aperu si l'on
n'avait pas laiss la Mthodologie aux mains des spcialistes de chaque
science: en Allemagne surtout, on a pris l'habitude, pour compenser
la confusion habituelle des ides dans le corps d'un ouvrage, de le
mthodologiste.
Deux chapitres terminent l'ouvrage l'un, sur la thorie de l'erreur,
l'autre sur l'histoire de la logique. L'erreur est chose extra-logique
l'entendement pur ne se trompe pas plus que l'intuition potique.
On n'a l'occasion d'en parler que dans le domaine de l'analyse psychologique. L, on peut reconnatre une certaine professionnalit de
l'erreur, quelque chose comme les idola theatri de Bacon l'erreur
du naturalisme, cette du mathmatisme, celle de l'historicisme, celle
mme de l'idalisme quand il est mal compris; et de toutes ces
erreurs, qui font fourmiller le champ philosophique de problmes mal
poss et inexistants, rsulte la grande erreur contemporaine, celle de
l'agnosticisme car accorder qu'il existe des ralits, c'est les connatre et si elles sont vraiment inconnaissables, leur existence mme
est un non-sens.
Quant l'histoire de la logique, elle est encore faire. Prantl, qui
seul a os aborder ce grand travail, s'est arrt au xve sicle. De plus,
il n'a pas domin son sujet, et s'en est tenu raisonnablement, mais
sans critique, la tradition aristotlicienne. Ce n'est pas ainsi qu'il
aurait fallu procder. Puisque la forme logique fondamentale est le
concept, l'histoire de la logique doit tre l'histoire du concept de
concept, c'est--dire du concept de l'universel, laquelle seront
subordonnes deux autres tudes de non moindre importance l'histoire des rapports du langage (et par consquent de l' esthtique *)
avec la pense; l'histoire des conceptions historiques, puisque l'histoire elle-mme est, comme on l'a vu, l'un des trois grands produits
typiques de l'esprit humain.
Sur le premier point M. B. Croce esquisse les transformations du
concept de Platon Aristote, de Bacon Kant et Hegel, le grand
rnovateur, l'homme qui a dcouvert la vraie nature du concept, et
des rapports entre les concepts. Mais Hegel lui-mme a commis une
erreur. H a cru qu'il suffisait de critiquer le concept empirique et de
lui opposer un meilleur modle, sur lequel il prtendait le rformer'
pntr cette grande vrit pragmatiste que toutes nos conTtamsattces ne sortt pas des connaissances i/tortques, et qu'ainsi les
sciences de la nature sont destines, quoi qu'on fasse, rester trangres au concept. Rickert, Bergson et son disciple Le Roy, Poincar,
Milhaud ont bien vu ce caractre de la science. Mais, du coup, ils ont
oubli l'universel'; confondant l'art et la science, ils ont prtendu
enfermer l'esprit humain dans l'individuel pour ne pas le sparer de
la ralit, le rduire la connaissance intuitive qui s'installe dans
le mouvement et adopte la vie mme des choses
Cette intuition
atteint l'absolu
M. Bergson dans son /)!<r0f.h(ct)'o~ ;t la ?n~ap/t'/st~Me. Mais s'en tenir l, on n'a qu'une philosophie acphale.
Ou bien cette critique na signifie rien, ou bien elle lve, au-dessus
de la science utilitaire, un mode de penser absolu qui la critique et
qui la juge. Elle ne sera donc complte que lorsqu'elle aura rtabli,
comme complment ncessaire de l'intuition artistique, o elle se
complait paresseusement, une philosophie de l'entendement pur.
Toute l'histoire des rapports du langage et de la pense est l'histoire
d'une erreur, forme ds Aristote dans notre monde occidental:prendre
les formes du langage pour les formes de la pense. Cette erreur fondamentale a engendr toutes les subtilits scolastiques. On s'est
donn beaucoup de peine pour montrer qu'Aristote n'tait pas tomb
dans les absurdits o ses continuateurs se sont complus. Peu importe
il en est responsable, car il a cr le Tcpro~ ~5o; d'o elles drivent.
Les adversaires de l'aristotlisme semblent d'abord y avoir chapp;
mais c'est une illusion ni les humanistes, ni Bacon et les thoriciens
de l'induction, ni Hegel, ni Schleiermacher, ni Kant, ni Schopenhauer
n'ont su voir o tait. le mal. Faute d'une philosophie du langage, ils
ont attaqu Aristote sur des points de dtail, et sont rests tidtes au
formalisme ruineux qui tait la base de sa conception. Lotze, Sigwart,
\undt, Brentano ont travaill sur le mme terrain. Les logisticiens
poussentactuellementce dfaut l'extrme ce sont les ractionnaires
de la Logique. Mais en dpit d'eux tous, il se forme un mouvement de
libration. Il est encore faible, mais il est sensible.
La troisime et dernire division de l'histoire de la logique devrait
concerner l'Historiographie. Elle est aussi celle qui manque le plus,
malgr quelques remarques heureuses faites empiriquement par les
praticiens de l'histoire. La philosophie intellectualiste, faute de comprendre le caractre propre de l'histoire, n'a pu en justifier l'existence,
et a engendr le scepticisme historique. Hegel avait l'esprit historique
mais en exagrant la rationalit du devenir, il est tomb dans toutes
les absurdits d'une philosophie de l'histoire qui croit dcouvrir dans
le monde un plan providentiel et un rythme dialectique absolu. Enfin
il n'a pas
dit
chez les contemporains,un travail commence se faire en vue de constituer scientifiquement la thorie de l'histoire cujus pars fui, dit
bon droit l'auteur, sans omettre d'ailleurs de citer Bernheim, Langlois
et Seignobos, Rickert, Xnopol. Quant Taine, Karl Marx, Ranke,
Lamprecht, pour intressantes que soient leurs recherches, elles
dbordent le cadre de l'Historique les opinions qu'on peut avoir sur
les facteurs des vnements sociaux et sur leur efficacit respective
appartiennent la philosophie gnrale ils ne touchent pas la
logique de l'histoire.
Ainsi finit, sans autre conclusion, ce long et curieux mmoire, o
abondent les dtails amusants, les paradoxes inattendus, et souvent
aussi les clats de lumire pntrants sur des questions singulirement obscures de la Logique et de la Mthodologie. Pragmatisme
radical en ce qui touche aux sciences de la nature, dogmatisme intellectuel intransigeant en ce qui concerne la philosophie, telles sont les
deux thses fondamentales qui en ressortent. Quelle en est la valeur,
on ne pourra le dire que lorsque le grand ouvrage, dont celui-ci n'est
pour ainsi dire que l'esquisse, nous aura donn avec plus de dtails,
la justification de la thorie du concept pur. C'est l qu'est pour le
moment. la faiblesse de cette esquisse; tout ce qui est ngatif et destructeur y est d'un incomparable brio, tout ce qui est affirmatif et
thormatique reste flou. Prenez le chapitre sur le concept, qui est le
nud de l'ouvrage, vous y verrez nettement ce que le concept n'est
pas. Les critiques x y abondent, elles remplissent les titres des
Critique de la ngation du concept, critique des
paragraphes
fausses thories sur le concept, fausses ides sur la dfinition,
critiques des diffrentes thories sur le jugement logique, -critique de
la distinction du sujet et du prdicat, critique du syllogisme, etc.,
etc. Suffit-il de dire que le concept, c'est l'unit vraie et l'universalit rigoureuse? Surtout en rapprochant cette unit logique de l'unit
organique d'un corps vivant, alors que la vie est prcisment l'individualit, et par consquent l'oppos de l'universel? Tant que ces points
ne seront pas nettement claircis, les purs ennemis de la vrit auront
beau jeu pour mettre au service de leur scepticisme la philosophie de
M. Croce.
VI
cepts invariables, arrts une fois pour toute, quel que soit le contexte
qui t'entoure ou l'usage auquel on les destine. Dfinir un terme A,
c'est dire quelle conclusion pratique on peut tirer de l'assertion
Ceci est un A Or, cette formule gnrale d'opration est prcis<
ment celle qu'ont dcouverte les logiciens modernes et qu'ils ont
appel dfinition implicite. Ou peut en rapprocher, sinon mme y
faire rentrer la dfinition par postulats, o l'on dSnit une opration,
ou une relation, en faisant simplement connatre toutes les rgles qui
s'y appliquent; et l'on voit que dans ce cas encore, suivant la formule
clbre de Peirce, l'ide de ce qu'on dfinit n'est que la somme de
toutes les consquences qui rsultent de la dfinition.
f!" La logistique n'est pas ennemie des faits particuliers; au contraire. son haut degr d'abstraction l'a conduite se faire une rgle
de complter mthodiquement ses formules par des vrifications particulires qui permettent seules de s'assurer que le groupe des propositions choisies pour principes dans une recherche dtermine ne
contient rien d'mcompafi'bte par ce besoin qu'a la logique pure de
revenir toucher terre, comme Ante, pour y reprendre des forces, elle
donne les mains au pragmatisme, qui soutient qu'une bonne mthode
ne doit jamais dparer l'intuition du particulier et la gnralit la
plus abstraite.
'7" Enfin pragmatistes et logisticiens tendent les uns et les autres
au maximum de concision, de simplicit. Ils travaillent, chacun leur
manire, gurir la science de cette espce de dgnrescence graisseuse qui multiplie indfiniment les propositions purement verbales,
en atrophiant les quelques vrits solides qui sont vraiment le corps
de la pense. Une bonne science doit tre maigre et agile. M. Vailati
voudrait appliquer cette dite le xpe~ov ~.mu ~'x';To< de Platon. J'en
trouve une autre expression qui confirme bien sa thse dans le livre
de M. Croce dont je parlais plus haut Le progrs de l'art, c'est
d'augmenter sa richesse; le progrs de la science, de simplifier sa
vie. L'artiste est un prlat et le savant un franciscain .
Je ne veux pas discuter dans le dtail ces analogies quelques-unes
sont peut-tre un peu extrieures; mais, dans l'ensemble, il y a certainement entre les deux tendances des raisons profondes d'accord,
malgr les apparences de contradictions. Ces raisons, je les chercherais moins dans un paralllisme ou dans des concidences de dtail
que dans le caractre complmentaire de ces deux conceptions
logiques.
La science moderne, ses dbuts, a t essentiellementcartsienne
je veux dire qu'elle s'est donn pour mthode de saisir d'abord la
ment?MM. Schiller ou Papini sont-ils esprantistes?Inversement tout le monde
sait que M. Couturat est un adversaire trs dcid du pragmatisme, contre
lequel il a plusieurs fois parl ou crit.
mmes sont encore souvent pris l'un pour l'autre). Deux choses en
effet sont considrer dans un systme de propositions d'une part,
comment, vraies ou fausses, elles s'impliquent logiquement les unes
les autres; comment on peut les transformer, les condenser dans le
plus petit nombre possible de propositions prgnantes ou au contraire les taler en une suite d'applications multiples;- d'autre part,
quel est leur point d'attache la ralit, leur point d'appui psychologique dans notre esprit; en un mot, d'o viennent, leur gard, l'adhsion et l'assentiment. L me parait tre la raison la plus gnrale de
l'opposition apparente, et de l'accord profond de la logistique et du
pragmatisme. Toute diffrenciation prend d'abord, au moment o elle
devient consciente, l'aspect d'une contradiction. Pour le mathmaticien, l'tage des vidences est devenu un tage intermdiaire entre
les principes les plus simples, d'o l'on veut partir, et les consquences
complexes o l'on aboutit; d'o leur dchance et le fait, trs bien
remarqu par M. Vailati, que l'es anciens axiomes et postulats sont
rentrs dans le rang e. La logistique a jet violemment par-dessus
bord le problme de la certitude, pour s'en tenir celui de l'implication. Quand on en parle certains de ses adeptes, ils rpondent avec
un mpris juvnile La thorie de la certitude et de la vrit? C'est
de la psychologie. Ils diraient pour un peu C'est de la littrature.
Le pragmatisme, au contraire, a tabli le centre de sa logique dans le
second problme la dcouverte du contact immdiat avec le rel; la
vie et l'action deviennent pour lui la question capitale, comme la
dcouverte de la formule minima pour l'analyste. Il s'ensuit qu'ils se
transportent d'emble aux deux ples opposs car, dans l'tat
psychologique si l'on veut des connaissanceshumaines, la certitude
solide, commune entre les esprits, propre servir de base la preuve,
se trouve presque toute place sur des faits particuliers ou sur des
propositions d'un faible degr de gnralit. Mais ils ne peuvent pas
se passer les uns des autres les ides de vrai et de faux, voire mme
l'ide d'existentialit reviennent sans cesse se glisser dans la logique
mathmatique. Et rciproquement la certitude, quelque intuitive et
pratique qu'elle soit dans son fondement ne devient rationnelle que
lorsqu'elleest systmatiseet transporte de proposition proposition,
et surtout d'esprit esprit, par l'oprationd'un argument discursif, o
reparat ncessairement l'universel. Les contradictions ne sont donc
qu'apparentes. Elles se rduisent, en dfinitive, la diffrence des
tempraments et des tournures d'esprit qui <: ne considrent pas les
mmes choses, et conduisent leurs penses par diverses voies . Tout
porte croire que leur dveloppement normal les rconciliera de luimme dans une logique intgrale, qui sera de nouveau ce qu'elle a
t d'une faon confuse, et ce qu'elle doit rester d'une faon consciente d'une part, science thorique de la consquence; de l'autre,
science normative de la vrit.