# What does 'denote' mean in language and mathematics?

My initial idea of 'denote' is that is a verb that describes how an element of well-defined language such as 'cat' or '2' relates to the object/concept they refer to, however in mathematics text books, they use 'denote' to discuss the idea of a variable 'denoting' an unspecified number.

Can denotation be any loose signalling, for example if I was doing a standard mechanics problem I might use x for an arbritrary position. One one hand, I do not know x so I cannot be denoting any well defined object, yet in one way I am 'denoting' the arbritrary position I wish to describe other parameters for. I am not sure which is the correct use of the terminology.

Is the 'language' use of the word too constricting for logic (including variables) as in Logic the use of variables is built into the semantics, whereas in languages they are not.

In this subsection on mathematical language, the author suggests that 'denote' should only be used for specific objects. The fact that the symbol appears in a formula or term does suggest that there is an unspecified integer, but perhaps it does not 'denote' it?

I think the dangerous potential part of this is we could lead to the conclusion that if 'x' denotes a variable then a variable is somehow an object for which arithmetic operations are defined.

I feel this could be a case of sense/reference, for example 'the value of the variable' is a 'sense' or context of why x is there, whereas the actual 'reference' does not exist as x does not explictly name any object'.

• Does this answer your question? What are free variables and what does it mean for a statement to contain one?
– user14511
Dec 8, 2022 at 12:54
• Connotations are contrasted with denotations as part of the definitions of these terms, and this pair is more less isomorphic with the following: sense/reference, intension/extension, conception/intuition (the last one is from Kant). C.f. knowledge by acquaintance vs. by description. Dec 10, 2022 at 16:14
• have you read this en.wikipedia.org/wiki/On_Denoting ? "For Russell, a denoting phrase is a semantically complex expression that can serve as the grammatical subject of a sentence. Paradigm examples include both definite descriptions ("the shortest spy") and indefinite descriptions ("some sophomore"). A phrase does not need to have a denotation to be a denoting phrase: "the greatest prime number"" etc
– user63756
Dec 10, 2022 at 18:38

According to some point of view, denotation and reference are synonyms; see your link:

To say that an expression E denotes a specific object B means that E refers to B [...] B is sometimes called the denotation of E. Examples "The symbol π denotes the ratio of the circumference of a circle to its diameter."

In modern philosophy, denotation received a paramount relevance with B.Russell's On Denoting (1905): "The subject of denoting is of very great importance, not only in logic and mathematics, but also in the theory of knowledge."

By a "denoting phrase" I mean a phrase such as any one of the following: a man, some man, any man, every man, all men, the present King of England, the present King of France, the center of mass of the solar system at the first instant of the twentieth century, the revolution of the earth round the sun, the revolution of the sun round the earth. Thus a phrase is denoting solely in virtue of its form. We may distinguish three cases: (1) A phrase may be denoting, and yet not denote anything; e.g., "the present King of France". (2) A phrase may denote one definite object; e.g., "the present King of England" denotes a certain man. (3) A phrase may denote ambiguously; e.g. "a man" denotes not many men, but an ambiguous man.

Thus, according to Russell, the denotation relation is not what relates a proper name to its reference. See The Principles of Mathematics (1903), discussing Frege's theory about Sense and reference, §476. Meaning and indication

The distinction between meaning (Sinn) and indication (Bedeutung) is roughly, though not exactly, equivalent to my distinction between a concept as such and what the concept denotes. [Footnote: I do not translate Bedeutung by denotation, because this word has a technical meaning different from Frege’s, and also because bedeuten, for him, is not quite the same as denoting for me.]

According to Russell's reading of Frege:

The indication of a proper name is the object which it indicates; the presentation which goes with it is quite subjective; between the two lies the meaning, which is not subjective and yet is not the object. A proper name expresses its meaning, and indicates its indication. This theory of indication is more sweeping and general than mine, as appears from the fact that every proper name is supposed to have the two sides.

It seems to me that only such proper names as are derived from concepts by means of the can be said to have meaning, and that such words as John merely indicate without meaning.

Thus, trying to summarize the discussion, we have proper names, like "Napoleon", that refer directly to the corresponding individual, and we have denoting phrases, like "the present King of England", that denote by way of concepts, i.e. they "point to" an individual in case that the corresponding concept is instantiated by an individual.

See PoM, §56: A concept denotes when, if it occurs in a proposition, the proposition is not about the concept, but about a term connected in a certain peculiar way with the concept. If I say “I met a man”, the proposition is not about a man: this is a concept which does not walk the streets, but lives in the shadowy limbo of the logic-books. What I met was a thing, not a concept, an actual man with a tailor and a bank-account or a public-house and a drunken wife. Again, the proposition “any finite number is odd or even” is plainly true; yet the concept “any finite number” is neither odd nor even. It is only particular numbers that are odd or even; there is not, in addition to these, another entity, any number, which is either odd or even.

Regarding variables, we can see Ch.5 The variable:

§86. The variable is perhaps the most distinctively mathematical of all notions; it is certainly also one of the most difficult to understand. When a given term occurs as term in a proposition, that term may be replaced by any other while the remaining terms are unchanged. The class of propositions so obtained have what may be called constancy of form, and this constancy of form must be taken as a primitive idea.

This is what has been originally discussed in G.Frege's Begriffsschrift (1879), starting from simple natural language examples.

Consider the phrase "The capital of France is Paris"; in it we have two names: "Paris" and "France". If we replace into this phrase the name "France" with a different name, e.g. "Italy" what we get is a different phrase with a different meaning. And the same if we replace the name "Paris" with "Rome".

Having performed this "operation", we may imagine that the expression is composed of a stable part: "The capital of... is___", expressing the relation between two objects standing in this relation.

We can describe this fact in an abstract way saying that the first component is a function and the latter its arguments (like the usual way of managing functions in mathematics; see e.g. the sine and cosine) functions.

Russell introduced the term propositional function for this kind of "incomplete" expression.

Now Russell again:

§93. It appears from the above discussion that the variable is a very complicated logical entity, by no means easy to analyse correctly. The following appears to be as nearly correct as any analysis I can make. Given any proposition, let a be one of its terms, and let us call the proposition ϕ(a). Then in virtue of the primitive idea of a propositional function, if x be any term, we can consider the proposition ϕ(x), which arises from the substitution of x in place of a. We thus arrive at the class of all propositions ϕ (x). If all are true, ϕ (x) is asserted simply. If ϕ (x) is sometimes true, the values of x which make it true form a class, which is the class defined by ϕ (x): the class is said to exist in this case. If ϕ (x) is false for all values of x, the class defined by ϕ (x) is said not to exist.

This (in some way convoluted) elucidation is consistent with the usual mathematical practice derived from algebra. See G.Boole's The Laws of Thought (1854):

§13. To determine the logical value and significance of the symbols 0 and 1. The symbol 0, as used in Algebra, satisfies the following formal law,

0 × y = 0, or 0y = 0,

whatever number y may represent. That this formal law may be obeyed in the system of Logic, we must assign to the symbol 0 such an interpretation that the class represented by 0y may be identical with the class represented by 0, whatever the class y may be. A little consideration will show that this condition is satisfied if the symbol 0 represent Nothing. In accordance with a previous definition, we may term Nothing a class.

The key point here, for the present discussion, is the phrase "whatever number y may represent".

The further step, achieved by Frege and Russell, is to extend the use of variables to general expression (instead of only numerical ones). Thus, in conclusion, variables are symbols used in mathematics (and modern formal languages) to express generality.

See also the post Concept of a function and idea of a formula as a function for the modern origin of the mathematical concept of function as a sort of "rule" [expressed symbolically] that, having received a value as “input” allows us to calculate a corresponding “output” value.

• Nice answer, some mention of Derrida would be extra useful also. Dec 14, 2022 at 16:52
• My only question is: Can we see these as denoting both their concepts and objects? For example could I talk about the 'idea' of 'one man' using 'one man'? Is it that the same phrase denotes a concept which denotes an individual by context? Dec 17, 2022 at 13:37

The word 'denote' is a verb, meaning it's an action. But in philosophical usage the action implied is a bit involved. Effectively, denoting is claim along the lines: "I could go and get what I've indicated and use it as intended if I wanted to." It's intended to be more concrete than a mere gesture.

Mathematics is abstract, but it's useful to remember what every mathematician hates to remember: mathematics is a useless game until we put something concrete in the equations. I mean, it's all well and good to calculate ballistic trajectories on paper, but that is nothing more than brain-training until you get an actual rocket with an actual mass and an actual propulsive force. You get all your numbers from that concrete object — the numbers denote real physical conditions — and the number you get at the end of the function has concrete applications.

We evaluate functions from the inside out, starting with that denotation of real physical objects. If we place one function in the variable of a second function, it's with the understanding that the inner function will denote something concrete before the outer function is evaluated. We can manipulate the symbols of equations according to the rules of the mathematics game, and that's fine, but we do it with the understanding that we can go out and get the measurements of those real object(s) that the function calls for.

• I think theres two uses: 'Represent' and 'refer', in 2+2, '2' denotes the number 2 by 'referring' in f(x) f denotes the value of f at x by representation, they are linked but perhaps different uses. Dec 10, 2022 at 16:10
• However, we get some sense of what it represents by the 'sense' so in that way it refers to the idea of what it means to be 'f at x' yet it represents the possible value, however if x is well defined then it 'denotes' that number by referring. Dec 10, 2022 at 16:12