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 ~ \mathfrak{g} ~ {}_\ddagger ~ {}_\parallel \quad {}^\ddagger ~ \mathit{o} ~ {}_\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}$

(1)

(2)

(3)

	(4.1)
	(4.2)
	(4.3)
	(4.4)

	(5.1)
	(5.2)
	(5.3)
	(5.4)

	(6.1)
	(6.2)
	(6.3)
	(6.4)
	(6.5)

	(7)
	(8)
	(10)
	(14)
	(15)
	(17)
	(18)
	(21)
	(22)
	(23)
	(26)
	(28)
	(29)
	(30)
	(31)
	(32)
	(33)
	(34)
	(36)
	(37)
	(38)
	(39)
	(40)
	(41)
	(42)
	(43)
	(44)
	(45)
	(47)
	(49)
	(50)
	(51)
	(52)
	(53)
	(55)
	(56)

Aristotle’s Paradigm

Aristotle’s Paradigm

Indicator Functions

Indicator Functions

Animation Test

Praeclarum Theorema : Proof by CAST

Poem Test

Chrysalis

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

Formula Tests

Formula Test 1

http://chart.apis.google.com/chart

$((p \Rightarrow q) \Rightarrow p) \Rightarrow p$

Formula Test 2

https://chart.apis.google.com/chart

$((p \Rightarrow q) \Rightarrow p) \Rightarrow p$

Formula Test 3

http://www.google.com/chart

((p ⇒ q) ⇒ p) ⇒ p

Formula Test 4

https://www.google.com/chart

((p ⇒ q) ⇒ p) ⇒ p

11 Responses to Work 1

Jon Awbrey says:

April 10, 2012 at 7:54 am

⧉ ⧈

Reply
Jon Awbrey says:

April 10, 2012 at 9:32 pm

The Pomerium and Roma Quadrata

Quadrata Roma

Reply
Jon Awbrey says:

May 7, 2012 at 11:36 am
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 —
- Theme One Program
Reply
Jon Awbrey says:

May 19, 2012 at 10:00 am
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:
- “Do not block the way of inquiry.”
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:
- Conceptual Barriers to Creating Integrative Universities
One out of three is all I can do today …

*Yes, that’s a Kleene star. You do the math.
Reply
Jon Awbrey says:

May 30, 2012 at 3:02 pm

Don’t B♯
Don’t B♭
B♮

Don’t B♯
Don’t B♭
B♮

Reply
Jon Awbrey says:

May 31, 2012 at 12:18 pm

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).

Reply
Jon Awbrey says:

August 10, 2012 at 11:22 am

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.

Reply
Jon Awbrey says:

March 5, 2013 at 8:45 pm

$f^\#$
$f'$ $f^*$
$\hat{f}$ $\widehat{f}$ $\bar{f}$
$f^\oslash$ $f^\dagger$ $f^\diamond$ $f^\approx$

$\circ\rightarrow$
$\circ\!\rightarrow$
$\circ\!\!\rightarrow$
$\circ\!\!\!\rightarrow$

$f' : X \circ\!\!\!\rightarrow \mathbb{B}$
$c : X \circ\!\!\!\rightarrow \mathbb{B}^k$

Reply
Jon Awbrey says:

March 7, 2013 at 2:20 pm

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'$ …

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:

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.

Reply
Jon Awbrey says:

March 7, 2013 at 3:48 pm

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.

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.$

Reply
Bob Shepherd says:

February 28, 2014 at 6:00 pm

so many delights on these pages, Jon!

Reply