La Logique chez Leibniz: essai sur le rationalisme baroque

algorithmique analyse Antoine Arnauld Aristote Arte Arte combinatoria axiomatique axiomes baroque Bourbaki Burnett de Kemney calcul caractère cartésienne Christian Huyghens cité supra concepts connaissance constitue déduction définir définition démonstration Descartes Discours domaine Elementa épistémologique Euclide fonction formalisation G VII Gabriel Wagner Generales Inquisitiones géométrie Hermann Conring ibid infra Jean Bernoulli Kabbale l'Encyclopédie langage langue leibnizienne Lettre à Heinrich Lettre à Thomas Lettre au duc linguistique Logica logiciens logique de Leibniz logique mathématique mathématicien mathématique mathématisation Mathesis mécaniste ment métaphysique métathéorique méthode méthodologie moderne niveau notation notion nova particulier pensée philosophie Pierre Varignon possible potest prédicat principe problème propositions quae quod raison rationalité Rationis rationnelle réalisation relations rerum science scientifique scolastique sémantique sens seulement signe Simon Foucher sive Specimen structure sunt syllogisme syllogistique symbolique syntaxique système formel technique Théodicée théorèmes théorie théorie des ensembles théorique tion universelle veritates vérité verités XVIIe siècle