blob: cac3957a85e656ce5ad6505e7efe5284acdb1f10 (
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
|
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 <josh@coombs.anu.edu.au>
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.
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 "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. Only the unnested conditional requires the optional
argument.
"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
For more examples see accompanying manual (Frege.pdf or Frege.tex)
Everything released under GNU General Public License.
|