pivoxa15 said:
There are strict rules in language (such as English) but most users are not aware of them (myself included). I could not tell you whether a given sentence is grammatically correct but I can still communicate with people. So when we speak English, we do not need to constantly think about the rules or grammar.
Perhaps I'm not making clear the ways in which language is studied by these scientists called linguists. Linguists are not going to tell you, as your parents or grammar teacher might have, that you should or shouldn't end a sentence with a preposition or try to impose any other artificial rules on you, no more than any other scientist would tell, or try to tell, their subjects how they should or shouldn't behave. The point is not to impose artificial rules, but to discover the natural ones. Two types of data are used to determine whether a sentence or other linguistic unit is grammatical:
1) naturalistic data, which is what speakers are observed saying in normal, natural conversations. If a sentence appears under these circumstances, it is probably grammatical (people do make mistakes and such; speaking can get quite hectic).
2) experimental data, where speakers are presented with sentences or other units and asked to make judgements about their grammaticality, i.e. how they sound. Actually, the notion of acceptability is introduced because a speaker's judgement of a sentence may include things that don't affect grammaticality, and it's not necessarily possible to know what exactly is motivating those judgements; e.g. a sentence might be fine grammatically, but a speaker could find something in it offensive or morally repugnant, they just don't have the real world knowledge necessary to understand it, they want to please the experimenter, etc.
So linguists don't know all the rules either -- that's why they have to study it: to discover what rules are being used subconsciously by speakers and how the grammar of a language (which includes other things like all the words you know) is represented in a speaker's mind. And in the same way that English and other natural languages are studied, the language that mathematicians speak to each other can also be studied -- as a physical phenomenon.
However, when doing maths it is way different. I know that I am constantly thinking about the rules and seeing whether what I am writing down make sense.
I strongly suspect that you do the same thing with English -- you are producing strings of letters (or sounds) that behave regularly. You just probably aren't consciously aware of the rules that are being followed by other parts of your brain and nervous system. Yes, math has a formal foundation now, but is every mathematician even familiar with it? Certainly that isn't necessary since it was a development of the last century or so (for starters, see
Hilbert's Program). Even logic hasn't always been as formal as it is now.
People cannot read a page of long arithmetic the same way as reading a page of Enligsh.
Sure, I'll agree, but why might that be the case? First, people's brains naturally work best with sound or gesture -- not with writing. It's spoken or signed language that is found in every human society; only around one third of the world's languages have written forms. So there's one disadvantage that I think math has: no sound rules, or phonology. Your brain might need to work harder because, let's say for the sake of argument, it was 'designed' to use languages that have a phonological component, which math is missing.
Second, natural languages may seem to be sloppy and ambiguous if you only look at one or some of their components, since components can work together to resolve ambiguities in each other. Lexical and structural ambiguities do occur and are of course the focus of logic and math, but they can easily be resolved by other means -- for example, knowledge about the meaning of words or extralinguistic knowledge about the worlds being referred to. So while
1) Would you like to watch paint dry and sip some tea?
may be structurally ambiguous, as
1a) Would you like to watch paint dry and would you like to watch paint sip some tea?
1b) Would you like to watch paint dry and would you like to sip some tea?
your knowledge of the world (or even the meaning of the words) includes the little tidbit that paint cannot sip tea, so (1a) is not an acceptable interpretation, thus (1) is not ambiguous.
Mathematicians may have to work harder when using only a subset of the components that have been available to speakers for millions of years, especially if that set includes components in which natural language allows (or takes advantage of) ambiguity, e.g. the formal, structural component.
Heck, our brains may just be used to using one these components more than the others.
That is one major difference between language and math.
I'm not denying that there are differences. I'm saying that math and English have fundamental similarities. They are the same kind of thing.
This could also mean that different parts of the brain process language and math.
Sure, it's possible, but I think that's a leap.
I'm still not quite sure what your original question was. Can new mathematical structures or logics be developed for the purpose of studying natural languages? Yes. Can people then study those new mathematical structures or logics for their own sake? Yes. Is this already happening? Yes.