Work 1

Assorted Media Tests

Peirce’s 1870 Logic Of Relatives

\mathit{l}_\dagger  {}^\dagger\mathit{s}_\ddagger  {}^\ddagger\mathrm{w}

\mathit{l}_\dagger ~  {}^\dagger\mathit{s}_\ddagger ~  {}^\ddagger\mathrm{w}

\mathit{l}_\dagger ~~  {}^\dagger\mathit{s}_\ddagger ~~  {}^\ddagger\mathrm{w}

\mathfrak{g}_{\dagger\ddagger}  {}^\dagger\mathit{o}_\parallel  {}^{\parallel\ddagger}\mathrm{h}

\mathfrak{g}_{\dagger\ddagger} ~  {}^\dagger\mathit{o}_\parallel ~  {}^{\parallel\ddagger}\mathrm{h}

\mathfrak{g}_{\dagger\ddagger} ~~  {}^\dagger\mathit{o}_\parallel ~~  {}^{\parallel\ddagger}\mathrm{h}

\mathfrak{g}_{\dagger\ddagger} ~~  {}^\dagger\mathit{t}_\parallel ~~  {}^{\parallel\ddagger}\mathrm{h}

\mathrm{m,}_\dagger ~~  {}^\dagger\mathrm{b,}_\ddagger ~~  {}^\ddagger\mathrm{r}

\mathrm{m,\!,}_{\dagger\ddagger} ~~  {}^\dagger\mathrm{b,}_\parallel ~~  {}^{\parallel\ddagger}\mathrm{r}

\mathit{l,}_{\dagger\ddagger}  {}^\dagger\mathit{s}_\parallel  {}^{\parallel\ddagger}\mathrm{w}

\mathit{l,}_{\dagger\ddagger} ~  {}^\dagger\mathit{s}_\parallel ~  {}^{\parallel\ddagger}\mathrm{w}

\mathit{l,}_{\dagger\ddagger} ~~  {}^\dagger\mathit{s}_\parallel ~~  {}^{\parallel\ddagger}\mathrm{w}

\mathfrak{g}_{\dagger\ddagger}  {}^\dagger\mathit{l}_\parallel  {}^\parallel\mathrm{w}  {}^\ddagger\mathrm{h}

\mathfrak{g}_{\dagger\ddagger} ~  {}^\dagger\mathit{l}_\parallel ~  {}^\parallel\mathrm{w} ~  {}^\ddagger\mathrm{h}

\mathfrak{g}_{\dagger\ddagger} ~~  {}^\dagger\mathit{l}_\parallel ~~  {}^\parallel\mathrm{w} ~~  {}^\ddagger\mathrm{h}

\mathbf{1}, \, {}_\dagger \quad  {}^\dagger ~ \mathit{p} ~ {}_\ddagger \quad  {}^\ddagger ~ \mathit{q} ~ {}_\parallel \quad  {}^\parallel ~ \mathbf{1}

\mathbf{1}, \, {}_\dagger \quad  {}^\dagger ~ \mathit{l} ~ {}_\ddagger \quad  {}^\ddagger ~ \mathit{s} ~ {}_\parallel \quad  {}^\parallel ~ \mathbf{1}

\mathbf{1}, \, {}_\dagger \quad  {}^\dagger ~ \mathit{l,} ~ {}_\ddagger ~ {}_\parallel \quad  {}^\ddagger ~ \mathit{s} ~ {}_\parallel \quad  {}^\parallel ~ \mathbf{1}

\mathbf{1}, \, {}_\dagger \quad  {}^\dagger ~ \mathfrak{g} ~ {}_\ddagger ~ {}_\parallel \quad  {}^\ddagger ~ \mathit{t} ~ {}_\parallel \quad  {}^\parallel ~ \mathbf{1}

\mathbf{1}, \, {}_{\dagger} \quad  {}^\dagger ~ \mathfrak{g} ~ {}_\ddagger ~ {}_\parallel \quad  {}^\ddagger ~ \mathit{l} ~ {}_\S \quad  {}^\parallel ~ \mathbf{1} \quad  {}^\S ~ \mathbf{1}

\mathbf{1}, \, {}_\dagger \quad  {}^\dagger ~ \mathfrak{g} ~ {}_\ddagger ~ {}_\parallel \quad  {}^\parallel ~ \mathbf{1} \quad  {}^\ddagger ~ \mathit{l} ~ {}_\S \quad  {}^\S ~ \mathbf{1}

LOR 1870 Figure 1

LOR 1870 Figure 2

LOR 1870 Figure 3

LOR 1870 Figure 4.1

LOR 1870 Figure 4.2

LOR 1870 Figure 4.3

LOR 1870 Figure 4.4

LOR 1870 Figure 5.1

LOR 1870 Figure 5.2

LOR 1870 Figure 5.3

LOR 1870 Figure 5.4

LOR 1870 Figure 6.1

LOR 1870 Figure 6.2

LOR 1870 Figure 6.3

LOR 1870 Figure 6.4

LOR 1870 Figure 6.5

LOR 1870 Figure 7

LOR 1870 Figure 8

LOR 1870 Figure 10

LOR 1870 Figure 14

LOR 1870 Figure 15

LOR 1870 Figure 17

LOR 1870 Figure 18

LOR 1870 Figure 21

LOR 1870 Figure 22

LOR 1870 Figure 23

LOR 1870 Figure 26

LOR 1870 Figure 28

LOR 1870 Figure 29

LOR 1870 Figure 30

LOR 1870 Figure 31

LOR 1870 Figure 32

LOR 1870 Figure 33

LOR 1870 Figure 34

LOR 1870 Figure 36

LOR 1870 Figure 37

LOR 1870 Figure 38

LOR 1870 Figure 39

LOR 1870 Figure 40

LOR 1870 Figure 41

LOR 1870 Figure 42

LOR 1870 Figure 43

LOR 1870 Figure 44

LOR 1870 Figure 45

LOR 1870 Figure 47

LOR 1870 Figure 49

LOR 1870 Figure 50

LOR 1870 Figure 51

LOR 1870 Figure 52

LOR 1870 Figure 53

LOR 1870 Figure 55

LOR 1870 Figure 56

Aristotle’s Paradigm

Aristotle's Paradigm

Aristotle's Paradigm

Aristotle’s Paradigm

Indicator Functions

Indicator Functions

Indicator Functions

Indicator Functions

Animation Test

Praeclarum Theorema : Proof by CAST

Praeclarum Theorema : Proof by CAST

Poem Test


Memories of being held
      In closely knit spheres
And guided beyond the orbits
      Of childhood fears
Entrusted with a word
      That rustles in a breath
And warrants respect for
      The not yet beautiful

In Honor of My Parents’ Golden Wedding Anniversary
Jon Awbrey, Amherst, Massachusetts, March 21, 1996

Photo Test

Signs of Spring

Formula Tests

Formula Test 1

((p ⇒ q) ⇒ p) ⇒ p

Formula Test 2

((p ⇒ q) ⇒ p) ⇒ p

Formula Test 3

((p ⇒ q) ⇒ p) ⇒ p

Formula Test 4

((p ⇒ q) ⇒ p) ⇒ p

11 Responses to Work 1

  1. Jon Awbrey says:

    A two-level formal language consists of a set of “words” and a set of “sentences”, where a word is defined as a finite sequence of symbols from a finite alphabet, and a sentence is defined as a finite sequence of words. The finite-state structure of a two-level formal language can be captured in a couple of finite-state transition trees, one for the words and one for the sentences. Recording data about the frequencies of node traversals allows us to compute relative probabilities and local entropies and many other statistics of interest, and the resulting structures can be used to predict likely completions of word and sentence fragments.

    I spent a couple of my parallel lives in the 1980s developing an AI sort of program that combined faculties for data-driven empirical learning with faculties for concept-driven logical modeling. One of the things I learned along the way is that there appears to be a trade-off between these two modes of processing that makes it very difficult to integrate empiricist and rationalist faculties within a single intelligent agent. Explains a lot about the history of thought, I think.

    Here is a pointer to what documentation I have on line —

  2. Jon Awbrey says:

    By nature and training a whole systems thinker, I tend to view the architecture of commerce, the architecture of government, and the architecture of inquiry as participants in a larger system.

    When it comes to the desiderata of inquiry, I find myself constantly returning to the guidance of Charles S. Peirce, so elegantly maximized in the following words:

    My last best expression of how I saw the problem of sustaining the soul of inquiry within the body of the post*modern millennial university is contained in the following paper:

    One out of three is all I can do today …

    *Yes, that’s a Kleene star. You do the math.

  3. Jon Awbrey says:

    Don’t B♯
    Don’t B♭

    Don’t B♯
    Don’t B♭

  4. Jon Awbrey says:

    I’ve always liked the phonetic links between the Latin forma (form, beauty), the English formidable, and the French formidable, the last two going back to Latin formido (fear) and Greek mormō (she-monster).

  5. Jon Awbrey says:

    The number of students served by a community school is a handy “rule of thumb” for assessing the monetary need. It is also reasonable to support the public resource that meets that need according to fair measures of ability to pay and benefit received.

    That is the rationale of public support for public education to which reasonable people have consented through all the glory days of U.S. history. It is a holistic way of looking at educational systems as complex, dynamic, interrelated wholes, involving the entire community of parents, students, teachers, and policymakers. The atomistic way of looking at a living system, where individuals vie to tear off their individual bits of flesh and drain their individual portion of “stone soup” down to the last drop — that is a species of society that will rapidly dry up and die. Let’s hope we don’t have to prove that in practice, since so many societies have proven it already in the past.

    There are people who say that policy decisions about the character and conduct of our schools should be decided by a system where parents and students are given the franchise to “vote with their feet”. That is absurd. At no point does the remainder of the citizenry delegate their duties and powers in the matter of education to parents of school-age children according to the number of children they have in school for the quickly passing time they are there. It is a patent violation of democratic principles of representation to dictate that parents alone should have the power to sell off property that belongs to all and to liquidate resources that the long generations before us have entrusted to the future of us all.

  6. Jon Awbrey says:

    Note. Let \mathbb{B} = \{ 0, 1 \} in the following discussion.

    One of the things Boole sought to do in his Laws of Thought was to build a bridge between logic and probability theory. That is no small task if one considers the gulf between rationalist and empiricist tendencies of mind, or what translates into computational terms as the problem of integrating concept-driven and data-driven algorithms for computational learning and reasoning.

    At any rate, the language we use in probability and statistics is very apt when it comes to describing Boolean functions. There we call a function f : X \to \mathbb{B} an indicator function.

    Passage from arbitrary f to cell map f'

    Indicator Functions

    The diagram shows the factoring of the proposition f' : X \to \mathbb{B} as the functional composition f' = f^* \circ c, that is to say, f'(x) = f^*(c(x)), where c : X \to \mathbb{B}^k is the coding of each x \in X as an k-bit string in \mathbb{B}^k and where f^* is the mapping of codes into a co-domain that we interpret as logical values, \mathbb{B} = \{ 0, 1 \} = \{ \text{F}, \text{T} \}.

    In this picture X is just the rectangular area of an ordinary Venn diagram, a universe of discourse that can be filled with whatever we choose. And f' : X \to \mathbb{B} is just the shading in of a part of its area, where the functional value 1 indicates the elements that it means to indicate.

    Now, what will quickly develop from this picture is that a person will soon pick out a finite number of his or her favorite propositions. These propositions are optimally chosen to be independent of each other, that is, orthogonal in a logical sense, and are commonly dubbed as one’s basic propositions or singled out by referring to them as coordinate projections of the form x_j : X \to \mathbb{B}, for j = 1 ~\text{to}~ k. I usually picture these as the k “circles” of the Venn diagram. After that, if a given system of basic propositions is moderately adequate to the task of describing, more or less approximately, every other area of arbitrary shape that one needs to cover in the universe of discourse X, then one will find it convenient to factor any cell map f' : X \to \mathbb{B} through the cartesian product \mathbb{B}^k, as in the following diagram:

    Indicator Functions

    This says that f'(x) = f^*(x_1(x), \ldots, x_n(x)), where we can think of the bit-list (x_1(x), \ldots, x_k(x)) \in \mathbb{B}^k as the binary coding of the element x \in X, and where f^* is the derived mapping from codes to \mathbb{B}.

    Given this sort of set-up, we can proceed to work with derived propositions f^* : \mathbb{B}^k \to \mathbb{B}, using truth tables or something equivalent.

  7. Jon Awbrey says:

    There are actually several types of Boolean functions that are represented in a typical Venn diagram. They all have the Boolean domain \mathbb{B} = \{ 0, 1 \} or one of its powers \mathbb{B}^k as their functional codomains but their functional domains may vary, not all being limited to finite cardinalities. As an aid to sorting out their variety, consider the array of functional arrows in the following figure.

    Indicator Functions

    Suppose X is a universe of discourse represented by the rectangular area of a Venn diagram. Note that the set X itself may have any cardinality. The most general type of Boolean function is a map f : X \to \mathbb{B}. This is known as a Boolean-valued function since only its functional values need be in \mathbb{B}.

    A function of the type f : X \to \mathbb{B} is called a characteristic function in set theory or an indicator function in probability and statistics since it characterizes or indicates a particular subset S of X, namely, the so-called fiber or inverse image of the value 1, for which we have the notation and definition f^{-1}(1) = \{ x \in X : f(x) = 1 \}.

    The notation f_S is often used for the characteristic function of a subset S of X. All together then, we have f_S^{-1}(1) = S \subseteq X.

  8. Bob Shepherd says:

    so many delights on these pages, Jon!

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s