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 et raisonnement mathématique
La logique explique comment un fait ou une affirmation peut découler d'autres faits déjà admis. Un enchaînement de faits qui sont énoncés pour découler les uns des autres s'appelle une "démonstration". On constate que "calculer" et "démontrer" sont les deux principales activités des mathématiques. Ici, nous nous intéressons à l'activité de démontrer. Pour démontrer quelque chose, il faut soit utiliser un langage spécifique (présenté dans d'autres articles spécialisés de Wikipédia, par exemple dans l'article déduction naturelle), soit garder le français avec un certain nombre de conventions qui ont pour but d'éliminer les erreurs et les ambiguïtés. La logique est donc, en mathématiques, la pratique de la "rigueur" ou de l"exactitude" dans la pensée.