Inquiry Driven Systems • Discussion 3

Re: Category TheoryHenry Story

HS:
Could one re-invent the whole curriculum from age 5 onwards
built on new [category theoretic] concepts?

If I were starting from scratch, and I’m always starting from scratch, I would ease my way up to the pons asinorum of logic and math using the types of logical graphs laid down by Peirce and Spencer Brown.  That is because I think it’s crucial to firm up propositional logic before taking on quantifiers and to grasp classical logic before intuitionistic.

The climb from “zeroth order logic” to first order logic is a lot more interesting and richer in adventure once you have a truly efficient calculus for propositional logic at the ready.  An approach to categories, combinators, etc. can then be made via the propositions as types analogy.  For the kiddies, Smullyan’s Mockingbird would be the primer of choice.

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.

1 Response to Inquiry Driven Systems • Discussion 3

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

Leave a Reply

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

WordPress.com Logo

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

Google photo

You are commenting using your Google 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.