Este libro pretende ofrecer un panorama amplio de las principales ideas lógicas, filosóficas, matemáticas y lingüísticas que desembocarían en la concepción conocida, desde Frege y Russell, como logicismo. Se exponen así, en detalle, las teorías de Leibniz a propósito del lenguaje y los conceptos, la teoría proposicional y las de la ciencia de Bolzano, al igual que el sistema que Frege presenta en 1879 (considerado tradicionalmente como el punto de inicio histórico de la lógica contemporánea), haciéndose ver los esenciales vínculos y la continuidad existente entre estos tres proyectos. Más desde el lado de las matemáticas que la filosofía, los capítulos finales están dedicados al análisis de las posturas de Dedekind y Peano acerca de las relaciones entre la lógica y las matemáticas. El libro concluye con una evaluación general del curso seguido por estos problemas.