Gottlob Frege

La logique mathématique doit à Gottlob Frege l'invention d'un langage par formules, 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. Ce livre retrace le parcours de ce logicien philosophe de l'idéographie (1879) aux écrits posthumes. L'invention d'une écriture conceptuelle, la définition logique du nombre, ainsi que la croyance en un monde des pensées objectives, communicables et éternelles, sont les trois volets présentés ici.