Cf: Animated Logical Graphs • 19
https://inquiryintoinquiry.com/2019/07/11/animated-logical-graphs-19/
All,
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 “(q)”
where the absence or presence of the operator “( )” depends on the value
of the algebraic expression “p”, the operator “( )” being absent whenever p
is unmarked and present whenever p is marked.
Figure 1. Cactus Graph (q)_p = {q,(q)}
https://inquiryintoinquiry.files.wordpress.com/2019/07/box-q-que-pqq.jpg
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.
Regards,
Jon
_ _ _ _ _ _ _ _ _ _
► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON
PEIRCE-L to this message. PEIRCE-L posts should go to [email protected] .
► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to [email protected]
with no subject, and with the sole line "UNSubscribe PEIRCE-L" in the BODY of
the message. More at http://www.cspeirce.com/peirce-l/peirce-l.htm .
► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and
co-managed by him and Ben Udell.
