I have a question that I've been pondering recently. As far as I can tell, it's original to the boards or at least hasn't been discussed in a long time so I think it's fair to start a new topic. This concerns initial bases for thought. It would seem that both language and mathematics are the two main foundations upon which we build communication in a functional human society. Now, of course one can say mathematics is a language; or there are even ongoing debates here about mathematics being universally relevant in places where language may not be. But disregarding all of that, my question is this: does it seem that as structural mathematics becomes more abstract, in some ways culminating in category theory, the relation between formal linguistics (such as functional grammar) starts resembling mathematics? For example, a large notion that begins to permeate each subject is the distinction/relationship between sets and functions. Each subject (formal linguistics and mathematics) deal with these, albeit in their own way. Are these all offshoots of the same cognitive thought process? If so, does it only seem to be this way since they are both based on an assumed logic? (I recognize that linguistics isn't as rigorously defined as mathetmatics, however it is still a logically-based system, though its aims are different. Primarily mathematical efforts construct and linguistic efforts deconstruct. However, each can go both ways.) Hopefully this makes sense. I can clarify anything that needs it. Thank you for your time and opinions! I hope everyone gains from this conversation.