Precursors Of Category Theory • Discussion 2

Re: Ontolog ForumAlex Shkotin

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.



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.

2 Responses to Precursors Of Category Theory • Discussion 2

  1. Pingback: Survey of Precursors Of Category Theory • 2 | Inquiry Into Inquiry

  2. Pingback: Survey of Precursors Of Category Theory • 3 | Inquiry Into Inquiry

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your 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.