Cf: Inquiry Driven Systems • Discussion 3
http://inquiryintoinquiry.com/2021/07/19/inquiry-driven-systems-discussion-3/
Re: Category Theory
https://categorytheory.zulipchat.com/#narrow/stream/233322-practice.3A-communication/topic/teaching.20children
::: Henry Story
https://categorytheory.zulipchat.com/#narrow/stream/233322-practice.3A-communication/topic/teaching.20children/near/246511511
<QUOTE HS:>
Could one re-invent the whole curriculum from age 5 onwards
built on new [category theoretic] concepts?
</QUOTE>
Henry, All ...
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.
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.
