Is math a language?

Question

Is math a language? Is "language" a comprehensive description of mathematics? Maybe this is just a trivial description... or possibly there something about mathematics that is missed by describing it so... Certainly math is far more restricted than ordinary languages, but is math itself a proper language?

As a basis for what a constitutes a language, I refer to John Searle's article, "What Is Language?" Also, my thinking about math is informed by Wittgenstein's "Foundations Of Mathematics" and Russell's "Introduction To Mathematical Philosophy".

Obviously mathematics are not a language in the sense of an ordinary or commonly spoken and written language (whether colloquial, vernacular or something more formal). Inasmuch as language is a means of communication, however, it seems like "a language" is an accurate description of the abstract and formal means of dialogue and expressing ideas through intentionalistic utterance.

Searle writes:

The standard textbook accounts of language say that specific languages such as French or German consist of three components: a phonological component that determines how words and sentences are pronounced, a syntactical component that determines the arrangement of words and morphemes in sentences, and a semantic component that assigns a meaning or interpretation to words and sentences. More sophisticated accounts add that there must also be a pragmatic component that is not a component of specific languages; rather, it sets certain constraints on the use of language and is not internal to specific languages in the way that the syntax of French is internal to French and the syntax of German is internal to German. ... The relation of syntax to semantics is however crucial. Syntax organizes semantics according to three principles: discreteness, compositionality and generativity. Discreteness is that feature by which syntactical elements retain their identity under the various syntactical operations. ... Compositionality is both a syntactic and a semantic property. Syntactically, a complex element such as a sentence is built up out of simple elements, words and morphemes, according to the formation rules of the language. Semantically, the meaning of the whole sentence is determined by the meanings of the simple elements together with the syntactical structure of the sentence. ... Generativity, as I am using the term, implies that the syntactical operations of the language allow the speakers to generate an indefinite number of new sentences. There is, strictly speaking, no upper limit to the number of sentences in any natural human language.

Though he notes that this is an incomplete picture of what constitutes a language, I think mathematics meet these criteria of phonology, syntax, semantics, as well discreteness, compositionality and generativity. Also, the deontological considerations he advances when considering the question "what is language?" I think are also met by mathematics (when you say "2+2=4" and mean it, you are committed to the utterance.)

Galileo writes:

Philosophy is written in this grand book, which stands continually open before our eyes (I say the 'Universe'), but can not be understood without first learning to comprehend the language and know the characters as it is written. It is written in mathematical language, and its characters are triangles, circles and other geometric figures, without which it is impossible to humanly understand a word; without these one is wandering in a dark labyrinth.

...I don't speak Italian, but in this translation "mathematical" is adjectival, possibly suggesting that mathematics are not necessarily a language, but sufficiently an aspect of ("what can be done with"?) language. Other translations say "the language of mathematics" and perhaps this is merely poetic license upon the translators part. For what it is worth, Galileo's "Egli è scritto in lingua matematica" from The Assayer is translated by Google Translate as the adjectival form. Not that interpreting Galileo is the final word on answering the question, but as a possible counter-example demonstrating that mathematics is instead a formal aspect or sub-set of the human capacity for language.

Considering the answer here to the question "what is a language?" perhaps the mathematics lack "biplanarità"? (For what does three refer to except for the taxonomy of counting and measuring?)

Is math a language?

Answer 1

The thing is that a language, when you get to the core of it, is a system of communications. It is used a means of communicating to talk to others about the world and so on. Math can be considered a language in the sense that it's a system with well-defined rules and that can convey some meaning.

However the range of concepts it can treat is very limited and you certainly cannot "communicate" with it, unless you assigned arbitrary meanings to numbers but then you'd be using a natural language with it. You could say A=1, B=2, and so on, but it wouldn't be just math anymore, it'd be "insert natural language" + math. However English, as any other natural language, can be used by itself satisfactorily.

Even if you were to use the language of mathematics, as in adopting mathematical notation, you can only talk about math-related subjects or anything that can be discussed mathematically, and even then you'd still be using a natural language around it.

So my answer is: It could be considered a language, using the broad definition, but not in the same way natural languages are considered languages.

Answer 2

Mathematics itself, just like biology, philosophy, linguistics, ... is not a language or a communication system at all, but simply a science. You may argue about the precise scope of mathematics, but roughly you might describe it as "the study of such things as numbers, structures, and logical reasoning".

Obviously, in order for humans to talk about the subject of study, they require some kind of language or communication system.
You may ascribe literal conventions as used in mathematical notation some properties of language in that it is a system of rules on how to build expressions to convey a specific meaning, this encompassing both specialised symbols and a mathematical dialect of natural language.
For example, there is a clear difference between ordinary English "if" (which is normally associated with some kind of causal other otherwise complex semantic relationship) and a mathematical "if" (which operates solely on truth values)¹. There is also a certain amount of highly conventionalized expressions which are used in mathematical proofs and descriptions that have a very specific meaning in the scope of mathematics which differs from what it would mean if used in ordinary everyday English. In that sense, you could indeed talk about some kind of "mathematical English" as a language in the sense of a set of expressions with a fixed meaning and usage that are a different variant of language than their equivalents in the "ordinary English".
And of course, symbols or notational conventions like f(x) = x², ∀, π, ... are strings that convey a specific information that doesn't have an equivalent in natural language at all.

But the use of these tools (specialized symbols and a mathematical variant of English) in order to talk about the subject of study doesn't make the subject of study itself a language.
Mathematics is as much of a language as biology is - pretty much not at all: It is a science, and the science itself is not equivalent to the linguistic and symbolic tools that you make use of in order to talk about that science.

---

¹ In a situation where the sun is not shining and no pig is green, the sentence If the sun shines, then some pigs are green is a true statement in the mathematical sense. However, any speaker of English you'd ask about their intuition would tell you that this sentence is pretty much nonsense and probably even wrong. This is because a mathematical "if" actually has a different meaning than an ordinary English "if".

Answer 3

of course mathematics is not a language. but we do have a "language" of mathematics, that allows us to express mathematical ideas. Or so it would seem. Is there really such a thing? Not really. It looks like a formal language, but it isn't, it's just a tightly constrained variety of natural language. Mathematicians do not write their papers in a formal language, generally. Some of them even oppose doing that.

we cannot (so far) even define "language", although we can formally define very impoverished formal structures that we like to call languages.

regarding the classic triumvirate of phonology, syntax, and semantics: its obvious that the language of mathematics does not have its own phonology, for example. what is the phonology of the symbol used in differential equations? {\frac {\partial z}{\partial x}}?

Answer 4

The question "What is a language?" in fact asks "What is a natural language?". The accepted answer starts "A language is a complex system of communication..." which, perhaps coincidentally, is a passable definition for any language whatsoever: A language is a (comparatively) complex system of communication. Clearly, maths isn't a natural language but, even more clearly, it is a language by the latter definition -- in fact, the most complex language we know. A possible "downside" to the definition is that some animal communication systems (e.g. honeybee's dance) are also comparatively complex (and thus, possibly, languages^†)

Quoting lemontree:

Mathematics itself, just like biology, philosophy, linguistics, ... is not a language or a communication system at all, but simply a science. /---/ "the study of such things as numbers, structures, and logical reasoning".

Maths isn't just another science -- in fact, it's routinely contrasted w/ sciences. Even if we forget about Galilei, there's a lot of highly qualified talk about maths as the language of science and the language of mathematics, which are two main ways of construing maths as language

^†_{In principle, I don't have a problem w/ honeybee's dance being a language, but it lacks symbols, so we could strengthen our definition w/ "A language is a (comparatively) complex system of symbolic communication"}