Uma das maiores dificuldades para um estudante de Gottlob Frege é reproduzir as fórmulas da conceitografia, devido ao seu caráter bidimensional. Lembro-me que nas minhas monografia e dissertação, usei um programa de desenhos para reproduzi-las, o que me tomou enorme tempo. Mas, por sorte, quando escrevia a tese, entrei em contato com o 
No debian, o pacote é instalado junto com a instalação do texlive-latex-extra, que, por sua vez, é instalado junto com o texlive-full (veja aqui).
Para usar o pacote begriff, basta inserir no preâmbulo o comando
\usepackage{begriff}
Exemplo de preâmbulo:
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%Pacotes da ams
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%Pacote Begriff
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\usepackage{begriff}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%Dados do documento
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\title{Pacote Begriff}
\author{Alessandro Duarte}
Associados ao pacote begriff estão os comandos:
\BGassert - introduz o traço de juízo
\BGassert - introduz o traço de conteúdo
\BGconditional{}{} - introduz o conditional
\BGnot - introduz a negação
\BGall - introduz a concavidade (generalidade) (nesse caso, usamos também o comando \mathfrak{}, que precisa dos pacotes da ams).
Exemplos: a fórmula:
tem a seguinte sintaxe:
$\BGassert\BGconditional{a}{b}$
A fórmula
tem a seguinte sintaxe
$\BGassert\BGconditional{a}{\BGconditional{b}{a}}$
Por outro lado, a sintaxe da fórmula
é:
$\BGassert\BGconditional{\BGconditional{a}{b}}{a}$
A fórmula
é obtida com o seguinte código:
$\BGassert\BGnot a$
A sintaxe da fórmula
é obtida com o código
$\BGassert\BGnot\BGconditional{a}{b}$
Por outro lado, a sintaxe da fórmula
é:
$\BGassert\BGconditional{\BGnot a}{b}$
A fórmula
tem a seguinte sintaxe:
$\BGassert\BGnot\BGconditional{a}{\BGnot b}$
Fórmulas com a concavidade como
tem a seguinte sintaxe:
$\BGassert\BGall af(\mathfrak{a})$
As fórmulas
têm, respectivamente, os seguintes códigos
$\BGassert\BGall a\BGconditional{F(\mathfrak{a})}{G(\mathfrak{a})}$
$\BGassert\BGnot\BGall a\BGconditional{F(\mathfrak{a})}{G(\mathfrak{a})}$
$\BGassert\BGnot\BGall a\BGconditional{F(\mathfrak{a})}{\BGnot G(\mathfrak{a})}$
Código total:
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%Classe de documento
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\documentclass[10pt,a4paper]{article}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%pacotes de língua e fontes
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\usepackage[utf8]{inputenc}
\usepackage[portuguese]{babel}
\usepackage[T1]{fontenc}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%Pacotes matemáticos
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%Pacote begriff
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\usepackage{begriff}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%dados do documento
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\title{Pacote Begriff}
\author{Alessandro Duarte}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%Início do documento
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{document}
\maketitle
$\BGassert\BGconditional{a}{b}$
$\BGassert\BGconditional{a}{\BGconditional{b}{a}}$
$\BGassert\BGconditional{\BGconditional{a}{b}}{a}$
$\BGassert\BGnot a$
$\BGassert\BGnot\BGconditional{a}{b}$
$\BGassert\BGconditional{\BGnot a}{b}$
$\BGassert\BGnot\BGconditional{a}{\BGnot b}$
$\BGassert\BGall af(\mathfrak{a})$
$\BGassert\BGall a\BGconditional{F(\mathfrak{a})}{G(\mathfrak{a})}$
$\BGassert\BGnot\BGall a\BGconditional{F(\mathfrak{a})}{G(\mathfrak{a})}$
$\BGassert\BGnot\BGall a\BGconditional{F(\mathfrak{a})}{\BGnot G(\mathfrak{a})}$
\end{document}
Aqui tem uma versão mais nova do pacote begriff (empacotado para debian e ubuntu) que está sendo usado na tradução de Grundgesetze der Arithmetik. Para usar essa versão mais nova, use no preâmbulo:
\usepackage{begriff2}