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.
Crise des fondements
Jusque-là, la logique était depuis Aristote considérée comme une branche de la philosophie, avec ses sorites et syllogismes. L'enseignement de la logique reposait sur l'idée que toutes les propositions vraies découlaient de l'utilisation de règles précises à partir de prémisses vraies. Par une notation abstraite de ces règles, Boole (1847) avait jeté les bases d'une algèbre logique, et simultanément De Morgan avait publié ses lois : la logique propositionnelle devenait une branche à part entière de l'algèbre.