Comprehensive TeX Archive Network

Direc­tory macros/latex/contrib/begriff

begriff.sty - a LaTeX2e package for typesetting begriffsschrift

This style style can be used with LaTeX to typeset material written in
Frege's Begriffsschrift.  It defines eight new LaTeX math mode commands:

\BGassert            - generates an assertion sign
\BGcontent           - generates an assertion sign
\BGnot               - generates a negation sign
\BGquant{v}          - generates a universal quantifier with variable v
\BGconditional{a}{c} - generates a conditional with antecendent
                       a and consequent c. Note that in the Begriffsschrift, 
                       the antecendent is placed below the consequent.

(the following three commands were introduced in version 1.5)

\BGterm{x}           - creates a right-justified terminal node x 
\BGstem{x}           - inserts arbitrary LaTeX maths x into a non-terminal node
\BGbracket{x}        - places the expression x inside brackets

You also have the normal resources of LaTeX math mode, and (if you
have the amssymb package, AMS symbols) at your disposal; so, you can
use \mathfrak{v} to get a fraktur character, \acute{v} to get a
character with a slanting hat, and \alpha (etc.) to get greek letters.

You can also tweak the appearance of the resulting material by
modifying the values of the following lengths:

\BGthickness - the thickness of lines (by default 0.4pt, 
               bigger numbers = bolder)
\BGbeforelen - the length of line inserted before a begriffsschrift symbol
\BGafterlen  - the length of line inserted after a begriffsschrift symbol
\BGspace     - the length of space inserted between begriffsschrift and 
               normal maths

(and, since version 1.5)

\BGlinewidth - the total width of the diagram

This is version 1.6 (20th May 2005)

which includes: 

Changes made in October 2004 by Richard Heck <heck@fas.harvard.edu>
Purpose of changes: To make the format of the formulae closer to how
they are set in Frege's published works.

And some additional changes made by Josh Parsons (May 2005) to fix a problem with linespacing.

The style file is hereby placed under the GNU General Public License.

For more information, see:


Down­load the con­tents of this pack­age in one zip archive (43.7k).

be­griff – Type­set Be­griff­schrift

The pack­age de­fines maths mode com­mands for type­set­ting Frege's Be­griff­schrift.

Li­censeGNU Gen­eral Public Li­cense
Main­tainerJosh Par­sons
Con­tained inTeX Live as be­griff
MiKTeX as be­griff
Topics type­set­ting lo­gi­cian’s dis­cus­sions
sup­port for type­set­ting math­e­mat­ics
See also bguq
Guest Book Sitemap Contact Contact Author