Precursors Of Category Theory • Discussion 2

Re: Ontolog ForumAlex Shkotin

AS:
Looking at “categories, or types” in Precursors Of Category Theory • Hilbert and Ackermann what do you think of to say “Precursors Of Type Theory” as Category Theory is a math discipline?   […]   It seems you collect for three topics:  phil‑cat, type theory, math cat‑theory.

Dear Alex,

When it comes to math, computer science, and their applications to logic and linguistics I see categories and types as pretty much the same things.  No doubt the words are used differently in other contexts but I am concerned with the above contexts at the moment.

The diversity of categorical systems across different disciplines and theorists is obvious to all observers.  But when we examine how systems of categories operate in grammatical, logical, or more generally semiotic frameworks we can detect a common function all the more useful systems share.  The semiotic framework is already well marked in Aristotle’s founding text on interpretation and the function of category references as go-betweens from unruly language to the rule of logic is clearly delineated in his treatise on categories.  It is that order of function which is preserved from Aristotle’s categories to our current mathematical variety.

References

Resources

cc: CyberneticsOntolog ForumPeirce ListStructural ModelingSystems Science

This entry was posted in Abstraction, Ackermann, Aristotle, C.S. Peirce, Carnap, Category Theory, Hilbert, Kant, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Relation Theory, Saunders Mac Lane, Sign Relations, Type Theory and tagged , , , , , , , , , , , , , , , , . Bookmark the permalink.

1 Response to Precursors Of Category Theory • Discussion 2

  1. Pingback: Survey of Precursors Of Category Theory • 2 | 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.