Conceptografía: Un Lenguaje de Fórmulas de Pensamiento Puro, Modelado sobre el de la Aritmética

Ofrece el mismo enfoque en la notación formal que busca la claridad en el razonamiento lógico y elimina ambigüedades del lenguaje natural.

Introduce un sistema de notación lógica para cuantificación, al igual que Frege, permitiendo una expresión formal de relaciones complejas.

Desarrolla la lógica de predicados con un sistema formal de notación, similar a cómo Frege busca fundamentar la lógica moderna.

Establece un lenguaje formal inspirado en la aritmética, tal como Frege, para representar de manera precisa el pensamiento lógico.

Presenta el primer sistema formal completo de lógica, incluyendo nociones de función y argumento en línea con las ideas de Frege.

Explora la 'conceptografía', un enfoque formal que Frege desarrolla para suprimir ambigüedades en el lenguaje lógico y matemático.