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
La logique de Leibniz est inspirée de celle du philosophe médiéval Raymond Lulle. Celui-ci, dans les "Ars magna", avance l'idée que les concepts et les propositions peuvent être exprimées sous la forme de combinaisons. S'inspirant de Lulle, Leibniz explique dans le "De arte combinatoria" comment on pourrait, dans un premier temps constituer un « Alphabet des pensées humaines », composé de toutes les idées de base, puis découvrir de nouvelles vérités en combinant les concepts pour former des jugements de manière exhaustive et évaluer méthodiquement leur vérité.