En su obra cumbre - llamada Conceptografía- Frege construye la lógica moderna a través de un cálculo de proposiciones y de predicados.