Inquiry Driven Systems • Discussion 7

Re: Category TheoryHenry Story

HS:
I place Logic within Mathematics and modal logic is a field of Logic,
and so of mathematics.  You will find that modal logic comes up a lot
working with machines, programs, and all state based systems.

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

Peirce Syllabus

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)

The way I see it, then, logic is more an application of mathematics than a subfield of it.

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 7

  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.