Re: Misclassification of packages; "libs" and "doc" sections
Eray Ozkural <erayo@cs.bilkent.edu.tr> writes:
> You may still assert that Category Theory has nothing to with
> the philosophy of Category, but that would imply that logic
> has nothing to do with semantics, and so on. Which is a position
> that I could not take as I've studied philosophy following the
> analytic tradition. It's a rather personal choice I guess.
I think this paragraph exemplifies your confusion.
I think that logic has a great deal to do with semantics.
I think that the mathematical notion Category Theory has a great deal
to do with logic and semantics.
And I don't think that the mathematical notion "Category Theory" has a
great deal to do with the traditional philosophical notion of
"Category".
As I read this, I can only form a deep suspicion that you are not
really familiar at all with the traditional notion of category, as
exemplified by Aristotle and Kant. Here's a definiton from the
American Heritage Dictionary:
"Aristotle's modes of objective being, such as quality, quantity, or
relation, that are inherent in everything....Kant's modes of
subjective understanding, such as singularity, universality, or
particularity, that organize perceptions into knowledge.".
Thomas
Reply to: