Heidegger et la logique
La Scolastique avait fait d'Aristote le père de la « Logique » et l'inventeur de la « « copule » », c'est-à-dire, un penseur qui n'aurait compris l'être de l'étant qu'à travers la "katégoria". Position qui débouche mécaniquement sur une conception étriquée de la Vérité comme étroitement liée à l'énoncé propositionnel ; réduction à laquelle Heidegger va s'opposer en exhumant un Aristote jusqu'ici méconnu, phénoménologue avant la lettre.
Gottfried Wilhelm Leibniz
Leibniz est pour beaucoup le logicien le plus important entre Aristote et les logiciens du à l'origine de la logique moderne : , George Boole, Ernst Schröder et Gottlob Frege. Pour Louis Couturat, la logique leibnizienne anticipait les principes des systèmes logiques modernes, voire les dépassait sur certains points.