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.
Langage de la logique
Il est essentiel de distinguer la logique comme langage de la logique comme déduction ou calcul. Cette distinction, rappelée en 1967 par Van Heijenoort, est déjà présente dès les débuts de la logique. L'œuvre d'Aristote comprend en effet, outre une énumération de différentes formes de syllogismes, une ébauche d'élucidation de la structure des propositions. Dès les débuts, la logique possède sa langue. Celle de la logique traditionnelle était toutefois très limitée en comparaison avec l'actuelle. On s'y tenait à un petit nombre de propositions élémentaires du genre "S est P", "S n'est pas P", "Tout S est P", "Aucun S n'est P", "Quelque S est P", Quelque S n'est pas P", et d'autres construites à partir d'elles avec des connecteurs propositionnels.