Cf: Inquiry Driven Systems • Discussion 1 https://inquiryintoinquiry.com/2021/07/15/inquiry-driven-systems-discussion-1/
Re: Topos Lab ( https://topos.site/ ) ::: MathFoldr Project https://topos.site/blog/2021/07/introducing-the-mathfoldr-project/ Re: Category Theory https://categorytheory.zulipchat.com/#narrow/stream/229111-general/topic/the.20MathFoldr.20project/near/245887481 ::: Valeria de Paiva https://categorytheory.zulipchat.com/#narrow/stream/229111-general/topic/the.20MathFoldr.20project/near/246024979 Dear Brendan and Valeria, Along those lines, you may wish to look into the model of knowledge development sketched in my work on Inquiry Driven Systems. • Inquiry Driven Systems • Inquiry Into Inquiry ( https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Overview ) • Prospects ( https://oeis.org/wiki/User:Jon_Awbrey/Prospects_for_Inquiry_Driven_Systems ) • Introduction ( https://oeis.org/wiki/Introduction_to_Inquiry_Driven_Systems ) • Survey Page ( https://inquiryintoinquiry.com/2020/12/27/survey-of-inquiry-driven-systems-3/ ) I've been a participant∫observer in web-ontology knowledge projects for a couple of decades and they always give far more attention to knowledge as a product than due reflection on the dynamics of inquiry required to develop that provisional knowledge. Many such projects have come and gone, and it's my guess this bias is one of the reasons. So I've been working on that … 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.
