La logique de Leibniz

Couverture
Georg Olms Verlag
 

Table des matières

La Mathématique se réduit à la Logique
317
La Logique se réduit à la Mathématique
318
Idée de lAlgèbre universelle
319
La multiplication logique commutative
323
Le système des nombres caractéristiques 1679
326
Traduction des propositions A E I 0
327
Traduction de la négation
329
Nouvelle traduction des propositions A E 1 0
330

Point de vue de la compréhension
14
Tous les modes déduits des 5 universels
15
Remarques sur le tableau des 24 modes
17
Les 9 modes imparfaits
18
Principes des modes universels
19
Discussion de ces principes
21
Extension et compréhension
23
Quantification implicite du prédicat
24
Schèmes des propositions en extension
25
Schèmes des syllogismes en extension
28
Schèmes des propositions en compréhension
30
Schèmes des syllogismes en compréhension
31
Idée première de la Combinatoire
33
LAlphabet des pensées humaines
34
Le De Arte combinatoria
35
Raymond Lulle etc
36
Critique de Lulle Autres précurseurs
38
Analyse et classification des concepts
39
Trouver tous les prédicats dun sujet donné
41
veaux projets
48
Les projets antérieurs
51
Le projet du De Arte combinatoria
54
Projets contemporains
55
Idées de Descartes sur le sujet
56
Projets de Wilkins et Dalgarno
57
Jugement de Leibniz sur ces projets
59
Principe de la Caractéristique
61
Projet de grammaire rationnelle
63
Le latin comme intermédiaire
65
Simplification de la grammaire
67
Les flexions et les particules
68
Réduction des parties du discours
70
Analyse des particules
71
Analyse des flexions
72
Analyse grammaticale des relations
73
Analyse des concepts par la définition
76
La langue philosophique nest pas un calcul
78
Caractéristique et Encyclopédie
79
La Caractéristique doit être réelle
81
Algèbre et Calcul infinitésimal
83
Utilité dune bonne caractéristique
85
Conditions exigées des caractères
87
Analogie avec la méthode cartésienne
89
Supériorité sur la méthode cartésienne
94
Critique du doute méthodique de Descartes
95
La Logique juge des controverses
96
Utilité du calcul logique
98
Le calcul remplace le raisonnement
101
Réfutation du nominalisme
103
Application aux mathématiques
105
Importance des signes naturels
107
Les mécanismes
115
La Caractéristique na jamais été réalisée
117
la Logique du Droit
119
refonte des codes
120
Application de la Logique aux questions morales
122
Projet des Semestria literaria 16681669
123
Premiers plans de compilations encyclopédiques
125
Société philadelphique
126
Plans de 16781679
127
Le De Rerum Arcanis
129
Le Plus Ultra
131
Les préliminaires du Plus Ultra
134
Initia et Specimina Scientiæ generalis
138
Démarches auprès dOldenburg et de Galloys
142
Nouvelles démarches à la Société Royale
143
Mémoires adressés à Louis XIV
145
Satire de la République des Lettres
149
Plan de lEncyclopédie démonstrative
150
Les sciences rationnelles
152
Les sciences expérimentales
154
Les arts et métiers
155
Lhistoire
157
Les Éléments de Philosophie
162
Histoire du vœu de Leibniz
164
Recueils de définitions
168
Tables de définitions 17021704
170
Projet dencyclopédie dans les Nouveaux Essais
172
Projet présenté à Pierre le Grand
173
Art de juger et art dinventer
176
Analyse et synthèse
178
Développement de la méthode cartésienne
179
Analyse des vérités
182
La démonstration repose sur les définitions
184
Et sur les axiomes identiques
186
Définitions nominales et réelles
188
Exemple des Géomètres
190
Trouver la définition la plus parfaite
192
Criterium de lidée vraie
194
Critique de largument ontologique
195
Théorie des idées claires distinctes adéquates
197
Analyse des idées
200
Critique de la méthode cartésienne
201
Démonstration des axiomes
203
Principe de la substitution des équivalents
205
Toute vérité est analytique
208
Vérités de raison et vérités de fait
210
Principe de raison et principe de contradiction
213
Rapport des deux principes et des deux ordres de vérités
216
Vérités nécessaires et contingentes
217
Contingence des lois de la nature
221
Théorie des possibles et des compossibles
224
Principes de symétrie et des indiscernables
227
Principe de la simplicité des lois de la nature
229
Principe de continuité ou de lordre général
233
Principes mathématiques et principes métaphysiques
237
Logique des probabilités
239
Théorie mathématique des jeux
242
Principes du Calcul des probabilités
244
Rôle de la Logique des probabilités
248
Degrés de détermination des problèmes
250
Exemples tirés de lAlgèbre et de la Géométrie
252
Analogie de la Cryptographie
254
Rôle de lexpérience dans les sciences
255
Théorie des vérités premières empiriques
257
Théorie de linduction empirique
261
Rôle de la déduction dans les sciences expérimentales
264
Théorie de lanalyse de Pappus
265
Théorie de lhypothèse
266
La méthode expérimentale est la déduction
269
La Caractéristique et lArt dinventer
272
LArt dinventer et le Calcul des probabilités
273
LArt dinventer dans les sciences techniques et pratiques
276
Logique Mathématique et Métaphysique
278
Analogie formelle entre la Logique et la Mathématique
283
LAlgèbre subordonnée à la Combinatoire
285
Conception de la Combinatoire
288
La Combinatoire est lArt dinventer
294
Le nouveau De Arte combinatoria
297
Relations de grandeur
300
Relations didentité et dinclusion
303
Relations de détermination
307
Congruence égalité similitude
310
Axiomes communs à ces relations
312
Axiomes propres à ces relations
314
Conversions et subalternation
332
Défauts du système
333
Système fondé sur linclusion logique
335
Specimen Calculi universalis principes
336
Règles de composition et de décomposition
339
Ad Specimen Calculi universalis Addenda
341
Essai de Calcul des alternatives
343
Generales Inquisitiones de 1686 principes
344
Théorie du syllogisme
347
Divers essais de traduction des propositions A E I 0
349
Analogie des propositions catégoriques et hypothétiques
354
Fragments daoût 1690
358
Addition au point de vue de lextension
361
axiomes et définitions
364
Démonstration du principe du syllogisme
367
Règles de composition des inclusions
371
inclusion des compréhensions
373
addition des compréhensions
375
Théorie de la soustraction
376
Propriétés de la soustraction
377
Théorie des compensations
381
Théorèmes relatifs à la soustraction
383
Résumé et conclusion
385
LEssai de 1679
388
Correspondance avec Huygens
391
Correspondance avec LHospital
394
Opuscules elatifs au Calcul géométrique
396
Défauts de lAlgèbre et de la Géométrie analytique
398
Défauts de la Géométrie synthétique
401
Avantages dune analyse proprement géométrique
403
Analysis situs
405
Définitions de la situation du point et de lespace
407
Description des figures par points et par lignes
409
Théorie de la similitude
410
Définitions de la droite et du plan par lidée de similitude
413
Autres définitions par les idées de section et de mouvement
415
Définitions fondées sur lidée de congruence
417
Définitions de la sphère et du cercle
418
Définition de la droite
420
Critique de la définition de la droite dEuclide
421
Définition du plan des intersections
423
Autre définition de la droite
424
Remarques critiques
427
CONCLUSION
431
Le jugement universel affirmatif
443
Les quatre espèces de propositions
444
Règles des oppositions
445
Règles des conversions
446
Règles du syllogisme relatives aux termes
447
Règles du syllogisme relatives aux propositions
448
Règles des figures du syllogisme
450
Réduction des modes
453
Justification de la IV figure
454
Citation de Hobbes dans le De Arte combinatoria
457
Le raisonnement est un calcul
458
Conception de laddition logique de Hobbes
459
Nominalisme et syllogisme
460
Opinion de Hobbes sur la méthode mathématique
461
Rapports de Leibniz avec Hobbes
462
Leibniz combat le matérialisme de Hobbes
463
Leibniz cartésien ou aristotélicien?
464
Leibniz et la physique de Hobbes
465
Leibniz et le nominalisme de Hobbes
466
Critique du nominalisme par Leibniz
468
Le nominalisme apparent de Leibniz
470
Le nominalisme réel de Leibniz
471
LArithmétique binaire
473
Symbole métaphysique interprétation des caractères de Fohi
474
Périodicité des colonnes dans les séries de nombres
475
Périodicité prétendue de л et des nombres premiers
477
Tables ou Canons algébriques
478
Différence de lArithmétique et de lAlgebre
480
Notation des coefficients au moyen de nombres fictifs
481
Elimination dans les équations du 1er degré
482
Règle des déterminants La preuve par 9
483
Résolution des équations du 1º degré règle de Cramer
484
Elimination dans les équations de degrés supérieurs
485
Multiplication des polynomes Homogénéité symbolique
487
Division des polynomes
489
Méthode des coefficients indéterminés théorème de De Moivre
491
Tables pour le calcul des formes et la résolution des équations
493
Formule du binome puissances dun polynome
494
Analogie du binome et des différentielles
497
Théorèmes de divisibilité tirés de la Combinatoire
498
Démonstration du théorème de Fermat
499
Semestria literaria 1668
501
Commissariat des livres
503
Premier projet de Société encyclopédique
504
Projet dune Société allemande
505
Projet dune Société philadelphique
506
Projets de 16761679
507
Projets soumis aux ducs de Hanovre
508
Collegium Imperiale historicum 1688
511
Idée dun ordre religieux 1693
512
Avances aux Jésuites
513
Projet de Société teutophile 545
516
Fonctions scientifiques de la Société
517
Ressources financières de la Société
518
Projet de sériciculture
520
Projet de Société des sciences à Dresde 1704
522
Echec opposition des Jésuites
524
Projets soumis au tsar Pierre le Grand
525
Patriotisme et cosmopolitisme de Leibniz
527
Principes du Calcul de lextension
529
Définitions fondamentales
530
Égalité et congruence
532
Multiplication régressive
533
Applications géométriques et mécaniques
535
Comparaison avec le Calcul géométrique de Leibniz
536
Sur Thomas BARTON
539
Sur lArs magna de Raymond LULLE et dAthanase KIRCHER
541
Sur lArs signorum de DALGARNO
544
Sur la Langue philosophique de WILKINS
548
Sur le De Conditionibus 1665
552
Extrait du De Arte combinatoria 1666
554
Nova Methodus discendæ docendæque Jurisprudentiæ 1667
561
Specimen demonstrationum politicarum 1669
562
Definitio justitiæ universalis
565
Sur la définition de lamour
567
De utilitate Grammatica cylindriaceæ Alberti von Holten
570
Judicium de scriptis Comenianis
571
Sur Leibniz bibliothécaire
573
Sur les distractions de Leibniz
574
Sur le principe de la moindre action
577
Sur la théorie mathématique des jeux
581
Lettre à Eler 10 mai 1716
583
Lettre à Lange 5 juin 1716
584
Abréviations bibliographiques
585
Table de correspondance entre lédition Gerhardt et lédition Erdmann
587
Index des noms propres
593
Addenda
599
Errata
600
Table des matières
601
Droits d'auteur

Expressions et termes fréquents

Fréquemment cités

Page 1 - Et cependant, le croiriez-vous? je tiens que l'invention de la forme des syllogismes est une des plus belles de l'esprit humain et même des plus considérables. C'est une espèce de mathématique universelle dont l'importance n'est pas assez connue...

Informations bibliographiques