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 e descobri a existência do pacote begriff que reproduz perfeitamente a linguagem fregeana.
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
$\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
$\BGassert\BGnot\BGconditional{a}{b}$
Por outro lado, a sintaxe da fórmula
$\BGassert\BGconditional{\BGnot a}{b}$
A fórmula
$\BGassert\BGnot\BGconditional{a}{\BGnot b}$
Fórmulas com a concavidade como
$\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}