Vous êtes sur la page 1sur 39

Leibniz dans Kant, page 1

Vrits ncessaires et vrits contingentes chez Leibniz


Jugements analytiques et jugements synthtiques chez Kant

Prolongements et distinctions

Par Bertrand Liaudet

Introduction
Prsenter les prolongements et les distinctions entre les vrits ncessaires et
contingentes de Leibniz et les jugements analytiques et synthtiques de Kant pourrait
se rduire une formule trs courte : chez Leibniz, praedicatum inest subjecto, le
prdicat est dans le sujet quelle que soit la proposition, alors que chez Kant ce nest le
cas que pour les jugements analytiques. Les jugements synthtiques distinguent donc
essentiellement Kant de Leibniz, tant par le fait quils introduisent la sensibilit
comme source de connaissance, que par le fait quils permettent le dveloppement de
la dialectique, de ses paralogismes, de ses antinomies et de son idal.
Mais pour approfondir la rflexion nous commencerons par prciser le plus
clairement possible la thorie de Leibniz, profitant de la rcente publication
1
en
franais de plusieurs textes de logique et de mtaphysique, en prsentant directement
les extraits significatifs concernant et explicitant ce que sont les vrits ncessaires et
les vrits contingentes. La doctrine leibnizienne tant assez parpille, la
prsentation aura lintrt de regrouper les passages qui nous ont paru les plus
clairants. Ensuite nous prsenterons la thorie kantienne des jugements analytiques
et synthtiques partir de la Logique
2
et la Critique de la raison pure
3
.
Ceci nous amnera enfin aborder les prolongements entre les deux thories et par
l mme ce quelles ont de commun, puis les distinctions, cest--dire ce en quoi elles
divergent, mais aussi ce en quoi lune peut tre considre comme intgrant lautre.
Bien que le sujet soit thorique, nous montrerons les divergences pratiques
fondamentales quil entrane. Enfin, au-del de cette divergence essentielle, nous
rflchirons la possibilit dune convergence dun niveau plus profond encore.

1
Leibniz, Recherches gnrales sur l'analyse des notions et des vrits. 24 thses mtaphysiques et autres textes
logiques et mtaphysiques, PUF-Epimthe, 1998. (RG).
2
Kant, Logique, traduction L. Guillermit, Vrin, 1989.
3
Kant, Critique de la raison pure, traduction Alain Renaut, Aubier, 1997. (CRP).
Leibniz dans Kant, page 2
1 Vrits ncessaires et vrits contingentes chez Leibniz
1.1 Usage prdicatif du mot vrai
La premire question, nave, laquelle on va rpondre pour comprendre ce que
sont chez Leibniz les vrits ncessaires et contingentes, cest : quest-ce quune
vrit ? Dans les textes dont nous partons, il ne semble pas quon trouve une
dfinition de la vrit. On trouve le plus souvent deux usages du mot vrit. Dune
part un usage particulier du substantif "vrit" associ un adjectif comme dans le
cas des vrits ncessaires et des vrits contingentes. Dautre part un usage
prdicatif. La vrit est alors considre comme un attribut de lnonc ou de la
proposition
4
. Un nonc (ou une proposition) est vrai ou faux, aussi parle-t-on de la
vrit dun nonc, cest--dire du fait quil est vrai, de sa "vrai-it", comme on parle,
comme le dit Leibniz, de la Bit de A qui ne signifie rien dautre que A est B
5
. Une
vrit serait donc un nonc vrai. Cest une premire approximation sur laquelle nous
reviendrons.
Sur lusage du mot vrai comme prdicat, Leibniz crit dans les Recherches
gnrales :
Recherches gnrales sur lanalyse des notions et des vrits
6

1) Lnonc (direct) L et lnonc (rflexif) "L est vrai" concident. Par suite, "L est vrai" est vrai
(faux) et "L est vrai (faux)" concident
7
.
"L est vrai" et "L est faux" est faux concident.
Prcisons ce que Leibniz entend par "concider" :
Recherches gnrales sur lanalyse des notions et des vrits
8

A concide avec B si lun peut tre substitu lautre salva veritate ou si, lorsquon les rsout tous les
deux en substituant aux termes leurs valeurs (c.--d. leur dfinition), les mmes valeurs apparaissent de
part et dautre.
[]
Je dis que deux noncs concident, si lun peut tre substitu lautre salva veritate, cest--dire sils
simpliquent rciproquement**.
** : Une lettre quelconque, comme A, B, L, etc., signifie pour moi soit un terme entier soit une autre
proposition entire.

4
Une distinction entre nonc et proposition apparat au dbut des Recherches gnrales. Nous n'entrerons pas ici
dans le dtail de la distinction entre les deux notions. Disons seulement que la proposition a une dfinition
beaucoup plus formelle. Cf. RG, p. 223.
5
RG, p. 201.
6
RG, p. 221. Dans les citations, la ligne de texte en gras correspond au titre de l'article dont est extrait la citation.
L'usage du gras dans les citations mme est toujours de notre fait.
7
C'est nous qui rajoutons les guillemets selon l'usage de la logique moderne (Tarski, 1933). Il ne semble pas, au vu
du texte latin, que Leibniz ait dvelopp un tel usage, c'est--dire la distinction entre langage-objet et
mtalangage.
8
RG, pp. 217-219.
Leibniz dans Kant, page 3
Leibniz ici montre dabord le lien entre les choses et les mots, entre le niveau
ontologique (lnonc direct) et le niveau logique (lnonc rflexif), reprenant ainsi
le principe de la vrit correspondance tel quil apparaissait dj chez Aristote
9
. Bien
sr, le niveau ontologique ne concerne pas ncessairement le monde sensible (les
choses). La concidence entre nonc direct et nonc rflexif, cest ce qui permet de
passer du langage la logique. De l, Leibniz dveloppe les premiers principes dune
caractristique logique : vrai par vrai donne vrai et faux par faux donne vrai dune
part, et la substitution salva veritate dautre part.
Dans un autre texte, Leibniz formule les mmes principes un peu diffremment :
Sur le vrai et le faux, laffirmation et la ngation et sur les contraires
10

3) Sont QUIVALENTS (cest--dire peuvent tre infrs dun de lautre) : "lnonc est vrai" et
"lnonc peut tre pos" [].
4) Une affirmation est un nonc sur un nonc, qui dit que celui-ci est vrai.
5) Une ngation est un nonc sur un nonc, qui dit que celui-ci nest pas vrai.
6) Un nonc et laffirmation dun nonc sont quivalents, autrement dit lnonc prescrit par lui-
mme que soit affirme sa vrit.
[]
9) Laffirmation et la ngation de la ngation sont quivalentes. Il sagit dun axiome qui dcoule de la
signification de non, cest--dire de la particule ngative : lusage veut en effet que sa rptition sannule.
[]
12) Si partir dnoncs poss il suit un autre nonc qui est faux, alors un des noncs poss est
galement faux. Ceci est un axiome.
13) Si la ngation est vraie laffirmation nest pas vraie.
[]
15) Deux noncs sont contradictoires lorsque lun affirme ce que lautre nie.
La vrit est donc un prdicat de lnonc. Ce prdicat est contenu dans lnonc.
Du point de vue logique, dire L ou "L est vrai", cest dire la mme chose.
1.2 La science du pensable
1.2.1 Notions et propositions
Demandons-nous maintenant de quelle thorie est extraite la notion dnonc.
Pour Leibniz, cest un constituant de la science gnrale. Ainsi il crit :

9
Aristote, Catgories, Vrin, traduction Tricot. 12, L'antrieur, 14b15 : "l'homme rel se rciproque selon la
conscution d'existence avec la proposition qui est vraie son sujet. Si, en effet, l'homme existe, la proposition
par laquelle nous disons que l'homme existe est vraie aussi ; et rciproquement, si la proposition par laquelle nous
disons que l'homme existe est vraie, l'homme existe aussi." Et Aristote ajoute : "Cependant la proposition vraie
n'est en aucune faon cause de l'existence de la chose ; c'est au contraire la chose qui semble tre, en quelque
sorte, la cause de la vrit de la proposition, car c'est de l'existence de la chose ou de sa non-existence que dpend
la vrit ou la fausset de la proposition."
"A la Tarski", on crira La proposition "la neige est blanche" est vraie si et seulement si la neige est blanche.
Tarski, La conception smantique de la vrit et les fondements de la smantique, Armand Colin, traduction sous
direction de Gilles Granger, 4.
10
RG, p. 312, note 49.
Leibniz dans Kant, page 4
Introduction lencyclopdie secrte
11

La science gnrale nest rien dautre que la science du pensable en gnral et en tant que tel. Elle ne
comprend pas seulement la logique telle quelle a t reue jusqu prsent, mais galement lart
d'inventer, la mthode, cest--dire la manire de disposer les vrits ; la synthse et lanalyse ; la
didactique, cest--dire la science de lenseignement ; ce quon appelle la gnostologie, la noologie, lart
de la mmoire, cest--dire la mnmonique ; lart caractristique, cest--dire la symbolique, lart
combinatoire, lart des arguties, la grammaire philosophique ; lart lullien, la cabale des sages et la
magie naturelle ; peut-tre aussi lontologie, cest--dire la science qui porte sur le quelque chose et le
rien, ltre et le non-tre, la chose et le mode de la chose, la substance et laccident. Peu importe de quelle
manire ces sciences sont rparties car elles sont un corps continu comme locan.
Bref, la science gnrale est la science du pensable et :
Introduction lencyclopdie secrte
12

Le pensable est simple ou complexe. Le simple est appel notion, cest--dire concept.
Le complexe est ce qui enveloppe en soi un nonc, quil sagisse dune affirmation ou dune ngation,
du vrai ou du faux.
Leibniz distingue donc entre le simple et le complexe, lnonc et la notion. La
notion, cest aussi le concept, lide ou le terme. Il convient toute fois de la distinguer
du nom. La notion concerne le sens. Ainsi :
chantillon de calcul universel
13

Par terme, je nentends pas un nom mais un concept, cest--dire ce qui est signifi par un nom, pour
quoi on pourrait aussi employer notion ou ide.
Ou encore
lments de calcul
14

1) UN TERME est le sujet ou le prdicat dune proposition catgorique. Je nentends donc par terme ni
le signe ni la copule. Lorsquon dit par exemple "le sage croit", le terme nest pas "croit" mais croyant et
tout se passe comme si lon avait dit : "le sage est croyant".
2) LES PROPOSITIONS sont conues ici comme catgoriques [] la proposition catgorique est le
fondement de toutes les autres [] jappelle proposition catgorique la proposition "A est B", ou "A nest
pas B", cest--dire "il est faux que A est B".
Recherches gnrales
15

Est une PROPOSITION : "A concide avec B", "A est B" (c.--d. "B est dans A", "B peut tre substitu
A"), "A ne concide pas avec B".
Comme pour la notion, la proposition concerne le sens et nest donc pas arbitraire :
chantillon de calcul universel
16

Bien que certaines propositions soient admises selon larbitraire des hommes comme des dfinitions de
terme, la vrit qui en procde nest cependant nullement arbitraire, puisquil est au moins absolument
vrai quune fois poses ces dfinitions la conclusion en procde ; ou, ce qui revient au mme, que la
liaison entre les conclusions, cest--dire les thormes, et les dfinitions, cest--dire les hypothses
arbitraires, est absolument vraie.

11
RG, pp. 130-131.
12
RG, p. 131.
13
RG, p. 92.
14
RG, p. 45.
15
RG, p. 223.
16
RG, p. 85.
Leibniz dans Kant, page 5
Cest l une des formulations de ce quon appelle la thse antinominaliste de
Leibniz
17
: la vrit procde du sens qui nest pas un arbitraire humain.
1.2.2 Classifications des vrits
Maintenant que nous avons une ide plus claire de ce quest une vrit (cest un
prdicat de lnonc ou de la proposition qui forme un des deux lments, avec
le concept, de la science du pensable), nous allons pouvoir suivre Leibniz dans son
analyse des vrits, analyse qui est associe un classement des vrits :
Sur la synthse et lanalyse universelles ou sur lart dinventer et de juger
18

Ds lenfance, alors que japprenais la logique, jai pris lhabitude de rechercher en profondeur les
raisons de ce quon me proposait ; jinterrogeais dj mes prcepteurs : puisquon possdait les
prdicaments des termes incomplexes, qui permettaient dordonner les notions, pourquoi naurait-on pas
form de la mme manire les prdicaments des termes complexes, par lesquels on aurait ordonn les
vrits ? Jignorais videmment que les gomtres ne font pas autre chose lorsquils effectuent une
dmonstration et disposent les propositions selon quelles dpendent les unes des autres.
Il sagit donc de trouver les prdicaments des propositions et par l dordonner les
vrits. Les prdicaments sont les catgories au sens aristotlicien, cest--dire les
diffrentes classes de prdicats quon peut affirmer dun sujet quelconque. Le projet
de Leibniz est donc de dterminer les prdicats que lon peut affirmer dune
proposition vraie, puis de les ordonner. Ce classement ne sera pas sans rapport avec
la mthode de la dmonstration gomtrique. (Notons que dans ce passage, le "terme"
peut tre complexe ou incomplexe, donc tre concept ou proposition, ce quon
comprend fort bien puisque quun terme complexe comme "la neige est blanche" peut
tre le sujet de la proposition " la neige est blanche est vraie").
Voyons donc comment Leibniz dfinit les prdicaments des termes complexes :
Sur la libert
19

Toute vrit est soit originaire soit drive. Les vrits originaires sont celles dont on ne peut rendre
raison : telles sont les identiques ou immdiates, qui affirment le mme propos du mme ou nient le
contradictoire. Des vrits drives il existe deux genres : les unes sont rsolues en vrits originaires,
les autres requirent un progrs linfini dans la rsolution. Celles-l sont ncessaires, celles-ci sont
contingentes. Car il ne fait aucun doute quune proposition NCESSAIRE est une proposition dont le
contraire implique contradiction. Cest le cas pour toutes les identiques et pour les drives quon peut
rsoudre en identiques, et telles sont les vrits dont on dit quelles sont dune ncessit mtaphysique ou
gomtrique.
Le classement est clair : il y a deux dichotomies successives. La premire divise
les vrits en vrits originaires et en vrits drives : cest une distinction
gntique. La seconde divise les vrits drives en vrits ncessaires et vrits
contingentes : cest une distinction modale.
On arrive donc au schma suivant de la division du pensable en gnral :

17
Cf. RG, p. 115, note 48.
18
RG, p. 135.
19
RG, p. 332.
Leibniz dans Kant, page 6
Pensable
en gnral
Vrits
originaires
Vrits
drives
Vrits
ncessaires
Vrits
contingentes
Simple :
Notion
Concept
Ide
Complexe :
Enonc
Proposition
Vrit

1.3 Les vrits premires
1.3.1 Deux types de vrits premires
Prcisons donc ce que Leibniz entend par vrits originaires. Il y a dabord une
question de vocabulaire. Leibniz dit aussi vrits premires, propositions vraies par
soi ou encore primitives.
Sur les vrits premires
20

Parmi les vrits de raison, LES VRITS PREMIRES ABSOLUMENT sont les identiques. Parmi
les vrits de fait, la vrit premire absolument est celle partir de laquelle toutes les expriences
pourraient tre dmontres a priori, savoir : "tout possible prtend exister", et donc existerait
effectivement si un autre possible, prtendant aussi exister et incompatible avec lui, ne venait len
empcher.
[]
De deux choses lune, ou bien tout existe, et alors tout possible prtend tellement exister quil existe
effectivement ; ou bien certains possibles nexistent pas et lon doit alors donner la raison pour laquelle
certains existent plutt que dautres. Or cette raison ne peut tre donne qu partir de la raison gnrale
de lessence, cest--dire de la possibilit, quand on a pos que le possible prtend lexistence selon sa
propre nature et en proportion de sa possibilit, cest--dire de son degr dessence. Sil ny avait, dans
la nature mme de lessence, une certaine inclination exister, alors rien nexisterait. Car prtendre
que certaines essences possdent cette inclination alors que dautres ne la possdent pas, cest avancer
quelque chose sans raison.
[]
LES VRITS PREMIRES POUR NOUS sont les donnes de lexprience.
Toute vrit qui nest pas premire absolument peut tre dmontre partir dune vrit premire
absolument.
Toute vrit peut tre dmontre partir des vrits premires absolument (dont on peut dmontrer
quelles sont indmontrables) ou bien est elle-mme premire absolument. Cest ce quhabituellement on
exprime ainsi : que rien ne doit tre assert sans raison, et mme, que rien narrive sans raison.
Dans ce passage trs clairant, Leibniz distingue entre les vrits premires
absolument de raison, cest--dire ncessaires (les identiques) et lunique vrit
premire absolument de fait, cest--dire contingente (vrit qui tablit le lien entre le
niveau logique et le niveau ontologique : "tout possible prtend exister").

20
RG, pp. 446-448.
Leibniz dans Kant, page 7
Il distingue aussi entre vrits premires absolument et vrits premires pour
nous. Celles-ci sont les donnes de lexprience, comme "la neige est blanche" : cest
une vrit premire pour nous qui est quivalente " la neige est blanche est vrai".
Cependant, bien quappele vrit premire, elle reste dmontrable partir dune
vrit premire absolument, autrement dit elle trouve sa raison dans une vrit
premire absolument.
Les vrits premires absolument (les identiques) permettent la dmonstration de
toutes les autres vrits. Cest un principe essentiel, le principe de raison : rien nest
et rien narrive sans raison : nihil est sine ratione, nihil fit sine ratione. Ou encore
rien ne doit tre assert sans raison, autrement dit, le prdicat est dans le sujet :
praedicatum inest subjecto. Ces deux principes, lun ontologique, lautre logique,
sont finalement quivalents et sappliquent toutes les vrits, lexception des
identiques, mme les vrits premires pour nous.
On peut donc prciser le schma de la science du pensable :
Vrits
premires
ou
originaires
de raison : les
identiques
de fait
Absolument
Pour nous : donnes de l'exprience
Principes
Praedicatum inest subjecto
Nihil est sine ratione
Tout possible prtend exister
Ontologique
Logique
Logique et
ontologique

Bien sr, la possibilit nest quune prtention lexistence :
Sur la contingence
21

Il faut tenir pour assur que tous les possibles ne parviennent pas lexistence ; autrement on ne
pourrait imaginer aucun personnage de roman qui naurait exist quelque part quelque moment.
En effet,
Sur la contingence
22

il ne parat pas quil puisse se faire que tous les possibles existent, car ils sempchent mutuellement.
Cependant,
Sur les vrits premires
23

il reste que les hommes nont pas encore dcouvert do proviennent les diffrentes incompatibilits,
cest--dire comment il est possible que les diffrentes essences rpugnent les unes aux autres alors que
tous les termes purement positifs semblent compatibles entre eux.

21
RG, p. 328.
22
RG, p. 328.
23
RG, p. 448.
Leibniz dans Kant, page 8
Leibniz touche ici les limites de son propre systme, cest--dire de la
gnralisation du principe de raison et du praedicatum inest subjecto la vrit de
fait premire absolument disant que tout possible prtend exister. On prcisera ce
point avec ltude des vrits contingentes.
1.3.2 Les identiques
Leibniz identifie parfois les vrits premires absolument de raison (les identiques
ou immdiates) et vrits premires.
Principes logico-mtaphysiques
24

Les vrits premires sont celles qui affirment dune chose cette chose mme, ou qui nient son oppos ;
comme "A est A" ou "A nest pas non-A". Sil est vrai que "A est B", il est faux que "A nest pas B" ou
que "A est non-B". De mme "chaque chose est telle quelle est" ; "chaque chose est semblable ou gale
elle-mme" ; "rien nest plus grand ni plus petit que soi-mme" et dautres noncs de ce genre, qui, bien
quils aient entre eux des degrs de priorit, peuvent tre tous compris cependant sous la dnomination
unique didentiques.
Sur les critres pour distinguer le vrai du faux
25

Les premires propositions vraies sont celles que lon appelle communment les identiques, comme :
"A est A", "non-A est non-A", "si la proposition L est vraie, alors la proposition L est vraie".
Leibniz dit de ces propositions quelles renferment des coccysmes, cest--dire que
ce sont des tautologies. Ce sont trois formulations du principe didentit : A = A, A
= A et L - > L.
Les identiques sont aussi appeles les propositions vraies par soi :
Recherches gnrales sur lanalyse des notions et des vrits
26

Est une PROPOSITION VRAIE PAR SOI : "A concide avec A".
ou encore des axiomes :
Sur la synthse et lanalyse universelles ou sur lart dinventer et de juger
27

partir de ces ides ou de ces dfinitions
28
, on peut dmontrer toutes les vrits, lexception des
propositions identiques, qui sont lvidence indmontrables par nature et quon peut vritablement
appeler des axiomes.
Concluons donc en redonnant la mthode de la preuve selon Leibniz
Recherches gnrales sur lanalyse des notions et des vrits, 61
29

Il en va ici des termes complexes comme des incomplexes. Car prouver quun terme complexe est
vrai, cest le ramener dautres termes complexes vrais, et ceux-ci finalement aux premiers termes
complexes vrais, cest--dire aux axiomes (aux propositions connues par soi), aux dfinitions de termes
incomplexes dont la vrit t prouve et aux donnes de lexprience.
De mme, on prouve que les termes incomplexes sont vrais en les ramenant dautres termes
incomplexes vrais, et ceux-ci finalement aux premiers termes incomplexes vrais, autrement dit aux

24
RG, p. 459.
25
RG, p. 456.
26
RG, p. 225 - 10.
27
RG, p. 139.
28
Celles des ides ou notions.
29
RG, p. 241.
Leibniz dans Kant, page 9
termes conus par soi ou ceux dont nous avons une exprience, ou bien pour lesquels nous disposons
de lexprience de termes qui leur sont semblables. []
Ainsi toute rsolution, quil sagisse des complexes ou des incomplexes, sachve avec les axiomes,
les termes conus par soi et les donnes de lexprience.
De mme que les axiomes sont les premiers termes complexes vrais ou les
propositions connues par soi, les termes conus par soi sont des termes premiers
incomplexes et vrais. La mthode de la preuve unifie le pensable, le simple et le
complexe, les notions et les vrits. Cependant
Introduction lencyclopdie secrte
30

Il ne semble pas que lhomme soit capable dune analyse des concepts par laquelle nous pourrions
parvenir aux notions primitives, cest--dire ce qui est conu par soi. Mais lanalyse des vrits est
davantage en son pouvoir, car nous pouvons dmontrer absolument de nombreuses vrits et les ramener
des vrits primitives indmontrables.
Nous ne prciserons pas plus cette question qui scarte de notre sujet.
1.4 Vrits contingentes et vrits ncessaires
1.4.1 Critre de distinction
Venons en maintenant la deuxime distinction entre les propositions, celle qui
oppose les propositions ncessaires et les propositions contingentes. Initialement
cette division ne concernait que les vrits drives. Pourtant, on a vu lors de la
prsentation des vrits premires quelles aussi se divisent en vrits premires de
raison et en vrits premires de fait. Comme pour les propositions premires, le
vocabulaire de Leibniz nest pas fix. Pour les vrits ncessaires, il parle aussi de
vrits de raisonnement, de vrits gomtriques, mtaphysiques, essentielles,
ternelles, dmontrables ou virtuellement identiques. Pour les vrits contingentes, il
dit aussi vrits de fait, vrits libres, infinies ou existentielles. Les nuances qui
peuvent exister entre ces formulations seront claires au fur et mesure sil y a lieu.
Commenons par quelques citations :
Monadologie, 33
31

Il y a aussi deux sortes de Vrits, celles de Raisonnement et celles de Fait. Les vrits de
raisonnement sont ncessaires et leur oppos est impossible, et celles de fait sont contingentes et leur
oppos est possible. Quand une vrit est ncessaire, on en peut trouver la Raison par lAnalyse, la
rsolvant en ides et en vrits plus simples jusqu ce quon vienne aux primitives.
Vrits ncessaires et vrits contingentes
32

Est ABSOLUMENT NCESSAIRE une proposition qui peut tre rsolue en identiques, ou dont
loppos implique contradiction. [] Jappelle donc mtaphysique ou gomtrique cette ncessit et
CONTINGENT ce qui en est priv ; et ce qui implique contradiction, ou dont loppos est ncessaire, je
lappelle IMPOSSIBLE. Tout le reste est POSSIBLE.
Recherches gnrales sur lanalyse des notions et des vrits, 67
33


30
RG, p. 134.
31
Leibniz, Monadologie, Gallimard-Tel, p. 101.
32
RG, pp. 339-340.
Leibniz dans Kant, page 10
67) Or une proposition ncessaire est une proposition dont loppose nest pas possible ; autrement dit,
quand on admet loppose dune proposition ncessaire et quand on la rsout, on est conduit une
contradiction. Par consquent est ncessaire une proposition que lon peut dmontrer par les identiques
et les dfinitions sans recourir aux donnes de lexprience si ce nest pour tablir quun terme est
possible.
Recherches gnrales sur lanalyse des notions et des vrits, 56
34

[] dans le cas des propositions contingentes [] il nest jamais possible de les ramener aux
identiques.
Vrits ncessaires et vrits contingentes
35

Nous dcouvrons ainsi quautres sont les propositions qui se rapportent aux essences, autres sont celles
qui portent sur les existences des choses. Sont essentielles en effet les propositions qui peuvent tre
dmontres par la rsolution des termes ; autrement dit qui sont ncessaires, cest--dire virtuellement
identiques, et leur oppos est impossible ou virtuellement contradictoire. Elles sont aussi des vrits
ternelles, et elles ne vaudront pas seulement tant que le monde subsistera, elles auraient aussi valu
galement si Dieu avait cr le monde suivant un autre dessein.
Mais les propositions existentielles, cest--dire contingentes, en diffrent compltement, elles dont la
vrit nest comprise a priori que par le seul Esprit infini, et ne peut tre dmontre par aucune
rsolution. Telles sont les propositions qui ne sont vraies que pour un certain temps et qui nexpriment
pas seulement ce qui a trait la possibilit des choses, mais ce qui existe aussi actuellement, ou viendrait
exister de manire contingente sous certaines conditions.
Recherches gnrales sur lanalyse des notions et des vrits, 130
36

130 bis) Est donc vrai ce qui peut tre prouv, cest--dire ce dont on peut rendre raison par la
rsolution. Est faux ce qui au contraire ne peut ltre. Est ncessaire ce qui est ramen lidentique par la
rsolution. Impossible ce qui est ramen par la rsolution au contradictoire. Est faux un terme ou une
proposition qui contient des opposs, quelle que soit la manire dont on le prouve ; est impossible ce qui
contient des opposs, la preuve tant donne par une rduction dans un nombre fini de termes. Il convient
par consquent de distinguer A = AB dont la preuve a lieu par rsolution finie, de A = AB, dont la preuve
a lieu par une rsolution linfini. Tout ce quon dit du ncessaire, du possible, de limpossible et du
contingent procde de cette distinction.
Prcisons que
Opuscules et fragments indits, 256
37

La rsolution est la substitution de la dfinition au dfini. La composition est la substitution du dfini
la dfinition
et que
chantillon de calcul universel
38

La DFINITION (le DFINI, cest--dire le NOM) est le terme compos (simple) dans une
proposition rciproque admise arbitrairement qui consiste en un terme simple et en un terme compos
39
.
Cest pourquoi la dfinition est une proposition dont on ne rend pas raison, mais laquelle nous
recourons uniquement pour abrger. Une dfinition est donc pour ainsi dire une hypothse dont la vrit
ne doit pas faire lobjet dun dbat et dont on doit seulement se demander si elle est bien adapte, claire,
et sil est prudent de ladmettre.

33
RG, p. 245.
34
RG, p. 237.
35
RG, p. 341.
36
RG, pp. 275-277.
37
RG, p. 174, note 45 : Opuscules et fragments indits, extraits des manuscrits de la bibliothque de Hanovre, dits
par Louis Couturat, Alcan, 1903.
38
RG, p. 91.
39
Ce qu'on crirait, dans l'idographie moderne : dfini =df dfinition.
Leibniz dans Kant, page 11
Le critre de distinction des deux vrits est bien sr une critre de modalit. Les
vrits ncessaires se rangent du ct de la ncessit et de limpossibilit, tandis que
les vrits contingentes se rangent du ct de la contingence et de la possibilit. Il y a
aussi un critre de mthode de dmonstration : les vrits ncessaires peuvent tre
rsolues en identiques ce qui nest pas le cas des propositions contingentes.
Sur la libert
40

Les vrits sont tantt dmontrables, cest--dire ncessaires, tantt libres ou contingentes,
lorsquelles ne peuvent tre ramenes par aucune analyse lidentit qui serait comme leur commune
mesure. Et tel est le critre essentiel de la distinction, aussi bien pour les proportions que pour les vrits.
Ne sont dmontrables que les vrits ncessaires. Cette dmonstration est de type
gomtrique :
Sur la contingence
41

La dfinition dune proposition ncessaire est que sa vrit peut tre dmontre selon la rigueur
gomtrique.
Sur la libert
42

Il ne fait aucun doute quune proposition NCESSAIRE est une proposition dont le contraire implique
contradiction. Cest le cas pour toutes les identiques et pour les drives quon peut rsoudre en
identiques, et telles sont les vrits dont on dit quelles sont dune ncessit mtaphysique ou
gomtrique. Car DMONTRER consiste seulement, en rsolvant les termes de la proposition en
substituant la dfinition ou une partie de la dfinition au dfini, faire apparatre une certaine quation,
cest--dire une concidence du prdicat avec le sujet dans une proposition rciproque, ou tout au moins
dans les autres cas une inclusion, de sorte que ce qui tait cach dans la proposition et contenu dans une
certaine puissance soit rendu vident et exprs par la dmonstration.
Leibniz propose de nombreux exemples mathmatiques de rsolution de vrits en
identiques, comme la dmonstration de la proposition : "tout duodnaire est
snaire"
43
, cest--dire tout nombre divisible par 12 est divisible par 6. Notons que
pour arriver rsoudre, cest--dire dmontrer, il faudra utiliser la fois la
rsolution et la composition : en effet il est le plus souvent ncessaire de dvelopper
les formulations (par composition) pour arriver, par rsolution, la formulation dun
identique.
Notons aussi le statut particulier de la dfinition. La proposition rciproque
constitue par le dfini et la dfinition (un snaire est binaire ternaire, un nombre
divisible par 6 est un nombre divisible par 2 et par 3) est ncessaire pour dmontrer et
rsoudre en identiques, mais cette proposition "dfinissante" est une hypothse dont
la vrit ne doit pas faire lobjet dun dbat. La proposition qui unit la dfinition et le
dfini est donc un autre type de proposition, ni ncessaire, ni contingente, ni
premire, ni drive. Sa vrit ne fait pas lobjet dun dbat, cest--dire que cette
proposition ne se dmontre pas. En effet, la dmonstration utilisant la dfinition,
toute tentative de dmonstration de la dfinition conduirait soit une rgression
linfini, soit une rduction de la dfinition aux identiques. Ce nest pas pour autant

40
RG, p. 334.
41
RG, p. 329.
42
RG, pp. 332.
43
RG, p. 332.
Leibniz dans Kant, page 12
une proposition identique, car les identiques sont en petit nombre et ne concernent
que la forme des propositions tandis que les dfinitions sont en trs grand nombre,
voir en nombre infini, et concernent le contenu des propositions. Bien que la
proposition dfinissante soit dun certain point de vue, une hypothse arbitraire
44
,
cest--dire une proposition admise selon larbitraire des hommes, il y a quand mme
des critres dadmission sont finalement : la clart, ladaptation et la prudence.
La problme de la dfinition et de sa dfinition aura une postrit dans la
correspondance entre Frege et Hilbert
45
, cest--dire dans ce quon pourrait appeler,
la faon de Quine
46
, la querelle des ralistes-logicistes et des nominalistes-
formalistes. Sans rentrer dans le dtail, disons que la position de Leibniz est ambigu.
Puisquil rejette le nominalisme et quil estime quil y a quelques caractristiques de
la dfinition, on peut le "tirer" vers Frege et la dfinition caractrisante : la dfinition
du point doit permettre de savoir si ma montre est un point. Mais dun autre cot, la
dfinition est arbitraire et on peut "tirer" Leibniz vers Hilbert pour qui la dfinition
nest quun postulat (un axiome des axiomatiques modernes) dont la vrit ne vient
que de la cohrence des consquences du systme de postulats auquel on dcide
arbitrairement de la faire appartenir.
1.4.2 Vrits, propositions vraies et certitude
Tout ceci nous amne la question de la certitude. Examinons donc les 60 et 61
des Recherches gnrales :
Recherches gnrales sur lanalyse des notions et des vrits, 60 et 61
47

60) Les vrits ncessaires sont celles qui peuvent tre ramenes des identiques ou dont les
opposes peuvent tre ramenes des contradictoires. Et les vrits impossibles fausses sont celles qui
peuvent tre ramenes des contradictoires ou dont les opposes peuvent tre ramenes des identiques.
61) Est possible ce dont on peut montrer que la rsolution ne rencontrera jamais de contradiction. Est
contingent et vrai ce dont la rsolution exige dtre continue linfini. Est contingent et faux au
contraire ce dont on ne peut dmontrer la fausset si ce nest par le fait quon ne peut en dmontrer la
vrit.
Cest loccasion dapporter une nuance laffirmation quune vrit est une
proposition vraie. En effet, Leibniz dit quil y a des vrits impossibles et fausses et il
sous-entend quil y a des vrits contingentes fausses. Si une vrit peut tre fausse,
on peut alors se demander si ce que Leibniz appelle vrit nest pas rien dautre que
la proposition. Sur le vrai, Leibniz dit aussi :
Recherches gnrales sur lanalyse des notions et des vrits, 56
48

56) Je dfinis VRAI en gnral ainsi : A est VRAI si, en posant pour A sa valeur, et en traitant de la
mme manire tout ce qui intervient dans la valeur de A (si tout au moins cest possible), on ne rencontre

44
RG, p. 85. Cf. ici note 16.
45
Cf. Logique et fondements des mathmatiques, Payot, 1992, pp. 220-235.
46
Quine, On what there is, 39 42, traduction Joseph Vidal-Rosset dans : Philosophie des mathmatiques et
systmes philosophiques, essai sur les classifications de William Van Orman Quine et de Jules Vuillemin,
Doctorat de Philosophie et d'pistmologie de l'Universit de Provence, centre d'Aix.
47
RG, pp. 237-239.
48
RG, pp. 235-237.
Leibniz dans Kant, page 13
jamais B non-B, c.--d. une contradiction. Par consquent, pour que nous soyons certains dune vrit,
il nous faut soit continuer la rsolution jusquaux premires vrits, ou tout au moins jusquaux vrits
qui ont dj t traites par un tel procd, ou pour lesquelles il est tabli quelles sont vraies ; soit il nous
faut, par le dveloppement mme de la rsolution, cest--dire par une relation gnrale entre les
rsolutions prcdentes et les suivantes, tablir que lon ne rencontrera jamais B non-B aussi loin que
lon poursuive cette rsolution.
On peut donc tre certain dune vrit. Autrement dit, si la proposition porte
objectivement sa vrit ou sa fausset en elle-mme, une vrit est une proposition,
vraie ou fausse, considre subjectivement comme tant vraie : une vrit est une
proposition que lon croit vraie. Et ainsi, pour en tre certain, pour passer de la
croyance la certitude, il faut soit remonter aux vrits premires (en passant par les
dfinitions), soit tablir, par ce que lon appelle aujourdhui en mathmatique une
dmonstration par rcurrence, quon ne rencontrera jamais de contradiction. La
certitude, humaine par dfinition, nest donc possible que pour les vrits ncessaires.
On comprend donc que les vrits ncessaires sont vraies, les vrits impossibles
sont fausses. "Vrai it" des vrits ncessaires et fausset des vrits impossibles
sont dmontrables par une analyse finie. Il y a donc certitude dans les deux cas. Mais
seules les vrits ncessaires peuvent atteindre la certitude. Les vrits contingentes
ne le peuvent pas. En effet, comme les ncessaires, elles peuvent tre vraies ou
fausses. Mais, si une vrit contingente vraie nest dmontrable que par une
rsolution linfini, et si une vrit contingente faux nest elle-mme pas
dmontrable, alors la question qui se pose devient : comment diffrencier une vrit
contingente vraie dune vrit contingente fausse ? On arrive l de nouveau sur une
tension essentielle de la thorie de Leibniz.
Nous allons donc pour finir prciser la thorie des vrits contingentes.
1.4.3 Le problme des vrits contingentes
Sur la contingence
49

Ma thse est quil est commun toute vrit quon puisse toujours rendre raison dune proposition non
identique, que cette raison est ncessitante pour les propositions ncessaires et inclinante pour les
propositions contingentes.
Sur la caractristique de la science
50

Jutilise deux principes dans mes dmonstrations : selon le premier, est faux ce qui implique
contradiction, selon le second, on peut rendre raison de toute vrit (qui nest pas immdiate, cest--
dire identique) ou, en dautres termes, que la notion du prdicat est toujours dans la notion du sujet,
que ce soit expressment ou implicitement, principe qui ne vaut pas moins pour les dnominations
extrinsques que pour les intrinsques, pas moins pour les vrits contingentes que pour les ncessaires.
Cest vraiment le mme critre qui spare les VRITS NCESSAIRES des VRITS
CONTINGENTES et les nombres commensurables des incommensurables, car comme on peut, dans le
cas des nombres commensurables, mener la rsolution jusqu une commune mesure, de mme, pour les
vrits ncessaires, on peut avoir une dmonstration, cest--dire une rsolution des vrits identiques.
En revanche, de mme que dans le cas des proportions irrationnelles, le procd de rsolution va
linfini, et on accde certes en tout tat de cause une commune mesure, mais on obtient aussi une srie
dpourvue de terme, de mme un processus tout fait identique fait que les vrits contingentes

49
RG, p. 326.
50
RG, pp. 161-162.
Leibniz dans Kant, page 14
rclament galement une analyse infinie que Dieu seul peut parcourir. Lui seul peut donc en
prendre connaissance a priori et avec certitude. [] Donc une vrit qui ne se prte pas lanalyse et
quon ne peut dmontrer partir de ses raisons propres, mais qui ne tire sa raison ultime et sa certitude
que du seul esprit divin, une telle vrit, quelle quelle soit, nest pas ncessaire, et telles sont toutes
celles que jappelle des VRITS DE FAITS. Voil quelle est la RACINE DE LA CONTINGENCE que
nul ma connaissance na encore explique.
On peut rendre raison de toutes les vrits, quelles soient contingentes ou
ncessaires, car nihil est sine ratione ou praedicatum inest subjecto. Mais la certitude
des vrits contingentes nest accessible qu Dieu qui seul peut parcourir une
analyse infinie. Ce qui est contingent, ce qui pourrait ne pas tre, nest donc certain
que pour Dieu. Ce que Leibniz formule encore ainsi :
Recherches gnrales sur lanalyse des notions et des vrits, 132-136
51

132) Toute proposition vraie peut tre prouve. En effet, puisque le prdicat est dans le sujet,
comme le dit Aristote, en dautres termes, puisque la notion du prdicat est enveloppe dans la notion du
sujet quand elle est parfaitement comprise, la vrit doit toujours pouvoir tre montre par la rsolution
des termes dans leurs valeurs cest--dire dans les termes quils contiennent.
133) Une proposition vraie ncessaire peut tre prouve par la rduction aux identiques ou par la
rduction de son oppose aux contradictoires. Par suite, loppose est dite impossible.
134) Une proposition vraie contingente ne peut tre rduite aux identiques mais on la prouve
nanmoins en montrant que, si la rsolution est poursuivie de plus en plus, elle sapproche
perptuellement des identiques et ny parvient pourtant jamais tout fait. Il revient donc Dieu seul,
dont lesprit embrasse tout linfini, de possder une certitude au sujet de toutes les vrits
contingentes.
135) Par suite, il y a la mme diffrence entre les vrits ncessaires et les vrits contingentes quentre
des lignes qui se coupent et des asymptotes ou entre des nombres commensurables et des nombres
incommensurables.
136) On rencontre pourtant ici une difficult. Nous pouvons dmontrer quune ligne, savoir une
asymptote, se rapproche sans cesse dune autre et que deux quantits sont gales entre elles, en montrant,
mme dans le cas des asymptotes, ce qui se produit quand le dveloppement est poursuivi aussi
longtemps quon voudra. Donc les hommes auront galement accs la certitude propos des vrits
contingentes. Mais il faut rpondre quil existe en effet une similitude mais non une concordance entire.
Et il peut exister des rapports qui ne se dcouvrent jamais autant quil est besoin pour la certitude aussi
loin que lon poursuive leur rsolution et qui ne sont parfaitement compris que par celui dont lintellect
est infini.
Concernant prcisment la rsolution linfini, Leibniz dit :
Recherches gnrales sur lanalyse des notions et des vrits, 74
52

74) Toutes les propositions existentielles sont certes vraies, mais elles ne sont pas ncessaires, car
elles ne peuvent tre dmontres quau moyen dune infinit de propositions, cest--dire par une
rsolution poursuivie linfini, autrement dit partir du concept complet de lindividu qui enveloppe une
infinit dexistences.
Sur la contingence
53

Dans les propositions ncessaires, on parvient une quation identique lorsque lanalyse est poursuivie
jusqu un certain point ; et cest l dmontrer une vrit selon la rigueur gomtrique ; mais dans les
contingentes le progrs de lanalyse va linfini, de raison en raison, de sorte que lon nobtient jamais de
dmonstration acheve ; la raison de la vrit subsiste toutefois toujours, bien quelle soit parfaitement
comprise uniquement par Dieu, qui seul pntre la srie infinie en une seule perce de lesprit.
Sur la libert
54


51
RG, pp. 277-279.
52
RG, p. 249.
53
RG, p. 327.
Leibniz dans Kant, page 15
Dans le cas des vrits contingentes au contraire, bien que le prdicat soit dans le sujet, il ne peut
cependant jamais tre dmontr partir de lui et on ne parvient jamais ramener la proposition une
quation, cest--dire une identit : sa rsolution, au contraire, se prolonge linfini. Dieu seul voit,
non pas, bien entendu, la fin de la rsolution, qui nexiste pas, mais tout au moins la liaison des
termes, cest--dire lenveloppement du prdicat dans le sujet, car il voit quant lui tout ce qui est dans
la srie.
Vrits ncessaires et vrits contingentes
55

Dans une vrit contingente, bien que le prdicat soit vritablement dans le sujet, on ne parvient
pourtant jamais la dmonstration, cest--dire lidentit, quand bien mme la rsolution des deux
termes serait indfiniment poursuivie ; il nappartient qu Dieu seul, qui comprend par un seul acte
tout linfini, de voir compltement comment un terme est dans un autre et de comprendre a priori la
raison parfaite de la contingence. Pour les cratures, lexprience a posteriori y supple.
Toute cette prsentation a fait ressortir les tensions conceptuelles dans la thorie
des vrits de Leibniz. Du ct des vrits ncessaires, le problme se pose de
comprendre le statut des dfinitions. Si on se place du point de vue dune
interprtation logico-philosophique moderne telle que Quine a pu la dvelopper en
tablissant un rapport entre la querelle mdivale des universaux et les coles
mathmatiques du vingtime sicle
56
, on dira que Leibniz est un logicien raliste et
antinominaliste. Mais le ralisme pose le problme de laccs aux essences.
Cependant, le statut de la dfinition pose problme. En effet, elle a un caractre
arbitraire et sa vrit est en quelque sorte hypothtique. De plus, ses critres
dadmission tant assez vagues, on peut les tirer vers celui de la cohrence de ses
consquences, cest--dire le critre des formalistes modernes ou des nominalistes.
Du ct des vrits contingentes, la tension est encore plus forte. Car dune part, si
Dieu seul peut comprendre la raison de la contingence, au moins les hommes
peuvent-ils la constater par lexprience, cette exprience qui est la source des vrits
premires pour nous. Cependant, on a vu que rien dans la thorie de Leibniz ne
permet de discerner une vrit contingente vraie dune vrit contingente fausse.
Lexprience nest donc pas un critre de vrit. Dautre part, et surtout, "sil est en
effet difficile de concilier la contingence des choses et la prordination de Dieu, il
devient presque impossible daffirmer conjointement que la notion complte dun
individu contient une fois pour toutes tout ce qui lui arrivera jamais, et que pourtant
certains prdicats de cette substance sont accidentels alors que dautres sont
essentiels et mme que toutes les vrits qui peuvent tre prononces son propos
sont contingentes."
57
En utilisant le vocabulaire de Kant, auquel nous allons passer,
cest bien le caractre analytique des vrits contingentes qui pose problme. Et
particulirement :
Sur la synthse et lanalyse universelles ou sur lart dinventer et de juger
58

Dans les questions de fait ou contingentes, qui ne dpendent de la raison mais de lobservation ou de
lexprience, les premires vrits sont (pour nous) tout ce que nous percevons immdiatement
lintrieur de nous, cest--dire tout ce dont nous somme conscients propos de nous-mmes ; il est en

54
RG, pp. 332-333.
55
RG, p. 340.
56
Quine, On what there is, ibid.
57
Cf. Rauzy, Introduction de "Ncessit, contingence et libert", RG, p. 322.
58
RG, p. 140.
Leibniz dans Kant, page 16
effet impossible de prouver ces vrits au moyen dautres expriences qui nous seraient plus appropries
et plus intrinsques. [] En moi [] je me perois moi-mme qui pense.
Comment donc le "je pense" pourrait-il tre contingent ?
Leibniz dans Kant, page 17
2 Jugement analytique et jugement synthtique chez Kant

"Le vritable problme de la raison, dit Kant, est [] contenu dans la question : Comment les
jugements synthtiques a priori sont-ils possibles ?"
59

On comprend donc que la thorie du jugement et la distinction entre jugement
synthtique et jugement analytique sont fondamentales chez Kant qui ajoute :
"Que la mtaphysique soit demeure jusquici dans un tat ce point prcaire dincertitude et de
contradiction, la raison en rside purement et simplement en ceci que lon na pas conu plus tt ce
problme et peut-tre mme la diffrence entre les jugements analytiques et les jugements
synthtiques."
60

Le jugement tant un lment de la logique et Kant ayant profess rgulirement
de 1755 1797 un cours de logique luniversit de Kenigsberg en utilisant le
manuel du wolfien G. F. Meier, nous allons commencer notre recherche dans sa
Logique.
2.1 Logique
Logique, Doctrine gnrale des lments, 36 : propositions analytiques et synthtiques
61

On appelle analytiques les propositions dont la certitude repose sur lidentit des concepts (du prdicat
avec la notion du sujet). Les propositions dont la vrit ne se fonde pas sur lidentit des concepts,
doivent tre nommes synthtiques.
Remarques. 1) A tout x, auquel convient le concept de corps (a + b), convient aussi ltendue (b) ;
voil un exemple de proposition analytique.
A tout x, auquel convient le concept de corps (a + b), convient aussi lattraction (c) ; voil un exemple
de proposition synthtique.
Les propositions synthtiques accroissent la connaissance materialiter ; les propositions analytiques
laccroissent simplement formaliter. Les premires contiennent des dterminations (determinationes), les
secondes ne contiennent que des prdicats logiques.
2) Les principes analytiques ne sont pas des axiomes, car ils sont discursifs. Et les principes
synthtiques ne sont galement des axiomes que lorsquils sont intuitifs.
On obtient ici une premire classification :
Les propositions : synthtiques analytiques
contiennent des : dterminations prdicats logiques
accroissent la connaissances : materialiter formaliter
prdicat pas dans sujet prdicat dans le sujet
Que signifient materialiter et formaliter appliqus la connaissance ?
Logique, Introduction, V
62


59
CRP, p. 106. Introduction, VI.
60
CRP, p. 107. Introduction, VI.
61
Logique, pp. 121-122.
62
Logique, p. 35.
Leibniz dans Kant, page 18
En toute connaissance, il faut distinguer la matire, cest--dire lobjet, et la forme, cest--dire la
manire dont nous connaissons lobjet. Si par exemple un sauvage voit une maison de loin, dont il ne sait
pas quoi elle sert, il ne sen reprsente pas moins exactement le mme objet quun autre homme, qui sait
parfaitement quelle est destine lhabitation humaine. Mais au point de vue de la forme, cette
connaissance dun seul et mme objet est diffrente chez les deux hommes. Chez lun, elle est une simple
intuition, chez lautre, elle est intuition et concept en mme temps.
Prcisons les notions daxiome et de principe.
Logique, Doctrine gnrale des lments, 34 : principes
63

Des jugements a priori immdiatement certains peuvent tre appels principes, en tant quils servent
prouver dautres jugements sans tre eux-mmes subordonns aucun autre. Pour cette raison, ils sont
galement nomms propositions premires (commencements).
Logique, Doctrine gnrale des lments, 35. Principes intuitifs et discursifs : axiomes et
acroames
64

Les principes sont intuitifs ou discursifs. Les premiers peuvent tre exposs dans lintuition et se
nomment : axiomes (axiomata) ; les seconds ne se laissent exprimer que par concepts et peuvent tre
appels acroames (acroamata).
Si les acroames ne se laissent exprimer que par concepts, les axiomes
65
, exprims
aussi par concepts, peuvent tre exposs dans lintuition. Et il existe des principes
synthtiques non intuitifs.

Les principes synthtiques analytiques
sont intuitifs ? discursifs
sont des axiomes acroames
sont exposs dans
lintuition
exprims par
concept

Prcisons la distinction entre intuition et concept :
Logique, Introduction, V
66

En rflchissant sur notre connaissance au point de vue des deux facults essentiellement distinctes de
la sensibilit et de lentendement, do elles naissent, nous sommes conduits la distinction entre
intuitions et concepts. De fait, toutes nos connaissances, considres ce point de vue, sont soit des
intuitions, soit des concepts.
[]
Sur la distinction qui vient dtre propose entre connaissances intuitives et discursives ou entre
intuitions et concepts se fonde la diffrence entre la perfection esthtique et la perfection logique de la
connaissance.

63
Logique, p. 121.
64
Logique, p. 121.
65
L'axiome kantien est euclidien c'est--dire intuitif.
66
Logique, p. 38.
Leibniz dans Kant, page 19
Logique, Doctrine gnrale des lments, 1. Concept en gnral. Diffrence entre concept et
intuition
67

Toutes les connaissances cest--dire toutes les reprsentations rapportes consciemment un objet
sont ou bien des intuitions, ou bien des concepts. Lintuition est une reprsentation singulire
(representatio singularis), le concept est une reprsentation gnrale (representatio per notas
communes) ou rflchie (representatio discursiva).
La connaissance par concept sappelle la pense (cognitio discursiva).
Remarques. 1) Le concept est oppos lintuition, car cest une reprsentation gnrale ou une
reprsentation de ce qui est commun plusieurs objets, donc une reprsentation en tant quelle peut tre
contenue en diffrents objets.
2) Cest une simple tautologie de parler de concepts universels ou communs ; cest une faute qui
repose sur une division incorrecte des concepts en universels, particuliers, et singuliers. Ce ne sont pas
les concepts eux-mmes, cest seulement leur usage qui peut-tre ainsi divis.

Esthtique Logique
Les connaissances sont intuitives discursives
naissent de la sensibilit lentendement
sont des intuitions concepts
sont des reprsentations singulires rep. gnrales
ou rflchies

Intuition et concept sont des reprsentations. Prcisons enfin ce dernier concept.
Logique, Introduction, V
68

Toute notre connaissance comporte une double relation ; dabord une relation lobjet, ensuite une
relation au sujet. Au premier point de vue, elle se rapporte la reprsentation ; au second, la
conscience, condition universelle de toute connaissance en gnral ( proprement parler, la
conscience cest une reprsentation quune autre reprsentation est en moi).
[]
La conscience est la condition essentielle de toute forme logique de la connaissance.
[]
Une reprsentation nest pas encore une connaissance, cest la connaissance qui prsuppose toujours la
reprsentation. Et cette dernire ne se laisse absolument pas dfinir. Car on ne pourrait rpondre la
question : quest-ce que la reprsentation ? quen recourant toujours encore une autre reprsentation
dans la dfinition.
Logique, Introduction, VIII
69

Le premier degr de la connaissance cest : se reprsenter quelque chose.
Le deuxime : se reprsenter consciemment quelque chose ou percevoir (percipere).
Le troisime : savoir quelque chose (kennen, noscere), cest--dire se reprsenter quelque chose en la
comparant dautres choses aussi bien au point de vue de lidentit que de la diffrence.
Le quatrime : savoir quelque chose avec conscience, cest--dire connatre (erkennen, cognoscere).
Les animaux aussi savent les objets, mais ils ne les connaissent pas.

67
Logique, p. 99.
68
Logique, pp. 34-36.
69
Logique, p. 72.
Leibniz dans Kant, page 20
Le cinquime : entendre (verstehen, intelligere) quelque chose, cest--dire la connatre par
lentendement au moyen de concepts ou la concevoir. Ce qui est trs diffrent de comprendre. Il y a
beaucoup de choses que lon peut concevoir, bien quon ne puisse les comprendre, par exemple un
perpetuum mobile, dont limpossibilit est dmontre en mcanique.
Le sixime : connatre ou discerner (einsehen, perspicere) quelque chose par la raison. Nous ny
atteignons quen peu de chose, et plus nous voulons perfectionner nos connaissances en valeur, plus le
nombre en devient faible.
Enfin le septime : comprendre quelque chose (begreifen, comprehendere) cest--dire la connatre
par la raison ou a priori dans la mesure qui convient notre propos. Car toute notre comprhension
nest que relative, cest--dire suffisante pour une fin dtermine, il nest rien que nous comprenions
absolument. Rien ne peut tre plus compltement compris que ce que le mathmaticien dmontre, par
exemple que toutes les droites dans un cercle sont proportionnelles. Et cependant il ne comprend pas
comment il se fait quune figure aussi simple ait de telles proprits. Aussi le domaine de lintellection ou
de lentendement est-il de faon gnrale beaucoup plus tendu que le domaine de la comprhension ou
de la raison.
La logique ne dit rien des propositions synthtiques a priori, pas plus que des
principes synthtiques non intuitifs.
Venons en maintenant la Critique de la raison pure.
2.2 Critique de la raison pure
2.2.1 Jugements analytiques et jugements synthtiques
Tout le quatrime paragraphe de lintroduction de la Critique de la raison pure est
consacr la diffrence entre les jugements analytiques et les jugements
synthtiques.
Critique de la raison pure, Introduction, IV, De la diffrence des jugements analytiques et
des jugements synthtiques
70

Dans tous les jugements o le rapport dun sujet au prdicat se trouve pens (si jexamine uniquement
les jugements affirmatifs, car lapplication aux jugements ngatifs, ensuite, est facile), ce rapport est
possible de deux manires. Ou bien le prdicat B appartient au sujet A comme quelque chose qui est
contenu dans ce concept A (de faon implicite) ; ou bien B est tout fait extrieur au concept A, bien
quil soit tout de mme en connexion avec lui. Dans le premier cas, jappelle le jugement analytique,
dans lautre synthtique. Analytiques (pour ce qui est des jugements affirmatifs) sont donc les jugements
dans lesquels la connexion du prdicat avec le sujet est pense par identit, tandis que ceux dans lesquels
cette connexion est pense sans identit se doivent appeler jugements synthtiques. Les premiers, on
pourrait les appeler jugements explicatifs, et les autres jugements extensifs, parce que les premiers, par le
prdicat, najoutent rien au concept du sujet, mais le dcomposent seulement par analyse en ses concepts
partiels qui taient dj penss en lui (bien que confusment), alors quau contraire les seconds ajoutent
au concept du sujet un prdicat qui ntait nullement pens en lui et naurait pu tre tir par aucune
analyse de celui-ci.
[]
Les jugements dexprience, comme tels, sont tous synthtiques. Car il serait insens de fonder un
jugement analytique sur lexprience, tant donn que je nai nullement besoin de sortir de mon concept
pour formuler le jugement et que nul tmoignage de lexprience ne mest dont ncessaire pour cela.
Quun corps soit tendu, cest une proposition qui trouve sa consistance a priori, et non pas un jugement
dexprience. En effet, avant daller lexprience, je possde dj toutes les conditions requises pour
mon jugement dans le concept, dont je peux me borner extraire le prdicat conformment au
principe de contradiction, en prenant par l mme conscience, en mme temps, de la ncessit du
jugement, que lexprience ne menseignera jamais. En revanche, bien que dans le concept dun corps en

70
CRP, pp. 100-102. Introduction, IV.
Leibniz dans Kant, page 21
gnral, je ninclue nullement le prdicat de la pesanteur, ce concept dsigne nanmoins un objet de
lexprience par une partie de celle-ci, laquelle je peux donc ajouter encore dautres parties de la mme
exprience que celles qui appartenaient ce concept. Je peux connatre analytiquement, par avance, le
concept du corps par les caractres de ltendue, de limpntrabilit, de la figure, etc., qui tous sont
penss dans ce concept. Mais maintenant jlargis ma connaissance et, en reportant mon regard sur
lexprience, do javais tir ce concept du corps, je trouve aussi la pesanteur toujours associe aux
caractres indiqus et je lajoute donc synthtiquement, comme prdicat, ce concept. Ainsi est-ce sur
lexprience que se fonde la possibilit de la synthse du prdicat de la pesanteur avec le concept de
corps, parce que les deux concepts, bien que lun ne soit pas contenu dans lautre, appartiennent
pourtant lun lautre, quoique de faon seulement contingente, comme parties dun tout, savoir
lexprience, qui elle-mme est une liaison synthtique des intuitions.
Ce passage pose donc la distinction entre les jugements analytiques et les
jugements synthtiques. Ce nest que dans les jugements analytiques que le prdicat
appartient au sujet. Dans les jugements synthtiques, le prdicat est extrieur au sujet,
bien quil soit en connexion avec lieu. Cest sur lexprience que se fonde la
possibilit de la synthse des deux concepts, et on peut donc dire en quelque sorte
que lexprience fonde lunit contingente de deux concepts.
Prcisons que :
De la diffrence entre la connaissance pure et la connaissance empirique
71

Nous entendrons donc par connaissance a priori [] non pas des connaissances qui adviennent
indpendamment de telle ou telle exprience, mais celles qui interviennent dune manire absolument
indpendante de toute exprience. Leur sont opposes des connaissances empiriques, autrement dit celles
qui ne sont possibles qu' a posteriori, cest--dire par exprience. Mais, dans les connaissances a priori,
sont appeles pures celles auxquelles absolument rien dempirique nest ml. Ainsi, par exemple, la
proposition : tout changement a sa cause est-elle une proposition a priori, mais non point pure, tant
donn que le changement est un concept qui ne peut tre tir que de lexprience.
Les jugements analytiques sont uniquement a priori. Par contre, les jugements
synthtiques pourront tre empiriques ou a priori. Disons, avec Carnap
72
, que la
distinction entre analytique et synthtique est une distinction logique, tandis que la
distinction entre a priori et a posteriori est une distinction pistmologique. Sil
nexiste pas de jugements analytiques a posteriori, il existe par contre des jugements
synthtiques a priori, des jugements pour lesquels le prdicat nest pas dans le sujet
et pour lesquels la synthse du prdicat et du sujet est indpendante de lexprience,
nest pas contingente, est donc ncessaire. Ainsi,
Dans toutes les sciences thoriques de la raison sont contenus des jugements synthtiques a
priori faisant fonction de principes
73

1. Les jugements mathmatiques sont tous synthtiques. Cette proposition semble avoir jusquici
chapp aux observations de ceux qui ont analys la raison humaine, et sopposer mme directement
toutes leurs conjectures, bien quelle soit irrfutablement certaine et trs importante pour la suite.
[]
On devrait certes, au premier abord, penser que la proposition 7 + 5 = 12 est une proposition
simplement analytique qui rsulte du concept dune somme de 7 et de 5 daprs le principe de
contradiction. Simplement, si lon y regarde de plus prs, on trouve que le concept de la somme de 7 et de
5 ne contient rien de plus que la runion de deux nombres en un seul, ce par quoi lon ne pense
aucunement quel est ce nombre unique qui les rassemble tous les deux. Le concept de 12 nest en aucune

71
CRP, p. 94. Introduction, I.
72
Rudolf Carnap, Les fondements philosophiques de la physique, Armand Colin, 1973, 18 : Kant et le jugement
synthtique a priori.
73
CRP, pp. 103-106. Introduction, V.
Leibniz dans Kant, page 22
manire dj pens du fait que je pense simplement cette runion de 7 et de 5, et je peux bien dcomposer
analytiquement aussi loin quon voudra mon concept dune telle somme possible : je ny rencontrerai
pourtant pas le nombre 12 [] Cest dire que la proposition arithmtique est toujours synthtique.
Tout aussi peu analytique est un axiome quelconque de la gomtrie pure.
[]
Quelques rares propositions fondamentales que prsupposent les gomtres sont certes rellement
analytiques et reposent sur le principe de contradiction ; mais il faut ajouter quelles ne servent, en tant
que propositions identiques, qu lenchanement de la dmarche mthodique et non pas titre de
principe : par exemple "a = a", le tout est gal lui-mme ou (a + b) > a, cest--dire que le tout est plus
grand que sa partie.
[]
2. La science de la nature (physica) contient en elle des jugements synthtiques a priori, intervenant
comme des principes. Je vais simplement mentionner, titre dexemples, quelques propositions : celle
selon laquelle "dans tous les changements du monde des corps, la quantit de matire demeure
inchange", ou encore celle qui veut que "dans toute communication du mouvement laction et la raction
doivent ncessairement tre toujours gales lune lautre". Pour lune comme pour lautre, il est clair
que non seulement elles sont ncessaires, et que par consquent leur origine est a priori, mais aussi
quelles sont des propositions synthtiques.
[]
3. Dans la mtaphysique [] il doit y avoir des connaissances synthtiques a priori, et cest pourquoi
il ne sagit pas du tout pour elle de simplement dcomposer des concepts que nous nous faisons a priori
de certaines choses et par l de les expliciter analytiquement.
et
Esthtique transcendantale
74

Dans la mesure o les propositions de la gomtrie sont connues synthtiquement a priori et avec une
certitude apodictique, je demande : do tirez-vous de telles propositions, et sur quoi sappuie notre
entendement pour parvenir de semblables vrits absolument ncessaires et universellement valides ? Il
nest pas dautre voie que dy arriver par des concepts ou par des intuitions, mais qui, dans les deux cas,
soient donns ou bien a priori ou bien a posteriori. Le dernier cas de figure, savoir des concepts
empiriques, en mme temps que ce sur quoi ils se fondent, lintuition empirique, ne peut fournir nulle
autre proposition synthtique que celle qui est aussi simplement empirique, cest--dire constitue une
proposition exprimentale : en consquence, elle ne peut jamais contenir de ncessit et dabsolue
universalit, lesquelles sont pourtant la caractristique de toutes les propositions de la gomtrie.
On peut schmatiser les distinctions des jugements (ou des propositions) ainsi :
analytique synthtique
origine a priori origine par exprience, a posteriori ou empirique
ncessit contingence
Le problme concerne les jugements synthtiques a priori, cest--dire les
jugements synthtiques ncessaires.
2.2.2 Cadre gnral de la thorie de la connaissance
Restituons maintenant les jugements dans le cadre gnral de la thorie de la
connaissance dveloppe par Kant :

74
CRP, p. 136. Esthtique transcendantale, Du temps, 8 : remarques gnrales sur l'esthtique transcendantale.
Leibniz dans Kant, page 23
2.2.2.1 Esthtique et logique
La premire distinction est celle entre esthtique et logique :
De la logique en gnral
75

Notre connaissance procde de deux sources fondamentales de lesprit dont la premire est le pouvoir
de recevoir les reprsentations (la rceptivit des impressions), la seconde le pouvoir de connatre par
lintermdiaire de ces reprsentations un objet (spontanit des concepts) ; par la premire nous est
donn un objet, par la seconde celui-ci est pens en relation avec cette reprsentation (comme simple
dtermination de lesprit). Intuition et concepts constituent donc les lments de toute notre connaissance.
De la logique en gnral
76

Si nous voulons appeler sensibilit la rceptivit de notre esprit, telle quelle consiste accueillir des
reprsentations en tant quil est affect de quelque manire, en revanche le pouvoir de produire soi-mme
des reprsentations, autrement dit la spontanit de notre connaissance, est lentendement [] De l
vient que nous distinguons la science des rgles de la sensibilit en gnral, cest--dire lesthtique, de
la science des rgles de lentendement en gnral, cest--dire la logique.
La premire distinction est celle entre esthtique et logique :
Esthtique Logique
science des rgles de la sensibilit science des rgles de lentendement
sensibilit entendement
pouvoir de recevoir pouvoir de connatre
(des reprsentations) (par lintermdiaire des reprsentations)
rceptivit de lesprit spontanit de notre connaissance
rceptivit des impressions spontanit des concepts
lobjet nous est donn nous pensons lobjet
(passif) (actif)
Cette distinction est croise avec celle concernant le pur et lempirique :
De la logique en gnral
77

Les deux lments sont ou purs ou empiriques. Empiriques si une sensation (qui suppose la prsence
relle de lobjet) y est contenue ; purs, en revanche, si la reprsentation nest mle aucune sensation.
On peut appeler cette dernire la matire de la connaissance sensible. Par consquent, une intuition pure
contient exclusivement la forme sous laquelle quelque chose est intuitionn, et un concept pur
uniquement la forme de la pense dun objet en gnral. Ce sont uniquement des intuitions ou des
concepts purs qui sont possibles a priori : des intuitions ou des concepts empiriques ne le sont qu' a
posteriori.
2.2.2.2 Structuration de la logique
Abordons maintenant les divisions de la logique elle-mme.
De la logique en gnral
78

La logique peut son tour tre aborde de deux points de vue, soit comme logique de lusage gnral
de lentendement, soit comme logique de son usage particulier. La premire contient les rgles
absolument ncessaires de la pense, sans lesquelles il ny a aucune utilisation de lentendement, et
sapplique donc celui-ci indpendamment de la diversit des objets sur lesquels il peut faire porter son
activit. La logique de lusage particulier de lentendement contient les rgles permettant de penser

75
CRP, p. 143. La logique transcendantale, Introduction, I. De la logique en gnral.
76
CRP, p. 144. La logique transcendantale, Introduction, I. De la logique en gnral.
77
CRP, p. 143. La logique transcendantale, Introduction, I. De la logique en gnral.
78
CRP, pp. 144-146. La logique transcendantale, Introduction, I. De la logique en gnral.
Leibniz dans Kant, page 24
correctement une certaine sorte dobjets. On peut nommer la premire la logique lmentaire, tandis
que la seconde peut sappeler lorganon de telle ou telle science.
[]
La logique gnrale, cela dit, est ou bien la logique pure ou bien la logique applique. Dans la
premire nous faisons abstraction de toutes les conditions empiriques sous lesquelles notre entendement
sexerce [] Une logique gnrale, mais pure, na donc affaire qu des principes a priori et elle est un
canon de lentendement et de la raison, mais uniquement du point de vue de la dimension formelle de
leur usage, quel que puisse tre le contenu (empirique ou transcendantal) [] Une logique gnrale, en
revanche, est alors dite applique quand elle prend pour objet les rgles de lusage de lentendement
dans les conditions subjectives et empiriques que nous enseigne la psychologie [] Cest pourquoi
elle nest ni un canon de lentendement en gnral ni un organon de sciences particulires, mais
simplement un catharticon
79
de lentendement commun.
[La logique gnrale et pure] est vrai dire la seule qui soit une science [] 1) en tant que logique
gnrale, elle fait abstraction de tout le contenu de la connaissance de lentendement et de la diversit des
objets, et elle na affaire rien dautre qu la simple forme de la pense. 2) En tant que logique pure, elle
na pas de principes empiriques : par consquent, elle ne tire rien (malgr ce dont on sest parfois
persuad) de la psychologie, laquelle na donc sur le canon de lentendement absolument aucune
influence. Elle est une doctrine dmontre, et tout doit y tre certain compltement a priori.
De la logique transcendantale
80

La logique gnrale fait abstraction [] de tout contenu de connaissance, cest--dire de toute
relation de celle-ci lobjet, et elle considre uniquement la forme logique dans la relation que les
connaissances entretiennent entre elles, cest--dire la forme de la pense en gnral [ Elle] na rien
faire avec [l'] origine de la connaissance, mais considre les reprsentations
81
, quelles soient
primitivement en nous a priori ou quelles soient donnes seulement de faon empirique, uniquement
daprs les lois selon lesquelles lentendement les utilise en les mettant en rapport quand il pense.
[]
Nous attendant donc ce quil puisse y avoir des concepts susceptibles de se rapporter a priori des
objets, non comme des intuitions pures ou sensibles, mais seulement comme des actions de la pense
pure, et qui par consquent, tout en tant des concepts, ne sont dorigine ni empirique ni esthtique, nous
nous faisons lavance lide dune science de lentendement pur et de la connaissance rationnelle par
laquelle nous pensons des objets compltement a priori. Une telle science, qui dterminerait lorigine,
ltendue et la valeur objective de connaissances de ce type, devrait sappeler logique transcendantale,
parce quelle a affaire aux seules lois de lentendement et de la raison, mais uniquement en tant quelle
se rapporte des objets a priori, et non pas, comme la logique gnrale indiffremment aux
connaissances empiriques aussi bien que pures de la raison.
Dans une logique transcendantale, lentendement est isol, comme la sensibilit
dans lesthtique transcendantale.
On arrive donc un modle dichotomique : la logique se divise en logiques
particulires qui sont des organons (ce quon appellerait aujourdhui des logiques
rgionales) et en logique lmentaire ou gnrale. Cette logique gnrale se divise en
logique gnrale applique, caractrise par ses principes empiriques et son
utilisation de rgles psychologiques de lusage de lentendement : cest lart de
penser ; et en logique gnrale et pure, caractrise par ses principes a priori. Mais
cette logique pure caractrise par ses principes a priori se divise encore en deux
branches selon quelle traite indiffremment de reprsentations a priori ou a
posteriori, auquel cas elle est logique gnrale et pure (cest un canon, la science

79
Catharsis : effet de purgation (apaisement, limination) des passions produit sur les spectateurs d'une
reprsentation dramatique.
80
CRP, p. 146. La logique transcendantale, Introduction, II. De la logique transcendantale.
81
Intuitions et concepts, purs ou empiriques.
Leibniz dans Kant, page 25
brve et aride des logiciens), ou selon quelle ne traite exclusivement que de
reprsentations a priori : cest alors la logique transcendantale.
Ce modle tre reprsenter schmatiquement ainsi :
Logique Logique gnrale applique
Logique gnrale pure
Logique transcendantale
Logiques particulires

On peut aussi le schmatiser selon un modle ensembliste :
Logique gnrale applique
Logique gnrale pure
Logique transcendantale
Logiques particulires
Principes a priori
Reprsentations a priori
Reprsentations a posteriori
Principes a posteriori
Organon de telle ou telle science
Rgles permettant de penser correctement
une certaine sorte d'objets
Catharticon de l'entendement humain
Usage de l'entendement dans les conditions
subjectives et empiriques
Canon de l'entendement et de la raison
Science, doctrine dmontre
Logique gnrale ou lmentaire
Logique de l'usage gnrale
Rgles absolument ncessaires de la pense
Lieu de la certitude a priori

Leibniz dans Kant, page 26
Le modle ensembliste rend mieux compte du fait que 1) la logique
transcendantale est la partie, le cur, de la logique pure qui ne considre que des
reprsentations a priori ; 2) la logique pure est la partie de la logique applique dont
les principes ne sont qua priori ; 3) les reprsentations et les principes de la logique
applique sont empiriques et a priori. La logique transcendantale est un
approfondissement au sein de la logique pure. Cette abstraction supplmentaire au
sein de la logique pure, abstraction guide par la recherche de lorigine et de la
possibilit de lexprience, ce nest rien dautre que la plus vaste division dune
science particulire portant le nom de critique de la raison pure
82
, critique donc du
canon de lentendement et de la raison.
2.2.2.3 Divisions de la logique transcendantale
Reste enfin aborder la dernire division, celle entre analytique et dialectique.
Cest par le problme du critre de la vrit que Kant aborde cette division et il
dmontre quun critre de la vrit est impossible :
De la division de la logique gnrale en analytique et en dialectique
83

tant donn que, plus haut, nous avons dj appel le contenu dune connaissance sa matire, il faudra
dire que de la vrit de la connaissance quant sa matire, on ne peut rclamer aucun signe distinctif
universel, parce que cest en soi contradictoire.
Ceci lamne donc lopposition entre analytique et dialectique :
De la division de la logique gnrale en analytique et en dialectique
84

La logique gnrale rsout donc toute lactivit formelle de lentendement et de la raison en ses
lments, et les prsente comme principes de toute apprciation logique de notre connaissance. Cette
partie de la logique peut par consquent se nommer analytique, et si elle est la pierre de touche, du moins
ngative, de la vrit, cest prcisment dans la mesure o lon doit dabord vrifier et apprcier daprs
ces rgles toute connaissance quant sa forme, avant de lexaminer quant son contenu, pour tablir si,
vis--vis de lobjet, les connaissances contiennent de la vrit positive. Mais, tant donn que la simple
forme de la connaissance, si fortement quelle puisse saccorder avec les lois logiques, est encore loin de
suffire tablir pour la connaissance une vrit matrielle (objective), personne ne peut saventurer avec
la seule logique porter des jugements sur des objets et affirmer quoi que ce soit sans en avoir
pralablement entrepris une tude approfondie en dehors de la logique pour ensuite rechercher
simplement leur utilisation et leur liaison en un tout cohrent selon les lois logiques, ou bien, mieux
encore, pour les examiner uniquement daprs ces lois. Pourtant, il y a quelque chose de si sduisant dans
la possession dun art si spcieux de donner toutes nos connaissances la forme de lentendement, quand
bien mme, du point de vue du contenu, on peut rester encore trs vide et trs pauvre, que cette logique
universelle, qui est simplement un canon permettant lapprciation, est utilise pour ainsi dire comme un
organon en vue de la production effective, du moins de faon illusoire, dassertions objectives et que lon
en arrive ainsi, en fait, un usage abusif. Or, la logique gnrale, utilise comme prtendu organon,
sappelle dialectique.
Notons ici que lanalytique concerne toute la logique gnrale applique, pure
et transcendantale et quelle soppose en tant que canon aux logiques particulires
qui sont des organons
85
. Cest la logique gnrale utilise comme prtendu organon

82
cf. CRP, p. 110. Introduction, VII, Ide et division d'une science particulire portant le nom de critique de la
raison pure.
83
CRP, p. 148. La logique transcendantale, Introduction, III. De la division de la logique gnrale en analytique et
en dialectique.
84
CRP, p. 149. La logique transcendantale, Introduction, III. De la division de la logique gnrale en analytique et
en dialectique.
85
Remarquons que la logique applique tait dfinie comme catharticon et pas comme canon.
Leibniz dans Kant, page 27
qui devient dialectique. Quand la logique gnrale prtend avoir un objet, quand en
quelque sorte elle se prtend applique elle-mme, ses concepts, ses jugements
ou ses raisonnements, elle prtend alors tre un organon et sappelle dialectique.
De la division de la logique gnrale en analytique et en dialectique
86

Si diverse que soit la signification selon laquelle les anciens se servaient de cette dnomination dune
science ou dun art, on peut cependant, de lusage rel quils en faisaient, retirer avec sret la conviction
que la dialectique ntait chez eux rien dautre que la logique de lapparence. Un art sophistique de
donner son ignorance, voire ses illusions dlibres, le vernis de la vrit, en ce que lon imitait la
mthode de profondeur que la logique prescrit en gnral et que lon utilisait sa topique pour enjoliver
nimporte quelle allgation vide. On peut remarquer, comme un avertissement sr et exploitable, que la
logique gnrale, considre comme organon, est toujours une logique de lapparence, cest--dire
quelle est toujours dialectique [] Elle ne nous apporte aucun enseignement sur le contenu de la
connaissance, mais nous enseigne seulement les conditions formelles de laccord avec lentendement.
[]
Un tel enseignement nest en aucune faon conforme la dignit de la philosophie. Cest pourquoi lon
a attribu la logique cette dnomination de dialectique plutt en tant quelle constitue une critique de
lapparence dialectique.
La dialectique cest en fait la critique de lapparence dialectique. Lusage de la
logique gnrale considre comme un organon est indigne de la philosophie. Ce qui
est digne de la philosophie cest de critiquer cet usage. Autrement dit, la division de
la logique gnrale en analytique et en dialectique ne doit pas tromper. Cest une
division pratique de la logique gnrale : elle concerne son usage. Ce nest pas une
division thorique. La dialectique nest pas une partie de la logique gnrale au
mme titre que lanalytique. Car lanalytique cest la logique gnrale dans son
ensemble en tant que canon et oppose aux logiques particulires en tant
quorganons
87
. La dialectique cest la logique de lapparence, oppose en ce sens
toute logique, quelle soit particulire, applique ou pure. Cest pour cela quelle est
indigne de la philosophie.
Cette division peut tre applique la logique transcendantale :
De la division de la logique transcendantale en analytique et en dialectique
transcendantales
88

Dans une logique transcendantale, nous isolons lentendement (comme plus haut, dans lEsthtique
transcendantale, nous avons isol la sensibilit) [] La partie de la logique transcendantale [] qui
expose les lments de la connaissance pure de lentendement et les principes sans lesquels pas le
moindre objet ne peut tre pens est lanalytique transcendantale, et elle constitue en mme temps une
logique de la vrit. Aucune connaissance ne peut en effet la contredire sans perdre en mme temps tout
contenu, cest--dire toute relation un quelconque objet, par consquent toute vrit [] Dans la
mesure [] o la logique ne devrait tre proprement quun canon pour procder lapprciation de
lusage empirique, on en fait un usage abusif si on la fait valoir comme lorganon dun usage universel
et sans limites, et si lon saventure avec le seul entendement pur juger, affirmer et dcider
synthtiquement sur des objets en gnral. Lusage de lentendement pur serait donc, dans ce cas,
dialectique. La seconde partie de la logique transcendantale doit en ce sens constituer une critique de
cette apparence dialectique et elle sappelle dialectique transcendantale [] en tant quelle est une
critique de lentendement et de la raison du point de vue de leur usage hyperphysique.

86
CRP, p. 150. La logique transcendantale, Introduction, III. De la division de la logique gnrale en analytique et
en dialectique.
87
La question du catharticon n'est pas des plus claires
88
CRP, pp. 150-151. La logique transcendantale, Introduction, IV. De la division de la logique transcendantale en
analytique et en dialectique transcendantales.
Leibniz dans Kant, page 28
2.2.3 La facult de juger
Le cadre gnral de la thorie de la connaissance tant fix et la critique de la
raison pure tant dfinie comme science, nous allons pouvoir prciser ce quest la
thorie des jugements au sein de cette science.
Analytique des principes
89

La logique gnrale est difie selon un plan qui concorde tout fait exactement avec la division des
pouvoirs suprieurs de connaissance. Ces pouvoirs sont : lentendement, la facult de juger et la raison.
Cette doctrine traite donc, dans son analytique, des concepts, des jugements et des raisonnements, en
conformit directe avec les fonctions et lordre de ces facults de lesprit que lon comprend sous la
dnomination large dentendement en gnral.
[]
La logique transcendantale, dans la mesure o elle se limite un contenu dtermin, savoir uniquement
celui des connaissances pures a priori, ne peut la prendre pour modle [la logique gnrale] dans cette
division. Car il est vident que lusage transcendantal de la raison na aucune valeur objective, et
quil nappartient pas, par consquent, la logique de la vrit, cest--dire lanalytique, mais que,
comme logique de lapparence, il requiert, sous le nom de dialectique transcendantale, une partie
spcifique de ldifice scolastique.
Lentendement et la facult de juger trouvent donc le canon de leur usage dot de valeur
objective, par consquent de leur usage vrai, dans la logique transcendantale, et ainsi relvent-ils de sa
partie analytique. Cest seulement la raison, dans ses tentatives pour tablir quelque chose a priori sur des
objets et largir la connaissance au-del des limites dune exprience possible, qui est entirement et
pleinement dialectique.
[]
Lanalytique des principes sera donc simplement un canon pour la facult de juger, qui enseigne
celle-ci comment appliquer des phnomnes les concepts de lentendement qui contiennent la condition
de rgles a priori.
Lanalytique transcendantale
90

Cette analytique est la dcomposition de toute notre connaissance a priori dans les lments de la
connaissance pure de lentendement [] Cette partie de la logique transcendantale se compose de deux
livres, dont lun contient les concepts, lautre les principes de lentendement pur.
Pour clairer ces passages, prcisons la thorie kantienne des raisonnements
Logique, Doctrine gnrale des lments, Chapitre III, Des raisonnements
91

41. Par raisonnement il faut entendre cette fonction de la pense qui permet de driver un jugement
dun autre. Un raisonnement en gnral est donc la drivation dun jugement partir dun autre jugement.
[]
43. Les raisonnements immdiats sappellent aussi raisonnements de lentendement ; tous les
raisonnements mdiats par contre sont ou des raisonnements de la raison ou des raisonnements de la
facult de juger.
[]
56. Un raisonnement de la raison
92
est la connaissance de la ncessit dune proposition par la
subsomption de sa condition sous une rgle gnrale donne.
[]

89
CRP, p. 220. Logique transcendantale, Livre II : Analytique des principes.
90
CRP, p. 153. Logique transcendantale, Premire division de la logique transcendantale, L'analytique
transcendantale.
91
Logique, pp. 124-147.
92
ou syllogisme.
Leibniz dans Kant, page 29
83. Le principe qui sert de fondement la facult de juger est le suivant : une pluralit ne peut
saccorder en unit sans un principe commun [] Les raisonnements de la facult de juger tant fonds
sur un tel principe, ne peuvent de ce fait tre tenus pour des raisonnements immdiats.
84. La facult de juger, puisquelle procde du particulier luniversel, pour tirer de lexprience,
donc pas a priori (empiriquement), des jugements universels, conclut soit de plusieurs choses dune
espce toutes, soit de plusieurs dterminations et proprits en quoi des choses dune espce
saccordent, aux autres en tant quelles relvent du mme principe. La premire espce de raisonnement
sappelle le raisonnement par induction, la seconde, le raisonnement par analogie.
Kant reprend ici la structure classique de la logique et des pouvoirs suprieurs de
lesprit. Lentendement correspond au concept, la facult de juger au jugement, la
raison au raisonnement. Du point de vue transcendantal, cest--dire du point de vue
du lieu des reprsentations et des principes seulement a priori, seuls lentendement et
la facult de juger ont une valeur objective. On le comprend facilement pour
lentendement dont les raisonnements sont immdiats (par exemple la construction de
la contradictoire selon le principe de contradiction). Cest plus difficile pour la
facult de juger dont Kant dit bien que ses raisonnements ne sont pas immdiats : ils
sont mdiatiss par un principe commun. Il devra donc y avoir des principes
communs a priori pour quune facult de juger transcendantale et objective existe.
Pour la raison, les raisonnements (syllogismes) ne sont jamais immdiats non plus.
Ils sont mdiatiss par le moyen terme qui sert subsumer une connaissance sous la
condition de la rgle ("Socrate est un homme" est subsume sous la majeure "tous les
hommes sont mortels" pour aboutir la conclusion "Socrate est mortel"). Le moyen
terme ne peut pas tre a priori, cest pourquoi lusage transcendantal de la raison est
ncessairement dialectique.
Lanalytique des principes, ou la logique de la vrit des principes, sera un canon
pour la facult de juger : la formulation des lois ncessaires que la facult de juger
doit respecter.
Sur lentendement en gnral, prcisons que :
De lusage logique de lentendement en gnral
93

Lentendement nest pas un pouvoir dintuition [] Toutes les intuitions en tant que sensibles reposent
sur des affections, les concepts, par consquent, sur des fonctions. Or jentends par fonction lunit de
laction consistant ordonner des reprsentations diverses sous une reprsentation commune. Les
concepts se fondent donc sur la spontanit de la pense, tout comme les intuitions sensibles se fondent
sur la rceptivit des impressions. De ces concepts, lentendement ne peut, cela dit, faire aucun autre
usage que celui qui consiste juger par leur moyen. tant donn que nulle reprsentation ne sapplique
immdiatement lobjet, si ce nest lintuition, un concept ne se rapporte donc jamais un objet de
manire immdiate, mais quelque autre reprsentation de celui-ci (quil sagisse dune intuition ou
quelle soit dj elle-mme concept). Le jugement est donc la connaissance mdiate dun objet, par
consquent la reprsentation dune reprsentation de celui-ci [] Tous les jugements sont en ce sens
des fonctions de lunit parmi nos reprsentations, dans la mesure o, la place dune reprsentation
immdiate
94
, cest une reprsentation suprieure
95
, comprenant sous elle celle-ci et plusieurs autres, qui
est utilise pour la connaissance de lobjet, et par l un grand nombre de connaissances possibles sont
rassembles en une seule. Mais nous pouvons ramener toutes les actions de lentendement des

93
CRP, pp. 155-156. Logique transcendantale, Livre I : Analytique des concepts, Du fil conducteur permettant de
dcouvrir tous les concepts purs de l'entendement, De l'usage logique de l'entendement en gnral.
94
c'est--dire une intuition, reprsentation immdiate de l'objet par la sensibilit.
95
c'est--dire un concept, reprsentation de l'intuition par l'entendement, ou un jugement.
Leibniz dans Kant, page 30
jugements, tant et si bien que lentendement en gnral peut tre reprsent comme un pouvoir de
juger.
De la facult de juger transcendantale en gnral
96

Si lentendement en gnral est dfini comme le pouvoir des rgles, la facult de juger est le pouvoir
de subsumer
97
sous des rgles, cest--dire de distinguer si quelque chose sinscrit ou non sous une rgle
donne. La logique gnrale ne contient aucun prcepte pour la facult de juger et ne peut non plus en
contenir.
En effet, puisque subsumer cest faire le lien entre une connaissance et la condition
dune rgle, et quune rgle
98
est une assertion soumise une condition universelle (p
- > q), la subsomption nest donc rien dautre que la connaissance que la condition a
lieu (p et p- > q). Linfrence, qui est la conjonction du subsum avec la rgle, est
donc un mcanisme (p et p- > q - > q) qui ne pose pas de difficult philosophique. La
difficult rside dans la subsomption pour laquelle la logique gnrale ne fournit
aucun enseignement. Il en rsulte que :
De la facult de juger transcendantale en gnral
99

lentendement, certes, est capable dapprendre et de sarmer au moyen de rgles, mais que la facult
de juger est un talent particulier, qui ne se peut nullement apprendre mais seulement exercer. De l vient
que cette facult est aussi la caractristique spcifique de ce que lon appelle le bon sens, labsence
duquel nulle cole ne peut suppler [] Le manque de facult de juger est proprement ce que lon
appelle stupidit et une telle infirmit il ny a pas de remde [] Un mdecin, un juge ou un homme
politique peuvent avoir dans la tte un grand nombre de belles rgles pathologiques, juridiques ou
politiques, au point dtre en la matire des professeurs profonds et cependant chouer facilement dans
leur application, soit parce que la facult naturelle de juger leur fait dfaut (quand bien mme ils ne
manquent pas dentendement) et quils peroivent certes in abstracto le gnral, mais nont pas la
capacit de discerner si un cas en relve in concreto, soit encore parce quils nont pas t suffisamment
prpars au jugement par des exemples et des affaires relles. Cest l, au demeurant, lunique et grande
utilit des exemples : ils aiguisent la facult de juger.
Pour juger, il va donc falloir subsumer un objet sous un concept.
Du schmatisme des concepts purs de lentendement
100

Dans toutes les subsomptions dun objet sous un concept, la reprsentation du premier doit tre
homogne la seconde, cest--dire que le concept doit contenir ce qui est reprsent dans lobjet
subsumer sous lui car tel est ce que signifie prcisment lexpression : un objet est contenu sous un
concept.
[]
Or, les concepts purs de lentendement
101
, si on les compare aux intuitions empiriques
102
(o mme,
de faon gnrale, sensibles), leur sont totalement htrognes et ne peuvent jamais se trouver dans une
quelconque intuition.
[]

96
CRP, p. 221. Logique transcendantale, Livre II : Analytique des principes, Introduction : de la facult de juger
transcendantale en gnral.
97
Cf. Kant, Logique, 58.
98
Les rgles de la facult de juger sont les catgories, les concepts purs de l'entendement.
99
CRP, pp. 221-222. Logique transcendantale, Livre II : Analytique des principes, Introduction : de la facult de
juger transcendantale en gnral.
100
CRP, pp. 224-225. Logique transcendantale, Livre II : Analytique des principes, Du schmatisme des concepts
purs de l'entendement.
101
Les catgories
102
provenant de la sensibilit
Leibniz dans Kant, page 31
Cela tant, il est clair quil doit y avoir un troisime terme, qui doit entretenir une relation
dhomognit dun ct avec la catgorie, de lautre avec le phnomne, et rendre possible lapplication
de celle-l celui-ci. Cette reprsentation mdiatisante doit tre pure (dpourvue de tout lment
empirique) et cependant dun ct intellectuelle, de lautre sensible. Tel est le schme transcendantal.
Le schmatisme permet lunit de deux mondes htrognes, la sensibilit et
lentendement. Le schme est la condition de possibilit de la subsomption.
Enfin, Kant va pouvoir dvelopper le systme de tous les principes de
lentendement pur, cest--dire
De la facult de juger transcendantale en gnral
103

Des jugements synthtiques qui [] dcoulent a priori des concepts purs de lentendement [] sont
la base de toutes les autres connaissances.
Systme de tous les principes de lentendement pur
104

Cela dit, il nous faut aussi parler du principe des jugements analytiques, et plus prcisment dans son
opposition avec celui des jugements synthtiques, lesquels constituent proprement ceux dont nous nous
occupons, parce que cest justement cette opposition qui libre de tout malentendu la thorie des
jugements synthtiques et en fait apparatre de faon transparente la nature propre.
Commenons donc par les jugements analytiques :
Du principe suprme de tous les jugements analytiques
105

Aussi devons nous reconnatre au principe de contradiction la valeur de principe universelle et
pleinement suffisant de toute connaissance analytique ; mais le respect quil faut lui tmoigner et lutilit
quil faut lui reconnatre, comme critre suffisant de la vrit, ne vont pas plus loin. Car du fait quaucune
connaissance ne saurait lui tre contraire sans sanantir elle-mme, il sensuit bien que ce principe est la
condition sine qua non, mais non pas le principe dterminant de la vrit de notre connaissance. Or, dans
la mesure o nous navons proprement affaire qu la partie synthtique de notre connaissance, sans
doute veillerons-nous toujours ne jamais procder lencontre de ce principe inviolable, sans pouvoir
toutefois en attendre jamais un quelconque claircissement en ce qui concerne la vrit de ce genre de
connaissance
106
.
Cest encore les limites de la vrit analytique que Kant formule ici.
Venons en maintenant aux principes des jugements synthtiques.
Du principe suprme de tous les jugements synthtiques
107

Lexplication de la possibilit de jugements synthtiques est une tche dont ne doit se proccuper en
rien la logique gnrale, laquelle na mme pas besoin den connatre le nom. En revanche, dans une
logique transcendantale, cest laffaire la plus importante de toutes, et cest mme la seule, quand il est
question de la possibilit de jugements synthtiques a priori, ainsi que des conditions et de ltendue de
leur validit. Car cest seulement aprs achvement de cette tche quune telle logique peut parfaitement
satisfaire son but, qui consiste dterminer ltendue et les limites de lentendement pur.

103
CRP, pp. 223. Logique transcendantale, Livre II : Analytique des principes, Introduction : de la facult de juger
transcendantale en gnral.
104
CRP, p. 231. Logique transcendantale, Analytique des principes, Systme de tous les principes de l'entendement
pur.
105
CRP, p. 232. Logique transcendantale, Analytique des principes, Systme de tous les principes de l'entendement
pur.
106
les jugements synthtiques
107
CRP, pp. 233-234. Logique transcendantale, Analytique des principes, Systme de tous les principes de
l'entendement pur.
Leibniz dans Kant, page 32
La logique gnrale concerne les jugements analytiques. La logique
transcendantale concerne les jugements synthtiques a priori. Les jugements
synthtiques a posteriori, fonds sur les jugements synthtiques a priori, sont donc
en dehors de la logique.
Du principe suprme de tous les jugements synthtiques
108

Dans le jugement analytique, jen reste au concept donn, pour tablir quelque chose son endroit. Si
le jugement doit tre affirmatif, jattribue simplement ce concept ce qui tait dj pens en lui ; sil doit
tre ngatif, je ne fais quexclure de lui ce qui en est le contraire. Toutefois, dans les jugements
synthtiques, je dois sortir du concept donn pour considrer dans son rapport avec lui quelque chose
de tout autre que ce qui sy trouvait pens ; en consquence, ce rapport nen est jamais un didentit, ni de
contradiction ce qui fait que lon ne peut envisager pour ce jugement, considr en lui-mme, ni vrit
ni erreur.
tant en dehors de la logique, le jugement synthtique en lui-mme nest ni vrai ni
faux. "La neige est blanche" est en quelque sorte lexpression de ce qui est, plus que
de la vrit de ce qui est. Le jugement synthtique serait donc plus ontologique
109
que
logique. Ontologie extrieure pour le jugement synthtique a posteriori, intrieure
pour le jugement synthtique a priori.
Du principe suprme de tous les jugements synthtiques
110

Donc, si lon accorde quil faut sortir dun concept donn pour le comparer synthtiquement avec un
autre, un troisime terme est ncessaire dans lequel seulement la synthse des deux concepts peut
soprer. Mais quel est alors ce troisime terme, qui est comme le mdium de tous les jugements
synthtiques ? Il ne consiste quen un ensemble o sont contenues toutes nos reprsentations, savoir le
sens interne et sa forme a priori, le temps. La synthse des reprsentations repose sur limagination,
tandis que leur unit synthtique (qui est requise pour le jugement) repose sur lunit de
laperception. Cest donc de ce ct quil faut chercher la possibilit de jugements synthtiques, ainsi
que, puisque ces termes, eux trois
111
, contiennent les sources des reprsentations a priori, la possibilit
de jugements synthtiques purs ; mieux : de tels jugements seront mme ncessaires en vertu de ces
principes si doit tre mise en uvre une connaissance des objets qui repose uniquement sur la synthse
des reprsentations.
Du principe suprme de tous les jugements synthtiques
112

Le principe suprme de tous les jugements synthtiques est donc le suivant : tout objet est soumis aux
conditions ncessaires de lunit synthtique du divers de lintuition dans une exprience possible.
Cest de cette faon que des jugements synthtiques a priori sont possibles, quand nous rapportons les
conditions formelles de lintuition a priori, la synthse de limagination et lunit ncessaire de celle-ci
dans une aperception transcendantale, une connaissance exprimentale possible, et nous disons : les
conditions de la possibilit de lexprience en gnral sont en mme temps conditions de la possibilit
des objets de lexprience, et elles ont pour cette raison une validit objective dans un jugement
synthtique a priori.
"Les conditions de la possibilit de lexprience en gnral sont en mme temps
conditions de la possibilit des objets de lexprience", cest lexpression mme de
lidalisme kantien, idalisme transcendantal.

108
CRP, p. 234. Logique transcendantale, Analytique des principes, Systme de tous les principes de l'entendement
pur.
109
Notons bien que l'ontologie n'est pas une doctrine kantienne.
110
CRP, p. 234. Logique transcendantale, Analytique des principes, Systme de tous les principes de l'entendement
pur.
111
Le temps, l'imagination, l'aperception.
112
CRP, pp. 236. Logique transcendantale, Analytique des principes, Systme de tous les principes de l'entendement
pur.
Leibniz dans Kant, page 33
Concernant limagination, prcisons que :
De lapplication des catgories des objets des sens en gnral
113

Limagination est le pouvoir de se reprsenter un objet dans lintuition mme sans sa prsence. Or,
tant donn que toute notre intuition est sensible, limagination, du fait de la condition subjective sous
laquelle seulement elle peut donner aux concepts de lentendement une intuition correspondante,
appartient la sensibilit ; mais en tant que sa synthse est un exercice de la spontanit, laquelle est
dterminante et non pas simplement, comme le sens, dterminable, et quelle peut par consquent
dterminer a priori le sens, quand sa forme, conformment lunit de laperception, limagination
est, comme telle, un pouvoir de dterminer la sensibilit a priori, et la synthse quelle produit des
intuitions, en conformit avec les catgories, doit tre la synthse transcendantale de limagination
synthse qui est un effet de lentendement sur la sensibilit et la premire application de celui-ci (en
mme temps que le fondement de toutes les autres) des objets de lintuition qui est possible pour nous.
Elle est comme synthse figure, distincte de la synthse intellectuelle qui saccomplit sans nulle
intervention de limagination, uniquement par lintermdiaire de lentendement. Or, dans la mesure o
limagination est spontanit, je lappelle parfois imagination productrice et la distingue ainsi de
limagination reproductrice, dont la synthse est soumise exclusivement des lois empiriques, savoir
celles de lassociation, et qui par consquent ne contribue en rien lexplication de la possibilit de la
connaissance a priori et, de ce fait, nappartient pas la philosophie transcendantale, mais la
psychologie.
Enfin, sur laperception :
Le principe de lunit synthtique de laperception est le principe suprme de tout lusage de
lentendement
114

Le principe suprme de la possibilit de toute intuition, relativement la sensibilit, consistait, suivant
lEsthtique transcendantale, en ce que tout le divers de lintuition se trouvait soumis aux conditions
formelles de lespace et du temps. Le principe suprme de cette mme possibilit, relativement
lentendement, consiste en ce que tout le divers de lintuition se trouve soumis aux conditions de lunit
originairement synthtique de laperception. Au premier de ces principes sont soumises toutes mes
reprsentations diverses de lintuition en tant quelles nous sont donnes ; au second, en tant quil leur
faut pouvoir tre lies dans une conscience ; sans quoi en effet rien ne peut tre pens ou connu, parce
que les reprsentations donnes nauraient pas en commun lacte de laperception : je pense, et que, ds
lors, elles ne seraient pas saisies ensemble dans une conscience de soi.
En effet
De lunit originairement synthtique de laperception
115

Le : je pense doit ncessairement pouvoir accompagner toutes mes reprsentations ; car, si tel ntait
pas le cas, quelque chose serait reprsent en moi qui ne pourrait aucunement tre pens ce qui
quivaut dire que la reprsentation ou bien serait impossible, ou bien ne serait du moins rien pour moi.
Savoir comment les jugements synthtiques a priori sont possibles, ctait la
recherche de Kant. Cependant lexplication de cette possibilit ne donne pas le critre
de la vrit des jugements synthtiques a posteriori.
On vient de prsenter la thorie du jugement chez Kant, la distinction entre
jugement analytique et jugement synthtique. Le principe des jugements analytiques,
dont le prdicat est dans le sujet, cest le principe de contradiction. Le principe des
jugements synthtiques, pour lesquels le prdicat est extrieur au sujet, cest que les

113
CRP, p. 210. Logique transcendantale, Analytique des concepts, De l'application des catgories des objets des
sens en gnral, 24.
114
CRP, p. 201. Logique transcendantale, Analytique des concepts, Dduction transcendantale des concepts purs de
l'entendement, 17.
115
CRP, p. 198. Logique transcendantale, Analytique des concepts, Dduction transcendantale des concepts purs de
l'entendement, 16.
Leibniz dans Kant, page 34
conditions de la possibilit de lexprience en gnral sont en mme temps conditions
de la possibilit des objets de lexprience, et donc que la ralit des objets de
lexprience est fonde dans le sujet (sujet transcendantal bien sr, il ne sagit pas
dun vulgaire subjectivisme), dans lunit originairement synthtique de
laperception : dans luniversel "je pense".
Leibniz dans Kant, page 35
3 Commentaires
La prsentation de la thorie des vrits de Leibniz et de celle des jugements de
Kant montre immdiatement que la thorie kantienne est un prolongement de celle de
Leibniz. Si pour Leibniz, la certitude de toutes les vrits repose sur lappartenance
du prdicat au sujet, cest--dire sur le principe de raison, pour Kant, il existe des
propositions dont la vrit ne se fonde pas sur lidentit des concepts : ce sont les
propositions synthtiques pour lesquelles le prdicat est tout fait extrieur au sujet
bien quil soit en connexion avec lui. Autrement dit, pour Kant, les vrits
ncessaires sont analytiques et les vrits contingentes synthtiques. Cest, sur le plan
logique, une premire divergence.
Cette premire distinction logique pourrait paratre peu importante, car
lanalyticit des propositions contingentes ntant accessible qu Dieu (Dieu voit,
non pas la fin de la rsolution qui nexiste pas, mais la liaison des termes, cest--dire
lenveloppement du prdicat dans le sujet, car il voit tout ce qui est dans la srie), on
pourrait considrer quune proposition analytique est une proposition dont la
certitude repose sur la rsolution finie et lidentique du prdicat et du sujet, et que
la proposition synthtique est celle dont la vrit ne se fonde pas sur lidentit des
concepts, cest--dire celle qui se fonde sur une rsolution infinie.
Mais limportant pour Kant est dabord que la distinction conceptuelle entre
analytique et synthtique va permettre, en la croisant avec la distinction entre a priori
et a posteriori, de mettre jour lexistence de propositions synthtiques a priori,
propositions qui savrent tre les principes mmes de toutes les sciences thoriques,
et qui aboutissent donc au problme gnral de la raison pure tel que Kant le
formule : comment les jugements synthtiques a priori sont-ils possibles ?
116

Notons aussi que Kant reprend son compte les principes de la logique
leibnizienne. Pour Kant les critres formels de la vrit en logique, cest--dire les
critres de laccord de la connaissance avec elle-mme, indpendamment de son
objet, sont le principe de contradiction et le principe de raison suffisante
117
.
Cependant, pour Leibniz ces deux principes sappliquent indistinctement aux vrits
ncessaires et aux vrits contingentes
118
, tandis que pour Kant, le principe de
contradiction est le principe suprme de tous les jugements analytiques
119
et le
principe de raison suffisante est le fondement de toute exprience possible, cest--
dire de la connaissance objective des phnomnes relativement la faon dont ils se
rapportent les uns aux autres dans la succession du temps
120
.

116
CRP, pp. 103-105.
117
Logique, p. 56.
118
Cf. par exemple, RG, pp. 161-162.
119
CRP. p. 231.
120
CRP, p. 266.
Leibniz dans Kant, page 36
En se rappelant que pour Leibniz il nappartient qu Dieu seul de voir
compltement comment un terme est dans un autre et de comprendre a priori la
raison parfaite de la contingence, et que pour les hommes, lexprience a posteriori y
supple, on peut dresser le tableau suivant :

Kant Jugement analytique Jugement synthtique
A priori A posteriori
Leibniz Vrit ncessaire Vrit contingente
Principe de contradiction et de raison
a priori pour Dieu
A posteriori pour les hommes
Ainsi la question kantienne, comment les jugements synthtiques a priori sont-ils
possibles, peut trouver son origine dans une question leibnizienne non rsolue par
Leibniz : comment les vrits contingentes a priori sont-elles possibles ? Autrement
dit, comment Dieu voit-il quun terme est dans un autre.
La vision de Dieu ne doit ne rien tre conue comme une espce de science exprimentale, comme si
ce quil voit se trouvait parmi des choses distinctes de lui, mais plutt comme une connaissance a priori
procdant selon les raisons des vrits, dans la mesure o il voit les choses partir de lui-mme
121
.

Dautre part, chez Leibniz, les sens se limitent fournir des termes primitifs et les
donnes de lexprience (les vrits premires pour nous). Mais il ny a aucune
rflexion sur les conditions de possibilits de ces termes et de ces donnes. Kant par
contre distingue les connaissances selon quelles naissent de la sensibilit ou de
lentendement, selon quelles sont des intuitions ou des concepts, ce qui lui permet de
distinguer entre lesthtique et la logique. Remarquons dailleurs que la
"connaissance" ne fait quasiment pas partie du vocabulaire leibnizien. Cest donc la
structure mme de la thorie de la connaissance de Kant qui diffrera de celle de
Leibniz : Kant ajoute la logique une esthtique. Ce sont ces mmes distinctions qui
lui permettent de descendre au niveau dune logique transcendantale, logique des
principes et des reprsentations uniquement a priori, et ainsi dune part de dpasser
le niveau de la logique pure, dautre part de distinguer entre lanalytique et la
dialectique transcendantales, cest--dire pour cette dernire, de mettre jour les
fondements entirement a priori dune critique de lapparence dialectique. En cela,
Kant rejoint Leibniz quant au projet de mettre fin aux querelles philosophiques.
Cependant Leibniz pensait pouvoir y mettre fin par la seule analytique, cest--dire

121
RG, pp. 334-335.
Leibniz dans Kant, page 37
par une prtention pouvoir rduire la pense au calcul. Kant pensait lui pouvoir y
mettre fin en mettant jour les contradictions naturelles de la pense avec elle-mme.
On comprend ainsi que la structure mme de la thorie kantienne de la
connaissance explique la position de la principale critique de Kant contre Leibniz
122
.
En effet, cette critique se trouve dans la remarque de lamphibologie des concepts de
la rflexion, cest--dire dans ce quon peut considrer comme soit un appendice de
toute lanalytique transcendantale, soit un appendice du chapitre sur le principe de la
distinction de tous les objets en gnral en phnomne et noumne, chapitre qui se
prsente comme un tour dhorizon de lanalytique. Dans cette remarque, Kant dit
que :
En labsence dune telle topique transcendantale et par consquent abus par lamphibologie des
concepts de la rflexion, le clbre Leibniz rigea un systme intellectuel du monde [] Notre table des
concepts de la rflexion nous procure lavantage inattendu de nous mettre sous les yeux ce qui distingue
sa doctrine dans toutes ses parties et constitue en mme temps le principe directeur de ce mode de pense
spcifique, lequel principe directeur ne reposait que sur un malentendu [] : Leibniz intellectualisait les
phnomnes [] au lieu de rechercher dans lentendement ou dans la sensibilit deux sources tout fait
diffrentes de reprsentations, mais qui ne pourraient juger des choses avec une validit objectives quen
liaison.
123

Autrement dit, lanalytique transcendantale permet de prsenter la doctrine de
Leibniz dans toutes ses parties. En effet, cette doctrine nest quune analytique, bien
sr pas mme transcendantale. Cest une doctrine des jugements analytiques.
Cette critique trouve son cho le plus fort dans la philosophie pratique. On sait que
Kant a dvelopp ses critiques selon le mme plan. Ainsi, dans la Critique de la
raison pratique, le chapitre charnire entre lanalytique et la dialectique, lexamen
critique de lanalytique de la raison pure pratique, reprend la critique contre Leibniz :
Dans la question de cette libert qui doit tre donne pour fondement toutes les lois morales [], il
ne sagit pas du tout de savoir si la causalit est ncessairement dtermine daprs une loi de la nature
par des principes de dtermination rsidant dans le sujet ou en dehors de lui [] Ces reprsentations
dterminantes [] sont toujours des principes dterminants de la causalit dun tre [] qui, par
consquent, ne sont plus au pouvoir du sujet, quand il doit agir. Ils impliquent [] la libert
psychologique (si lon veut employer ce mot pour un enchanement simplement intrieur des
reprsentations de lme), mais aussi la ncessit naturelle, et par consquent ne laissent pas subsister une
libert transcendantale [] On peut nommer aussi le mcanisme de la nature toute ncessit des
vnements se produisant dans le temps daprs la loi naturelle de la causalit [] On a [] en vue ici la
ncessit de la connexion des vnements dans une srie de temps, comme elle se dveloppe daprs la
loi de la nature, soit que lon nomme le sujet o a lieu ce dveloppement, Automaton materiale, quand
ltre-machine est m par la matire ou avec Leibniz, Automaton spirituale, quand il est m par des
reprsentations, et si la libert de notre volont ntait pas autre que la dernire (que la libert
psychologique et comparative, non aussi la libert transcendantale, cest--dire absolue), elle ne
vaudrait gure mieux au fond que la libert dun tournebroche, qui lui aussi quand il a t une fois
remont, accomplit de lui-mme ses mouvements.
124

Bref, lintellectualisation des phnomnes rend la libert relle impossible. Ceci
est en rapport direct avec la thorie des vrits ncessaires et contingentes car on se

122
Nous reprenons ici une ide directrice du sminaire "Leibniz dans Kant" de M. Fichant, Nanterre, 1997-1998.
123
CRP, pp. 315-316.
124
Kant, Critique de la raison pratique, traduction F. Picavet, PUF, 1943, pp. 102-103.
Leibniz dans Kant, page 38
souvient que Leibniz parle aussi de vrits libres pour les vrits contingentes. Mais
surtout, Leibniz applique lattribut de libert la substance :
Mais les substances libres ou intelligentes ont quelque chose en plus et de plus admirable, limitation
pour ainsi dire de Dieu, qui fait quelles ne sont astreintes aucune loi subalterne dtermine de
lunivers, mais quelles agissent spontanment partir de leur seule puissance propre par une sorte de
miracle priv, et interrompent au vu dune cause finale le lien et le cours des causes efficientes sur leur
volont.
125

On pourrait voir l la formulation dune libert de type transcendantale, mais
Leibniz ajoute plus loin que
"les choses contingentes et dabord les substances libres dependent dans leur choix et leur action de la
volont et de la prdtermination divine"
126
.
Ce qui apparat ici cest toujours la difficult pour Leibniz de concilier le principe
de raison et la contingence. Pour Kant, un "je pense" contingent a pour consquence
limpossibilit de la libert. Cest la ncessit du "je pense" qui rend possible la
libert.
Cependant, et pour conclure, on peut se demander si cette forte divergence ne
masque pas une convergence plus profonde encore. En effet, Eberhard disant que
Leibniz avait dj tudi la raison mieux que Kant et que toute nouvelle critique de la
raison pure serait rendue inutile par celle de Leibniz, Kant rpondait, non pas en
rfutant Leibniz, mais en disant que la Critique de la raison pure pourrait bien tre
lapologie de Leibniz y compris contre les gens dont les louanges ne lui font pas
honneur. Autrement dit, et dans une tradition toute philosophique, Kant rpondait
quil avait mieux compris Leibniz que le leibniziano-wolfisme, et que Leibniz lui-
mme.
Cette remarque ouvre le chemin dune convergence plus profonde : il y aurait donc
une autre manire de comprendre Leibniz (Leibniz ne serait pas quun rationaliste
dogmatique), mais aussi une autre manire de comprendre Kant (Kant ne serait pas
quun idaliste critique). Cest peut-tre sur le terrain de la logique, du projet
logiciste de Leibniz et de ce que Kant a pu y apporter par le dveloppement de la
dialectique transcendantale et de ses antinomies paradoxes, que cette convergence
ou cette continuit profonde pourrait tre dcouverte. Mais aussi sur le terrain de la
coyance. Car si la certitude du contingent nest accessible qu Dieu, il est clair quil
ne reste, pour nous les hommes, que la croyance. Cette recherche nous emmnerait
trs au-del de cette prsentation.

125
RG, p. 344.
126
RG, p. 345.
Leibniz dans Kant, page 39

SOMMAIRE

Introduction ................................................................................................. 1
1 Vrits ncessaires et vrits contingentes chez Leibniz .................. 2
1.1 Usage prdicatif du mot vrai .................................................................. 2
1.2 La science du pensable........................................................................... 3
1.2.1 Notions et propositions............................................................................... 3
1.2.2 Classifications des vrits .......................................................................... 4
1.3 Les vrits premires.............................................................................. 6
1.3.1 Deux types de vrits premires................................................................. 6
1.3.2 Les identiques............................................................................................. 8
1.4 Vrits contingentes et vrits ncessaires ............................................ 9
1.4.1 Critre de distinction.................................................................................. 9
1.4.2 Vrits, propositions vraies et certitude................................................... 12
1.4.3 Le problme des vrits contingentes ...................................................... 13
2 Jugement analytique et jugement synthtique chez Kant.............. 16
2.1 Logique................................................................................................. 16
2.2 Critique de la raison pure ..................................................................... 19
2.2.1 Jugements analytiques et jugements synthtiques ................................... 19
2.2.2 Cadre gnral de la thorie de la connaissance........................................ 21
2.2.2.1 Esthtique et logique............................................................... 21
2.2.2.2 Structuration de la logique...................................................... 22
2.2.2.3 Divisions de la logique transcendantale.................................. 25
2.2.3 La facult de juger.................................................................................... 26
3 Commentaires..................................................................................... 33

Vous aimerez peut-être aussi