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.
Épistémologie de la logique
La logique (du grec , ), signifiant à la fois raison, langage, et raisonnement, est dans une première approche l'étude des règles formelles que doit respecter toute argumentation correcte. Le raisonnement, la construction de démonstration, de preuves sont donc les objets premiers de la logique. Les termes d'inférence ou de déduction sont également régulièrement utilisés. Selon l'objet de ces raisonnements plusieurs logiques sont donc apparues : Selon les formes de raisonnement :