Inquiry Driven Systems • Discussion 9

Re: Laws of FormLeon Conrad

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.

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 …

cc: Category TheoryCyberneticsOntologStructural ModelingSystems Science
cc: FB | Inquiry Driven SystemsLaws of Form • Peirce List (1) (2) (3)

This entry was posted in Animata, Artificial Intelligence, C.S. Peirce, Cybernetics, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Learning Systems, Logic, Logical Graphs, Peirce, Semiotics, Sign Relations, Visualization and tagged , , , , , , , , , , , , , , . Bookmark the permalink.

2 Responses to Inquiry Driven Systems • Discussion 9

  1. Pingback: Survey of Inquiry Driven Systems • 3 | Inquiry Into Inquiry

  2. Pingback: Survey of Inquiry Driven Systems • 4 | Inquiry Into Inquiry

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.