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.
Logique
Au , le philosophe Gottfried Wilhelm Leibniz réalise des recherches fondamentales en logique qui révolutionnent profondément la logique aristotélicienne. Il se réclame constamment de la tradition des syllogismes d'Aristote et tente de l'intégrer à son propre système. Il est le premier à imaginer et à développer une logique formelle.