Begriffsschrift

Begriffsschrift suele traducirse al español como Conceptografía; el título completo del libro lo identifica como «un lenguaje formal, modelado según el de la aritmética, para el pensamiento puro».

Esta es considerada la primera obra en la filosofía analítica contemporánea, un área que posteriores filósofos, como Bertrand Russell y Ludwig Wittgenstein, desarrollarían más durante los siglos XIX y XX.

Frege explicó que el contenido del libro era su propia versión apuntando en la línea del ideal de una characteristica universalis, un concepto originalmente leibniziano que se aplicaría en matemáticas.

[1]​ Frege presenta su cálculo utilizando una notación idiosincrásica bidimensional: los conectivos lógicos y cuantificadores se escriben usando líneas que conectan fórmulas, en lugar de los símbolos ¬, ∧ y ∀ que se usan hoy en día.

En el primer capítulo, Frege define ideas y notaciones básicas, como proposición ("juicio"), el cuantificador universal ("la generalidad"), el condicional, la negación y el "signo para identidad de contenido"

(que utilizó para indicar tanto la equivalencia material como la identidad propiamente dicha); en el segundo capítulo declara nueve proposiciones formalizadas como axiomas.

Frege declaró nueve de sus proposiciones como axiomas, y las justificó argumentando informalmente que, debido a sus significados intensionales, expresan verdades evidentes por sí mismas.

Para un estudio reciente y cuidadoso de cómo fue revisada la Begriffsschrift en la literatura matemática alemana, véase Vilko (1998).

Frege utilizó estos símbolos en la Begriffsschrift en la forma unificada ├─ para declarar que una proposición es verdadera.

En su obra posterior "Grundgesetze", revisa ligeramente su interpretación del símbolo ├─.

puede leerse como una combinación del Inhaltsstrich horizontal con un trazo de negación vertical.

En el Tractatus Logico-Philosophicus, Ludwig Wittgenstein rinde homenaje a Frege utilizando el término Begriffsschrift como sinónimo de formalismo lógico.