Les étapes de la philosophie mathématique, par Léon Brunschvicg.

CHAPITRE XVII
FOtRMATION DE LA PHILOSOPHIE LOGISTIQUE
DES MATHÉMATIQUES
%91I7. - N... ous avons à rechercher comment s'est accomplie
et.te rénovation de la logique formelle, et quelle part en revient
a. l'imitation des procédés mathématiques d'exposition et de
eionstraation. '.
En un sens, c'est de Leibniz que procèdent les idées générat prices de l.a logistique il a ouvert les différentes routes que le
xixe siècle devait suivre; il a entrevu les perspectives que pouvaient offrir, ou la mise en forme mathématique de la logique,
ou4 la raise en forme logique du calcul. Toutefois, si nous faisons
abstraction des révélations dues à l'étude des manauscrits de
ta.novre par Gerhardt et surtout par M. Coutuûrat, et si nous- nous
repoa3rton s à 'fiuence que Leibniz pouvait exercerursur ses successeur s.irmtédiats, nous ne pouvons guère retenir de la te.ntative de caractri.stique universelle que cette conception encore
tvage: i doit nessLer nne science des'équations logiques comparable à la science des équations-algébriques, etcertains systènes
dse r-eprésetati3..:s spatiales peuvent fournir 'une illstration dies,,t.mb rais ons, n rgiques, comme les courbes cart;siennes 'foursse.nt 'f.image des relations analytiques.
Qut'elie est la portée exacte de cette conception? En develop.
pa ys ys ma ueqmenit ya logique mathémaiique s-ivant 'une
e 'auaitrc des interprétations que la géomntrie analytique compor. le ele- mroe, c'est-à-dire dans le sens de l'algèbre pure et
dj-n le sens de la géométrie pure, Salomon Maimon et Gergonne
o pnt, apporté une réponse précise à cette question.,. N1oit:us titi.lions, dans!es pages qui vont suivre, le Courrs magistral proess au ColHlg e de France par M. Couturat,:sur l'fistoir e ela iogiq.e formelle
rmoderne (1905-1906). Voir la leçon d'ouverture,. qui seule a été publiée, dans
'i'a 'evut e'd.e aat.liahysi.que, 0, p. 318 et suiv.