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.
Stanisław Jaśkowski
Étudiant de Jan Łukasiewicz, un des fondateurs de l’école de Lvov-Varsovie, Jaśkowski a élaboré en 1934 un système de logique qui reflète les techniques de raisonnement des mathématiciens, une approche radicalement différente des systèmes axiomatiques en vogue à l’époque. Coïncidence intellectuelle remarquable, un logicien allemand de l’école de Hilbert, Gerhard Gentzen publie un système comparable de manière complètement indépendante et pour des motifs tout autres en 1934. Ces systèmes sont devenus des outils standards en théorie de la preuve et dans l’enseignement de la logique.