Biographie d'Ali Benmakhlouf
La logique mathématique doit à Gottlob Frege l'invention d'un langage par formule où la quantification trouve son expression. Héritier d'une double tradition, celle de la philosophie et celle de l'algèbre de la logique, Gottlob Frege fut à la fois un philosophe du concept et un logicien extensionnaliste.