summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/begriff/examples.tex
blob: 413db69be7e4c940f4f1010f948c24dae561c01e (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
\documentclass[a4paper,10pt,twoside]{article}
\usepackage{a4wide,amssymb,begriff}

\title{Begriffsschrift examples}  
\author{Josh Parsons}
\parindent0pt

\setlength{\BGthickness}{1pt}

\begin{document}
\maketitle

if p then q:

$$\BGassert\BGconditional{p}{q}$$

and with a content stroke instead of assertion:

$$f\BGbracket{\BGcontent\BGconditional{p}{q}}$$

from Frege's correspondence with Russell (a version of basic law V):

$$
\BGassert (\acute{\epsilon}f(\epsilon) = \acute{\alpha}g(\alpha)) =
\BGquant{\mathfrak{a}}
\BGbracket{\BGconditional{
  \BGnot\BGconditional{
    \BGnot\mathfrak{a}=\acute{\alpha}g(\alpha)
  }{
   \mathfrak{a}=\acute{\epsilon}f(\epsilon)
  }
}
{f(\mathfrak{a}) = g(\mathfrak{a})}}
$$

\setlength{\BGlinewidth}{2.6in}

from Russell's correspondence with Frege:

$$
\BGstem{T=\acute{\beta}\acute{\gamma}}
\BGnot\BGquant{\varphi}
\BGconditional
{\BGterm{\gamma = \acute{\alpha}\acute{\epsilon}\varphi(\alpha,\epsilon)}}
{\BGconditional
  {\BGterm{\beta = \acute{\alpha}\acute{\epsilon}\varphi(\alpha,\epsilon)}}
  {\BGterm{\varphi(\beta,\gamma)}}
}
$$

the Geach-Kaplan sentence (thanks to Marcus Rossberg):

$$
\BGnot \BGquant{\mathfrak{F}}%
\BGconditional{
  \BGquant{\mathfrak{c}}\BGquant{\mathfrak{d}}
  \BGconditional{
    \BGnot 
    \BGconditional{
      \BGterm{A(\mathfrak{c},\mathfrak{d})}
    }{
      \BGnot \BGterm{\mathfrak{F}(\mathfrak{c})}}
  }{
    \BGnot \BGconditional{
      \BGterm{\mathfrak{F}(\mathfrak{d})}
    }{
      \BGterm{\mathfrak{c}=\mathfrak{d}}
    }
  }
}{
  \BGconditional{
    \BGnot\BGquant{\mathfrak{b}}\BGnot\BGterm{\mathfrak{F}(\mathfrak{b})}
  }{
    \BGterm{f \BGbracket{\BGquant{\mathfrak{a}} \BGconditional{
      \mathfrak{F}(\mathfrak{a})
    }{
      C(\mathfrak{a})
    }}}
  } 
}
$$

That's all folks

\end{document}