Cette thèse vise à bien faire ressortir la profonde originalité, par rapport à la tradition logique antérieure, de la logique de Leibniz et, à travers elle, de toute la logique de type mathématique ou symbolique inaugurée par les Modernes. La comparaison des enseignements de Leibniz avec ceux des logiciens de tradition aristotélicienne â propos des thèmes en apparence les plus traditionnels (syllogisme, démonstration, définition, énonciation, mot en logique) révèle de façon détaillée à quel point Leibniz s'écarte d'Aristote et avec quelle merveilleuse audace il engage la logique sur des voies nouvelles. Les innovations introduites par Leibniz n'acquièrent cependant leur pleine intelligibilité qu'une fois connus les motifs qui les ont suscitées. Aussi avons-nous fait précéder la comparaison de l'ancien et du moderne d'une investigation des différentes origines de la logique leibnizienne. Parmi les éléments extérieurs au système leibnizien comme tel, les développements dans les mathématiques ou les arts du calcul survenus à cette époque ont exercé une influence prépondérante. On observe chez Leibniz un mathématisme qui l'oriente vers un nouvel idéal de rigueur scientifique inspiré des déductions telles qu'on les retrouve dans le calcul algébrique et ses divers prolongements. La mathématisation de la physique, amorcée depuis peu, propose un nouveau modèle de la connaissance scientifique et suggère la recherche d'un nouvel organon logique. Cette recherche du nouveau est d'ailleurs fortement encouragée par la mentalité générale des premiers philosophes modernes. La logique leibnizienne tire également ses origines d'éléments intrinsèques au système leibnizien. Les enseignements de Leibniz sur le déroulement des opérations de l'esprit ainsi que sur la nature de la vérité et de l'être et son unité ne relèvent pas nécessairement de la logique comme telle, mais constituent des présupposés aux enseignements les plus proprement logiques du philosophe de Hanovre. Non pas bien sûr que Leibniz lui-même n'ait souvent développé ses opinions sur ces sujets sous l'influence d'idées qu'il avait déjà antérieurement sur la logique, mais il fallait de toutes façons révéler la cohérence logico-métaphysique du système leibnizien. Ainsi par exemple, ce n'est qu'une fois conçue à la fois comme correspondance de la chose et de l'intelligence, comme non contradiction et possibilité et comme identité que la vérité sur des êtres conçus comme complexes de monades pourra se dévoiler à l'intelligence logico-mathématisée.