Cf: Inquiry Driven Systems • Discussion 7
https://inquiryintoinquiry.com/2021/07/26/inquiry-driven-systems-discussion-7/
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/246973853
<QUOTE HS:>
I place Logic within Mathematics and modal logic is a field of Logic,
and so of mathematics. You will find that modal logics comes up a lot
working with machines, programs, and all state based systems.
</QUOTE>
Dear Henry,
Just by way of personal orientation, I tend to follow Peirce and
assorted classical sources in viewing logic as a normative science
whereas mathematics is a hypothetical descriptive science. That
gives a picture of their relationship like the one I drew in the
following post.
Definition and Determination • 4
https://inquiryintoinquiry.com/2012/05/31/definition-and-determination-4/
Peirce Syllabus
http://inquiryintoinquiry.files.wordpress.com/2014/08/peirce-syllabus.jpg
“Normative science rests largely on phenomenology and on mathematics;
metaphysics on phenomenology and on normative science.”
❧ Charles Sanders Peirce • Collected Papers, CP 1.186 (1903)
Syllabus • Classification of Sciences (CP 1.180–202, G-1903-2b)
http://web.archive.org/web/20111105121054/http://www.princeton.edu/~batke/peirce/cl_o_sci_03.htm
The way I see it, then, logic is more an application of mathematics than a
subfield of it.
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.
