Cf: Inquiry Driven Systems • Discussion 9
https://inquiryintoinquiry.com/2021/07/26/inquiry-driven-systems-discussion-9/
Re: Laws of Form
https://groups.io/g/lawsofform/topic/inquiry_driven_systems/84227997
::: Leon Conrad ( https://groups.io/g/lawsofform/message/513 )
<QUOTE LC:>
As someone who has worked on, teaches, and uses the CoI [Calculus of Indications] to make classical syllogistic logic
much easier to practice and more visually intuitive than any of the visualisations we have to date, I would be very
interested in finding out more about your work in applying GSB's work to logical tables, particularly if it does a
similar thing.
</QUOTE>
Dear Leon,
Gauging the gap between entry-level formal systems like propositional calculi and calculi qualified to handle quantified
predicates, functions, combinators, etc. is one of my oldest research pursuits and still very much a work in progress.
When I point people to the live edges of my understanding, the places where I break off in my searches I usually end up
numbering those episodes of risk-taking under the heading of “Failures to Communicate” — but it doesn't stop me from
trying. So I'll take a chance and post a few links along those lines in a little while but it may avert a measure of
misunderstanding if I mention the main forces setting me on my present path.
I had already been studying Peirce's Collected Papers from my first couple of years in college, especially fascinated by
his approach to logic, his amphecks, his logical graphs, both entitative and existential, his overall visual and
visionary way of doing mathematics. And then a friend pointed me to the entry for Spencer Brown's Laws of Form in the
first Whole Earth Catalog and I sent off for a copy right away. My computer courses and self-directed programming play
rounded out the triple of primary impacts on the way I would understand and develop logical graphs from that point on.
To be continued …
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 UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the
body. More at https://list.iupui.edu/sympa/help/user-signoff.html .
► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and
co-managed by him and Ben Udell.
