CTAN Comprehensive TeX Archive Network

Directory macros/latex/contrib/begriff

README
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:

http://weka.ucdavis.edu/~ahwiki/bin/view/Main/BegriffsschriftLaTeX

Download the contents of this package in one zip archive (43.7k).

begriff – Typeset Begriffschrift

The package defines maths mode commands for typesetting Frege's Begriffschrift.

Packagebegriff
Version1.6
LicensesGNU General Public License
MaintainerJosh Parsons
Contained inTeX Live as begriff
MiKTeX as begriff
TopicsMaths
Logic
See alsogrundgesetze
frege
bguq
...
Guest Book Sitemap Contact Contact Author