La logique de LeibnizGeorg Olms Verlag |
Table des matières
1 | |
2 | |
4 | |
8 | |
9 | |
10 | |
11 | |
12 | |
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 |
14 | |
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 |
593 | |
Addenda | 599 |
Errata | 600 |
601 | |
Expressions et termes fréquents
Algebra analyse arithmétique Arte combinatoria artem autem axiomes Bodemann Briefwechsel c'est-à-dire Calcul infinitésimal Calcul logique Caractéristique Caractéristique universelle Celarent Chap characteres Characteristica combinaisons compréhension concepts congruence déduction défini définition démontrer Descartes Dutens effet enim etiam etsi Euclidis exemple facteurs figure formule Foucher de Careil fragment Generales Inquisitiones geometrica Géométrie hæc idées Itaque Jacques Bernoulli Jean Bernoulli Klopp l'Algèbre l'analyse l'Art d'inventer l'Encyclopédie langue universelle Leibniz Lettre à Burnett Lettre à Foucher Lettre à Oldenburg Logica Math mathématique ment métaphysique méthode modes négation nihil nombre nombres premiers note notion Nouveaux Essais nova omnes omnia Phil philosophie posse possunt potest prædicatum prédicat prémisses principe de raison probabilités projet propositiones propositions quæ quam quod ratione Raymond Lulle recto relations rerum schèmes sciences scientia seulement signes sive Specimen Spinoza subalternation sujet sunt syllogisme système système de numération tamen théorèmes tion veritates verité vérités verso
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...