Inquiry Into Inquiry

Another tactic I tried by way of porting operator variables into logical graphs and laws of form was to hollow out a leg of Spencer Brown’s crosses, gnomons, markers, whatever you wish to call them, as shown below.

The initial idea I had in mind was the same as before, that the operator over would be counted as absent when evaluates to a space and present when evaluates to a cross.

However, much in the same way operators with a shade of negativity tend to be more generative than the purely positive brand, it turned out more useful to reverse this initial polarity of operation, letting the operator over be counted as absent when evaluates to a cross and present when evaluates to a space.

So that is the convention I’ll adopt from this point on.

cc: Cybernetics (1) (2) • Peirce (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) (13) (14)
cc: Ontolog Forum (1) (2) • Structural Modeling (1) (2) • Systems Science (1) (2)
cc: FB | Logical Graphs • Laws of Form

We have encountered the question of how to extend our formal calculus to take account of operator variables.

In the days when I scribbled these things on the backs of computer punchcards, the first thing I tried was drawing big loopy script characters, placing some inside the loops of others.  Lower case alphas, betas, gammas, deltas, and so on worked best.  Graphics like these conveyed the idea that a character-shaped boundary drawn around another space can be viewed as absent or present depending on whether the formal value of the character is unmarked or marked.  The same idea can be conveyed by attaching characters directly to the edges of graphs.

Here is how we might suggest an algebraic expression of the form where the absence or presence of the operator depends on the value of the algebraic expression the operator being absent whenever is unmarked and present whenever is marked.

It was obvious from the outset this sort of tactic would need a lot of work to become a usable calculus, especially when it came time to feed those punchcards back into the computer.

cc: Cybernetics (1) (2) • Peirce (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) (13) (14)
cc: Ontolog Forum (1) (2) • Structural Modeling (1) (2) • Systems Science (1) (2)
cc: FB | Logical Graphs • Laws of Form

Last time we contemplated the penultimately simple algebraic expression as a name for a set of arithmetic expressions, namely, taking the equality sign in the appropriate sense.

Then we asked the corresponding question about the operator   The above selection of arithmetic expressions is what it means to contemplate the absence or presence of the arithmetic constant in the place of the operand in the algebraic expression   But what would it mean to contemplate the absence or presence of the operator in the algebraic expression

Evidently, a variation between the absence and the presence of the operator in the algebraic expression refers to a variation between the algebraic expression and the algebraic expression somewhat as pictured below.

But how shall we signify such variations in a coherent calculus?

cc: Cybernetics (1) (2) • Peirce (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) (13) (14)
cc: Ontolog Forum (1) (2) • Structural Modeling (1) (2) • Systems Science (1) (2)
cc: FB | Logical Graphs • Laws of Form

To get a clearer view of the relation between primary arithmetic and primary algebra consider the following extremely simple algebraic expression.

In this expression the variable name appears as an operand name.  In functional terms, is called an argument name, but it’s best to avoid the potentially confusing connotations of the word argument here, since it also refers in logical discussions to a more or less specific pattern of reasoning.

In effect, the algebraic variable name indicates the contemplated absence or presence of any arithmetic expression taking its place in the surrounding template, which expression is proxied well enough by its formal value, and of which values we know but two.  Putting it all together, the algebraic expression varies between the following two choices.

The above selection of arithmetic expressions is what it means to contemplate the absence or presence of the arithmetic constant in the place of the operand in the algebraic expression   But what would it mean to contemplate the absence or presence of the operator in the algebraic expression

That is the question I’ll take up next.

cc: Cybernetics (1) (2) • Peirce (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) (13) (14)
cc: Ontolog Forum (1) (2) • Structural Modeling (1) (2) • Systems Science (1) (2)
cc: FB | Logical Graphs • Laws of Form

In lieu of a field study requirement for my bachelor’s degree I spent two years in various state and university libraries reading everything I could find by and about Peirce, poring most memorably through reels of microfilmed Peirce manuscripts Michigan State had at the time, all in trying to track down some hint of a clue to a puzzling passage in Peirce’s “Simplest Mathematics”, most acutely coming to a head with that bizarre line of type at CP 4.306, which the editors of Peirce’s Collected Papers, no doubt compromised by the typographer’s resistance to cutting new symbols, transmogrified into a script more cryptic than even the manuscript’s original hieroglyphic.

I found one key to the mystery in Peirce’s use of operator variables, which he and his students Christine Ladd-Franklin and O.H. Mitchell explored in depth.  I will shortly discuss this theme as it affects logical graphs but it may be useful to give a shorter and sweeter explanation of how the basic idea typically arises in common logical practice.

Think of De Morgan’s rules:

We could capture the common form of these two rules in a single formula by taking and as variable names ranging over a set of logical operators, then asking what substitutions for and would satisfy the following equation:

We already know two solutions to this operator equation, namely, and   Wouldn’t it be just like Peirce to ask if there are others?

Having broached the subject of logical operator variables, I will leave it for now in the same way Peirce himself did:

I shall not further enlarge upon this matter at this point, although the conception mentioned opens a wide field;  because it cannot be set in its proper light without overstepping the limits of dichotomic mathematics.  (Collected Papers, CP 4.306).

Further exploration of operator variables and operator invariants treads on grounds traditionally known as second intentional logic and “opens a wide field”, as Peirce says.  For now, however, I will tend to that corner of the field where our garden variety logical graphs grow, observing the ways in which operative variations and operative themes naturally develop on those grounds.

cc: Cybernetics (1) (2) • Peirce (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) (13) (14)
cc: Ontolog Forum (1) (2) • Structural Modeling (1) (2) • Systems Science (1) (2)
cc: FB | Logical Graphs • Laws of Form

In George Spencer Brown’s Laws of Form the relation between the primary arithmetic and the primary algebra is founded on the idea that a variable name appearing as an operand in an algebraic expression indicates the contemplated absence or presence of any expression in the arithmetic, with the understanding that each appearance of the same variable name indicates the same state of contemplation with respect to the same expression of the arithmetic.

For example, consider the following expression:

We may regard this algebraic expression as a general expression for an infinite set of arithmetic expressions, starting like so:

Now consider what this says about the following algebraic law:

It permits us to understand the algebraic law as saying, in effect, that every one of the arithmetic expressions of the contemplated pattern evaluates to the very same canonical expression as the upshot of that evaluation.  This is, as far as I know, just about as close as we can come to a conceptually and ontologically minimal way of understanding the relation between an algebra and its corresponding arithmetic.

cc: Cybernetics (1) (2) • Peirce (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) (13) (14)
cc: Ontolog Forum (1) (2) • Structural Modeling (1) (2) • Systems Science (1) (2)
cc: FB | Logical Graphs • Laws of Form

Re: Systems Science • Joseph Simpson

One thing I added to the current Survey of Animated Logical Graphs is an earlier report titled “Futures Of Logical Graphs” (FOLG), which takes up a number of difficult issues in more detail than I’ve found the ability or audacity to do since.  Among other things, it gives an indication of the steps I took from trees to cacti in the graph-theoretic representation of logical propositions and boolean functions, along with the forces driving that transition.

A lot of the text goes back to the dusty old Ascii days of the discussion lists where I last shared it, so I’ll be working on converting the figures and tables and trying to make the presentation more understandable.

cc: Cybernetics (1) (2) • Peirce (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) (13) (14)
cc: Ontolog Forum (1) (2) • Structural Modeling (1) (2) • Systems Science (1) (2)
cc: FB | Logical Graphs • Laws of Form

Cf: Survey of Animated Logical Graphs

The blog post linked above updates my Survey of Resources for Animated Logical Graphs.  It contains links to basic expositions and extended discussions of the graphs themselves, deriving from the Alpha Graphs C.S. Peirce used for propositional logic, more recently revived and augmented by G. Spencer Brown in his Laws of Form.  What I contributed to their development was an extension from tree-like forms to what graph theorists know as cacti, and thereby hangs many a tale yet to be told.  I hope to add more proof animations as time goes on.

cc: Cybernetics (1) (2) • Peirce (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) (13) (14)
cc: Ontolog Forum (1) (2) • Structural Modeling (1) (2) • Systems Science (1) (2)
cc: FB | Logical Graphs • Laws of Form