Les Grecs privilégiaient la déduction axiomatique : Euclide bâtit des géométries inébranlables à partir de postulats évidents. Parallèlement, l'Inde antique développait la logique Nyaya, focalisée sur l'inférence et la vérification empirique des syllogismes. Au XIXe siècle, George Boole opéra une rupture en symbolisant le raisonnement par des variables algébriques binaires. Comparons le « tous les hommes sont mortels » : pour Euclide, c'est un enchaînement de définitions ; pour les Nyaya, c'est une inférence vérifiable par observation ; pour Boole, c'est une équation booléenne. Cette triangulaire culturelle révèle que la logique passe de la philosophie à l'algèbre, puis à l'informatique.