Dear Jon, I read something similar in https://g.co/kgs/beC6Jq. But here it is only sketchy. The variabile is the result of an evaluation of an expression. It 's not so obviuos. The base of the logic Regards Mauro
Il sab 27 mar 2021, 15:42 Jon Awbrey <[email protected]> ha scritto: > 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 > > -- > All contributions to this forum are covered by an open-source license. > For information about the wiki, the license, and how to subscribe or > unsubscribe to the forum, see http://ontologforum.org/info/ > --- > You received this message because you are subscribed to the Google Groups > "ontolog-forum" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/ontolog-forum/cf663017-ce98-9572-6519-8cb80f9e62cf%40att.net > . >
_ _ _ _ _ _ _ _ _ _ ► 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.
