summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/frege/README
blob: ee6c95c4a2da2f92dbcc7ab86baa2dae8589aaeb (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
frege.sty - a LaTeX2e package for typesetting begriffsschrift

This package is based on begriff.sty released under the GNU General Public License. 
Copyright (C) 2003 by Josh Parsons

Since version 1.3 this package also makes use of the bguq package by J.J. Green.

Changes with respect to begriff.sty

correct relative lengths of the content stroke with respect to other strokes 
attached to it;
content strokes point at the middle of the following symbols, rather than the bottom;
greater width for the assertion stroke as compared to the content stroke;
a more intuitive structure for the conditional (arguments are now given in the same 
order as they appear on the left of a completed formula);
the command for the conditional with empty arguments now results in a vertical line 
(conditional stroke) on it's own the other strokes are added as the arguments;
the linewidth is properly accounted for so that things remain properly centered when 
scaled;

frege.sty defines the following basic commands:
\Fcontent[1]       - plain content stroke
\Fncontent[1]      - negated content stroke
\Fnncontent[1]     - twice negated content stroke
\Faconten[1]       - asserted content stroke
\Fancontent[1]     - asserted negated content stroke
\Fanncontent[1]    - asserted twice negated content stroke
\Fquant[1]{a}      - content stroke with quantifier
\Fnquant[1]{a}     - negated quantifier
\Fnnquant[1]{a}    - twice negated quantifier
\Fquantn[1]{a}     - quantifier with negated content
\Fquantnn[1]{a}    - quantifier with twice negated content
\Fnquantn[1]{a}    - negated quantifier with negated content
\Fnquantnn[1]{a}   - negated quantifier with twice negated content
\Fnnquantn[1]{a}   - twice negated quantifier with negated content
\Fnnquantnn[1]{a}  - twice negated quantifier with twice negated content
\Faquant[1]{a}     - asserted content stroke with quantifier
\Fanquant[1]{a}    - asserted negated quantifier
\Fannquant[1]{a}   - asserted twice negated quantifier
\Faquantn[1]{a}    - asserted quantifier with negated content
\Faquantnn[1]{a}   - asserted quantifier with twice negated content
\Fanquantn[1]{a}   - asserted negated quantifier with negated content
\Fanquantnn[1]{a}  - asserted negated quantifier with twice negated content
\Fannquantn[1]{a}  - asserted twice negated quantifier with negated content
\Fannquantnn[1]{a} - asserted twice negated quantifier with twice negated content

while this may look like a daunting list think of it as just two commands:
\Fcontent[1]       - generates a content stroke
\Fquant[1]{a}      - generates a quantifier with variable a

Adding an "a" after the "\F" adds an assertion stroke to the front of the command, 
this may be followed by one two or no "n" to add one two or no negations to the 
stroke. Next comes the name of the command either "content" or "quant". "quant" may 
then be followed by another one two or no "n" which will add one two or no negations 
after the quantifier to it's content stroke. All commands may be used in either text 
or math mode. All the above commands produce output of the same length and may be 
arbitrarly combined to produce longer composite formulas. Since version 1.1 each of 
the basic strokes also has an optional argument with default value one, that scales 
the total length of the stroke (\Fbaselength), so that an optional argument of [.5] 
will produce a stroke half as long. Warning: setting a length shorter than what is 
needed to fit all the options of a stroke leads to negative lengths and hence 
unpredictable results.

Since version 1.3 it is also possible to call all the above commands without the 
word "content" for the content strokes and with just "q" instead of the word "quant" 
for the quantifiers.

frege.sty defines the following more complex commands:
\Fconditional[<option>]{<consequent>}{<antecedent>}
\Fbox{<begriffsschrift formula with at least one conditional>}
\Fbracket{<begriffsschrift formula with at least one conditional>}
\Fargument[<premise 0>]{<premise 1>}{<premise 2>}{<conclusion>}
\Fstrut[1]

The final two have been added in version 1.2.

The following shorthands for the above commands have been introduced in version 1.3: 
\Fcdt, \Fb, \Fbb, \Farg, \Fs;

The "Fconditional" command requires a mixture of the commands defined by frege.sty 
and normal mathmode input to produce begriffsschrift. A implies B would be written 
like this: 

\Fconditional[\Facontent]{\Fcontent B}{\Fcontent A}

This produces the two dimensional fregean conditional symbol with B lined up above 
A. In addition the "Fconditional" command may be arbitrarily nested to produce any 
begriffsschrift formula possible. All begriffsschrift symbol can be made without 
the use of the optional argument, it exists only for convenience.

"Fbracket" is just the same as "\left(\Fbox\right)" everything said about "Fbox" 
applies equally to "Fbracket". A completed formula of begriffsschrift that includes 
at least one conditional, should always be placed in an "Fbox" this ensures it is 
given enough space in the output behaves correctly with respect to the text around 
it and works correctly within environments such as align*.

"Fargument" arranges two begriffsschrift formulas above each other and seperates 
them from a third by a horizontal line. The option is for the name of a premise 
written elsewhere and will outout (name): to the left of the horizontal line.

"Fstrut" is like a invisible content stroke. Like all other basic strokes, it may be 
scaled using it's optional argument. Fstrut is to be used in conjunction with 
Fargument to ensure the formulas line up properly.

The final result may also be modified by changing the following lengths using the 
\setlength{<lengthname>}{<value>} command. The lengths and there default values are 
given as follows:

length:         default value:  description:
\Fbaselength    20pt            the length of a single basic stroke
\Flinewidth     0.5pt           the width of all lines other than the assert stroke
\Fspace         2pt             seperation between begriffsschrift and text/formula
\Fassertwidth   3\Flinewidth    the width of the assert stroke
\Fraiseheight   1ex-\Flinewidth the height of content strokes above the baseline
\Fnegsep        3\Flinewidth    the sepparation between a double negation
\Fnegshort      2\Flinewidth    the space between negation stroke and baseline
\Fquantwidth    6pt             width of the semi circular quantifier depression

Since version 1.3 it is possible to load this package using the "bguq" option: 
\usepackage[bguq]{frege}

if the bguq option is enabled all quantifiers will use the bguq character provided 
by the bguq package by J.J. Green rather than the qbezier used by this package. 
This means the bguq package must be installed to use the option. (It can be found 
on ctan: http://www.ctan.org/pkg/bguq).
Warning: as it stands the bguq character scales with font while the rest of the 
symbols provided by this package do not. Also, the bguq character will not respond 
to a change in Flinewidth.

For more examples and info see accompanying manual (frege.pdf or frege.tex)
Everything released under GNU General Public License.