Pacote Begriff

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 \LaTeXe 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).

Captura de tela de 2013-10-07 04:09:22

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:

1bs

tem a seguinte sintaxe:

$\BGassert\BGconditional{a}{b}$

A fórmula

2bstem a seguinte sintaxe

$\BGassert\BGconditional{a}{\BGconditional{b}{a}}$

Por outro lado, a sintaxe da fórmula

3bsé:

$\BGassert\BGconditional{\BGconditional{a}{b}}{a}$

A fórmula

4bs

é obtida com o seguinte código:

$\BGassert\BGnot a$

 A sintaxe da fórmula

5bsé obtida com o código

$\BGassert\BGnot\BGconditional{a}{b}$

Por outro lado, a sintaxe da fórmula

6bsé:

$\BGassert\BGconditional{\BGnot a}{b}$

A fórmula

7bstem a seguinte sintaxe:

$\BGassert\BGnot\BGconditional{a}{\BGnot b}$

Fórmulas com a concavidade como

8bstem a seguinte sintaxe:

$\BGassert\BGall af(\mathfrak{a})$

As fórmulas

9bs10bs11bstê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}

 

 

 

 

 

 


Deprecated: Directive 'track_errors' is deprecated in Unknown on line 0