Revue de mtaphysique et de morale

Source gallica.bnf.fr / Bibliothque nationale de France

Socit franaise de philosophie. Revue de mtaphysique et de morale. 1893.

1/ Les contenus accessibles sur le site Gallica sont pour la plupart des reproductions numriques d'oeuvres tombes dans le domaine public provenant des collections de la BnF.Leur rutilisation s'inscrit dans le cadre de la loi n78-753 du 17 juillet 1978 : *La rutilisation non commerciale de ces contenus est libre et gratuite dans le respect de la lgislation en vigueur et notamment du maintien de la mention de source. *La rutilisation commerciale de ces contenus est payante et fait l'objet d'une licence. Est entendue par rutilisation commerciale la revente de contenus sous forme de produits labors ou de fourniture de service. Cliquer ici pour accder aux tarifs et la licence

2/ Les contenus de Gallica sont la proprit de la BnF au sens de l'article L.2112-1 du code gnral de la proprit des personnes publiques. 3/ Quelques contenus sont soumis un rgime de rutilisation particulier. Il s'agit : *des reproductions de documents protgs par un droit d'auteur appartenant un tiers. Ces documents ne peuvent tre rutiliss, sauf dans le cadre de la copie prive, sans l'autorisation pralable du titulaire des droits. *des reproductions de documents conservs dans les bibliothques ou autres institutions partenaires. Ceux-ci sont signals par la mention Source gallica.BnF.fr / Bibliothque municipale de ... (ou autre partenaire). L'utilisateur est invit s'informer auprs de ces bibliothques de leurs conditions de rutilisation.

4/ Gallica constitue une base de donnes, dont la BnF est le producteur, protge au sens des articles L341-1 et suivants du code de la proprit intellectuelle. 5/ Les prsentes conditions d'utilisation des contenus de Gallica sont rgies par la loi franaise. En cas de rutilisation prvue dans un autre pays, il appartient chaque utilisateur de vrifier la conformit de son projet avec le droit de ce pays. 6/ L'utilisateur s'engage respecter les prsentes conditions d'utilisation ainsi que la lgislation en vigueur, notamment en matire de proprit intellectuelle. En cas de non respect de ces dispositions, il est notamment passible d'une amende prvue par la loi du 17 juillet 1978. 7/ Pour obtenir un document de Gallica en haute dfinition, contacter reutilisation@bnf.fr.

TUDES

CRITIQUES

LA

LOGIQUE DE M.

MATHMATIQUE PEANO

L'article prambule. teurs projet pdie, ont en

rcent Nos

de lecteurs

M.

Vailati savent dans qui

nous dj le que domaine

dispense M. Peano des

presque et ses

de

tout

collaborale Encycloau

partie de

ralis, Leibnitz,

mathmatiques, une

grandiose un rsum

rvait de toutes qu'il de dire

de

constituer les sciences la de

systmatique

humaines, Caractristique et de Formulaire 1895, plupart

d'une notation idographique moyen une ide universelle. Pour donner contenu scientifique, en connues il suffira publi formules dans les par de

appelait le tome

l'ampleur que et

l'uvre Ier du en la Logique,

son

de Mathmatiques, prend, rduites

la Rivista prcises sciences MM. Vailati,

di Matematica condenses, suivantes Castellano, Ciasses des limites de

comdes

propositions Arithmtique Thorie Thorie des sries des des

Algbre,

(collaborateurs grandeurs ensembles

(Burai-Forti), Thorie (Vivanti), Thorie des nombres

Burali-Forti), nombres (Peano), (Bettazzii, (Pano). augmente, la Logique voit, c'est Thorie Une a le une c'est

(Giudice), dition, revue, paratre

algbriques contient on le

seconde commenc

corrige

et considrablement (1897) 2. les Comme

le 1er fascicule

comprend V Arithmtique 2 (1898) immense uvre entreprise qu'ont de plus une uvre extrmement

mathmaticiens et ardue,

italiens; qu'ils

ingrate

travaillent

1. La Logique mathmatique. ap. Revue de janvier 1899, p. 86-102 de ce volume. secondo di H. GrassCalcolo geometrico 2. Cf. G. Peano, V Ausdehnungslehve nova methoda di Geoprincipia exposita, et Principii mann, 1888; Arithmetices 18S9. inetria logicmnente esposti,

L. couturat. sans cesse complter sans rserve

La

logique

mathmatique aussi

de

M. Peano.

617

hommage Ce c'est ques qui

et perfectionner; leur conscience surtout les philosophes la

convient-il dvouement. ce grand

de rendre

et leur dans notation les

intresse

travail, logimath-

la mthode qui servent En part, il

employe, formuler gnral, doit tre un

c'est--dire et dmontrer

et le calcul

propositions fins

matiques. d'une

symbolisme une qu'il stnographie doit les

logique et

a deux en sous entre les il doit

distinctes temps forme une aussi et cela

mme une les ides, tre

idographie, claire et par des

c'est--dire concise signes qui que

exprimer relations

possible

ides, sans un

reprsentent des mots; de toutes

directement d'autre part,

l'inter-

mdiaire (le de Calulus prmisses

fallacieux

algorithme

ratiocinator donnes

c'est--dire de tirer Leibnitz), permettre les conclusions comlogiques qu'elles de transformation de formules, analogues par de que le raisonnement propose successivement les inventeurs les nota-

portent, celles le calcul. du tions Calcul

au moyen de l'Algbre, C'est logique principes cette

de rgles en un

mot, fin

remplacer se sont

double dont nous

allons

exposer

et les

I Boole, logiciens le crateur de l'Algbre sa distinction de la Logique, fondamentale secondaires, et du signes Calcul des ou,

Depuis tous les

gnial

presque des comme prodit

2 ont adopt et Calcul emploient de sorte par source des

positions M. Ces aux

primaires Schroder 3, du deux mmes calculs rgles,

propositions des classes les mmes que suite,

propositions. (en leur partie) sont

et obissent de formules

beaucoup deux de confusions

communes C'est aussi exposer cherons l,

et comportent, une semble-t-il, un principe les

interprtations et de symtrie. et nous

diffrentes. mais allons

et d'ambiguts, Nous

et surtout sparment ensuite.

de simplicit sens de

deux

la notation,

les rappro-

1On dsignera par des minuscules italiques des classes, c'est--dire

1. Cfi Notations de Logique mathmatique, au Forpar G. Peano, Introduction mulaire de Mathmatique, Turin, 1894. 2. Except d'un Calculus of quivalent statements dont M. MacColl, inventeur nous parlerons sur les jugements. plus loin, et qui porte uniquement 3. Algebra der Logik, t. 1 et II, Leipzig, 1890-9!.

618 des ensembles

REVUE ou

DE MTAPHYSIQUE d'objets concept, ou l'ensemble

ET DE MORALE.

collections un la classe

respond ainsi cette

gnralement a reprsente condition ou que n'est lments) la classe

corclasse Une quelconques. l'extension dont elle constitue des objets Lorsque qualifis tous aussi classe b, et les la l'on a mais objets classe crit

nullement

ncessaire.

(individus b, on dit La

de la classe a est contenue

a appartiennent dans la

a o b. copule o est et le signe b sont de la subsomption. la formule des concepts, universelle dites gales, et tout alors a Les Logique. Nous du Calcul des allons des maintenant classes, dfinir qu'on purement de de Elle deux de les deux oprations fondamentales multiplication, offrent avec en les addition et appelle formelles qu'elles mme classes ces nom. a et classes, a^b. Le produit qui appartiennent a^b Ces aux qu'on deux proprits nomme oprations des 1 tive = b*a a<->6 = b^a. e logiques oprations logique de la deux fois classes ces a et deux b est l'ensemble ( l'une des objets b est ou l'ensemble toutes des deux objets ( l'une copules o et = expriment = b. les deux relations essentielles de la lment de l'une affirmative lorsqu'on

Lorsque exactement Deux

prcdente Tout a la boa, a est fois

traduit b.

la proposition classes a et b sont aob b

c'est--dire vice versa.

lorsque On crit

appartient

l'autre,

et

raison oprations La qui ou

analogies arithmtiques logique

somme appartiennent

l'une

l'autre).

s'crit

classes

et l'autre).

Il s'crit ou jouissent arithmtiques de ab. proprits analogues et

correspondantes,

1 Loi

commuta a~b

(op. cit., t. I, p. 283, d'aprs Schrder i. M. Vailati nous permettra de rectifier, et assoLes noms de loi commutative historique. note), une lgre inexactitude fois ap. Annales de Gerciative ont t employs par Servais, pour la premire distributwe a t invente par Sir W. R. (jonne, t. V. Seule, la dnomination le philosophe avec son homonyme logicien). ne faut pas confondre kamilton (qu'il

L. 2 Loi

couturat. associative [a"b)"c =

La

logique

mathmatique

de

M. Peano.

a"(b"c)

(ao)oc

a^bc).

3" Loi

distribulive a(buc) = abuac que la seconde loi a^(ic) distributive que la = (avb)(avc). ( droite) Logique que prsente n'offre n'a pas une pas

On

remarquera en ou,

d'quivalent symtrie,

Arithmtique, comme on dit,

de sorte une

dualit

parfaite

l'Arithmtique. Les oprations remarque tautologie par

logiques possdent Boole et par Jevons, a^a = a opration de la

en outre et que

une Schrder a^a

proprit appelle a. pas,

spciale, la loi de

= n'est

Il

y a une classe

troisime une c'est objets a, elle

logique deux

qui

comme sur -a)

les une est

prcdentes, seule

combinaison

classes,

mais

qui' porte

l'ensemble'des La pale ngation constitue

La classe non-a ngation. (qui s'crit qui ne sont pas a (autres que. les a). ses proprits aussi, dont la spciales, de la double -(-a) = a des deux objets qui ngalioti

princi-

le principe

qui non-a.

signifie En une

que outre,

la classe elle

a est tablit

l'ensemble entre les

ne sont oprations

pas

premires

logiques Aug.

corrlation (1858), = (-a-M-6) exprimer de

extrmement que traduisent

De Morgan -(&)

remarquable, les formules -(avb) = d'un

dcouverte suivantes (-a)(-b) produit somme est est

par

et

qu'on des

peut des

ainsi ses

La

ngation la ngation la

la le

somme produit un entre clef de

ngations ngations en deux dualit si l'on deux somme

facteurs; termes somme logiques, avons

d'une ngation elle

de ses et une

. Ainsi

transforme tablit ainsi Elle un dire permet lien la

produit les de la dfinir, des

en produit; et donne plus par

combinaisons que veut, nous l'une

pour haut. l'autre,

remarque

de ces oprations

au moyen

d'une

formules

suivantes aC6 = -[(-o)(-)]deux (individus) on l'appellera aucun objet classes que spciales, l'on peut l'une avoir qui est

ab = -{(-a){-b)} Enfin l'ensemble drer dans il convient de tous une qui d'admettre les objets

consipar classe

question ne contient

v; l'autre,

Tout et on ou lment

la dsignera c'est la

620 vide tablit ou nulle, alors

REVOE qu'on les formules a"(-a)

DE MTAPHYSIQUE appellera suivantes, Rien et qui

ET DE MORALE. qu'on dsignera par la ngation v A. On

caractrisent au(-a)=v

A =

et le de contradiction le principe respectivement en effet, La premire que les deux exclu. signifie, principe ou que nul objet lment aucun commun, a et non-a n'ont classes a classes La seconde que les deux n'est la fois a et non-a. signifie ou que tous les individus possibles, et non-a, runies, comprennent et qui expriment du milieu tout objet est a ou non-a.

2. Si nous les mmes au Calcul avec des un propositions, tout sens des nous diffrent. allons retrouver les

passons formules, italiques quelconque.

Dsormais, des affirmations

minuscules de forme

dsigneront L'expression

propositions,

a ob signifie implique vraie, tion On ou de dit que b est de la proposition traduit La a on dduit encore copule le jugement o est maintenant la proposition hypothtique le signe b, ou que a

b . Elle vraie.

Si a est de la dduc-

(MacColl). l'implication a et que deux propositions a = b,

b sont

quivalentes,

et l'on

crit

si vaut

elles aux

s'impliquent deux

l'une

l'autre. runies

Ainsi

l'galit

prcdente

qui-

implications aob,

boa a relation que est o et = deux des copules formelle Les deux des classes. le Calcul dans symplus dsigner a =v vraie = A s'il s'agit d'une sans condition (toujours des classes, et reoivent un

On

voit

que la

la

exactement boles nouveau

mme peuvent l'galit

v et ,v ne sens

signifie vraie);

que l'galit

la

proposition

a est a

signifie quation; On

que

a est fausse (impossible, proposition d'une s'il s'agit absurde, identit). la prsent dfinir les oprations logiques

peut

effectuer

sur

l.

coutdra.

La Le produit

logique

mathmatique l'affirmation l'galit v vraies. propositions v est vraie. La

de

AI. Peano. simultane

621 des

les propositions. deux propositions

a b exprime sorte anb que

a et b, de

signifie l'affirmation l'galit

que

a et b sont alternative

toutes des

deux deux u =

somme a et

aub b, de

exprime sorte que

signifie de a, on d'une suite, qu'elle -a,

que

l'une

des

deux

(au = par

moins) la

Enfin de

la ngation

reprsente l'galit

l'affirmation a

contradictoire simple cette -a,

a. Pratiquement, a, l'affirmation mme. l'affirmation Par

remplace

lettre proposition quivaut

proposition la ngation est fausse

tant d'une

quivalente proposition, les

a = a K que oprations jouissent correspondantes distributive sens que et de logiques que nous venons des mmes forproprits pour les classes est (lois int-

On s'assure de dfinir melles que de ngation. Le principe s'exprime mation. Le principe signifie qu'une par pour

aisment les

propositions

les

opration.8 associative,

commutative, ressant 'ia voir

le nouveau

prennent

Il tautologie). les formules

relatives

de la

double

ngation connu Deux

r(-a) ngations

a valent une affir-

l'aphorisme

de contradiction proposition du milieu proposition de milieu).' en passant, formuler deux sens avec bien aux de De classes; ne exclu est ncessairement peut tre

an(-a)~=\ la fois a<j(-a) vraie = vraie la Logique ou fausse (et et fausse.

Le principe signifie qu'il n'y qu'une a pas

On remarquera, que vant l'on a pu les les

que prcision

c'est

grce les dont

symbolique et

principes ils sont

de la.Logique,

distinguer qu'on les

distincts classes Morgan

applique les

Enfin bien que

formules

ou (concepts) valent pour les propositions

suisusceptibles, aux propositions. aussi

pour

l'une

1. Ceci n'est vrai que pour les propositions sens constant, qui sont toujours vraies ou toujours mais non fausses, sens variable, pour les propositions qui sont tantt vraies, tantt en d'autres fausses, termes, qui sont probables. C'est ce qui explique la divergence entre le Calcul logique que nous exposons ici et le Calcul des jugements de M. fond sur quivalents MacColl,la considration des probabilits.

622

BITAPHYSIUE jPEVDE DE -(a&):=(-a)u(-6)

ET DE MORALE.

signifie soit

gue,

pour il faut

que

l'affirmation que

simultane l'une d'elles

de deux soit fausse.

propositions L'autre v

fausse,

et il suffit

-(a^5)=((-a)(-A) signifie soit mules aux que, pour il faut que l'affirmation que alternative toutes deux de deux soient suivante, propositions Ces forapproprie

fausse, peuvent

et il suffit s'crire

fausses. plus

encore

de la manire

applications

pratiques [anb
\aub

= a)
= a) =

= (a = aW(7>
(a = a)"(6

=
=

A)
A)

11 convient, mode remplacer beaucoup souvent mules et trs

ce

propos,

de

faire

connatre par M.

une Peano.

notation Elle

trs consiste et

com

ingnieuse,

imagine par point des

les parenthses l'criture, mme prcdentes un de deux

points, la tenant

ce qui place )(.

simplifie d'une

claircit et les for-

parenthse

parenthses comme s'criront ah avb = A. =

accoles suit:,

Par exemple,

=. a = a.o. a. =. a

= A. ( les autres, C'est

= A.=A. les unes

Lorsqu'il

y a plusieurs

ou les remplace ainsi que

s'enveloppant parenthses de points rgulirement par.autant. .hk.l L

juxtaposs.

l'expression ab.cdie.fg

quivaut

exactement

la suivante \[(ab)(cd)][e(fy)]\[(hk)q

qui

est On

manifestement voit que termes secondaires. intgrants la de les ou

moins propositions facteurs Celles-ci propositions du

lisible ( dans

et plus copule d'autres

complique. o ou =) peuvent que tour de suite. figurer Boole les lPour suite, rela-

comme appelle ments discerner englobe tion, du

peuvent

propositions, leur constituer et ainsi

tertiaires,

proposition toutes les autres de chercher nombre reprsente grouper ceux de

degr

et qui quelle de points

celle qui, par le plus lev, elles une certaine entre affirme &%t la (tant copule droite qui est

il suffit plus doit grand qui d'abord

accompagne gauche). l'interprter, C'est

qu' Pour des

celle-l on puis

l'affirmation les ces signes groupes

principale. entre compris qui sont

combiner

compris

simples, points entre des points

l. doubles, que vertu'de entendre d'autres par

COUTURAT. et des ainsi points de

La suite.

logique Deux tre

mathmatique propositions multiplies ont Cette la de

de qui l'une

M. Peano. ne sont par spares l'autre,

623 3

doivent

en

l'usage que les mathmaticiens le signe de la multiplication. abrviations qui augmentent engendrer que sens, d'ambiguts.

supprimer

et de.sousencore des

notation clart

se prte et la simplicit

formules-sans On dans remarquera les deux entr etc.) entre qui d'uniformit,

les propositions primaires soit comme relations entre tandis que les

peuvent classes,

s'interprter soit comme

relations (tertiaires, relations gnit plus

propositions; ne peuvent

propositions s'interprter

secondaires que' comme d'homopour des erreur, que

videmment Il y a l, certains tous les sans

propositions. explique que

doute; 1 aient du

un dfaut cru devoir, logique aucune les

logiciens lments ne peut les mmes

rduire Mais cette de

calcul

propositions. puisque pour plus les les

rgles

quivoque calcul sont et elle rend

entrainer pour

classes symbolique double

propositions, et par plus et

au contraire en lui champ fournissant

la Logique une

puissante

prtation

suite

fconde, un double

inter-

d'application.

3. Il reste tions l'emploi Cette traires tion des du tablir symbolisme des transition on peut classes, intervenir par est mmes peut faire ou un lien que signes se faire driver inversement. la notion du et nous dans un passage venons deux entre d'exposer, sries manires, des avait et en d'acceptions ou en deux de les deux afin interprtade justifier diffrentes. sens con-

de deux la notation

propositions pris

la notaparti, chaque des ins-

Boole temps,

le premier

en faisant proposition tants par la des nuer dj

reprsentant par l'ensemble

sa dure vraie.

de validit, Dans des ou cette

c'est--dire conception,

o elle

adopte rentre

M. Schroder, titre en

le calcul d'application sens inverse,

propositions de cas

et dveloppe dans le calcul des M. Peano a opr

classes

particulier. le calcul pas des

rduction

et ramen dire, il n'est de

classes et,

au calcul sans dimiavait en catde

propositions. en rien son trouv

A vrai mrite, de

le premier, que

il convient transformer ou,

rappeler les

M. MacGoll primaires

le moyen secondaires, en jugements et surtout

propositions termes,

propositions goriques

en d'autres

les jugements ingnieuse thorie

hypothtiques, M. MacColl..

par

son

1. M. Peirce,

624 Ylment effectue Soit calcul classe, qui peut

REVUE

DE MTAPHYSIQUE en deux

ET DE MORALE. mots, comment M. MacColl

Voici, reprsentatif1. transformation. cette il exprimer des le jugement

catgorique symbole chaque On considrera valeurs

Tout

a est

b dans non variable devenir peut

le une x

o propositions, mais une proposition. prendre On exemple toutes tour les tour peut la ainsi classe ceci

reprsente, un lment c'est--dire fixes un b. Cela de qu'on

gal (identique) considrer8. conque, sition partie ment ment Ds par la par prcdente

tous lui

possibles, les lments parcourir classe les fois lments que

avoir quel-

faire la

ensemble pos,

a ou Tous les

signifie b. Donc,

la propoa font la classe un plus l-

de la classe de a,

toutes

x reprsentera de b. Ou,

aussi un il reprsentera Si x est un a, x est un b . si l'on reprsente a; est par par un

lment

brive-

lors,

a la proposition b , le jugement

v x est hypothtique

un

a , qui

proposition s'exprimera

prcde

l'implication otop

qui

quivaut

exactement

la subsomption a o b

et

qui, C'est

par un des

suite,

exprime

galement

le jugement M. Peano avec

catgorique dduire

prile

mitif. procd classes qu'au comme une lieu M. analogue du Calcul de MacColl, propre 3. qu'emploie des rduire il l'en propositions; systmatiquement fait au contraire ides de pour cette le

Calcul toutefois, second, accorde partant entre d'une

diffrence, premier sortir, primitives, consquence et au lui et

valeur

Il considre

comme ou le rapport simultane^) dfinirentre Pour deux cela, celle-ci la

indfinissables, deux propositions,

Yimplicaon (o) leur affirmation il s'en sert pour

et proposition, ou le rapport concepts duit (~), et la ngation autre de la ide classe ou relation a

et la ngation des subsomption (a), recours un leur pro une individu

de contenance d'une primitive, par classe.

classes il a

savoir

x est suivante 4

il la traduit

l'expression

1. V. MacColl, Symbolical ap. Minci, n il, janv. 1880, notamment Reasoning, pp. 7 et 12 de cet article. la l le procd reconnatra qu'emploie mathmaticien gnral 2, Le lecteur une figure (une courbe par ex.) comme Gomtrie pour reprsenter analytique variable le lieu d'un lment (point) qui la dcrit et l'engendre. au 3..Cf. Introduction Formulaire, 16. 4. La lettre z est l'initiale. du. mot grec <ra = est.

L.

couturat.

La

logique

mathmatique ea.

de

M. Peano. 1(P.

625 1.~ 2.)r il le'

qu'on adopte sujet tion,

peut une est

lire

simplement spciale Cela des classes

x est e, pour pos, voici

un g,

. En

d'autres singuliers

termes, (dont la subsomp-

copule

les jugements comment

individuel).

on dfinit

a et b tant

a o b. = ce c'est De du signifie que, Dire si x est on dfinit de deux que un le

:xm.o.xs.I> X a est aussi logique en contenue 2 v deux classes au dans la

(P. classe

12.) b,

qui

la classe a, il est produit

dire

uni. de

mme,

moyen

produit

propositions, x$(anb).

crivant: .xsa.xeb. (P. quelconque la fois aux x appartient classes a et 14.) b . au ide ordre de

ce la

qui classe On

veut (

dire dfinir)

On dit ab, s'il

qu'un

individu

appartient la somme propositions,

de mme pourrait de la somme de moyen primitive inverse, l'addition donc l'affirmation et dfinit des au

dfinir deux

de deux classes logique en postulant comme M. Peano suit un au moyen la ngation. de la

alternative3; contraire et celle-cides

mais

l'affirmation-alternative au classes moyen de

classes, la

comment

ngation

se dduit

Voyons des ngation

propositions. p une proposition; p Si la proposition tradictoire). la ngation sur sa copule, en Soit dsigne est sa ngation (c'est--dire crite, on fait devant; sa conporter par

explicitement

l'crivant

immdiatement

exemple: (a On et peut = b) alors (a dfinir indtermin, x s. (- a). c'est--dire n'est 1. 2. soit plus qu'il 3. cette pas un x est a . C'est (par = la b) ngation on =. x crira e a. = -(x un de non-a, la classe a) toutes non-a les ((P. fois a). 104.) qu'il d'une -(a o b) = classe. Soit (a -o b}' a une classe,

x un

lment

dfinition)

l la dfinition

La majuscule P est l'abrviation du mot proposition. L'indice x plac au-dessous du signe de dduction a veut dire quel que l'individu variable ou indtermin x . Nous ne pouvons entrer dans de fort utile et fort importante, amples dtails au sujet de cette notation, mais serait trop long d'expliquer ici. C'est ce qui a lieu dans l'Introduction au Formulaire, 16, o l'on trouve dfinition de la somme a\A> ctavb. =..xea.v.xeb (3.)

026 Une dfinir au fois

REVUE dfinie la de

DE MTAPHYSIQUE ngation deux classes de De aub = des

ET DE MORALE. M. Peano de s'en leurs sert pour

classes, par

la somme

le produit dj b)] il des a; dfinit cite

ngations,

moyen

de la formule

Morgan [(-

a) {-.

(P. la somme par la de

201.) deux

Enfin, propositions suivante

comme au

nous moyen

l'avons de

annonc, l'addition x a b. =.

classes,

formule

x e a.u.

s kub)

(P.

202.)

de la formule le produit des classes, qui dfinit qui est la corrlative membre sorte en sens le premier mais inverse, qui se lit en quelque dfini tant toujours) par le second. (comme

4. 'Il l'ordre logique. semble pour sujet; de convient et de prsenter ici quelques des lieu, la ides formule elle pour pas de remarques fondamentales que nous critiques de touchant ce Calcul nous que mme gnral quelle des signe pro-

l'enchanement En premier

venons en effet de

d'crire l'addition plus, au cas termes trouve entre le

manquer des en outre,

de

gnralit ayant ne parait

ne dfinit copule pouvoir Par e,

propositions elle

et,

s'tendre

l'affirmation et u

alternative copule employ o u. un en a o c cas mme ni celle c'en est on pour pour

deux

propositions exemple, 228 on

conques d'addition positions

quelconque. dans les

propositions

et 229

copule a o b.

a a e. lequel que prdicats provient l'addition cette et des N'et-il en de la des ce signe le signe n'a

o. b o c pas t dfini impliquer Cet ni t

c'est--dire exemple l'identit Ce

dans montre des

temps des un)

ne doit

sujets (si

dfaut par long

mthode

tout

faita de

dtourne suivi un

laquelle circuit "des la des

a dfini aboutir

propositions. en partant

On

dfinition, passant

la. multiplication tion enfin tuler des classes, l'addition la notion

propositions ngation

propositions pas mieux en

la inultiplicapar et celle des classes, valu dfinir temps ou que poscelle

classes.

d'affirmation

alternative,

mme

1. Depuis que ces lignes sont crites, M. Peano nous a indiqu on comment formuler correctement cette au de ou E, peut la copule plutt proposition moyen au moyen de la relation mais ce dtour nous parat artificiel et cominverse; pliqu.

L. couTURT. d'affirmation mdiaire au Calcul Sans sitions par les. du des doute, au moyen des le Calcul propositions; et bien simultane, Calcul

La

logique et ne classes, pas

mathmatique emprunter le

de

VI. Peano. et en

627 l'intergnral

secours

des

puisqu'on

le subordonne

propositions? on pourrait de la classes, mais dtourn. (au moins) puissent manire de la et dfinir multiplication en adoptant c'est encore Cela des tre de directement et .la l, de la formule semble-t-il, en somme, a les deux par . une et si au l'addition ngation, de des sans propopasser pour bren Affirvraie,

De Morgan un moyen b est la fois. l'intermdiaire grave dire et

artificiel mer c'est que nier

revient, deux fausses dfinir

l'une qu'elles

propositions toutes l'addition prte des classes symtrie

D'ailleurs, de qui la ngation

cette

s'applique Elle

galement dtruit en

multiplication au Calcul effet cette

objection, Calcul des prodes

positions; deux dualit vrai parat moins sur en qui que

remarquable

combinaisons

et cache leur rciprocit fondamentales, ou leur , si commode la mmoire pour soulager et l'esprit. Il est cette dans tout le Calcul dualit, qui rgne des classes, disdans le Calcul pour propositions. qu'ils de plutt font rgularit tre les des propositions, qui peut-tre le de calcul symtrie, comme un et fondent ont-ils le plus sur cas que ds lors' la elle a logiciens Mais reposer et regard toute tort

bientt

d'importance le Calcul des

Logique

prcisment celui plus du

cela, offre

attendu le qui plus doit

gnral, un calcul

spcial prcdent. Enfin, damment tion et

particulier

il nous les

semble

prfrable

de dfinir

sparment (addition, leurs sont curieuses en d'une prix. les ralit

et indpenmultiplicaet fcondes des ou thod'un tout des

trois,

ngation), connexions. Les rmes, produit, leur intrt qui

oprations fondamentales et de remarquer ensuite formules de De Morgan la l'utilit sens arbitraires d'observer et qui n'est ngation et

permettent ce qui

d'effectuer, en tout fait

somme Elles pose perdent

et c'est

le

et presque ou'des cas, il est

leur

quandon

comme

dfinitions, En systme tout

conventions instructif

l'volution peut-tre pas

qu'a un

subie progrs.

le

logique

de M. Peano,

L Cette mthode avait, t dj employe par M. Peano dans ses Arithmetices de constater pnncipia (1889). Il est curieux que, dans cet opuscule, il interprte la lettre o comme initiale du mot consquence, et par suite, comme signe de comme dans la deuxime dduction, dition du Formulaire ($ 1, p. 26), tandis au Formulaire que dans V Introduction (p. 7) il la prsente comme l'initiale du mot contient (bca. = .wab.).

628 Dans l'Introduction

REVUE

DE MTAPHYSIQUE

ET DE MORALE.

avons suivi peu prs nous (dont dfinie se trouve notation des classes dans l'ordre nos | 1 et 2), la et la duaen driver; des propositions, la notation qui parat avant en vidence. est mise et multiplicatives additives lit des formules relatives aux les formules le Formulaire dition), Dans (premire aux relatives drives des formules sont classes systmatiquement des proposil'addition a dj et la dualit dispara, propositions, de De Morgan 2, P. 6). Nandfinie (| tions tant par la formule et de la somme dans les dfinitions une trace il en subsiste moins, de tires des notions des classes, du produit symtriquement qui sont la deuxime de propositions et de produit ( 4, P. 3,4). Enfin, somme de discuter. nous venons l'ordre suit du Formulaire que dition de la et la symtrie la clart Peut-tre avantage, pour y aurait-il la dualit ressortir faire la premire mthode, revenir thorie, le Calcul nettement et lui subordonner des classes, le Calcul dans du- Formulaire des propositions. On peut encore les se demander si la copule Au s est premier a; 2, 3, que qui bien ncessaire elle exemple, qui les parait pour semble elle une s et a abord, par ce

distinguer faire oblige double

jugements emploi avec la

singuliers. la copule du dit, bien ainsi pour que la

gnrale syllogisme il est vrai

ddoubler inutile. deux

formule

complication reprsentent prits ment, Mais sujet une cela x est relation ne sont

On nous relations C'est que

copules

distinctes, les

diffrentes. vraies

propositions copule s, et non

des propossdent 104 et 202, notampour dans la copule le cas 9. o le

revient un

dire individu.

vraies ne sont que qu'elles les deux Au fond, copules celle en d'inclusion commun spciales la ou plupart copule de

s et expriment ce qui et ralit les fait, forque, x est (la a?

unique, aient proprits

subsomption, de leurs proprits; en que ce

explique les que mule tant contenu classe

qu'elles

prtendues les M. proprits

de la de

s 'ne sont telles ou dans pour

caractristiques Elles classe a se

l'individu, en somme

SchrSder*. une

rduisent

donne

quelconque, cette videmment

l'individu classe pas ou vrai

lment sa

ncessairement non-a), ce qui n'est

dans

ngation classe une

corolsont en effet de simples (P. 25i et 252 du Formulaire) 1. Ces formules la somme des classes. laires de la P. 201, qui sert de dfinition 25 et 26 (II, g 1). 2. Voir, plus loin. les propositions au Formulaire,. cf. introduction 3. Article de M. Vailati, p. 91 de ce volume; S 16. 4. Algebra der Logik, 47.

L. couturat. contenant tions vraie lement traires peut et plus #;est l'autre caractris sont dire que en d'un un a

La

logique Il

mathmatique en rsulte un non-a que

de des

M.

Peano. propositoujours essentiel-

629

lment. , et En ce temps est la

deux est est

af est d'autres fait que,

, l'une l'individu

fausse. par mme l'une

termes, pour lui,

les et et

propositions voil crire pourquoi

conl'on

contradictoires; de l'autre, (-a). de

ngation x-aa.

.xe.

On pourrait placer spciale dans On dfinir dfinit o ne par le calcul dira la aussi figure la

donc, copule

semble-t-il, 3, en

se passer adoptant pour

la

copule en

s et une tenant

la

rem-

l'individu et

notation compte

(lettres des

grecques, proprits qu'on et le

majuscules, particulires a produit besoin des au de

etc.), dont cette

il jouit. copule Mais M. spciale Schroder formelles pour les

peut-tre somme bien que la

classes. moyen

(aprs

M. Peirce) a copule xsab. (tvboq. = .iaa.

de relations

xob b hdx s pour la une dfinir P. 12), le

(P. (P.

53.) 213.)

= .aox. la copule plus

Il est elle-mme

vrai

que entre

M. les

Peano classes cette

emploie (voir relation

la copule tandis primitive. Calcul des que

haut

M. Schroder Cette classes le fait tutifs tablir ses croit sans second appel des les entre pouvoir considrer divergence sur

considre tient

comme

donne fonde

d'abord des

ce que

M, Peano

tandis propositions, drive que M. Schroder du premier. Mais elle provient surtout de ce que M. Peano dans sa dfinition la considration des lments consticlasses, principes lesquelles concevoir leurs une est autre la de tandis de que son M. calcul. Schrder Ce sont pas prtend l deux s'en passer pour oppoclasses classe

l Calcul

mthodes

il ne nous le

appartient

de dcider. entre exemple les 12). lments

M. Schrder deux Une

rapport sans elle

de contenance dire par tous la et classes, que classe plus M. P.

lments, quand

en contient ci (ce qui parat d'inclusion individus dfinir de la aprs proprit

contient de classe, deux Et, bien une

de celleil nous

traduction concevoir

verbale une entre

Toutefois,, plus la

difficile ou qui

encore sans

relation les

d'exclusion les composent. l'individu

considrer prtende jouissant remarquons loin,

Schroder

coup

comme nonce

particulire haut, nous

caractristique

1. les propositions 2. SS 1 etCf.

14 et 54, 202 et 234 du

Formulaire.

Voir plus

EL

30 que, pliquer intervenir Il faut, que et tous qu'elle pour dfinir sans la

REVUE

DE

MTAPHYSIQUE de multiplicit le calcul des multiplicit compatibles

ET

DE MORALE. laquelle seule peut de oblig constituent'. c'est--dire entre soit une Nous et de faire repose qui le passe eux; classe nous ressur s'efforce ait bien. la s'apfaire

l'espce

contradiction. nature dit-il

logique, lments soit et

il est qui la

individuelle que la

en effet, ses suit

consistante, associables

lments pure,

soient c'est--dire lments cette entre individus, le

compose contentons sortir la

d'autres de signaler diffrence des cette de la

lment ne qu'aucun de la mme multiplicit. difficult qui de droit,

considration d'exclure .besoin Mais dans bien pour ment crira

de M. Peano, qui systme de M. Schroder, et celui Ainsi s, dont s'explique le second que se

considration. copule spciale

premier fort

c'est son utilit de cette copule, surtout ce qui justifie l'emploi il faut En effet, des propositions mathmatiques. la notation dans formule, chaque le sens des lettres qui figurent spcifier elle est vraie, autredans les conditions dterminer lesquelles dit, par son domaine de valabilit. C'est a, b,ctn, a,b,c etc. des s par E nous d'tre dsignent lettres ,6, csr, des etc. nombres n, Il lettres des une est a, entiers, r, clair etc., qu'on isols. stnograp ou des tant ne En quoi sert la. copule s on

exemple

pour

dire

Les rationnels,

lettres

nombres destines pourrait dsigner rsum, phique

les classes o, de car

romaines

dsigner

dtermines. alors les et

remplacer des la qu'une

b, c, pourraient

ensembles copule raison

nombres, parat logique. avoir :[:

non plutt

nombres utilit

II notations de M. Peano nous avons discut allons fournira les dfiprsent l'occa sur Calcul lesdes

En exposant nitions exposer sion quels classes ont suivre les et les les

les ides rgles les

Nous de son systme. primitives ce qui nous de son calcul logique, axiomes Ces des axiomes propositions, formelles, d'une et que double ou propositions la valent de sorte toutes interprtation.

de discuter il est fond.

primitives le fois pour que les ces

et le Calcul mmes sont rgles

deux

calculs qui vont

formules

susceptibles der Logik, $ 9.

t. Algebra

L.

COUTUIUT.

La"

logique

mathmatique 1 1.

de

Peano.

631

Le s'crit

premier

axiome

de

la

Logique a

est

le

Primipe

d'identit, (P.

qui 21.)

Si a est La Si a est formule

une une

classe,

il signifie

(Tout) aa

a est

a.

vraie, exprime a est vraie. com

proposition,

il signifie engendre la

Si a est suivante, qui

prcdente le mme

pltement

plus

principe (P. 41.)

Un second

axiome

est

le principe a = de a simplification b abob que ce le qui produit rsulte de de deux sa

: (p. classes 23, est 24.) con

>abo} Pour tenu Pour les classes, chacune il signifie d'elles,

dfinition mme. il a propositions, une signification encore plus vidente Ce principe de permet un produit en le simplifier remplaant par un de ses facteurs. C'est.le de tous principe les raisonnements a On en dduit la formule fortiori. corrlative par dualit les aoa^b dj Un runir produit connue troisime en des une de Leibnitz. axiome seule deux est le principe propositions de composition, de mme qui sujet, en permet faisant de le boa^b boaub b (P. 219.) (P.2t9.)

dans

prdicats aob. a o'c. MlcGolI o. aobc qui alors a que (avec Boole M. (p 97

Ce principe rintgr l'avaient De cet dans

est

M.

(1878), 0 (est),

la Logique par et du

la copule la copule prcdent == on

Peirce)

et Jevons

remplace axiome

(gale). dduit'1 le thorme dj (P cit 53 for)

aob.aoc=.'aobc Celui-ci mule par engendre Leibnitz ooc.ioc et tuer comme les rgles suivantes,-dues des prcdentes du principe
T. VII.

son

tour

la

proposition = au boc qui sujet effectuer plus-bas).

j~u"

corrlative,

dj

(P. permettent de mme la

213 ) a.

M. MacColl, de mme d'en (voir

d'effecprdicat

l'addition les

propositions permettent

ou

multiplication

1. Au moyen
Rev.
Meta.

du syllogisme
1899.

632

REVUE

DE _z

MTAPHYSIQUE n .1.

ET

DE

MORALE.

a o b. u. aoc.xj. Ces quatre ou rgles" peuvent

et

ne.

o.

c aobuc c comme des

(P(P. rgles

228.) 229.) de

boc. tre des

o.ahoc

considres propositions. les mais constant deux

composition Il convient remplacer o a,

de combinaison de remarquer principale propositions fausses) de ne l.

la

copule des ou

dans que o par=, sens

dernires dans

on

seulement (c'est--dire

peut le cas nces-

b, c sont vraies

sairement Un gnral, buts. autre

mode en ce qu'il

composition suppose des a o b.

drive l'identit formules cod.

du ni

prcdent; des sujets,

il ni

est des

plus attri-

Il s'effectue

en vertu

suivantes (P. (P. 34.) 209.) ou les cor-

o. ac o bd s

avb.cvd.Q.avCvbvd qui s'noncent on De peut deux (ou

secondaires) termes sont

dduire la

(primaires propositions plusieurs) dont nouvelle une proposition somme donnes par joint ou des produit H. Ces formules, le (1878). d'identit, Leibnitz et en qu'il voici engendre 2, que vaut la termes dcouvertes

respectivement des ont propositions t retrouves

respondants par Le encore appelait, nommer, Leibnitz, principe un toi

M. MacColl au principe par

de composition, autre principe, M. Schrder, dj Jevons loi

remarqu loi

Boole mieux

de dualit,

de simplicit,

avec

de tautologie aoaff

formule (P31.)

d'o

drive

immdiatement

la

formule a = aa

complte (P. par dualit (Plois termes dit, que de tautologie (ou la facteurs) rptition en Barbara (P. 26.) 204.) M.)

On peut

en dduire

la formule

corrlative aua = a deux deux

de Leibnitz. connue galement ou le produit que la somme quivaut mme Un au terme quatrime terme (ou simple; est

Ces de

signifient gaux d'un

autrement inutile. le type

facteur) axiome

constitue aob.bvco.a.oc

du e

syllogisme

1. Cf. Schrder, Algebra der Logik, 21 leon, g 45. dition du Formulaire comme axiome dans la premire 2. Prsent comme ci-dessus. dans la deuxime dmontr

(l, S

P. ij

L. coutumt.
bt

La
1

logique on tout

mathmatique a le a est syllogisme c. Si a,

de

M.

Peano.

633 Tout proposi-

Si a, b, c sont a est tions, vraie, vraie b, tout on

e.

des

classes,

b est c, donc a le syllogisme

catgorique b, c sont des dit)

hypothtique vraie, c est

(proprement vraie; donc

Si a est c est

b est vraie; . formule le cas sujet

or si b est

si a est vraie,

A cette autre dire pour a pour

gnrale, o la

M. Peano est un

croit

devoir

en

joindre

une c'est--

mineure

jugement

singulier,

ua individu a o b. x s a. o. x t b encore C'est le un fp# 25.) autre

La axiome, du

premire qu'on

dition ne retrouve

du'

Formulaire pas dans (modus a.adlj. la

contenait deuxime.

principe

raisonnement

hypothtique

ponens) o.b b et est qui vraie. (I, s'nonce Gela vient suivant. i; p. 19.)

qui

n'a

de

sens b est

que vraie;

pour

les

propositions, donc

Si a sans

est vraie, doute Ce dont

or a est vraie; peut

-de ce que nouvel nous

ce principe axiome est le

se dduire

de l'axiome

donnerons due

'principe seulement la

gnrale,

M. Peirce

et d'exportation, d'importation formule la plus et la plus simple des (a, b, c sont propositions) b o c =. ab o de l'galit, (p. comprend 74 les V

a o. Cette deux formule, suivantes eu vertu de

la dfinition

a d. b o e ab o c, 0 La premire qui en dpend; c; donc au contraire ou elle a est elle permet elle ^importer signifie a et en

0. ab 0 c a o. b 0 c

(P.73.) (P. a dans la dduction a est 72.) 1

l'hypothse effet ceci b sont

b o c vraie,

Quand c est a, pat't vraies, de vraie. la

b implique permet, dduction pralable quand

quand

vraies,

La seconde dgager de la

^'exporter figure, pour Quand peut permet dduire

l'hypothse la poser a et b sont c de b.

comme c est

condition vraie; donc e

signifie on

vraie, prcdent

L'axiome cipe

de dmontrer En effet,

trs

simplement la

du raisonnement

le prindduction

hypothtique.

si dans

a 0 b. a. d. b on exporte l'hypothse dition a 0 b, il vient du Formulaire, I, g 1, P. 37, 38, 39.

1. Cf. premire

634

REVUE

DE MTAPHYSIQUE a o b. o.

ET DE a o

MORALE.

qui de

est celui-ci

une

forme

du

principe

d'identit.

Inversement,

on

dduirait

la formule remarquer en vertu entre du

On peut se dduire, correspondance

en prcdente que la formule mme deux principe, sens x les

l'hypothse. important du syllogisme singulier de la formule o (P. qui tablit de la copule a. a. xib b

peut la

a o b. = d'o a o b.o En effet, il suffit d'importer ao On Un peut dernier donc se dispenser est b.

12.)

x t a. l'hypothse xe a .o.

o. x e b pour x b s pour axiome. ou un 2 (P. 108.) mieux de transusage dans obtenir la formule (P. 23.)

de la prendre

axiome

que M. Peirce position, Il se traduit son calcul.

le principe de transport il fait et dont a invent par la formule suivante

grand

aboc.Q.a-co-b d'o drive la formule plus complte ab o c. = du a-c mme o-6 an o-fl. de la prcdente principe plus principe

(P.

109.)

De qu'exprime

ce

principe la formule

M.

Peano

dduit

simple, (P111-)

a o b. o.-b celle-ci, qui rsulte

ou

encore

immdiatement oo.=.-o-a

(P. nom qu'au prcdent. principe

112.) Nous de

11 donne prfrerions contraposition. Si tout est bien

ce dernier l'appeler, En a est le type effet, b, tout de la

principe conformment quand non-b est a

le mme

& l'usage et b sont des

classique, classes,

non-a,

et rciproquement a et b sont de

il signifie , ce qui des b, la dont proposifausset c'est voici le la

contraposition.

Quand de a implique

tions,

il signifie celle

Si la vrit de a,

celle Dans

de b implique principe formule du

et rciproquement. hypothtique a o b.-b. o.-a. (modus

ce sens,

raisonnement

tollens)

$ 16au Formulaire, 1. Cf. Introduction cette dduit formule, 2. A vrai dire, M. Peano qu'il prend pour axiome aboc .s.a,w-so.D.3.-zo

par exportation,

de celle-ci, (i.ivi.)

l. qui
1 CTrtllI'

codturat.
t: Si O a

La est
~m . L ?

logique b est
7.. i

mathmatique
I

de
-A

M.

Peano. donc

638 a est de

se lit

vraie,

vraie; de la

or P.

h est Hl

fausse;

fausse. l'hypothse. Du ment

On voit

qu'elle

se dduit

par

l'importation

principe dcouvertes

de

transposition et employes ab a-b ab o c\,

dcoulent par M. Peirce a o c u-b

d'autres (1867)

formules,

gale-

o c. =. o c. =. d. =

(p. (P(p. suivante facteur du o d rgle

253.1 254.) 255.)

a o h j c a-c dans o- la

Ces dans membre

formules une

peuvent

se rsumer copule

On peut, premier^

proposition et l'ajouter

en changeant (additionner) son en le signe (c'est--dire et inversement. Cette niant); rgle comprend cas particuliers comme les de et de rgles contratransposition position, qui s'en dduisent par une double application. Pour d'numrer, ment copule M. o) 9) a (b c) La une dmonstration une ab Dans membre l'identit et le deuxime o ab. ab Transp. o. a [-(ab)]s-b le facteur b du premier (1) comprend o ab quatre u ac formules que nous (P. 215.) donner un exemple et notamment Peano dmontre de l'emploi du principe la deuxime des de principes qu nous voici (pour venons comla

o, supprimer un au deuxime,

transposition, loi distributive

traduisons

o ab, membre

transposons ab il vient o-b.

a [-{ab)} ac o ac. (Mme interprtation, (1). Composons les (2). Transp.

o. a-[(ae)] b en c).

a-c

(2)

en changeant Corhp.

o. a [-(a)-(ac)] (1) et (2); il vient, o. P le la

o (-b)(-c) etc.

(3)

formules (3).

Transp.

(4) deuxime membre dmontrer. de rappeler et le

facteur Pour qu'en

Dans

la

formule

(3),

de a dans expliquer vertu des

le premier; cette dernire

transposons il vient

proposition

transformation, on a

il convient

formules,

de De Morgan -[(-*)( -[-(ab)-(ac)] -c)] = =

4 uC. ab u ac.

636 D'o l'on

REVUE conclut: a [-{ab)-(ac)}

DE MTAPHYSIQUE

ET DE MORALE.

o i-i>)

(-c).

= M\[b

ab c) o

o ac,

ce

qu'il On

fallait a l, en

dmontrer. mme temps, un exemple de la forme que prennent de supprimer traduit avoir toute et. la et les Il suffit nous celles-ci, une ide donne Formulaire avons pour de la aux

dmonstrations en imagination

de Logique les phrases

ou de Mathmatique. par lesquelles

comment dmonstration de et

les formules, en quatre extrmes

et de rapprocher lignes. que On a ainsi

simplicit propositions de Mathma-

la concision aux

raisonnements

ce symbolisme le dans contenus

tiques. 2. Tels qu'il frapp dants sont nous du et les reste grand principes apprcier nombre Sans nous et l'avons peut-tre de essentiels du Calcul Au sont en logique premier admis a dj d M. Peano, on indpenest

brivement. d'axiomes doute vu trop. trois qui l'auteur en passant; Ce

abord, comme

irrductibles.

comme ques-uns, encore beaucoup, que Calcul sitions, calculs. prfrable notable que par nous M. ScbrOder des classes un

quelsupprim il en reste nanmoins, donne penser, c'est tout propodeux soit une le

qui

le

se contente et de trois

axiomes pour

autres

constituer pour des le Calcul fonder entre par permet ce n'est Les sont eux ces

avec

axiome donc de

Il semble celle

sprial que la M. Peano,

destin mthode

relier suivie

M. Schrder de faire

puisqu'elle dire,

conomie adopterions

d'axiomes.

A vrai

M. Schroder 1 le principe du

pour d'identit

notre compte. pour des classes le Calcul

pas celle pourtant admis axiomes trois

a o a: 2 le principe syllogisme a o b. b o e. 3 la loi distributive inverse (pour o. a o c;

la subsomption)

a (b kj c) o ab <j ac. Or ces deux simples propositions particulier, et mme derniers axiomes et il y aurait ne nous paraissent les avantage pas suffisamment par des En

et vidents, plus

remplacer

s'il est et plus intuitives, primitives est manifestement du syllogisme le principe se proposait-il Aussi Leibnitz assez complexe.

possible. synthtique, de dj

le

l. dmontrer, serions une de

couturat. c'est--dire tent d'adopter fondamentale une

La

logique de le rduire sa mthode. entre

mathmatique un Pour les deux en celle-ci Leibnitz, = a une principe cela, copules galit

de

31. Peano. plus

637

il faut d

Nous simple. d'abord tablir qui permet

relation transformer

et=,

subsomption mais par aob.

la transformation Cette relation,

inverse, dcouverte

a moins

(elle d'intrt

aussi permet et d'utilit). suit [P. 32.] est

se formule = ab. est contenu

comme

ce

qui

peut la

se

traduire

ainsi

Si a

dans est M.

b, a

identique vidente; au moyen Si l'on

partie

commune on peut

a. et b. Cette la dmontrer, de la

vrit

presque

nanmoins, de la dfinition a la fois

comme multiplication,

Schroder, que voici

formelle

coa, on a en mme temps, par dfinition csab, c'est--dire chacun leur produit au principe Cette qu'on des produit d'une Toutes ensembles ab. On les a prouve gnrale fois et qu'un b, on que

co, du produit ab

ensemble dira qu'il est

c sera aussi

contenu contenu dfinir

dans dans le

cette'

proposition Elle 27.) est

suffit quivaut

manire de composition

et complte. (P.

d'ailleurs

de M. Peano. toute

proposition, a l'quivalence

comme suivante

dfinition,

rciproque,

de sorte

coa.co'b. et le qu'on second De cette peut du dduire premier. il rsulte aboa, En effet,, il suffit d'y substituer aboab. Or On (P. En le vient 23, Cette effet, 24). ' mme des dfinition deux permet de premier de membre dmontrer le est = vrai, aussi bien

= .coa. le premier membre du

(cf. second `

P.

33.) que

dfinition

immdiatement abab. ab c aboa.abdb. en de vertu du on

que

trouve

principe de

d'identit. M. Peano

principe

simplification

dmontrer

la relation

annonce.

propositions a o a, a o b, et dont la seconde est

dont vraie

la par

premire hypothse,

est

le on

d'identit, principe dduit celle-ci:

638

REVUE

DE MTAPHYSIQUE a o ab,

ET DE SI ORALE.

et

comme

on

a d'autre

part

(P. 23) absa,

il vient

en

dfinitive

l'galit

dmontrer a=ab.

Rciproquement,
>

de ci = a a ab,b,

ou on

de a d ab 6 dduit, en vertu de la dfinition du produit, les deux sub-

somptions a dont est la premire exprime dmontrer. le o a, aob, et dont la seconde

la proposition

d'identit, principe En rsum, on

a d'une

part

a 3 b. o. a=.ab, d'autre part a = ab. d'o l'on conclut pos, deux on l'quivalence peut dmontrer des d. o, membres principe du (P. 52). syllogisme comme

deux le

Cela suit. Les

prmisses

se transforment
a o 6. = a = ab.

en galits

b o e. Dans la premire galit,

b = bc. par son gal bc; il vient

remplaons a abc,

qui

quivaut,

en

vertu

de la relation a a bc.

fondamentale,

Or tion

cette du

subsomption aux produit,

quivaut deux suivantes o b,

elle-mme,

en

vertu

de

la

dfini-

a o c, donnes, tabli et dont la formule la seconde gnrale

dont est du

la

premire

est

une

des

prmisses" On a ainsi

la conclusion syllogisme (en

dmontrer. Barbara)

as b. b o c. On peut encore dduire et de la mme de

o. eoe. relation pos cette fondamentale comme relation le prinaxiome sous par une

de transposition cipe M. Peano. Pour cela,

eontmposilion il convient de mettre

h. autre dj

couturat. encore

La plus

logique importante

mathmatique que une

de

M.'Pxno. Celle-ci la nouvelle dont quations dcouverte

639 permet forme le second algpar

forme, de

la premire. galit; galit des

ramener

une

subsomption une subsomption au s'effectue rsulte d'une du

permettra membre briques. Boole. les deux On

de rduire est Voici peut membres nul,

une normal cette

c'est--dire

type

comment (cela

rduction, de par

principe

subsomption aob 6

composition) un mme

multiplier facteur. Dans

l'hypothse

multiplions Or Or

les

deux

membres

par a-bdb-b. --bK.

-b;

il vient

Par On

consquent &-&==A. a-b x.. a ainsi l'infrence a d b. o. a b = a. On en gnral (p. l'identit 322. )

0 `

La

rciproque

est

aise a =

dmontrer. a (bu-b)-abua-b. mais a-b si,

en

vertu

de la

loi distributive;

par

hypothse,

on

il

= A, .a ob,

vient On a donc

simplement a=ab. l'infrence a-b=A. 0. composent = une multiplier .a-b aob. l'quivalence = (P. dmontrer A..(P.324.) en une membre galit par 323.) =

Ces deux

infrences

inverses

D'o second la ngation

la

rgle membre

Pour nul,

aob. transformer il suffit de

subsomption le premier

du second. rgle on peut dduire d'abord b d le principe a. en galits; il vient de contraposition:,

De cette

a d b. == En effet, transformons les deux =.

subsomptions a- = A. = A. quivalentes,

a 0 b. -bo-a. Les deux subsompfions sont

= .a-b donc

c. q. f. d.

dont^nnnfnn, dmontre dont nous nous passons

cette formule au moyen du principe de transposition, et- que nous allons au contraire en dduire..

640 Onpeutdmontrer que le prcdent.

REVUE

DE MTAPHYSIQUE

ET DE MORALE. transposition, la plus gnrale plusgnral

de mme leprincipee sous sa forme Prenons-le ab o cud. = a

c 0 -b vd. en galits = .ab{c) (-d) = = A.

Transformons

les ab o curf.=

deux

subsomptions a(c^d) h..

a Les On relation Cela vent

c o

b ud. = (- c) subsomptions sont

(- 6) (- d) = a. = a (-c)(-d) quivalentes, est l'utilit quelle les de et ne est

deux voit

par

ces

exemples de des

c. q. f. d. et la fcondit en

de la galits. peusuite

qui permet de ce que vient tre quivalentes entre relation

transformer subsomptions une ce seule qu'on

subsomptions formes mme verrait le nerf Aussi usage. trs galit, pas est-il du Calcul

diffrentes et par

quivalentes Cette ment. vant la

elles,

toujours

directelogique suique

fondamentale

mthode n'en ait

de Boole pas fait

et de Schroder. un plus grand

regrettable

M. Peano

3. Nous M. Peano. tation, tions. Or ce principe cial de M. Schroder. une peut aussi Celui-ci se dmontrer s'exprime a = et peut s'noncer que la les ainsi proposition propositions et notamment de = de au moyen par la formule l'axiome suivante sp(o qui venons Il n'a ne de de dmontrer plus et presque tous les axiomes admis par

reste sens

d'exportation que le principe le Calcul de valeur que dans

et d'impordes proposi-

a dsigne

proposition) (a v), la a proposition Cette formule en propositions une proposition quivaut permet .* de

Aftirrner a est vraie.

affirmer transformer (ou daire En

secondaires de rsoudre

primaires secon-

inversement), en effet, une

somme soit la

primaires. propositions secondaire proposition aab, ^La relation

ci et

b sont a

elles-mmes implique nonce la

proposition fondamentale comme pour

propositions, b. En proposition (et qui vaut donne

des

et

qui vertu

signifie de la les

ci-dessus la

pour.

propositions l'galit

les

classes),

proposition a-b==A,

quivaut

L. couturat. qui

La

logique

mathmatique

de d'affirmer ngations il vient

M. a des

Peano. et de nier

641 b-

Il est impossible signifie (absurde) les en mme Maintenant, prenons temps. bres (en vertu de contraposition); du principe a^b = Mais, l'affirmation en vertu de l'axiome spcial, a u b, qui veut dire les on cas Ou o l'on bien aurait suivante a o b. = que nous fois nous proposions cette de dmontrer. au, a est fausse, ou v. cette

deux

mem-

affirmation

quivaut

alternative

bien et

b est b vraie).

vraie En

(sans dfini-

exclure tive,

la fois

a fausse

a l'quivalence

Une le

tablie

proposition Considrons

principe (proposition Transformons

d'exportation. tertiaire)

il est facile capitale, en effet la double `

d'en

dduire

implication

a o (b o c). la proposition entre aD-b.,r.. Rduisons cette subsomption ab(-c) Or on a d'autre part, toujours ab On obtient en dfinitive (-c) A. une =a.. de la mme ab o c. suivante ab o c. formule le double principe (P. 74.) d'imtransformation galit; il vient parenthses

en vertu =

l'quivalence a o. b o c =

qu'il En (sauf axiomes

s'agissait

de dmontrer,

et qui

portalion

et d'exportation. rsum, le principe plus du nous avons d'identit, Le seul, dmontr bien tous entendu) vrai est gal dire, le ou (ou toute mme les en que axiomes les nous de rduisant ayons M. Peano des.

simples. principe un terme

(en dehors tuer partout cipe lequel tion

d'identit), un terme des semblables fonder dfinition

suivant quivalent. plutt

On

invoqu substipeut

de la substitution Stanley tait pour Jevons Leibnitz

des

le prinsur quivalents), 1. Cette ou de proposil'iden-

C'est

voulait la

la Logique de l'galit

d. The substitution the of similars, a modification of Aristotle's dictum, tempo rains, ch VI, 1878.

true principle of reasoning, from derived 1869. Cf. Liard, les Logiciens anglais con-

642

REVUE

DE

MTAPHSlftUE

ET

DE

MORALE.

tit

Eadem

sunt,

quorum

unum ne gagnerait oblig avons =. le

in

allerius rien la

locum

subslilvi

salva tion, axiome

veritateK car la dans

Mais ce cas

on on que

serait nous

d'admettre adopte b o a.

pour prendre en revanche l'galit,

potest dfinicomme savoir

dfinition

pour

a = b. Reste consiste un encore, admettre Mais puisqu'on et ceux-ci, distributive alors, distributive Il semble telle on puisqu'il et' par inverser peut se ce il est vrai,

a o b. troisime

axiome inverse, et

de qui

Schrder, constitue parait des groupes) sans

qui plutt indisautres qui vrifier

la loi distributive postulat ne peut (ou un

postulat.

autre la loi (le

quivalent) en Calcul question des

pensable, axiomes, vrifie la loi Mais la loi

dduire un la loi calcul

existe suite

distributive

directe,

demander que si cette nous loi

ce que avons constitue contenir la

vaut donne un un

la

dmonstration plus postulat haut d'aprs indispenou en et de (p. 214). et sa

de

inverse, que,

M. Peano. sable, ptition s'appuie sition, donc une

dmonstration Il n'en sur les est

doive rien

paralogisme

une

de principe. uniquement comme cette celle divergence C'est de la

dmonstration

question transpovient de celui D'o

principes de la loi distributive entre que le systme fait

de composition directe de M.

Peano dans

M. Schrder? tion sition). trer tion, ne (P. (P. et rent justifi la loi tant la la notion

M. Peano

intervenir dans la des o

dmonstrade transpode de pas la dmonnga-

ngation reconnait inverse

(implique lui-mme au des moyen

le principe possibilit proprits cette loi n'est M. Peano donne par

Or M. Schrder loi distributive que pas de peut directe

attendu comporte 243) 241), que on

le Calcul la la

groupes, D'autre de la sans mais Ainsi accord

valable,

ngation3. dfinition dduire, (P. 214),

part,

a remarqu M. SchrOder la loi inverse appase trouve

somme, le secours non la

bien

de la ngation, loi distributive le dsaccord coup

distributive ses

corollaires des deux l'ordre distributive

(P. 21S-248). thories suivi par et leur

s'expliquent rel.

Du mme lui permet selon les

M. Peano, ce qui l'ide de

puisqu'il est

de dmontrer M. Schroder, -fonds

complte, pas

impossible, et

qu'on

n'introduit

ngation

principes

1. Non 2. 3.

t. t. VII, g XVI1, Calculi universalis, ap. ed. Gerhard Spcimen XIX, df. 1. inelegans spcimen dmons trandi in abstructis, der et V. Schrder, -i, 5, 8. Appendices Algehra Logik, g 2, Op. cit., t. I, p. 310. Remarque.

n" 7. Cf.

L. coutuiut. sur elle (principes de

La

logique

mathmatique de milieu

d exclu

M. Peano. et de

643 double

contradiction, cet et

ngation) Seulement, au moyen de n'est qui On quand la on adopte ordre, de mais postulat la une de et qu'on ngation, dfinition M. Schroder d'un dfinit la l'addition formule ou une et de conqui le

De Morgan vention, remplace. et l'on dont a,

multiplication plus un thorme, au donc choisir fond pas, au

quivaut ne fait

a simplement chacun

en ralit, l'conomie entre deux ordres logiques inconvnients. de Celui dtruire et

postulat,

quivalents, de M. Peano la rciprocit ainsi formules coup arbitandis ce

encore de

a ses avantages une fois, le grave l'addition si remarquable des classes. de

et ses

inconvnient

parfaite dualisme du de Calcul

et de la multiplication, et si lgant que Ou, du moins, prsente subordonn ds de entre par des

de masquer les

prsentent rsulte une de avant des

ce dualisme comme l'ide bien mme la ngation de du De

aprs

la formule et dans

De Morgan, par suite il apparat

convention ngation,

traire, que,

semble Schrder,

le dbut,

l'introduction dfinitions tablit plus Celles-ci initial; des tard se elles

de la ngation deux oprations une en corrlation alors

2, et dcoule logiques, exprime comme sorte

la symtrie

lesquelles les formules

Morgan.

prsentent sont

en quelque

consquences la clef de vote

dualisme

ou le couronnement.

4. "Si pour deux plus notation notation matiques des viter signes des maintenant l'apprcier lments dveloppe son tait nous d'une de tout que tranget, prcisment elles tout jetons un coup d'ceil d'ensemble nous la ne sur ce systme que, beaucoup pas Comme cette mathinventer pour a l'inqui la des

manire calcul l'algorithme. qui droute destine aussi, diffrents

gnrale, logique, Nous un peu

constatons y est

notation

reprocherons le dbutant. aux M. Peano

s'appliquer en signes, des signes

vrits a d

formules, logiques

convnient existe analogie entre

quivoques de dissimuler les formules ressort,

intolrables. l'analogie de la Logique

Nanmoins, formelle et celles quand

mathmatiques, cette notation si remarquable

de l'Algbre

ordinaire, algsans qui

qui

au

contraire,

on emploie

les signes

1. Ilest vrai qu'il faudrait alors dmontrer le principe de transposition la loi distributive, invoquer ne ce qui parait pas facile premire vue. 2. Par exemple, dans toutes les lois de l'addition et de la multiplication, se droulent paralllement (voir plus haut, I, 1).

044

REVUE

DE

MTAPffSIftCE

ET

DE

MORALE.

briques des

pour il est

exprimer pour lesquelles clair que

les

relations l'algorithme

logiques1. est adopte peu

C'est

peut-tre dans la

une ce tra-

raisons

dvelopp mal . c'est au la signe mais en un qui l'air cet lieu de

systme duction Un tion thses l'criture nous autre de la

la notation des encore l'emploi pour autant 'En

se prte logiques rsultat points et du

et la manipulation dfaut ngation. parait de contribue Autant heureux,

quations au mme des la le effet, clart choix la

la

notaparende

nous et semble

commodit de n'est une autre ngation pas

l'impression, l'addition transforme Il convient sur suivant.

malencontreux. comme qui non-a).

ngation

une opraterme

combinaison, tion unique porte unitaire, (a en

et la multiplication, un terme donc nier, tiret unique signe pas

que le.

la reprsente de l'unir rappelle au

explicitement ou au prcdent irrsistiblement soustraction a par non-b, plus

le terme Or le

et n'ait pour

adopt

office

de la le signe de forme) un changement (malgr de le produit l'imagination ne reprsente a-b pas est 2. La confusion a moins la diffrence mais que, suivant =. la formule a-b est de la une -b en (-a) o c. tent premire erreur passant laisse de la fort du de croire qu'on car peut pour le terme au de Peirce, on a

d'autant

invitable

ao b v c. Le lecteur familier deux ce avec l'Algbre

7eturcnr_.h~~ aux obtenir la seconde,

membres qui serait

subsomption membre entre une est passer

complte, second

~sYszzzanztazcdel devient Mme isol, premier. tion est de logique absolument la soustraction n'est et les fausse,

le fcrctc:zcr le symbole

prsumer l'Algbre

la ngaqui

quantits attendu on

ngatives que peut

analogie diffrente Logique)

ngation bien se

toute en

(dont

de (0 o), mais bien de (l-), comme pas l'analogue addition non se dtruisent, par et que a et non-a Boole; notation cette Enfin, -h a et par multiplication. a), mais (comme et aux parenthses recourir elle oblige a un dernier dsavantage avec succs, vit ailleurs a t partout dont l'emploi aux crochets, 3. des points de l'usage ainsi le bnfice de sorte perd qu'on ce signe on a adopt la raison laquelle pour Il est juste d'indiquer comme a pos que tous les signes rgle M. Peano la ngation pour 1898 Cambridge, on Universal A Treatise Algebra, 1 Cf. Whitehead, on oosdes mathmaticiens l'usage 2 D'autant plus que, conformment facteurs. deux les qui seul unit rellement le signe de multiplication entend II, des P. 214 et 21 o {v. plus haut, la dmonstration 3. Voir par exemple S 1, fin). que non-a l'crivait

l. doivent sion mais de Venn tion temps soit comme quement la lettre C'est doute. les

cobturat. se succder

La sur Cette

logique une rgle ligne est

mathmatique horizontale, assurment une exception pouvait sur pour

de- M. Peano. faciliter l'impresen gnral

645

et la lecture. peut-tre la ngation. et Peirce, (ce qui

excellente, (unique) pas,

comporterait-elle Si l'on surligner parait comme tre et ne voulait le ou

en faveur Boole, la en ngamme

ou ne

comme porte

les termes

lesquels car elle

la meilleure

notation,

sert

de vinculum l'accent,

dispense M. Tous

M. Sehrder. sur qui trop Mais le terme

de parenthses), on pouvait employer, soit l'indice MacColl, (ou exposant) 1, ces signes ont l'avantage de porter uniet de faire < de l'avis corps pour ainsi dire avec

nier,

le reprsente. discuter ce ne systmes est de sera de sur un dtail pas logique. d'un notation, de Ceux-l signe nous du des ne bien ceux pensera-t-on qui savent ont sans

peut-tre calcul choix

divers

pratiqu de quelle l'ide tout qui a et

importance qu'il l'heure, empch celle deux une Boole cette et sous l'on s'agit c'est

l'heureux symboliser.

Comme l'incommodit

appropri l'avons insinu de ngation

peut-tre

signe

M. Peano

d'exposer des

la

thorie On

quations

logiques,

de l'limination groupes thorie et de

inconnues. P. 270-276 une Or ces partie

trouve

de formules qui constitue M. Schrder. sont presque qu'elles

et P.

ce sujet que les C'est peu pour 351-358. des plus simples travaux de de toute

considrable les dans t

formules,

thorie,

inintelligibles auraient

la notation

employe; dcouvertes

peut'affirmer forme pour de l'uvre les pas critiques propos tre de

difficilement

cette

Toutefois, but final

quitable, M. Peano,.et prcdentes. expressment,

il

ne cette Les

faut

pas

oublier

quel est

est

le ne

considration mathmaticiens les logiciens

propre

attnuer se nous sont les

italiens auxquels complet crire dvelopp besoin C'est

comme un systme notation que

comparons, ils n'ont les

de construire invent leur

de Logique pour et ils pouvoir n'ont

et en

cohrent; symboles leur

propositions que vrifier dans les

mathmatiques, la mesure o ils

algorithme et

en avaient

pour ce

analyser

dmonstrations

mathmatiques.

1. La note de la P. 257 nous apprend que la thorie des quations logiques n'est pas encore rduite compltement en symboles , ce qui explique qu'elle ne soit pas dveloppe dans le Formulaire. Mais cela ne tiendrait-il pas la rsistance traduire dans ce symbolisme les nombreuses qu'on prouve forsi claires dans leur complication, mules, pourtant contenues dans l'ouvrage de M. Schrder?

64(3 qui qui, la donn explique inutiles notation

REVUE et justifie, en Logique,

DE MTAPHYSIQUE d'une sont la part, commodes d'autre la Logique, les sur numrs plus en

ET DE MORALE. surabondance ou mme le peu que les haut) des symboles, pour

ncessaires de dveloppement. les raisonnements

idographique de l'Algbre reposent

part, attendu principes plus

mathmatiques Logique besoin C'est

nous (que de formules ce point

avons logiques de vue

de simples plus et n'ont nullement

la

compliques. sorte grande utilitaire entreprise pure, services des elles les unes et, ce aux qui vrits et l'on qu'il entre gard, faut se

quelque cette

impartialement pour juger placer l du domaine on sort par celui de la Logique est sommaire, branche ordre de logique, leurs aux des applique

seulement, dans le un dans dans accomencore, conu, veut mathou un

de

la ou

Logique

de la Mthodologie. de grands

A cet

Formulaire tableau chaque leur

capable

de rendre

il prsenta acquises ranges souvent plus utile Ainsi quiconque sciences formules mathmaticiens pour pour les nos

presque enchanes dmonstrations, axiomes sera un et pas un dont guide

synoptique,

Mathmatiques;

se trouvent autres, est

pagnes rattaches ce

chacune

d'elles

dpend8. pour des de des prcieux que

Formulaire les

indispensable les un principes rpertoire l'usage de travail Ajoutons tout ainsi continuer d'abord, la

tudier matiques. memento de

mthodes Ce n'est

critiquer seulement

historique c'est cultivent ouvrage

et bibliographique instrument rpistmologie. un intrt offre l'hommage et le pour devoir,

profession; qui cet Pour de

phicomen

losophes patriotes franais. national traditionnel, science laborer

particulier rendu mriter de nous

il est au caractre

crit

reconnatre notre nous langue, avons et la d'en

inter-

ce privilge cette initier d'y col-

nouvelle dans

rpandre de nos

connaissance; soit

ensuite,

mesure

moyens,

de bienveillantes soit par positives, dsirerions tion de ce genre que nous en leur signalant aux les logiciens l'tudier imperfections et aux

critiques. apporter de leur

des contributions par une collaboraC'est ces travail savants, qu'en et moins le faisant en invi-

connatre tant ceux-ci

mathmaticiens

franais,

et le perfectionner. LODIS GoUTORAT,

et bien d'autres signes, qui 1. Tels sont la copule e, que nous avons discute, du Formulaire. dans la mathmatique partie ne sont employs que due M. Burali-Fortu dans la partie. IV: Thorie des grandeurs, 2. Notamment Le grant
Coulommiers. Imp. Paul. BRODA RD.

Maurice

Tardieu.

DTEKMINISME

ET

CONTINGENCE

RPONSE

L'ARTICLE

"DE

M.

BRUNSCHVICG

Je

ne

saurais de la peine

dire qu'il

combien a prise qu'il philosophe un grand

je pour

suis

schvicg de l'extrme grand cette pntrant une foule

reconnaissant tudier mes dans discut aussi; chez abuser l'article la l'auteur

travaux, tude. avec

M. ainsi

Brunque un et si

bienveillance pour un c'est manquer utiles. toutes mais des d'abord m Les la par ides direction

a porte d'tre profit

cette

C'est

honneur comptence nepeut de de la en

ce srieux un de examen la doctrine

car

d'veiller Ce celles serait que

rflexions Revue moi;

que

de signaler

aux a

lecteurs suggres

je .demanderai qu'il

de M. Brunschvicg de rpondre permission un

quelques-unes J'avouerai

difficults que M. des

m'oppose. m'a beaucoup trs la avis. bonnes, pense Ce n'est peu plus mais du pas que la part tre chagrin que l je o ne en le

me .,suis

supposant en effet

Brunschvicg ides morales sont prendra mon

morales que voil qui

elles il le pas

commandent

philosophe, parce je assez que ne suis belle que panthiste pas tre, sur encore

un'y a plus de philosophie cur a ses exigences panthiste, et ce n'est le que pas quoique parce

sont -imprescriptibles fait au panthisme j'aie que je ne veux pas c'est l'inverse. dterministe, est, tre

panthiste suis ne me suis pas puis parat faites

je

repousse parce

dterminisme; je ne puis pas que avec sur

Je ne

et je ou

tre en le } f i'

dterministe, opposition temps, connexes des en sur

parce absolue l'espace, celles-l.

le dterminisme

les conceptions que la vie et sur plusieurs mon effort tend

je me autres prouver,

questions

Tout

contrairement Kant, mais

autoritsformidables,
.v

Descartes, une j.j.^

u-lj^c,^ assez

Spinoza, autorit auiuuic

Leibnitz,
cLUSoi, aussi, Celle celle

.^,^ m'appuyant ^j Rev.

sur u^i
T. VII.

belle *j<ji.j.g

Q ArlStOlG d'Aristote, =>

Meta.

1899.

648

REVUE

DE

MTAPHYSIQUE

ET

DE

MORALE.

qu'il

n'y

a point totale,

dans

les

organismes

vivants,

ni par et par seulement phnomne

consquent l mme un point

dans de

la nature dterminisme rgressif; tre

de mcanisme physique

progressif, mais universel termes, avec finie un qu'aucun sa nature ou infinie,

mcanisme rel ne une peut com-

ou,

en

d'autres

expliqu de position possible indfini ment plte peut cartes, Spinoza, gressif, Spinoza, natre Leibnitz Vnie rduit ques mique force moyen l'harmonie morale, verne du plus de

intgralement mouvements rattacher

qualitative bien qu'il quelconque intelligibles une

par soit un

toujours nombre

phnomne des rapports ce

d'antcdents mcaniques, de son mais essence, son fait suit de ce sur la des

par sans parce

et consquemexhaustion en Que comlui ne

arriver que dans

jamais

trouver qui qui rien voil que est

explication organismes

y a de qualitatif qu'il les lois de la quantit. de adoptent fasse simples le comme Vraiment la fausse. position Leibnitz

Desque proet reconprise

vivants l-dessus,

machines; mcanisme Descartes il faut qu'a

Descartes mieux. qui Que surprend

Leibnitz davantage. dont ambigu Si oui, il

question

s'agit et

singulirement d'Aristote? vivants o Leibnitz bien qu'avec hypothses essay oriente et produit bien il est sans clair

admet-il

vgtative les corps

n'tre peut-il que une de de vers

ce mcanisme qui pourquoi des machines trs complique chercher une mouvement conception il retrouve il a, et puissance gouralisation mcanisme dynala au de

? Si non, de rame? et de la

Je sais

sous

le

tendance; ses deux

ingniosit la finalit

admirable intentionnelle une du vue la loi de

prtablie, uniquement le monde, grand Mais

montrer

comment

la considration en pour

meilleur, la du

les phnomnes prjudice aussi aucun que, loin

universel. et Descartes, La

de concilier

comme logique cette du

il le voulait, cartsianisme il l

il les a fausss est aboutit intlexible., invitables, tout toute et puisque et le les des corps, principes forces. seulement A ce qui notion

par l Ari&tote et dtruits tous les sre, donns pas les et ses ides de et

deux. les

sa mthode tant n'est

consquences Or principes. claires puissance, Leibniz jusqu' directe sont mme de il un de et de

auxquelles mthode et par sent point l'autre.

exclut mme

distinctes, force, le

mtaphysique du et toute nos corps opposant

d'me

cratrice bien, l'me Suivant

organisatrice distinguant il rejette

lui-mme certain l'un pures n'y a sur

action mes parler puisque

cartsiens proprement des esprits,

ides, plus

nullement d'mes, mais

CH.

DUNAN.

DTERMINISME

ET

CONTINGEKCE.

649

l'me Spinoza. Inflchir

n'est

qu'une Inflchir Aristote Descartes

chose Descartes vers

qui

pense, vers

ou

plutt, est

une donc

pense une

comme impossibilit.

dit

Aristote est une

Descartes

impossibilit l'un comme dans Ds en trs une lors

gale, l'autre synthse il faut

car aux

c'esttenplus

la mme. tatives large entre l'autre. et

et AristoteLeibniz que l'une d'accord tiens pour pour leurs

rsistent les deux concilier

que plus

fait

vraie adopter comme, je l'art

systmes. un vrit un

choisir

eux, Et

des

doctrines avec une crer

rejetantgrand et avec nombre

rsolument de que en raison mes ni c'est' toute pour

contemporains, la nature ni du ct

vidente vivant je

certaine des atomes,

ne peuvent que je

d'Aristote jes et M.

me range. la vraie

'Voil, et

puis

l'assurer

sincrit laquelle universel, l'instinct je ne le

Brunschvicg, le mme qui mais

fondamentale le au son il ne

repousse par l

mcanisme, le est panthisme en moi

c'est--dire li trouve

dterminisme Que choix, ne le

dterminisme. compte l'inspire ce ni

spiritualiste nie pas;

trs

certainement,

commande.

I le ( Rejeter place rgressif, cdents contingence. dterministe pas la contingence nouir sque, puiser nomne. M. Brunschvicg pas bien saisi ma coup faites Je vais mme plus que me pense. permettra de lui dire que sur ce point il n'a de et la de limites, la dterminisme contingence. universel Reste en rattachant aux lois de la pas, et qu'on c'est savoir chaque de la

faire si

dans avec

le le

monde mcanisme ses

une

c'est--dire conformment Le domaine n'atteint mesure se sorte n'est srie que rien

phnomne nous ce que

antla

nature, c'est

trouverons l'explication ne le comporte

contingence comme la , dit cette

explication plus avant

pousse

domaine

de

resserre la que

contingence l'expression des

M. Brunschvicg, n'a de point de l'impuissance desquelles

et tend fondement de dpend

s'vaintrin l'esprit un ph-

indfinie

conditions

la sienne; plusieurs de mieux lieu.

l-dessus tcher j'ai donn

Au reste, c'est assurment ma faute beaucar je vois aux rflexions bien, que m'ont. de mes amis, que je me suis mal expliqu. faire et de rectifier l'erreur laquelle moid'un homme adulte tous les de

Retranchez

de l'organisme

apports

680 la nature

REVUE extrieure que

DE MTAPHYSIQUE depuis le temps vivant non

ET DE MORALE. o que il tait l'tat cet tout de homme aussi haut que le ftus, s'est relleencore, germe acquis a d'tre ou germe, un moins donc'est-est galed'infini,

lirez-vous parla ment jusqu'au subsiste, n'entame vivant.

la qualit d'tre resserre ? videmment un. vivant moment rien sa Et si

possde le ftus est

adulte. que l'homme de la conception vous lui

Remontez et au des la del.

plus Tant

de ce que nature l'on on

enlevez et contraire,

dveloppements qu'il que, plus

mtaphysique le soutient admet la une doctrine Ce que Ce

proprit c'est

consciemment, nant dire ment par au

cration des nous qu'il

mcanique gnrations

de ce

l raison matrialisme. du

spontanes, vivant phnomne de quoi l'infini fini ne avec le

disons y a

de l'tre dans

vrai

phnomne. l'entendement,

d'irrductible subsiste pour le

et par et toujours

consquent intact, que du

mtaphysique, que l'on fasse tant ne d'apet c'est pose poss tre mme et le fini lui-mme mme un

toujours rsoudre par de l'infini. par consquent La tres ces est les vivant

le en

mme ses

lments; nulle progrs nier prsente de qui absolus sont et absolu. dont ce

parce dans que le

htrognes peut procher que donner

nature, nul Quant il

composition le fini

l'infini,

permet soit

le phnomne caractre qui ses est

infini,

mtaphysique, absolue et, et. libre, que d'un la en tant que et l'acte pour

impossible. tous par absolu raison, ce les lui,

substance particuliers

Spinoza,

modes, parce mme,

tres

sont

libres, De

ncessairement phnomnes exactement doivent tre y ait sauf

se compose un organisme tant vivant, chez les modes la sont Spinoza, que, et mtaphysiques tomb cette comme possible. dans question, qui donne contraire, l'tre, la faute que me lui. Il ne de contestation n'tre dans pas

substance, semble Je pas crois

infinis

qu'il donc,

l-dessus erreur,

reproche tous de vue du

M. Brunschvicg mes principes, fini et et de de fait la la

d'avoir du

contrairement Je point la se simple puisqu'elle de l'analyse critique, prsent ceux ralit

dterminisme la au de

reprsente. premire, qui une

multiplicit contingence et l'infinit essentiellement devant

fondamentale, expressment au dterminisme, reculer

rapporte limite est scienque d'une auxquels dans le

il l'unit limite

ngative, le progrs

destine tifique dans manire appartient

indfiniment

. D'ailleurs mon trs chapitre formelle l'infinit,

mon trs distingu je rappellerai la nature sur des- corps, j'ai les et corps les vivants, phases' c'est--dire de

dont

dveloppement

CH.

DUNAN.

DTERMINISME

ET

CONTINGENCE. s

651

temps les

fit". et

dans
nflriS

l'espace existent loi du

OCnSPA

rtAntranf

peuvent en soi;

r*r\

m vi

y\

f-

comporter que et loi les relatifs

la

ln

contingence, bruts,

comme absolument que qu'un song de l'autre

seuls

qui la

tandis

corps aux

soumis notre point mettre comme leurs rents, minisme tingence. tre a pas

dterminisme, fait de cette sur la

applications n'expriment

entendement de vue le deux territoires. de telle peut Sans de notre

la nature, Je n'ai en

esprit et rivales les qu'ils ai

le rel. contingence qui

donc face

jamais l'un

dterminisme puissances Je sorte 's'tendre compter puisqu'entre

se disputeraient au contraire dans jamais,

rciproquement des et en elle-mme universel qui sont plans que rien diffJ

placs ne

se rencontrent

Pe dterla n conpeut il n'y deux sans

indfinimentque la elle qu'entre il faut ni des

sans'entamer par

contingence et ces opter moyens plus que que le

entame, de

dterminisme deux extrmes, et

absolus chercher Insister moi nous

et milieu, leur manire, des compromis serait inutile,

purement termes. qu'au, M. l'on de fond Dunan doit:

simplement,

d'autant Ce c'est

sommes montr,

d'accord. dit-il, ce lui, ralit. que

M. Brunschvicg nous parat remonter du fait est le

et avoir, dterentrer {

suffisamment min, dans et qui c'est--dire le cadre en la fonde

de de la la

l'analyse Cette

l'entendement qui donne en

l'unit

synthtique dialectique du spirituelle ajoute assertion spirituelle, je vivant ou

principe rsultat nouSpi-

comme comme

positif mne; noza. gence. lectique, gence. seulement. sortir. On pace. la les

spontanit

transcendante l'autonomie

conu la libert exclut

c'est--dire (p. 27). Contre Et

suivant

M. Brunschvicg dernire l'autonomie qu'elle donc ne la

Elle proteste. n'exclut non de plus

la contincette la l| en dia-

cette

Non, pas elle

en donnant Il est vrai Voyons

continprpare pourra

donne

pas l'ide

comment

contingence

peut

considrer quant

la

contingence l'espace, intgralement donn; de

quant

au

temps

et

quant dans gnral

l'esl'imde

Considre

la contingence par sorte avec le que lui, entre le

consiste mcanisme cet organisme,

possibilit nature autres

d'expliquer un organisme organismes autant au Mais

et tous l'esprit chacune vritable chose qui

qui

coexistent irrductibles

apparaissent elles, et dont d'un pas une

comme prsente absolu. puisse ment

d'existences regard la de toutes

les quant en

autres

caractre n'est

contingence nettement du temps. C'est

l'espace termes

s'exprimer l'gard

d'exprience. l'ide

11 en est

autretelle

pourquoi

de la contingence,

652 nu'on qu'on qu' Dire tence ce par jours n'en vivant les tats une peut Penvisase l'envisage l'espace. qu'il d'un

REVUE

DE MTAPHYSIQUE estbeaucoup

ET DE MORALE. plutt relative au autemp;

gnralement, gnralement,

y a de vivant un qui essence

la

contingence travers donn celui le

dans temps n'est l une il s'ensuit moment subir son tats tre pas et

le dveloppement c'est dire que vivant de

de l'exis l'tat dtermine est tou qu'or de h se que pose celle de

moment ont procd deux

intgralement un

et comme indivisible, que, de d'autres prsent

mtaphysique parts, chaque sans entre srie des

sorte

pas le

faire vivant,

dans son

la doctrine existence,

contingence lui-mme d'une parce relie

comme certaine

un absolu, continuit

conditions et ses tats sa que tait il se vie de

passs tempo la mul

qu'il

faut

que

la

prsente ce tiplicit, si dans points La est la

le caractre

de l'unit

qui constituent en mme temps

si cette srie pas tre qui ne pourrait courbe on peut la figurer par laquelle de celle-ci de la contingence, Y a-t-il l'tre de considre,

discontinue trouvait des

de rebroussement. question lors par rapport dans le dans en existe au au la temps, temps dei srie et pa

ds

dveloppements

l'imprvisibilit travers mtaphysique qu'il contingent, dterminer les choses dans engendre s'il

dans les phnomnes consquent Un phnomne de sa nature? donc une leur un phnomne impossible connaissant et n'ayant ressource de la'nature. savoir car seulement dans il est leur pour

la spontanit* de tels, es pou: et. par aux dan con autre con moins

d'avance, leur

intelligence devenir, d'autre les lois

succession

les que En

comprendre, de les rattacher termes,

et les prvoir les la uns

squent, selon tingence videmment, tingence imprvisibles mme, l'analyse ces duite Mais testable. Spinoza, posent, l'gard

d'autres

question les attribuer sont

de la phnomne la

revient

si les clair une unit, que

phnomnes nous n'allons eux tre,

tous pas

bon

partie dans

d'entre leur des la

rellemen revient prsenter] exclur la cor a

ou,

ce

qui

dans

la complexit car en il va gros de sur

infinie soi que

circonstances contingence repose ne presque

qu'ils saurait

prvisions humaine, cette S'il et ou des

lesquelles la vie

toute

et sans imprvisibilit est comme sont autres vrai,

lesquelles

serait Cela

impossible. ne les parait comme tres ici tout, pas le vivants les uns coi vei i

existe-t-elle? comme nous le

demandons, que importe aprs

l'admet poss titre par

M. Brunschvicg, Dieu d'absolus, peu comme,

l'existene

CH.

DUNAN.

DTERMINISME'

ET

CONTINGENCE.

653

de

ces

tres

vivants bien l'espace

est tout que leur'

entire caractre Que en tant

renferme d'absolus Kant qu'ils parce de nos refuse

dans

le temps

et dans dans le aux temps

l'espace, temps vivants et

il faut dans

se retrouve de reconnatre au Kant

mmes.

le caractre

d'absolus

appartiennent que facults dans pour

et l'espace, on peut le comprendre, et l'espace ne sont des formes que et par dit. du consquent Spinoza quant n'ont pourra-t-il l'espace, Et, point Mais moins

le temps

reprsentatives, l'tre proprement caractre, de comparat et la

de fondement refuser aux fait de

vivants l'tendue

ce

mme un

lui s'il refuser

qui

attribut

substance ment pas

universelle? la leur cette

la leur quant mais

accorde au

quant temps?

l'espace, Spinoza se l'est ne

pourra-t-il s'tre pos

question;

M. Brunschvicg absolu au des temps.

pose,

il y rpond pace nous vivants et dans une (p.

en admettant 212), et une en la

le caractre rejetant quant difficile

vivants C'est La l

quant prendre, des

l'esce tres

semble, peut-elle le temps que des les uns C'est vivant

position donc par

garder. dans l'espace L'espace d'es au vivants

libert par la

s'exprimer le dterminisme? la multiplicit

contingence en en de

est divers,

essentiellement lesquels, entrent un monde

forme

prend corps, avec aussi particulier,

se donnant relation cratures. chaque sairement

se limitent, les l'une autres, des

plutt par l

se pntrent, constituent la

et formes l Mais

puisque indfinie.

que prend o il y a un le temps et titre est aussi

de multiplicit il y a ncescorps encore de son une forme

multiplicit du

de la multiplicit donc Pourquoi dans mme que tent est donc face refuser du en tout temps, face des les diffrentes manire le temps par

vivant

les vivants rgions dans les

particulier, qui se posent de l'espace,

unit.

d'tres

mtaphysiques pas alors de la

ne se poseraient-ils parties du des temps, continus,

diffrentes sont l'un et

surtout et prsendont il Si en pour

et-l'espace une les rend

l'autre

consquent ici, admet autres d'admettre se pose autres tout

structure de tous

qui, points se

relativement assimilables

l'objet l'un l'espace aucune chaque un absolu, et par

question on des

l'autre? les raison uns

que les vivants comme autant que chaque de la mme vivants, du sein et

posent

dans on n'a

d'absolus, vivant manire

particulier, comme face de

moment non jaillit une sorte plus

mais

en

lui-mme, premire

instant

entier continue futurs, on l'a

de la substance alors il faut la

de fulguration des vnements comme

reconnatre contingence la forme

l'imprvisibilit sous de la forme du I

c'est--dire dj reconnue

temps,

sous

l'espace.

#54

revue.de

MTAPHYSIQUE.

ET

de

morale.

Il sous un

est ce mode au

vrai rapport direct

que

Spinoza, sont tout

et pareils, et en lui

Leibnitz tout attribuant,

aussi,

car

leurs de l'tre

systmes vivant quelque a prtendu rat-

en faisant par

de Dieu, du

consquent, lui-mme, a cru par

chose ne

moins

caractre

absolu aucune place, unes

de Dieu puisqu'il autres

faire

la contingence les existences et cres par en

pouvoir

tacher jdes

les

aux

le dterminisme chaque Mais c'est l si aussi

phnomnes, particulire la que que -,nous

consquent fonction contradiction de

expliquer toutes du

intgralement les systme, autres.

existence .prcisment flagrante minents extrme,

grande tout

contradiction deux esprits la

malgr Spinoza

on et

hsite Leibnitz. de

l'attribuer Sans l'impossibilit en nombre pu se trouver difficult deux

parler

de radicale infini, runis que

difficult qu'il des condidonner ni y

dirions,

nous,

.a comprendre comment des tions dont la srie est inpuisable, naissance Leibnitz un phnomne nier, recourir pour ne peuvent que

lments ont

pour

quelconque, tous puisque au

ni Spinoza l'infini, en n'est-il dfinitive

admettent c'est--dire d'un par un que dont peut-il phnomne n'a rien

pas vident au mcanisme, rendre position de compte

dterminisme, la constitution de ce corps

expliquer'

corps processus devient sont

vivant, de son uns

c'est comunit?

de l'existence

? Et si l'organisme n'est quel vident par la ses thse plus un,

vivant sinon

Et si le vivant composition, pas

se compose, la manire mtaphysique l o un

les toute Et enfin

caractre encore que antcdents mcaniste, tout et

avoir? est comme faire,

n'est-il

dtermin le suppose puisque

intgralement expressment le mcanisme

phnomnaux, l'absolu suffit oui entrer la

explique les animaux

admettent-ils mcanisme? nents dans

machines, faire vivants a-t-elle seul tait au corps non pas lieu

et Leibnitz tout. Spinoza ou non? Si non, o est leur titre de principes de l'un, me, et les immamonades en thse monde

Si oui, les Une

comment

organismes mcanique

Substance d'une la logique Dieu

de l'autre? avoir mcaniste et l'me une?

besoin dans

peut-elle la au

Descartes une fois

lorsque, immanent

pose, au

de faire

immanente 4'un et la l'autre, manire Et il yal la subissent corps se

qu'elle

habite,

il les quant

faisait

transcenl'esprit de

dants l'homme,

transcendants mais transcendants logique puisque: le second organiss

de Kant, une

phnomnal. et Leibnitz du tout

ncessit

l'univers quant si absolue que Spinoza fait de l'me occasion n'y avait

eux-mmes, et les que

le premier dclare comme

l'ide c que

organis, passe dans

toute s'il

corps

CH. -t a~r.

DUNAN.

DTERMINISME 1

ET

CONTINGENCE.

685

point Ainsi, qu'il que nent.

d'mes du

, ce

qui o

est l'on Ou

la

doctrine le non; du

'1

cartsienne mcanisme, il faut aller

pure c'est plus comme

et

simple.

moment faut revenir.

admet plutt,

Descartes loin encore

en

Descartes, Car,

et savoir et l'me,

se passer tels que

transcendant

de l'immane sont trans-

si Dieu qu'

les conoitDescartes, dans s'ils et ce n'est qui soit ce que sont pas

cendants

demi, de ne nous

Descartes Spinoza et

retombe de Leibnitz plus, mcaniste le

nous

oserons

l'erreur appeler tout fait, ils parler. quente pur. Nous conoit soit, vers, quant on du Il n'y

transcendants lpeine d'en constout

intressent doctrine c'est

qu'une elle-mme,

vraiment

avec

matrialisme

phnomniste

en revenons les tres

donc vivants

ce comme

que

nous des

disions.

Du

moment titre dans la que

o que

l'on ce

absolus,

quelque

admet moins

implicitement quant il est pas des ces

qu'il l'espace;

y a de et pour

la contingence admet raisons

l'uni;?

si l'on des au et

contingence nous avons

l'espace, de ne

impossible, entre le vivants se

indiques, A cette tions tions

l'admettre

quant temps

temps. l'espace quant oppose aux des une et condiobjecerreur dogmaAussi aveu totalit ontol; que contraire avec et de lui son C'est la solution rpondre ce sens du

assimilation

d'existence mais

tres

M. Brunschvicg entirement croyant s'oppose donne est, me

objections qu'il commet le

rapportent en

d'interprtation tique les si du au difficults l'acte 'temps mais rel par pass, un ft sens

ontologiste au de chaque criticisme. son instant plus un

o qu'il lequel

dogmatisme

soulve l'esprit et

disparaissent-elles se

propre la acte

prsent acte cr de

venir,

non

gique, le temps que lui.

reprsentation infinit

. Il tait de fois; il est la

'inconcevable au

une

naturel

le centre A chaque l'unit;

de perspective instant d'autre l'esprit part,

se dplaant, est il de qu'il le est principe

projection du systme dans

change total l'effort

confre activit donc de la

lui-mme, reprsentations recourir lors, il me je crois, le de l'ide lui pour

unificatrice, bien au

l'unit

ses faut Ds

diverses. avoir pour en

criticisme (p.

difficult.

213-214). que, de Kant, repousse

suffira suis, bien d'une servir dans

d'assurer moins sophes

M. Brunschvicg l'exemple que, avant lui, je

criticiste, et, je absolument et des destine

d'autres chose d'objet, la

philoen soi pour

prexistante faire tion consister mme.

la reprsentation toute Un-passage la ralit de mes

phnomnes

reprsentasur-

Essais

de philosophie

gnrale

65& tout cet tion parat gard;

REVUE avoir c'est travers n'en

DE MTAPHYSIQUE M. Brunschvicg il est ne dit que,

ET DE sur le

MORALE. ma vritable de limites, qui fait pense l'imaginal'espace croire de l'esprit au

tromp celui o

mouvement pas de ce

l'espace comporte que d'un

comportant pas davantage; d'un Mais contre rien non le

lui-mme M. Brunschvicg l'existence contraire J'ai voulu

je conclus objet avec infini. nergie que, rien sous doctrine lieu

mouvement pas du tout

illimit j'ai d'un la peut la course limiter ce qui pense fait autre du

toujours infini actuel.

protest dire dans

l'existence n'arrtant plus ne

simplement l'espace, s'tendre ma au en et

possible la capacit est cre dehors, que du en de

de

l'imagination

de l'espace qu'a rement conforme objet sorte en que le

regard constante

de l'esprit; que tout rien une l'espace seulement l'entende,

entison de nos rasoi,, la

pensant, les corps

de

le

recevoir ne sont

sensations lisme puisqu'un reprsentation, que nisme fini. Leibnitz

mmes;

particulier ce qui de plus qui voudrait en faon

chose

constitue de ou

rfutation une en ne chose dehors pourrait

ontologique espace de

faire soi,

subsistant quelque dans La

qu'on

tre

a voulu

la philosophie pouvait-elle que nous

d'ristote russir?

introduire Il ne ont le

le mcasemble

infinitiste.

tentative

si les pas, fondement. le mcanisme, ce

considrations Mais on

venons d'y pour

d'exposer introduire ma

aussi pouvait quoi j'ai et c'est vaut; de et mais l'ide il est

essayer song certain

quelque l'infini sans tentative l'adhCar,

vaut sion l'infini que

qu'elle partie tant

qu'elle

La part. entranait et

une

criticiste ne l'tre

qu'Aristote pouvant ft d'tre

repousse. intgralement que en et fixait crait une par

l'tre, il

l'intelligence pour comme srie dont la que

penser intelligible, rsolu

le

fini,

fallait, pense finis,

l'infini srie cons-

Ia appart de phnomnes quent les son l'infini l'acte. M. Brunschvicg de mes

susceptible ncessairement pense, tout que pices, qu'en la mais

indfinie, moment, pense en et le en

indtermine, limites objet, o variables; non pas

elle-mme elle-mme du sein passer de

c'est--dire de'toutes contenu

tirant

il n'tait

puissance, il se mieux s'y au

le faisant

veut

m'attirer s'adaptent Je crois mme entendre

Kant pas qu'elles fort la mal

demande au

si certaines qu'au toutes, du choses moins en soi,

conceptions (p.

ne 211).

criticisme mieux

dogmatisme et qu'elles

adaptent dogmatisme, des

si par

s'adapteraient il faut dogmatisme

philosophie